Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at the old blog archive. LogBlog has moved to richardzach.org.

If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Tue, 09/30/2008 - 2:43pm

CUP is giving away copies of Martin Gardner's New Mathematical Library if you can solve a logic puzzle--any reader of this blog should be able to solve this one!

N.B. The rules that say: These books represent new editions of Gardner’s massive Scientific American corpus. Many people know these puzzles by heart. If you do, please encourage a Gardner neophyte to take a crack at it. Tell your local high school math club. [UPDATE]: If you know the puzzle, but pull off an awesome answer for it (see the next rule), by all means, enter.

Speaking of awesome answers to Gardner's logic puzzles, which really are Smullyan logic puzzles (I think?), please put XOR's Hammer into your feed readers! Michael O'Connor has set the bar very high for awesome answers to logic puzzles. And generally writes very interesting logic/math posts.

- Read more about Win Gardner Book by Solving Puzzle
- Richard Zach's blog
- Log in to post comments

Submitted by Richard Zach on Wed, 09/24/2008 - 5:21pm

My colleague Robin Cockett and I have been running a research group here at Calgary where the various computer scientists, mathematicians, and philosophers interested in logic, theory, foundations, etc. meet and present work. For a long time we've had weekly meetings and everything went great, but then both Robin and I went on leave and almost nothing happened the past year or so. But we're starting up again! We have a fancy new website to prove it! So if you're in the area, please come to our talks, and if you're not in the area ordinarily but plan to come through, let me know because then we'd love you to be one of the outside speakers.

We start today at 12:30 in ICT 616, and I'm giving a history of logic talk.

Submitted by Richard Zach on Wed, 09/24/2008 - 4:01pm

The ASL Newsletter went out today, and it looks like the Winter Meeting will be very exciting:

2008-09 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania

December 27–30, 2008This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The program includes three invited sessions. For the first, a panel on Historical Ideals of Rigor in Mathematics, the invited speakers are: J. Folina, D. Jesseph, and D. Schlimm. The second invited panel, on Diagrammatic Reasoning in Mathematics, includes the following speakers: E. Grosholz, K. Manders, and S.-J. Shin. The speaker for the third invited session is S. Kripke, whose talk is entitled, The Collapse of the Hilbert Program.

I want to see every one of these talks! But I can't go! I want to know especially what Kripke has to say about Hilbert's Program. Can someone tape it for me? Or write a guest post about it? Pretty please? Maybe someone already knows what he will say because they attended the lecture of the same title at Indiana University a year ago, or this year at the Truth Values workshop in Dresden, or took his course at CUNY in 2005?

- Read more about Kripke on Hilbert's Program
- Richard Zach's blog
- 3 comments
- Log in to post comments

Submitted by Richard Zach on Tue, 09/23/2008 - 4:10pm

The Vienna International Summer University next year (July 13-24, 2009) will be on the topic "The Culture of Science and Its Philosophy". Call for Participation just came in. Stupid framed website: to apply, go to the website, then click on "Application" in the navigation bar on the left.

Call for Application

Application deadline: January 30, 2009VISU Vienna International Summer University

SWC Scientific World ConceptionsSince 2001 the University of Vienna and the Institute Vienna Circle have been holding an annual two-week summer program dedicated to major current issues in the natural and social sciences, their history and philosophy. The title of the program reflects the heritage of the Vienna Circle which promoted interdisciplinary and philosophical investigations based on solid disciplinary knowledge.

As an international interdisciplinary program, VISU-SWC will bring graduate students in close contact with world-renowned scholars. It will operate under the academic supervision of an International Program Committee of distinguished philosophers, historians, and scientists. The program is directed primarily to graduate students and junior researchers in fields related to the annual topic, but the organizers also encourage applications from gifted undergraduates and from people in all stages of their career who wish to broaden their horizon through crossdisciplinary studies of methodological and foundational issues in science.

