Patricia Blanchette discusses Logicism and the work of Gottlob Frege. Logicism is a school of thought in the philosophy of mathematics which tries to reduce mathematics to logic. Gottlob Frege was a 18th-19th century German philosopher and mathematician who made important contributions to the fields of logic, philosophy of language, and philosophy of mathematics. This […]

Read more

Michael Friedman gives a talk at a MCMP workshop on Carnap and his work the Aufbau, titled “From Intuition to Tolerance in Carnap’s Philosophy of Mathematics”. Abstract: I plan to discuss the evolution of Carnap’s views on arithmetic and geometry from Der Raum, through the Aufbau period, to Logical Syntax and the semantic period. I […]

Read more

Structuralism is often construed as a claim about individuation to the effect that it is somehow dependent on relations. The notion of ontological dependence may be modeled by derivability in a formal language. Such languages may have different resources, for example, they may or may not include names. The formal correlate of the metaphysical content […]

Read more

Catarina Dutilh Novaes (Groningen) gives a talk at the MCMP workshop “Carnap on Logic” (3-6 July, 2013) titled “Two conceptions of formalization: Carnapian explication, and formalisms as cognitive tools”.

Read more

Hannes Leitgeb (MCMP/LMU) gives a lecture in Munich.

Read more

Peter Adamson (LMU) gives a talk at MCMP titled “Logic as an Instrument in Greek and Arabic Philosophy”. As is well known, the Aristotelian works on logic were collectively referred to in antiquity as the Organon, meaning “instrument”. Ancient Aristotelians took this seriously: for them, logic is not a part of philosophy but only a […]

Read more

Catarina Duthil-Novaes (ILLC/Amsterdam) gives a talk at MCMP. Abstract: When applying logical tools to study a given extra-theoretical, informal phenomenon, it is now customary to design a deductive system, and a semantic system based on a class of mathematical structures. The assumption seems to be that they would each capture specific aspects of the target […]

Read more

Stephen Neale discusses Bertrand Russell’s famous theory of descriptions and some of the philosophical issues surrounding it involving the nature of language and thought. The theory was first introduced in Russell’s article “On Denoting” and made significant contributions to the philosophy of language, as well as logic, epistemology, and ontology. Among other things, it made […]

Read more

Can logic be revised? If so, can it be revised rationally? If so, how? Graham Priest addresses these and related philosophical questions in this talk regarding the nature of logic and valid reasoning. This talk was given at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012). I don’t own it.

Read more

Christopher Gauker (Cincinnati) gives a talk at the MCMP Colloquium (9 Feb, 2012). In this talk, two definitions of logical validity for a simple first-order language are compared in order to decide which one provides a better model for the semantics for natural language. One of these is the standard model-theoretic definition. The other defines […]

Read more