Herbert B. Enderton, 1936-2010

Sad news:

With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at Berkeley. Widely known for his textbooks in the areas of logic, Enderton as a contributor to recursion theory, the theory of definability, models of nalysis, computational complexity, and history of logic.

The Enderton family requests that flowers not be sent. There will be no funeral, but a memorial service will be held at a future date.

CfP: Tools for Teaching Logic 2011

If you’re interested or involved in teaching logic, please consider subitting something to this conference. And if you don’t have anything to submit, keep it in mind for your summer travel plans next year. Spain in June!

Third International Congress on Tools for Teaching Logic
June 1-4 2011, Salamanca, Spain

The congress will focus on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction (secondary education, university level, and postgraduate), presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, pedagogy of logic.

Call for papers

  • Submission of Papers: December 8th, 2010
  • Notification of Acceptance: February 1st, 2011
  • Final Camera-Ready Submission Due: March 1st, 2011

We are inviting submissions on the conference topics, or on any other aspect of teaching logic or logic teaching software. We prefer 6 or 8 page submissions. Submissions must not exceed 8 pages. It is expected that each accepted paper be presented at the conference by one of its authors. Papers must be submitted electronically, in pdf-format, at the TICTTL EasyChair website . Submissions need not be formatted in LNCS style! However, accepted full papers must be formatted in LNCS style, and must respect the page limit.

Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler

Commenting Works Again!

Commenting works again…. There were a lot (and by a lot, I mean thousands!) of spam comments over the summer, which led me to first turn off commenting, and then install a spam filter, which worked so well that it would not accept any comments at all. If fallen back to a simple Captcha. Hope that keeps the spammers out, and hope it makes the commenters come back!  So if you had anything to say in response to a post over the last few months… now you can. 

 Also, if you haven’t changed the URL of the RSS feed. Please do:

 http://www.ucalgary.ca/rzach/rss.xml

Bleg: Philosophy of Language Anthologies

I’m supposed to choose a text for my philosophy of language course next term. So far I’ve always used Martinich, but I’m getting bored with it.  Also, of the available options, it seems to be the most expensive one.  I’ve looked at Ludlow’s collection, but that’s maybe a bit too heavy (both literally and figuratively).  Also, he misspells Carnap’s name.  I’m gravitating towards Byrne and Kölbel’s Arguing about Language right now.  It’s missing a few topics/pieces which I would have covered (notably, no speech acts, and no Putnam), but in return it covers a few things that aren’t covered in Martinich and/or Ludlow (vagueness, metaphor, fictional discourse).  Also, it’s got the highest percentage of female contributors, and the lowest price tag.  Any experiences? Advice?

Kurt Gödel Research Prize Fellowships

The Kurt Gödel Society is proud to announce the commencement of the second round of the Kurt Gödel Research Prize Fellowships Program. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer:

  • two Ph.D. (pre-doctoral) fellowships of EUR 100,000
  • two post-doctoral fellowships of EUR 100,000 and
  • one unrestricted fellowship of EUR 100,000

One International Board of Jurors will be in charge of evaluating the applications and determining up to twenty finalists whose papers will be published in a special issue of the Annals of Pure and Applied Logic, and another international Board of Jurors will be in charge of determining the winners. Both Boards will be chaired by Prof. Harvey Friedman, Ohio State University (USA).

Board of Jurors for Determining the Finalists

  • Jeremy AVIGAD, Carnegie Mellon University, (USA)
  • Lenore BLUM, Carnegie Mellon University, (USA)
  • Harvey FRIEDMAN, Ohio State University (USA) CHAIR
  • John HARRISON, Intel Corporation, (USA)
  • Kenneth KUNEN, University of Wisconsin, (USA)
  • Angus MACINTYRE, Queen Mary, University of London and Royal Society, (UK)
  • Hiroakira ONO, JAIST Research Center for Integrated Science, (JAPAN)
  • Pavel PUDLAK, Czech Academy of Sciences, (Czech Republic)
  • Michael RATHJEN, University of Leeds, (UK)
  • Frank STEPHAN, National University of Singapore, (SINGAPORE)
  • William TAIT, University of Chicago, (USA)
  • Simon THOMAS, Rutgers University, (USA)
  • Albert VISSER, University of Utrecht (NL)
  • Andreas WEIERMANN, Ghent University, (BELGIUM)
  • Boris ZILBER, University of Oxford, (UK)

Board of Jurors for Determining the Winners

  • Lev BEKLEMISHEV, Russian Academy of Sciences (RUS)
  • Harvey FRIEDMAN, Ohio State University (USA) CHAIR
  • Dov M. GABBAY, King’s College London (UK)
  • Warren D. GOLDFARB, Harvard University (USA)
  • Howard Jerome KEISLER, University of Wisconsin (USA)

