Online research in philosophy

Given a classical theory T, a Kripke model K for the language L of T is called T-normal or locally PA just in case the classical L-structure attached to each node of K is a classical model of T. Van Dalen, Mulder, Krabbe, and Visser showed that Kripke models of Heyting Arithmetic (HA) over finite frames are locally PA, and that Kripke models of HA over frames ordered like the natural numbers contain infinitely many PA-nodes. We show that Kripke (...) models of the latter sort are in fact PA-normal. This result is extended to a somewhat larger class of frames. (shrink)

What's the world made of? Donuts! and Beer! -- Protagoras, Gorgias, Captain Kirk, and Denny Crane -- Socrates : The Sergeant Schultz of Ancient Greece -- Plato is the new American Idol -- Aristotle loves Lucy -- Charlie Harper's Non-Epicurean lifestyle -- St. Augustine's Highway to Heaven -- Scully shaves Mulder with Ockham's Razor -- Larry Hagman dreams of Descartes -- Locke versus Hobbes, or The Brady Bunch takes on Survivor -- Can or can't Kant like vampires? -- Reading (...) Hegel in Outer Space -- John Stuart Mill and the Utilitarian Heroism of Dexter Morgan -- Karl Marx and Adam Smith, meet Alex P. Keaton -- Dr. Gregory House and the Nietzschean Superman -- Don Draper, George Costanza and the non-meaning of life -- Jersey Shore's 'The Situation': The Randian Ideal man with a tan? -- Earl Hickey meets Karma in My name is Earl -- Lost but not least. (shrink)