The summer course consists of morning sessions, chaired by distinguished lecturers which focus on readings assigned to students in advance. Afternoon sessions are made up of tutorials by assistant professors for junior students and of smaller groups which offer senior students the opportunity to discuss their own research papers with one of the main lecturers.

The Culture of Science and Its Philosophy

Vienna, July 13 – 24, 2009

organized by the University of Vienna and the Institute Vienna Circle.A two-week high-level summer course on three main themes: aspects of the philosophical debates from about 1870 to 1950; the idea that scientific knowledge is perspectival and issues related to the social responsibilities of science, the social dimensions of science and the truth of scientific claims.

There are three main overlapping themes in the course. One theme concerns crucial aspects of philosophical debates from roughly 1870 to 1950, the alternatives offered, and some lingering consequences for analytic philosophy that arise from its historical relations to scientific philosophy. A second theme concerns the possible replacement of the Enlightenment idea that science delivers the absolutely objective truth by the view that scientific knowledge is perspectival, and the consequences of this view for how contemporary scientists confront religion. A third theme concerns twentieth-century scientists and philosophers of science who sought to sort out questions of the social responsibilities of science, the social dimensions of science, and the truth of scientific claims.

The lectures will deal with the following topics:

- Scientific Perspectivism: An Alternative to Objectivist Realism
- Scientific Neo-Kantianism and Positivism in Germany from 1870 to 1914
- Naturalism, Pragmatism, and Experimentalism in American Philosophy of Science, 1870–1950
- Scientific Realism and Scientific Socialism in France from Belle Epoque to Cold War
- Bernalism and Approaches to the History and Philosophy of Science in Great Britain
- Hierarchy and Intention in Scientific Representation
- “Die wissenschaftliche Weltauffassung”: Logical Positivism from Austria and Germany to North America, 1920–1950
- Weimar Berlin and Historical Sources of the View of Science as Social Practice
- Politics and Values in the Philosophy of Science of Polanyi, Popper, and Kuhn
- Science without Laws, Realism w/o Truth, Judgment w/o Rationality
- Analytic Philosophy as Marginal Science
- Contemporary Scientists Confront Religion
Main Lecturers:

Ronald Giere (University of Minnesota, USA)

Mary Jo Nye (Oregon State University, USA)

Alan Richardson (University of British Columbia, Canada)International Program Committee

John Beatty (Vancouver), Maria Luisa Dalla Chiara (Florence), Maria Carla Galavotti (Bologna), Malachi Hacohen (Durham/Raleigh), Rainer Hegselmann (Bayreuth), Michael Heidelberger (Tübingen), Elisabeth Leinfellner (Vienna), Paolo Mancosu (Berkeley), Paolo Parrini (Florence), Friedrich Stadler (Vienna), Michael Stöltzner (Columbia), Roger Stuewer (Minneapolis), Thomas Uebel (Manchester), Jan Wolenski (Cracow), Anton Zeilinger (Vienna).Karoly Kokai (Secretary of the VISU, Vienna)

ivc@univie.ac.atThe Main Lecturers

Ronald N. Giere is Professor of Philosophy Emeritus as well as a member and former Director of the Center for Philosophy of Science at the University of Minnesota. He is the author of Understanding Scientific Reasoning (5th ed., 2006), Explaining Science: A Cognitive Approach (1988), Science Without Laws (1999), Scientific Perspectivism (2006), and editor of Cognitive Models of Science (1992) and Origins of Logical Empiricism (1996). Prof. Giere is a Past President of the Philosophy of Science Association and a member of the editorial board of the journal Philosophy of Science. His current research focuses on agent-based accounts of models and scientific representation, and on connections between naturalism and secularism.

