Use and mention in formal languages (James Walsh)

The Logic and Metaphysics Workshop will meet on December 4th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 4419) for a talk by James Walsh (NYU).

Title: Use and mention in formal languages

Abstract: Quine’s distinction between use and mention is one of the cornerstones of analytic philosophy. The distinction is typically motivated with examples from natural language, but Quine also applied the distinction to the formal languages studied in mathematical logic. I will argue that such expressions are not used in Quine’s sense, so the distinction cannot appropriately be applied to them. Accordingly, the standard practice of placing quotation marks around expressions of formal languages is incorrect. This technical point serves as a springboard for discussing the role that formal languages play in mathematical logic.

Truthmakers for modals: Meaning, truth, modals and quantifiers (Mircea Dumitru)

The Logic and Metaphysics Workshop will meet on November 27th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 4419) for a talk by Mircea Dumitru (Bucharest).

Title: Truthmakers for modals: Meaning, truth, modals and quantifiers

Abstract: First, I shall give a sketch of a general theory of truthmaking. Then, I shall raise some issues for the theory when it deals with modal language and point to some specific answers. In the remaining part I shall get into ramifications of this topic and discuss issues pertaining to meaning, truth and quantification in modal contexts and discourse.

Note: The subject of this talk was changed on Nov. 19, 2023. The previous title was “Truth with and without satisfaction”.

css.php