This is a Very Pleasant Pineapple

Looks like you can watch the whole film, “Wittgenstein,” here.

Read Full Post »

“Vagueness and Truth”

… a colloquium featuring Mark Colyvan (University of Sydney) at the University of Miami, Friday, May 11th.
- Rico Vitz

Read Full Post »

Association for Symbolic Logic Conference

… is underway at the University of Florida. Details are available here.
- Rico Vitz

Read Full Post »

Reason, Intuition, Objects

… a grad student conference on the epistemology and ontology of logic will take place this fall at SUNY-Buffalo. The keynote speaker is Stewart Shapiro (Ohio State). Details and the CFP are available at the conference website.
- Rico Vitz

Read Full Post »

An infinity of undecidable sentences — Yablo’s Paradox, formal systems and incompleteness

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 [...]

Read Full Post »

A Trouble for Possible Worlds as Maximally Consistent Sets of Propositions or for Propositions Simpliciter?

The notion of possible worlds has proved incredibly frutiful in providing formal semantics for various systems of quantified modal logic. Perhaps so fruitful that philosophers interested in related issues such as semantics for the terms ‘necessarily’ and ‘possibly’ of natural language or in the metaphysical nature of necessity and possibility often make use of the [...]

Read Full Post »