Mary Jo Nye is Emeritus Horning Professor of the Humanities and Professor of History at Oregon State University. She is a former president of the History of Science Society and received the Society's 2006 Sarton Medal for Lifetime Scholarly Achievement. Her research focuses on the history of the modern physical and chemical sciences, science and politics, and the philosophy of science. She is editor of the volume on Modern Physical and Mathematical Sciences (2003) in The Cambridge History of Science series, and her most recent book is Blackett: Physics, War, and Politics in the 20th Century (2004). She is completing a book on scientific life and the philosophy of science in the 20th century, with a focus on Michael Polanyi (1891–1976) and his era.

Alan Richardson is Professor of Philosophy and Distinguished University Scholar at the University of British Columbia. His research examines the relations between the history of science and the history of philosophy in the era since Kant. He is currently President of the International Society for History of Philosophy of Science (HOPOS). His publications include the monograph, Carnap's Construction of the World: The Aufbau and the Emergence of Logical Empiricism (1998) and the anthologies, Origins of Logical Empiricism (1996, co-edited with Ronald N. Giere), Logical Empiricism in North America (2003, co-edited with Gary L. Hardcastle), and The Cambridge Companion to Logical Empiricism (2007, co-edited with Thomas Uebel). His current book project is tentatively entitled, Logical Positivism as Scientific Philosophy.

Submitted by Richard Zach on Tue, 09/23/2008 - 6:45am

I'm going to pretend I'm not in the timezone I'm in, and that it's still OneWebDay. And sing the praises of the internet. Specifically, "today," I realized again how much I depend on the availability of information on the internet and the communication possibilities it opens up. As examples, two things:

- Hotel room, 3am, preparing talk for the next morning's session. I need to look up a quote or a result or whatever. It's in the Nachrichten von der Königlichen Akademie der Wissenschaften zu Göttingen. That's not on JSTOR or in the Springer Historical Archives. Where do I go? To the Göttinger Digitalisierungs-Zentrum! It has saved my ass so many times!
- Working on a book with a bunch of other people. Everyone's tracking down references for the bibliography, proofreading, making changes. Thank god we don't have to send all the files back-and-forth every time we fix a typo---we have Subversion!

Thank you, Internet. But mainly thank you to all the people who make stuff available (for free!) on the internet.

- Read more about Thank You, Internet
- Richard Zach's blog
- Log in to post comments

Submitted by Richard Zach on Fri, 09/19/2008 - 11:46pm

The "Nobel of philosophy and logic" was awarded this year to Thomas Nagel. And the Schock Prize in mathematics goes to Endre Szemerédi. Full citations here (PDF).

Update: I forgot that these were actually announced back in May. There's a symposium at the Swedisch Academy in honor of Nagel tomorrow.

Submitted by Richard Zach on Mon, 09/15/2008 - 5:39am

These will go in a homework assignment in my next Intro Logic class.

- Read more about Scope Ambiguity Homework Problems
- Richard Zach's blog
- Log in to post comments

Submitted by Richard Zach on Sat, 09/13/2008 - 4:21pm

In February of last year, BIRS had an amazing workshop on "Mathematical Methods in Philosophy". We (i.e., Aldo Antonelli, Alasdair Urquhart, and I) collected some of the very exciting contributions from that workshop in a Special Issue of the new Review of Symbolic Logic, and that issue is now online! We even managed to get a nice picture of the participants into the Introduction.

Contents:

- Editor's Introduction, by Aldo Antonelli, Alasdair Urquhart, and Richard Zach
- Topology and Modality: The Topological Interpretation of First-order Modal Logic, by Steve Awodey and Kohei Kishida
As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

- Relative-sameness Counterpart Theory, by Delia Graff Fara
Just as set theory can be divorced from Ernst Zermelo's original axiomatization of it, counterpart theory can be divorced from the eight postulates that were originally stipulated by David Lewis (1968, p. 114) to constitute it. These were postulates governing some of the properties and relations holding among possible worlds and their inhabitants. In particular, counterpart theory can be divorced from Lewis's postulate P2, the stipulation that individuals are ‘world bound’—that none exists in more than one possible world.

