University of Calgary
UofC Navigation

Motivating Advanced Logic

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Wed, 03/30/2005 - 6:42pm

At the Logic Education session at the APA/ASL meeting last week, Branden Fitelson made an excellent suggestion for teachers of graduate level logic courses in philosophy: One of the main problems is that it is often hard to see for students why the stuff they have to learn is relevant to philosophy (or to CS or linguistics, for that matter). Branden's suggestion is that one should start each topic in such a course with a philosophy paper, or a passage from a philosophy paper, in which the relevant topics are used or referred to. So, e.g., you'd pick a passage from Lewis, or Putnam, and motivate the following topic (completeness, or possible worlds semantics, or what have you) as "we're now going to figure out what Lewis is saying here." Now it would be nice to have a repository of such passages/papers--if you have ideas, please post a comment. Here are some examples:

  • Quine, The ways of paradox (Ch. 1 in The Ways of Paradox) has a section on Gödel's incompleteness theorem.
  • Lucas, Mind, machines and Gödel, Philosophy 36 (1961) for obvious reasons.

Comments

Submitted by Anonymous on Thu, 03/31/2005 - 6:21am

tarski's work on truth might be good for motivating issues in model theory. and it seems that understanding proof theory is essential for making sense of dummett's work on anti-realism. <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/logblog/2005/03/motivating-advanced-logic.html#comments" REL="nofollow" TITLE="dj55 at cornell dot edu">davidj<>

Submitted by Anonymous on Thu, 03/31/2005 - 7:25am

Gareth Evan's paper "Can there be vague objects?" (Analysis, 38 (1978), 208) - it is short, important for a popular area of philosophy, and presupposes familiarity with modal logic.  <><><><>Posted by<><> <><>< HREF="http://www.artsci.wustl.edu/~grussell" REL="nofollow" TITLE="grussell at artsci dot wustl dot edu">Gillian Russell<>

Submitted by Anonymous on Thu, 03/31/2005 - 7:48am

Yikes, I meant "Evans'" of course. < HREF="http://www.amazon.com/exec/obidos/tg/detail/-/1592400876/qid=1112254676/sr=8-1/ref=pd_csp_1/002-6513745-6361659?v=glance&s=books&n=507846" REL="nofollow">Lynn Truss<>  will hunt me down like a dog for contributing to the decline of punctuated civilisation. I wonder whether this approach could work for undergraduates in intro logic as well. Maybe we could motivate interest in logic by giving them some of Russell's stuff on descriptions...I imagine that a number of Boolo's essays would pique the interest of grad students ...  <><><><>Posted by<><> <><>< HREF="http://www.artsci.wustl.edu/~grussell" REL="nofollow" TITLE="grussell at artsci dot wustl dot edu">Gillian Russell<>

Submitted by Anonymous on Thu, 03/31/2005 - 2:51pm

To give a slightly different spin on this issue: it might be that we need more texts of this sort that aren't classified as "merely" of interest to logician-philosophers, at least for traditional metalogic. Or maybe those texts are out there, but they're not the ones typically thought of by contemporary analytic philosophers: Descartes' Regulae, Locke's Essay, the First Critique, for instance. It seems to me that an education in the history of modern philosophy, if given a certain focus, would lead one right to metatheory. In my notes at the ASL session in SF last week, I tried to indicate this briefly, but only so. Probably I need to write a paper making this clearer yet...Posted by < HREF="http://www-personal.ksu.edu/~aarana" REL="nofollow">Andy Arana<>  <><><><>Posted by<><> <><>Anonymous

Submitted by Anonymous on Thu, 03/31/2005 - 4:03pm

There are some quite interesting philosophical applications of logic by Ajdukiewicz, say, his article on Kotarbinski's reism, the critique of transcendental idealism, or his argumentation on the paradoxes of material implication. In Poland, as far as I know, his papers are widely read, even by first-year students. <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/logblog/2005/03/motivating-advanced-logic.html#comments" REL="nofollow" TITLE="ninghijz at wp dot pl">Rafal<>

Submitted by Anonymous on Sat, 04/02/2005 - 7:41pm

It occurred to me that print.google.com might be useful for finding things like this. E.g., search for "< HREF="http://www.google.com/search?hl=en&lr=&q=book+godel+ontology&btnG=Search" REL="nofollow">book godel ontology<> " and you find Quine's "Ontological relativity" in the Pojman reader <>Classics of Philosophy<> . And "< HREF="http://www.google.com/search?hl=en&lr=&q=book+craig+theoretical+terms&btnG=Search" REL="nofollow">book Craig theoretical terms<>" will point you to some nice discussions (and references) for thye application of Craig's theorem to the theoretical/observational term debate in the philosophy of science. <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/" REL="nofollow" TITLE="rzach at ucalgary dot ca">Richard Zach<>

Submitted by Anonymous on Thu, 04/07/2005 - 6:00pm

On Gillian's suggestion. RIG Hughes put out an anthology with Hackett in 1993 entitled A Philosophical Companion to First-Order Logic. Many good suggestions for articles in their. Also, Graham Priest's Logic: A Very Short Introduction does a good job of motivating logic via philosophical problems.  <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/logblog/2005/03/motivating-advanced-logic.html#comments" REL="nofollow" TITLE="moffett at uwyo dot edu">Marc Moffett<>