MCMP – Mathematical Philosophy (Archive 2011/12)
250 episodes - English - Latest episode: about 5 years ago - ★★★★★ - 6 ratingsMathematical Philosophy - the application of logical and mathematical methods in philosophy - is about to experience a tremendous boom in various areas of philosophy. At the new Munich Center for Mathematical Philosophy, which is funded mostly by the German Alexander von Humboldt Foundation, philosophical research will be carried out mathematically, that is, by means of methods that are very close to those used by the scientists.
The purpose of doing philosophy in this way is not to reduce philosophy to mathematics or to natural science in any sense; rather mathematics is applied in order to derive philosophical conclusions from philosophical assumptions, just as in physics mathematical methods are used to derive physical predictions from physical laws.
Nor is the idea of mathematical philosophy to dismiss any of the ancient questions of philosophy as irrelevant or senseless: although modern mathematical philosophy owes a lot to the heritage of the Vienna and Berlin Circles of Logical Empiricism, unlike the Logical Empiricists most mathematical philosophers today are driven by the same traditional questions about truth, knowledge, rationality, the nature of objects, morality, and the like, which were driving the classical philosophers, and no area of traditional philosophy is taken to be intrinsically misguided or confused anymore. It is just that some of the traditional questions of philosophy can be made much clearer and much more precise in logical-mathematical terms, for some of these questions answers can be given by means of mathematical proofs or models, and on this basis new and more concrete philosophical questions emerge. This may then lead to philosophical progress, and ultimately that is the goal of the Center.
Homepage Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Episodes
Comments on Richard Pettigrew's "What chance-credence norms should not be"
September 16, 2012 00:13 - 24 minutes - 202 MB VideoJim Joyce (University of Michigan) comments on Richard Pettigrew's "What chance-credence norms should not be" at the 9th Formal Epistemology Workshop (Munich, May 29–June 2, 2012).
What chance-credence norms should not be
September 16, 2012 00:12 - 35 minutes - 295 MB VideoRichard Pettigrew (Bristol) gives a talk at the 9th Formal Epistemology Workshop (Munich, May 29–June 2, 2012) titled "What chance-credence norms should not be".
Paradox and Revenge
August 01, 2012 15:00 - 55 minutes - 460 MB VideoKeith Simmons (UNC) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Paradox and Revenge".
Paradoxes of Consistency
August 01, 2012 14:00 - 39 minutes - 323 MB VideoBranden Fitelson (Rutgers/MCMP) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Paradoxes of Consistency & (Revising) The Logic of Belief".
Some remarks about logical truth
August 01, 2012 13:00 - 49 minutes - 410 MB VideoCorine Besson (Birkbeck) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Some remarks about logical truth".
Revisionary Metaphysics Without Logical Revision?
August 01, 2012 12:00 - 40 minutes - 337 MB VideoMark Jago (Nottingham) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Revisionary Metaphysics Without Logical Revision?".
Naive Set Theory and Non-Transitive Logic
August 01, 2012 11:00 - 54 minutes - 452 MB VideoAlan Weir (Glasgow) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Naive Set Theory and Non-Transitive Logic".
Revising logic in light of paradox
August 01, 2012 10:00 - 46 minutes - 382 MB VideoStewart Shapiro (Ohio State/St Andrews) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Revising logic in light of paradox".
Norms of truth and logical revision
August 01, 2012 09:00 - 35 minutes - 295 MB VideoGiulia Terzian (Bristol) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Norms of truth and logical revision".
Revising Logic
August 01, 2012 08:00 - 42 minutes - 357 MB VideoGraham Priest (Melbourne/St Andrews/CUNY) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Revising Logic".
Saving Logic from Paradox
August 01, 2012 07:00 - 57 minutes - 477 MB VideoStephen Read (St Andrews) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Saving Logic from Paradox".
Logical Revision and Scientific Methodology
August 01, 2012 06:00 - 50 minutes - 423 MB VideoTimothy Williamson (Oxford) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Logical Revision and Scientific Methodology".
Anything Goes
August 01, 2012 05:00 - 39 minutes - 326 MB VideoDavid Ripley (Melbourne) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Anything Goes".
Getting One for Two, or the Contractor's Bad Deal
August 01, 2012 04:00 - 52 minutes - 433 MB VideoElia Zardini (Aberdeen) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Getting One for Two, or the Contractor's Bad Deal. Towards a Unified Solution to the Semantic Paradoxes".
Contraction and Naive Validity
August 01, 2012 03:00 - 46 minutes - 388 MB VideoZach Weber (Otago) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Contraction and Naive Validity".
Logic and the Liar
August 01, 2012 02:00 - 42 minutes - 352 MB VideoYannis Stephanou (Athens) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Logic and the Liar".
Syntax and Logical Revision
August 01, 2012 01:00 - 53 minutes - 444 MB VideoMichael Glanzberg (NU) gives a talk at the MCMP conference on Paradox and Logical Revision (July 23-25, 2012) titled "Syntax and Logical Revision".
The Reliability of Testimonial Norms in Academic Communities
August 01, 2012 00:15 - 32 minutes - 267 MB VideoConor Mayo-Wilson (CMU) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "The Reliability of Testimonial Norms in Academic Communities".
Semantic Games for Algorithmic Players
August 01, 2012 00:12 - 24 minutes - 207 MB VideoEmmanuel Genot (Lund) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "Semantic Games for Algorithmic Players" (joint work with Justine Jacot).
Tutorial Logic: Recent topics in Dynamic Epistemic Logic II
August 01, 2012 00:10 - 1 hour - 515 MB VideoSonja Smets (ILLC/Amsterdam) gives part II of her tutorial in logic (30 June 2012) titled "Recent topics in Dynamic Epistemic Logic".
Tutorial Logic: Recent topics in Dynamic Epistemic Logic I
August 01, 2012 00:09 - 1 hour - 757 MB VideoSonja Smets (ILLC/Amsterdam) gives part I of her tutorial in logic (30 June 2012) titled "Recent topics in Dynamic Epistemic Logic".
Optimal Categorization
August 01, 2012 00:08 - 29 minutes - 245 MB VideoErik Mohlin (UCL) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "Optimal Categorization".
Pairwise Interactive Knowledge and Nash Equilibrium
August 01, 2012 00:05 - 25 minutes - 209 MB VideoChristian W. Bach (Maastricht) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "Pairwise Interactive Knowledge and Nash Equilibrium" (joint work with Elias Tsakas).
Desirability of Conditionals
August 01, 2012 00:04 - 27 minutes - 230 MB VideoHlynur Orri Stefánsson (LSE) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "Desirability of Conditionals".
Tutorial Decision Theory I: Decision theory in epistemology
August 01, 2012 00:02 - 1 hour - 700 MB VideoRichard Pettigrew (Bristol) gives part I of his tutorial in decision theory (28 June 2012) titled "Decision theory in epistemology".
Tutorial Decision Theory II: Conditionalization
August 01, 2012 00:00 - 51 minutes - 427 MB VideoRichard Pettigrew (Bristol) gives part II of his tutorial in decision theory (28 June 2012) titled "Conditionalization".
A General Scoring Rule
August 01, 2012 00:00 - 20 minutes - 170 MB VideoWulf Gaertner (Osnabrück) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "A General Scoring Rule".
Exponential Discounting for Changing Preferences
August 01, 2012 00:00 - 19 minutes - 161 MB VideoConrad Heilmann (Rotterdam) gives a talk at the Sixth Workshop in Decisions, Games & Logic '12 (June 28-30, 2012) titled "Exponential Discounting for Changing Preferences".
Round Table on Coherence (Part 1)
July 20, 2012 00:00 - 1 hour - 689 MB VideoBranden Fitelson (Rutgers) and Richard Pettigrew (Bristol) present formal approaches to coherence in part 1 ("Table of Contents") of the MCMP Round Table on Coherence (20 July, 2012). Abstract: Recent arguments for probabilistic norms have attempted to justify coherence requirements for (sets of) degrees of confidence solely by appeal to considerations involving their accuracy. Richard Pettigrew, Bristol, and Branden Fitelson, Rutgers, (and their collaborators) have worked extensively on vari...
Round Table on Coherence (Part 2)
July 20, 2012 00:00 - 1 hour - 735 MB VideoBranden Fitelson (Rutgers) and Richard Pettigrew (Bristol) discuss philosophical approaches to coherence, differing perspectives, and formal/conceptual common grounds in part 2 ("Truth Table") of the MCMP Round Table on Coherence (20 July, 2012). Abstract: Recent arguments for probabilistic norms have attempted to justify coherence requirements for (sets of) degrees of confidence solely by appeal to considerations involving their accuracy. Richard Pettigrew, Bristol, and Branden Fitelson, Rut...
Round Table on Acceptance (Part 2)
June 14, 2012 08:56 - 1 hour - 895 MB VideoKevin Kelly (CMU Pittsburgh), Hanti Lin (CMU Pittsburgh), and Hannes Leitgeb (LMU/MCMP) discuss philosophical theories of acceptance, belief revision, and formal/conceptual common grounds in part 2 ("Truth Table") of the Round Table on Acceptance (3 Feb, 2012). Abstract: The Bayesianist concept of belief is described by a measure-theoretic and thus quantitative approach to probabilities as changeable degrees of belief, whereas classical epistemology views belief/acceptance as a qualitative no...
Every Proposition is a Counterfactual (the Robustly Contingent Ones Nontrivially So)
June 14, 2012 08:55 - 47 minutes - 457 MB VideoCharles B. Cross (University of Georgia) gives a talk at the MCMP Workshop on Modality titled "Every Proposition is a Counterfactual (the Robustly Contingent Ones Nontrivially So)".
Wittgenstein and the Epistemology of Peer Disagreement
May 15, 2012 12:00 - 50 minutes - 404 MB VideoMartin Kusch (Vienna) gives a talk at the MCMP Colloquium (18 April, 2012) titled "Wittgenstein and the Epistemology of Peer Disagreement". Abstract: This paper seeks to reconstruct Wittgenstein's views on the epistemology of peer disagreement, and especially in the realm of religious disagreement. I use recent work by Feldman, Sosa, Lackey and others as foils. I seek to show that Wittgenstein leans towards a relativistic conception of such disagreements.
Reference and Circularity in First-Order Arithmetical Systems
May 05, 2012 00:00 - 52 minutes - 494 MB VideoLavinia Picollo (Buenos Aires) gives a talk at the MCMP Colloquium (3 May, 2012) titled "Reference and Circularity in First-Order Arithmetical Systems". Abstract:
The Revision Theory of Truth (T#), FS and the Standard Model of PA
May 05, 2012 00:00 - 47 minutes - 451 MB VideoEduardo Alejandro Barrio (Buenos Aires) gives a talk at the MCMP Colloquium (2 May, 2012) titled "The Revision Theory of Truth (T#), FS and the Standard Model of PA".
A Single-Type Semantics for Natural Language
May 05, 2012 00:00 - 1 hour - 632 MB VideoKristina Liefke (Tilburg) gives a talk at the MCMP Colloquium (26 April, 2012) titled "A Single-Type Semantics for Natural Language". Abstract: Richard Montague's Intensional Logic [2] constitutes a milestone in the project of providing a formal semantics for natural language. Its use enables the systematic translation of natural into formal language expressions and allows a mathematically rigorous account of a wide range of semantic phenomena. Despite its success, Montague's logic has, in th...
Assertion, Denial and the Logic of Definedness
May 02, 2012 00:00 - 1 hour - 569 MB VideoGreg Restall (Melbourne) gives a talk at the MCMP Colloquium (18 April, 2012) titled "Assertion, Denial and the Logic of Definedness".
What would count as Ibn Sina (11th c. Persia) having first order logic?
May 02, 2012 00:00 - 1 hour - 585 MB VideoWilfrid Hodges (School of Mathematical Sciences) gives a talk at the MCMP Colloquium (21 Mar, 2012) titled "What would count as Ibn Sina (11th c. Persia) having first order logic?". Abstract: People debate whether first order logic was invented in 1879, or 1885, or 1928. I will push the boat out much further and discuss the case for around 1025. The question is methodological as much as historical. We have masses of evidence about what Ibn Sina did or didn't know in logic. But his notion of...
Logic and reasoning
May 02, 2012 00:00 - 52 minutes - 492 MB VideoJaroslav Peregrin (Czechoslovak Academy of Sciences) gives a talk at the MCMP Colloquium (19 April, 2012) titled "Logic and reasoning". Abstract: Logic, it is often held, is primarily concerned with reasoning; and the conviction that logic and reasoning are two sides of the same coin nowadays usually equates with the conviction that logic spells out some directives for the "right" management of beliefs. In this talk I put forward an alternative view, based on seeing rules of logic rules as co...
Sequent Systems and Defining Rules
May 02, 2012 00:00 - 1 hour - 600 MB VideoGreg Restall (Melbourne) gives a talk at the MCMP Colloquium (12 Apr, 2012) titled "Sequent Systems and Defining Rules". Abstract: In this talk I will explain how it can be that inference rules can be used to define a class of concepts, and why there are at least three grades of logical complexity (propositional connectives, quantifiers, and modals), depending on the kinds of discourse features exploited in those rules. I'll then explain how concepts characterised by "defining rules" (which I...
Truth, Syntax, Conservativity
May 01, 2012 00:00 - 36 minutes - 315 MB VideoCarlo Nicolai (Oxford) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Truth, Syntax, Conservativity".
Deflationism vs Representationalism
May 01, 2012 00:00 - 47 minutes - 455 MB VideoJeffrey Ketland (MCMP/LMU) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Deflationism vs Representationalism".
Semantic Truth and the Correspondence Theory
May 01, 2012 00:00 - 56 minutes - 539 MB VideoMichael Glanzberg (Northwestern University) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Semantic Truth and the Correspondence Theory".
Let Three Flowers Bloom
May 01, 2012 00:00 - 45 minutes - 435 MB VideoToby Meadows (Arché Research Centre) gives a talk at the Axiomatic vs Semantic Truth Conference (14-16 March, 2012) titled "Let Three Flowers Bloom".
A Conception of Set-Theoretical Truth
May 01, 2012 00:00 - 1 hour - 581 MB VideoLuca Incurvati (Magdalene College Cambridge) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "A Conception of Set-Theoretical Truth".
Axiomatic and Semantic Theories of Truth
May 01, 2012 00:00 - 1 hour - 569 MB VideoVolker Halbach (Oxford) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Axiomatic and Semantic Theories of Truth".
Modelling the use of 'true' in natural Language
May 01, 2012 00:00 - 45 minutes - 326 MB VideoTheodora Achourioti (ILLC) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Modelling the use of 'true' in natural Language".
A general approach to revenge paradoxes
May 01, 2012 00:00 - 34 minutes - 331 MB VideoAndrew Bacon (Oxford) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "A general approach to revenge paradoxes".
Truth Without Detachment
May 01, 2012 00:00 - 54 minutes - 513 MB VideoJc Beall (Connecticut, Otago) gives a talk at the Axiomatic versus Semantic Truth Conference (14-16 March, 2012) titled "Truth Without Detachment".
Computing Non-Causal Knowledge for Causal Reasoning
June 28, 2011 00:00 - 55 minutes - 524 MB VideoRoland Poellinger (MCMP/LMU Munich) gives a talk at the MCMP Workshop on Computational Metaphysics titled "Computing Non-Causal Knowledge for Causal Reasoning". Abstract: We use logical and mathematical knowledge to generate causal claims. Inter-definitions or semantic overlap cannot be consistently embedded in standard Bayes net causal models since in many cases the Markov requirement will be violated. These considerations motivate an extension of Bayes net causal models to also allow for th...