- Many-valued Modal Logics: A Simple Approach, by Graham Priest
In standard modal logics, the worlds are 2-valued in the following sense: there are 2 values (

*true*and*false*) that a sentence may take at a world. Technically, however, there is no reason why this has to be the case. The worlds could be many-valued. This paper presents one simple approach to a major family of many-valued modal logics, together with an illustration of why this family is philosophically interesting. - Axioms for Determinateness and Truth, by Sol Feferman
A new formal theory DT of truth extending PA is introduced, whose language is that of PA together with one new unary predicate symbol

*T*(*x*), for truth applied to Gödel numbers of suitable sentences in the extended language. Falsity of*x*,*F*(*x*), is defined as truth of the negation of*x*; then, the formula*D*(*x*) expressing that*x*is the number of a determinate meaningful sentence is defined as the disjunction of*T*(*x*) and*F*(*x*). The axioms of DT are those of PA extended by (I) full induction, (II) strong compositionality axioms for*D*, and (III) the recursive defining axioms for*T*relative to*D*. By (II) is meant that a sentence satisfies*D*if and only if all its parts satisfy*D*; this holds in a slightly modified form for conditional sentences. The main result is that DT has a standard model. As an improvement over earlier systems developed by the author, DT meets a number of leading criteria for formal theories of truth that have been proposed in the recent literature and comes closer to realizing the informal view that the domain of the truth predicate consists exactly of the determinate meaningful sentences. - On the Probabilistic Convention T, by Hannes Leitgeb
We introduce an epistemic theory of truth according to which the same rational degree of belief is assigned to Tr(???) and ?. It is shown that if epistemic probability measures are only demanded to be finitely additive (but not necessarily ?-additive), then such a theory is consistent even for object languages that contain their own truth predicate. As the proof of this result indicates, the theory can also be interpreted as deriving from a quantitative version of the

*Revision Theory of Truth*. - Modal Models for Bradwardine's Theory of Truth, by Greg Restall
Stephen Read (2002, 2006) has recently discussed Bradwardine's theory of truth and defended it as an appropriate way to treat paradoxes such as the liar. In this paper, I discuss Read's formalisation of Bradwardine's theory of truth and provide a class of models for this theory. The models facilitate comparison of Bradwardine's theory with contemporary theories of truth.

- Frege meets Zermelo: A Perspective on Ineffability and Reflection, by Stewart Shapiro and Gabriel Uzquiano
There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.

There are two more papers submitted (and accepted) for the special issue which for boring reasons aren't included here, but they're coming out in the Journal of Philosophical Logic instead. They are:

- Goodman’s “New Riddle”, by Branden Fitelson
First, a brief historical trace of the developments in confirmation theory leading up to Goodman’s infamous “grue” paradox is presented. Then, Goodman’s argument is analyzed from both Hempelian and Bayesian perspectives. A guiding analogy is drawn between certain arguments against classical deductive logic, and Goodman’s “grue” argument against classical inductive logic. The upshot of this analogy is that the “New Riddle” is not as vexing as many commentators have claimed (especially, from a Bayesian inductive-logical point of view). Specifically, the analogy reveals an intimate connection between Goodman’s problem, and the “problem of old evidence”. Several other novel aspects of Goodman’s argument are also discussed (mainly, from a Bayesian perspective).

- One True Logic?, by Gillian Russell
This is a paper about the constituents of arguments. It argues that several different kinds of truth-bearer may be taken to compose arguments, but that none of the obvious candidates—sentences, propositions, sentence/truth-value pairs etc.—make sense of logic as it is actually practiced. The paper goes on to argue that by answering the question in different ways, we can generate different logics, thus ensuring a kind of logical pluralism that is different from that of J. C. Beall and Greg Restall.