Goal and Criteria of Merit

The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics. (See Scope below for more details.) These fellowships are intended to carry forward the legacy of Kurt Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications:

  1. Intellectual merit, scientific rigor and originality of the submitted
    paper and work plan. The paper and research plans should combine visionary
    thinking with academic and scientific excellence.
  2. Potential for significant contribution to basic fundamental issues of
    wide interest, and the likelihood for opening new, seminal lines of inquiry
    that bear on such issues.
  3. Impact of the Fellowship on the project and likelihood that the
    Fellowship will make the proposed new lines of research possible.
  4. The expectation that the proposed research will be successful.
  5. Qualifications of the applicants will be evaluated on the basis of all
    available information including CV, research paper, research plans, research
    accomplishments, and letters of recommendation (recommendation letters are not
    required for senior applications).

Winners’ Model Projects:

http://fellowship.logic.at/2010/files/Bovykin_Project.pd
http://fellowship.logic.at/2010/files/Koellner_Project.pdf

Model Question

Scope

Original fellowship proposals in the areas of

  • set theory
  • recursion theory
  • proof theory/intuitionism
  • model theory
  • computer assisted reasoning
  • philosophy of mathematics

All fellowship proposals, regardless of subject area, will be judged according
to

  • the relevance and resemblance of the research (finished and proposed) to the great insights and originality of Kurt Gödel
  • its general interest and clarity of motivation
  • its rigorous scientific quality and depth.

Submission Instructions

The three categories of fellowships are specified as follows:

  • Ph.D.(pre-doctoral): being in the stage before finishing the thesis (or equivalent achievements)
  • Post-doctoral: being in the stage within 10 years after finishing the thesis (or equivalent achievements)
  • Unrestricted: also open to senior applicants

The submission must consist of:

  • one document A in PDF format containing
    • the CV
    • the project description
    • the recommendation letters
  • one document B in PDF format containing the article
  • one text abstract relating to B

Maximum allowed length of the abstract is 500 words. Document A containing the CV, the project description, and the recommendation letters must be prepared in the following way:

  • minimum font size: 10pt
  • paper size: A4
  • maximum length of the CV: 3 pages

The CV must contain the list of all/most important publications. The CV must clearly state to which  category the application belongs.

  • maximum length of project description: 4 pages. Project description should clearly state where and at which institution the
    applicant intends to carry out the project.
  • minimum 2 (two)/maximum 3 (three) 1-page recommendation letters, in case of applications belonging to the categories Ph.D.(pre-doctoral) and post-doctoral fellowships. (The recommendation letters should be scanned and included into the PDF document)

The submission must be in English.

The Board and the Program Chair reserve the right:

  • to consider only submissions with reasonable format
  • to reassign a submission to another category as applied for.

The applicant will be informed about the reasons for such a decision.

Submission Page

The EasyChair system is used for managing the submissions. For submitting a proposal please go to
http://www.easychair.org/conferences/?conf=kgrpf10

Timeline

  • November 15, 2010. Submissions deadline
  • February 28, 2011. Jury decision on the papers for publication (at most 20)
  • March 1, 2011. Final versions due
  • March 6, 2011. Jury decision on winners due
  • April 28-30, 2011. Conference and the Award Ceremony
  • June-October, 2011. Commencement of the Fellowships

Web:http://fellowship.logic.at
E-mail contact: goedel-fellowship@logic.at

Postdoc at CMU

The Carnegie Mellon University Department of Philosophy invites applications for the Herbert Simon Fellowship in Scientific Philosophy. We are seeking applications from scholars working in logic or philosophy of mathematics. Any of the following areas are particularly welcome: proof theory, category theory, formal verification, automated reasoning, or history or philosophy of mathematics. The Fellowship is intended primarily for those who have recently received doctorates, including scholars with a continuing faculty appointment elsewhere. The Fellowship has a tenure of two years (non-renewable), with teaching duties of 2 courses/year, one of which should be a research seminar in the Fellow’s specialty. Appointments of one year are possible for applicants with a continuing faculty appointment elsewhere. Residence in Pittsburgh is expected. Applications (including a statement of purpose, CV, at least one writing sample and two letters of reference) may be sent to: The Philosophy Department; Carnegie Mellon University; Pittsburgh PA 15213. Attention: Simon Fellowship Committee. Electronic applications, preferably in pdf format enclosed as attachments, are welcome and indeed preferred. Send email to: phil-search@andrew.cmu.edu. The deadline for application is December 1, 2010.