You and your friend are in Lolitaville in search of Vladimir Nabokov’s recently released and incomplete novel, The Original of Laura, and happen upon two bookstores: R and L. You know without a doubt that the sole copy of Laura in Lolitaville is in one (but only one) of the two bookstores, but are unsure [...]
Archive for the ‘Logic’ Category
Lolitaville
Posted in General Interest, Logic, Teaching Philosophy on November 17, 2009 | 5 Comments »
The Relevant Alternative Theory of Knowledge
Posted in Epistemology, Logic on October 14, 2009 | 12 Comments »
[ADMINISTRATIVE NOTE: MOVING TO THE FRONT (FROM AUGUST 15)]
Epistemic agents claim to know that-P within a context of competing alternative propositions, {A1, A2… An}, all of which would be as equally consistent with the facts as P, but necessarily exclude P, such that:
If some one member of {A1, A2… An} were true, then that-P would [...]
Video Lecture: Introduction to Modal Logic by Rajeev Gore
Posted in Logic, Teaching Philosophy on June 6, 2009 | Leave a Comment »
Rajeev Goré of Australia National University gives a very approachable introduction to propositional modal logic in this video lecture here. It’s a nice, non-technical exposition of the relationship of syntax, semantics and derivation calculus for modal logic. Particularly interesting (and convincing!) is Goré’s assertion that Kripke frames can be intuitively understood in terms of graph [...]
The New Riddle of Induction
Posted in Epistemology, General Interest, Logic, Philosophy of Science, Pragmatism on November 4, 2008 | 12 Comments »
David Hume, in his An Inquiry Concerning Human Understanding (1748), first identified the difficulty of rationally justifying future predictions, which has come to be known as the Problem of Induction. He pointed out that since future predictions are neither statements of experience nor logically necessary consequences of such statements, their validity lies in the regularity [...]
“Vagueness and Truth”
Posted in Logic, Philosophy of Language on May 10, 2007 | Leave a Comment »
… a colloquium featuring Mark Colyvan (University of Sydney) at the University of Miami, Friday, May 11th.
- Rico Vitz
Association for Symbolic Logic Conference
Posted in Conferences, Logic, News & Notes, Philosophy of Mathematics on March 11, 2007 | Leave a Comment »
… is underway at the University of Florida. Details are available here.
- Rico Vitz
An infinity of undecidable sentences — Yablo’s Paradox, formal systems and incompleteness
Posted in Logic, Philosophy of Mathematics on February 14, 2007 | 4 Comments »
Most who are familiar with any sort of basic incompleteness result (like Gödel’s First Incompleteness Theorem) for formal systems are acquainted with a proof of the theorem which precisely states the result that demonstrates a single sentence of the language of the system that is neither provable nor whose negation is provable – that is [...]