From the Introduction:

Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary philosophy, and mathematically trained philosophers continue to contribute to the literature in logic. For instance, modal logics were first investigated by philosophers and now have important applications in computer science and mathematical linguistics. The theory and meta-theory of formal systems were pioneered by philosophers and philosophically minded mathematicians (Frege, Russell, Hilbert, Gödel, Tarski, among many others), and philosophers have continued to be significantly involved in the technical development of proof theory and to a certain degree also in the development of model theory and set theory. On the other hand, philosophers use formal models to test the implications of their theories in tractable cases. Philosophical inquiry can also uncover new mathematical structures and problems, as with recent work on paradoxes about truth. Areas outside mathematical logic have also been important in recent philosophical work, for example, probability and game theory in inductive logic, epistemology, and the philosophy of science. Formal epistemology is an emerging field of research in philosophy, encompassing formal approaches to ampliative inference (including inductive logic), game theory, decision theory, computational learning theory, and the foundations of probability theory.

It in fact seems that technical mathematical work is currently enjoying something of a renaissance in philosophy. And so the idea of a workshop on just such topics held at a conference center for the mathematical sciences was developed. From February 18–23, 2007, 40 researchers who apply mathematical methods to current issues in philosophy congregated at the Banff International Research Station (BIRS) in the Canadian Rockies for a workshop on ‘Mathematical Methods in Philosophy’.

These mathematical methods come mainly from the fields of mathematical logic and probability theory, and the areas of application include philosophical logic, metaphysics, epistemology, philosophy of mathematics, and philosophy of science. It is a fortuitous coincidence that the Association of Symbolic Logic now has a third journal, The Review of Symbolic Logic, the scope of which more or less covers the topics of the BIRS Workshop, and so it is only fitting that this special issue of the Review collects some of the papers presented at the workshop.

Submitted by Richard Zach on Thu, 09/11/2008 - 4:30pm

In Bloglines, the atom feed for LogBlog shows up as "does not exist", and it has so for a couple of days. Is that just me? Maybe I should just switch to Google Reader, but Google is almost taking on a Microsoft-ish quality in my mind. Plus, not sure it can do the blogroll the same way with the categories and all.

- Read more about Bloglines Problems
- Richard Zach's blog
- 1 comment
- Log in to post comments

Submitted by Richard Zach on Wed, 09/10/2008 - 4:40pm

This just came in over the wire:

A new project on the Foundations of Logical Consequence will start at the University of St Andrews in January 2009. Details of the project can be found at:http://www.st-andrews.ac.uk/~arche/projects/logic/

The project will run for three and a half years from January 2009 until June 2012. There are two post-doctoral posts running for the entire period of the project, and there are two studentships (restricted by the Research Council rules to EU residents) running for three years (paying fees, and also maintenance for UK residents).

Details of the Post-Doctoral Research Fellowships can be found at:

http://www.jobs.ac.uk/jobs/QQ513/2_Research_Fellows_in_the_Foundations_of_Logical_Consequence/

and

http://www.st-andrews.ac.uk/employment/Code,23739,en.html

and of the Postgraduate Studentships at:

http://www.jobs.ac.uk/jobs/QQ470/Two_PhD_Studentships_in_Foundations_of_Logical_Consequence/

Can I be a grad student again?

Submitted by Richard Zach on Wed, 09/10/2008 - 4:31pm

This one I found not on the internets, but in the Berkeley math library! John Burgess has a collection of philosophical papers out: Mathematics, Models, and Modality. It includes the classics "Why I am not a nominalist", "Mathematics and Bleak House", "Can truth out?", and "Quinus ab omni noevo vindicatus". Must buy, must read!

Submitted by Richard Zach on Wed, 09/10/2008 - 3:20pm

So, sabbatical is over, I'm back in Calgary, started to teach yesterday (history of analytic, and Gödel's incompleteness theorem--from Peter's book). I saved so many posts in my reader over the summer that now there's more saved posts than new posts every day. Let's clean house.

