Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Modality titled "Modality and Categories".

Peter Verdée (Ghent) gives a talk at the MCMP Colloquium (8 Feb, 2012) titled "Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments". Abstract: Peter Verd ́ee ([email protected]) Centre for Logic and Philosophy of Science Ghent University, Belgium In this talk I give a thorough introduction to adaptive logics (cf. [1, 2, 3]). Adaptive logics are first devised by Diderik Batens and are now the main research area of the logicians in the Centre for Logic...

Sonja Smets (University of Groningen) gives a talk at the MCMP Colloquium titled "Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking". Abstract: We investigate the long-term behavior of processes of learning by iterated belief-revision with new truthful information. In the case of higher-order doxastic sentences, the iterated revision can even be induced by repeated learning of the same sentence (which conveys new truths at each stage by referring to the agent's...

Alexandru Baltag (ILLC Amsterdam) gives a talk at the MCMP Colloquium titled "Tracking the Truth Requires a Non-wellfounded Prior! A Study in the Learning Power (and Limits) of Bayesian (and Qualitative) Update". Abstract: The talk is about tracking "full truth" in the limit by iterated belief updates. Unlike Sonja's talk (which focused on finite models), we now allow the initial model (and thus the initial set of epistemic possibilities) to be infinite. We compare the truth-tracking power of...

Ed Zalta (Stanford) gives a talk at the MCMP Workshop on Modality titled "Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology".

Richard Pettigrew (University of Bristol) gives a talk at the MCMP Colloquium titled "Accuracy, Chance, and the Principal Principle"

Douglas Patterson (Universität Leipzig) gives a talk at the MCMP Colloquium titled "Theory and Concept in Tarski's Philosophy of Language". Abstract: In this talk I will set out some of the background of Tarski's famous work on truth and semantics by looking at important views of his teachers Tadeusz Kotarbinski and Stanislaw Lesniewski in the philosophy of langauge and the "methodology of deductive sciences". With the understanding of the assumed philosophy of language and logic of the...

Catarina Duthil-Novaes (ILLC/Amsterdam) gives a talk at the MCMP Colloquium titled "The 'fitting problem' for logical semantic systems". 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 phenomenon. Kreisel has famously offered an argument on how,...

Volker Halbach (Oxford) gives a talk at the MCMP Colloquium titled "The conservativity of truth and the disentanglement of syntax and semantics"

Catarina Duthil-Novaes (ILLC/Amsterdam) gives at talk at the MCMP Colloquium titled "Cognitive motivations for treating formalisms as calculi". Abstract: In The Logical Syntax of Language, Carnap famously recommended that logical languages be treated as mere calculi, and that their symbols be viewed as meaningless; reasoning with the system is to be guided solely on the basis of its rules of transformation. Carnap˙s main motivation for this recommendation seems to be related to a concern...

Berit Brogaard (University of Missouri, St. Louis) gives a talk at the MCMP Colloquium titled "Do 'Looks' Reports Reflect the Contents of Perception?"

Stephan Hartmann (Tilburg) gives a talk at the MCMP Workshop on Computational Metaphysics titled "On the Emergence of Descriptive Norms".

Charles B. Cross (University of Georgia) gives a talk at the MCMP Colloquium titled "Conclusive Reasons, Transmission, and Epistemic Closure".

Graciela di Pierris (Stanford) gives a talk at the MCMP Colloquium titled "Hume on Space and Geometry". Abstract: Hume’s discussion of space, time, and mathematics in Part II of Book I of theTreatise has appeared to many commentators as one of the weakest parts of his work.I argue, on the contrary, that Hume’s views on space and geometry are deeplyconnected with his radically empiricist reliance on phenomenologically given sensoryimages. He insightfully shows that, working within this...

Ed Zalta (CSLI Stanford) gives a talk at the MCMP Workshop on Computational Metaphysics titled "Toward Leibniz's Goal of a Computational Metaphysics".

Branden Fitelson (Rutgers University) gives a talk at the MCMP Workshop on Computational Metaphysics titled "Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning)". Abstract: The first part of this talk (which is joint work with Paul Oppenheimer) will be about the perils of representing claims involving Russellian definite descriptions in an "automated reasoning friendly" way. I will explain how to eliminate Russellian descriptions, so as to...