- Graham Priest's Introduction to Non-classical Logic, 2nd edition, is out. Like Peter said: must buy, must read.
- Doug Patterson's New Essays on Tarski and Philosophy should be out soon. It's got Etch's "Reflections on Logical Consequence" and Paolo's paper on the 1937 Congrès Descartes, among many others. (HT: Ole)
- Ole also linked the Arché's extensive bibliographies on, among other things, philosophy of mathematics and logic.
- Kai pointed out a mystery novel based on the murder of Richard Montague, The Semantics of Murder, by Aifric Campbell.
- Alexandre Borovik posted a few quotes on the axiom of choice, to which furia_krucha added a comment linking to an article in by Jan Mycielski in the February 2006 Notices of the AMS, entitled "A System of Axioms for Set Theory for the Rationalists". That's a very interesting paper on the choice of axioms for set theory ("the 1% of mathematics where the philosophy of mathematics matters", according to Mycielski). But the quote for which it was linked is particularly neat:
Tarski told me the following story. He tried to publish his theorem [If for all infinite sets X there exists a bijection of X to X × X, then the Axiom of Choice holds] in the Comptes Rendus Acad. Sci. Paris but Fréchet and Lebesgue refused to present it. Fréchet wrote that an implication between two well known propositions is not a new result. Lebesgue wrote that an implication between two false propositions is of no interest. And Tarski said that after this misadventure he never tried to publish in the Comptes Rendus. (p. 209)

I think there's a paper just in mathematicians' practice to show that this and that theorem are equivalent (usually, without any mention of what background theory they are equivalent over). I mean, why is it interesting to prove an implication between two (necessarily!) true propositions?

- Two more new entries in the SEP, on Naturalism in the Philosophy of Mathematics by Alexander Paseau, and one on Hans Reichenbach by Clark Glymour and Frederick Eberhardt.
- Henri Galinon of Theorème has an awesome collection of online tutorials and textbooks on logic, both introductory and advanced, at the Theorème Logic Toolbox. He also linked to Makkai's notes on set and model theory, should be included in the list soon.
- Plurality of Words seems to be gone!? So sad. But Andreas Stokke did link to two YouTube videos of Kit Fine:
Just to share these two YouTube videos in which Kit Fine talks about how he does philosophy. Among other things, he tells us what the right approach to the methodology of metaphysics is: Part 1 and Part 2.

- Carrie Jenkins linked to a series of videos designed to help you visualize four dimensions.

Phew.

- Read more about Cleaning House
- Richard Zach's blog
- 1 comment
- Log in to post comments

Submitted by Richard Zach on Wed, 09/10/2008 - 2:07pm

Wow, this is amazing:

[youtube=http://www.youtube.com/watch?v=j50ZssEojtM&hl=en&fs=1]

Now that's what I call science communication! I look forward to the new EP from Kate McAlpine (emcee) and Will Barras (beats).

PS: xkcd is on today as well.

- Read more about LHC is in da House!
- Richard Zach's blog
- 1 comment
- Log in to post comments

Submitted by Richard Zach on Mon, 09/08/2008 - 3:27pm

The Summer Schools in Logic and Learning will be held January 26-February 6, 2009, and you're invited:

An Open Invitation to attend theSummer Schools in Logic and Learning

26 January to 6 February 2009

Australian National University, Canberra, AustraliaOne of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.

Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence in the second week.

Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.

Courses and Speakers

Artificial Intelligence Courses

Logic Courses

Machine Learning CoursesFees and Registration

More informationIf you would like to discuss this invitation in more detail, including advice on suitable candidacy, please go to: http://ssll.cecs.anu.edu.au/about/contact

The Summer Schools in Logic and Learning are supported by ANU and NICTA.

Committee

Dr Tiberio Caetano, Convener

Professor John Slaney, Convener

Dr Alwen Tiu (Acting Convener)

Diane Kossatz

Michelle Moravec

Submitted by Richard Zach on Sat, 09/06/2008 - 3:13pm

Rosalie Iemhoff has a new entry on intuitionism in the philosophy of mathematics for the Stanford Encyclopedia. It explains the basics of intuitionistic mathematics. Together with Mark van Atten's entries on the history of intuitionistic logic and on Brouwer, and Joan Rand Moschovakis's entry on intuitionistic logic, the SEP is now probably the premier source for information on intuitionism on the Internets.

- Read more about Intuitionism in the SEP
- Richard Zach's blog
- Log in to post comments

Submitted by Richard Zach on Fri, 09/05/2008 - 7:18pm

Greg Lavers has a review of the Cambridge Companion to Carnap at NDPR. (HT: Greg Frost-Arnold)

Submitted by Richard Zach on Fri, 09/05/2008 - 6:26pm

SSHRC has posted the list of funded projects from the most recent Standard Research Grants competition. These grants are for three years. Last year's results are here (plus lots of discussion on the politics of SSHRC in the comments section).

This year's stats: 92 applications (2007: 88; 2006: 85, 2005: 96, 2004: 92), 28 grants, for a success rate of 30% (2007: 29%; 2006: 37%, 2005: 38%, 2004: 48%). Full stats here.

I went through the approx. 900 project titles for you; here's a list of the projects that jumped out at me as being philosophy projects or where I recognized the applicants as philosophers. The list doesn't give the department, nor does it give the grant selection committee, so some of these may have applied to a GSC other than philosophy--I don't think there's a way to tell. Also, As always, please email with corrections and additions. Congratulations to all (except the last)!

- Donald C. Ainslie, University of Toronto $53,500

Hume's bundle: scepticism and self-consciousness in the Treatise - Robert W. Batterman, The University of Western Ontario $84,984

Idealizations, singularities, and the applicability of mathematics - Deborah L. Black, University of Toronto $45,400

Cognition and the brain in medieval philosophy: the internal senses - Ingo Brigandt, University of Alberta $66,652

Integrating different biological approaches: a philosophical contribution - M. Bryson Brown, The University of Lethbridge $94,618

Raymond E. Jennings, Simon Fraser University

Peter K. Schotch, Dalhousie University

Preservationism: applications and extensions - James Robert Brown, University of Toronto $114,924

The nature of thought experiments - Phil Corkum, University of Alberta $18,424

Aristotle on ontological dependence - Peter S. Eardley, University of Guelph $32,585

The origins of ethical secularization: Aquinas to Luther - Carlos Fraenkel, McGill University $81,394

Religion as the handmaid of philosophy: the impact of Plato's political thought on the philosophical interpretation of religion in antiquity, the middle ages, and the early modern period - Lloyd P. Gerson, University of Toronto $54,950

From Plato to Platonism - Pablo Gilabert, Concordia University $60,879

Basic global justice and the boundaries of normative responsibility - Jean Grondin, Université de Montréal $102,920

Herméneutique et déconstruction : le débat entre Gadamer et Derrida - Ishtiyaque Haji, University of Calgary $76,802

The relevance of free will to the intrinsic value of lives and worlds - Benjamin D. Hill, The University of Western Ontario $25,960

John Locke's early epistemology and his practice of medicine - David A. Hunter, Ryerson University $54,3400

Belief and intention - Philip A. Kremer, University of Toronto $55,482

Truth and paradox - Thomas M. Lennon, The University of Western Ontario $21,095

Sacrifice: the philosophical significance of quietism - Bernard Linsky, University of Alberta $51,778

Studies in Whitehead and Russell's principia mathematica - Peter Ludlow, University of Toronto $96,240

The philosophy of generative linguistics - Ginette Michaud, Université de Montréal $70,981

Édition des séminaires de Jacques Derrida -EHESS, 1995-2003 - Marleen Rozemond, University of Toronto $29,000

The Achilles argument and the mind-body problem in the early modern period - Ileana Paul, The University of Western Ontario $47,700

Robert Stainton, The University of Western Ontario

Varieties of predication - Daniel J. Regnier, St. Thomas More College $54,791

Phantasia - imagination - in ancient Greek philosophy - Alexander Rueger, University of Alberta $70,930

Kant's aesthetic theory in context - Robert Stainton, The University of Western Ontario $82,840

Benjamin D. Hill, The University of Western Ontario

Henrik Lagerlund, The University of Western Ontario

History of philosophy of language - Sergio Tenenbaum, University of Toronto $43,950

Good and good for - Douglas N. Walton, The University of Winnipeg $98,400

Argumentation in artificial intelligence and law - Richard Zach, University of Calgary $64,900

Dirk Schlimm, McGill University

The collected works of Rudolf Carnap

Submitted by Richard Zach on Fri, 09/05/2008 - 5:27pm

Last year in May, Berkeley held a conference in honor of Bill Craig, who will turn 90 this coming November. Bill is probably best known for the Craig Interpolation Theorem and the theorem that every recursively enumerable theory is recursively axiomatizable. Just in time, the Festschrift arising from that conference has appeared online. It's a special issue of Synthese, edited by Paolo Mancosu. The table of contents is below; Paolo's introduction contains a nice outline of Bill's life and work.

- Paolo Mancosu, Introduction
- William Craig, Elimination problems in logic: a brief history
- William Craig, The road to two theorems of logic
- Solomon Feferman, Harmonious logic: Craig’s interpolation theorem and its descendants
- William Demopoulos, Some remarks on the bearing of model theory on the theory of theories
- Michael Friedman, Wissenschaftslogik: The role of logic in the philosophy of science
- Jouko Väänänen, The Craig Interpolation Theorem in abstract model theory
- Giovanna D’Agostino, Interpolation in non-classical logics
- Gerard R. Renardel de Lavalette, Interpolation in computing science: the semantics of modularization
- Johan Benthem, The many faces of interpolation

Submitted by Richard Zach on Fri, 09/05/2008 - 3:05pm

Henri Cartan, last surviving member of the original Bourbakistes, died on August 13. He'll be remembered not just for his mathematical work, but also for his political engagement for human rights and European federalism. Obits:

Daily Telegraph

Die Zeit

Le Figaro

Le Monde

New York Times

Washington Post

(HT: Giuseppina Ronzitti)

- Read more about Henri Cartan, 1904-2008
- Richard Zach's blog
- Log in to post comments

Submitted by Richard Zach on Fri, 09/05/2008 - 2:52pm

The CiE series of conferences now has an associated association. At 0 EUR, membership is pretty cheap! By the way, next year's CiE in Heidelberg will be a blast for the logic-y side of computation. Jeremy Avigad has agreed to be one of the invited speakers, Pavel Pudlák will give a tutorial, and there will be a session on philosophical and mathematical aspects of hypercomputation organized by Phil Welch and James Ladyman. Deadline for paper submission is January 20, 2009.

After four very successful conferences in Amsterdam in 2005, Swansea in 2006, Siena in 2007 and Athens in 2008, our community has officially formed the associationComputability in Europeat the Annual General Meeting at this year's Computability in Europe conference in Athens. The object of the Association is to promote the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science, and applications in various natural and engineering sciences such as physics and biology. This also includes the promotion of the study of philosophy and history of computing as it relates to questions of computability. A draft constitution of the Association can be found at

http://www.amsta.leeds.ac.uk/~pmt6sbc/CiE.const.draft.pdf

We invite every researcher interested in the object of the Association to become a member. The initial membership fee is set at zero, and lasts until 30 June 2010.

To apply for membership of the Association, please complete and submit the form at

http://www.cs.swan.ac.uk/acie/

Any enquiries concerning association CiE membership should be sent to the Membership Secretary, Arnold Beckmann, at a.beckmann@swansea.ac.uk.

- Read more about Computability in Europe Association
- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"