Podcasts by MCMP – Logic
Mathematical 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.
Further podcasts by MCMP Team
Podcast on the topic Philosophie
All episodes
Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks from 2019-04-18T22:53:23
Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks". Abstract: Hybrid logic is an extens...
ListenOn flattening rules in natural deduction calculus for intuitionistic propositional logic from 2019-04-18T22:53
Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) titled "On flattening rules in natural deduction calculus for intuitionistic propo...
ListenSemantic games and hypersequents: a case study in many valued reasoning from 2019-04-18T22:49:41
Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a case study in many valued reasoning". Abstract: For a quite a while it had bee...
ListenModus Ponens on the Restrictor View from 2019-04-18T22:47:40
Moritz Schulz (Barcelona) gives a talk at the MCMP Colloquium (7 February, 2013) titled "Modus Ponens on the Restrictor View". Abstract: Recently, Kolodny&MacFarlane (2010) have proposed a new coun...
ListenFrom Logic to Behavior from 2019-04-18T22:45:17
Jakub Szymanik (Amsterdam) gives a talk at the MCMP Colloquium (12 June, 2013) titled "From Logic to Behavior". Abstract: In this talk I will explore the applicability of modern logic and computati...
ListenInterpretational Logical Truth: The Problem of Admissible Interpretations from 2019-04-18T22:42:55
Alexandra Zinke (Konstanz) gives a talk at the MCMP Colloquium (24 January, 2013) titled "Interpretational Logical Truth: The Problem of Admissible Interpretations". Abstract: According to the inte...
ListenTransitory and Permanent Applications of Paraconsistency from 2019-04-18T22:17:30
Diderik Batens (Ghent) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Transitory and Permanent Applications of Paraconsistency". Ab...
ListenA plea for beta-reduction by value from 2019-04-18T22:13:24
Marie Duzi (Technical University Ostrava) gives a talk at the MCMP Colloquium (15 May, 2014) titled "A plea for beta-reduction by value". Abstract: This paper solves, in a logically rigorous manner...
ListenWhy designate gluts? from 2019-04-18T22:09:56
Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Why designate gluts?". Abstract: In this talk, I want to ...
ListenInconsistent Thinking, Fast and Slow from 2019-04-18T22:09:54
Francesco Berto (Amsterdam) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Inconsistent Thinking, Fast and Slow". Abstract: This pl...
ListenDoing mathematics paraconsistently. A manifesto from 2019-04-18T22:08:05
Maarten McKubre-Jordens (Canterbury) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Doing mathematics paraconsistently. A manifesto...
ListenCan a paraconsistent differential calculus extend the classical differential calculus? from 2019-04-18T22:06:11
Itala M. Loffredo D'Ottaviano (Campinas) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Can a paraconsistent differential calculus ...
ListenInconsistent scientific Theories: A Framework from 2019-04-18T22:04:58
Otávio Bueno (Miami) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Inconsistent scientific Theories: A Framework". Abstract: Four ...
ListenOn the Preservation of Reliability from 2019-04-18T22:04:58
Bryson Brown (Lethbridge) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "On the Preservation of Reliability". Abstract: …all models...
ListenA Paraconsistent Generalization of Carnap's Logic of Theoretical Terms from 2019-04-18T21:59:59
Holger Andreas (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "A Paraconsistent Generalization of Carnap's Logic of Theor...
ListenNegation as modality from 2018-04-11T14:43:01
Michael De (Konstanz) gives a talk at the MCMP Colloquium (18 December, 2014) titled "Negation as modality". Abstract: In a recent paper, Francesco Berto (forthcoming) defends an account of negatio...
ListenIntroduction to Networks from 2015-07-31T03:00
Kevin Zollman (CMU) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Introduction to Networks". Abstract: Socia...
ListenContext-dependence and the Semantics-Pragmatics Interface from 2015-07-31T02:00
Isidora Stojanovic (Jean Nicod Institute Paris) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Context-depend...
ListenAttitudes in Epistemology: Belief vs. Credence from 2015-07-31T01:00
Julia Staffel (Washington University in St. Louis) gives a lecture (first session) at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Attitudes i...
ListenPrioritizing Epistemic Arguments for Justice in the Academy from 2015-07-31T00:00
Carla Fehr (University of Waterloo) gives the evening lecture at the Summer School on Mathematical Philosophy for Female Students (26 July - 1 Agusut, 2015) titled "Prioritizing Epistemic Arguments...
ListenCaie's Paradox of Credence from 2015-07-24T16:00
Hartry Field (NYU) gives a talk at the MCMP Colloquium (21 May, 2015) titled "Caie's Paradox of Credence". Abstract: Call a sentence ‘contradictory’ if it together with acceptable assumptions entai...
ListenTheory of Graded Consequence from 2015-07-14T08:00
Mihir K. Charaborty (Kolkata) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Theory of Graded Consequence".
ListenConnective Meanings in Beall and Restall's Logical Pluralism from 2015-06-03T21:00
Teresa Kouri (Ohio State) gives a talk at the MCMP Colloquium (21 May, 2015) titled "Connective Meanings in Beall and Restall's Logical Pluralism". Abstract: I will show that there is a problem wit...
ListenIndicative Conditionals, Restricted Quantification, Naïve Truth from 2015-06-03T20:00
Hartry Field (NYU) gives a talk at the MCMP Colloquium (20 May, 2015) titled "Indicative Conditionals, Restricted Quantification, Naïve Truth". Abstract: Truth is "naive" if for eternal sentences S...
ListenWhat is Wrong with the Ramsey Test from 2015-05-28T11:00
Karolina Krzyżanowska (MCMP) gives a talk at the MCMP Colloquium (13 May, 2015) titled "What is Wrong with the Ramsey Test". Abstract: According to an influential idea of Frank Ramsey, known as the...
ListenRevision and Logical Neutrality (or, a Plea for Ecumenical Reasons) from 2015-05-11T04:59:59
Jack Woods (Bilkent) gives a talk at the MCMP Colloquium (23 April, 2015) titled "Revision and Logical Neutrality (or, a Plea for Ecumenical Reasons)". Abstract: What reasons are there for revising...
ListenCapturing Consequence from 2015-05-11T03:58:47
Alexander Paseau (Oxford) gives a talk at the MCMP Colloquium (23 April, 2015) titled "Capturing Consequence". Abstract: What reasons are there for revising our logic? One natural suggestion is tha...
ListenOn Relevance of Entailment in a Classical Logic Context from 2015-05-11T02:54:15
Peter Verdée (Université catholique de Louvain) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On Relevance of Entailment in a Classical Logic Context". Abstract: In this talk I prese...
ListenA Dialogical Analysis of Structural Rules from 2015-02-10T06:14:57
Catarina Dutilh Novaes (Groningen) gives a talk at the MCMP Colloquium (22 January, 2015) titled "A dialogical analysis of structural rules". Abstract: Recently, a number of substructural approache...
ListenLogical Consequence Explicated in Terms of Cognitive Attitudes from 2015-02-10T01:27:38
Joao Marcos (UFRN) gives a talk at the MCMP Colloquium (5 June, 2014) titled "Logical consequence explicated in terms of cognitive attitudes". Abstract: The received notions of logical consequence,...
ListenActual causation using CP-logic from 2014-01-23T01:45:56
Sander Beckers (Leuven) gives a talk at the MCMP Colloquium (6 November, 2013) titled "Actual causation using CP-logic". Abstract: Since Pearl’s seminal work on providing a formal language for caus...
ListenUnderstanding and inference from 2013-11-25T05:43:25
Florian Steinberger (MCMP/LMU) gives a talk at the Workshop on Meaning: Models and Proofs (11-12 Oct, 2013, co-organized by the MCMP and the Arché Research Centre, St Andrews) titled "Understanding...
ListenTruth-conditional Theories of Meaning within Fregean Limits from 2013-11-25T04:37:51
Alex Yates (Arché) gives a talk at the Workshop on Meaning: Models and Proofs (11-12 Oct, 2013, co-organized by the MCMP and the Arché Research Centre, St Andrews) titled "Truth-conditional Theorie...
ListenProof Theoretic Harmony in Substructural Logics from 2013-11-25T03:36:45
Ole T. Hjortland (MCMP/LMU) gives a talk at the Workshop on Meaning: Models and Proofs (11-12 Oct, 2013, co-organized by the MCMP and the Arché Research Centre, St Andrews) titled "Proof Theoretic ...
ListenModels of Paraconsistent Set Theory from 2013-11-25T02:34:18
Graham Priest (CUNY, Arché) gives a talk at the Workshop on Meaning: Models and Proofs (11-12 Oct, 2013, co-organized by the MCMP and the Arché Research Centre, St Andrews) titled "Models of Paraco...
ListenQualifying quantifying-in from 2013-11-02T09:24:21
Bjørn Jespersen (TU Ostrava) gives a talk at the MCMP Colloquium (24 October, 2013) titled "Qualifying quantifying-in". Abstract: If you know that Munich is a city, does it follow that there is an ...
ListenTwo conceptions of formalization: Carnapian explication, and formalisms as cognitive tools from 2013-11-02T08:45:36
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 ...
ListenOn Carnap on Empirical Significance from 2013-11-01T17:41:19
Sebastian Lutz (MCMP/LMU) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "On Carnap on Empirical Significance".
ListenChasing Ghosts: Understanding Carnap's pure Semantics from 2013-11-01T17:40:50
Peter Olen (South Florida) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Chasing Ghosts: Understanding Carnap's pure Semantics".
ListenTarskian and Carnapian Semantics from 2013-11-01T17:40:24
Pierre Wagner (Paris) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Tarskian and Carnapian Semantics".
ListenCarnap as a Logician from 2013-11-01T17:40:02
Richard Zach (Calgary) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Carnap as a Logician".
ListenCarnapian Rationality from 2013-11-01T17:38:44
Andre Carus (Hegeler Institute) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Carnapian Rationality".
ListenThe Place of Carnap's Early Model Theory in the History of Logic from 2013-11-01T17:38:23
Iris Loeb (Amsterdam) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "The Place of Carnap's Early Model Theory in the History of Logic".
ListenLogic in the 1930s: Type Theory and Model Theory from 2013-11-01T17:38:03
Erich Reck (UC Riverside) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Logic in the 1930s: Type Theory and Model Theory".
ListenThe limits of tolerance? Carnap on the normativity of logic from 2013-11-01T17:37:44
Florian Steinberger (MCMP/LMU) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "The limits of tolerance? Carnap on the normativity of logic".
ListenQuine, Carnap and Lewis on Truth by Convention from 2013-11-01T17:34:10
Sean Morris (MSU Denver) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Quine, Carnap and Lewis on Truth by Convention".
ListenThe Logical and the Analytic from 2013-11-01T17:33:45
Richard Creath (Arizona) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "The Logical and the Analytic".
ListenOn the Invariance of Logical Truth from 2013-11-01T17:33:23
Steve Awodey (Carnegie-Mellon) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "On the Invariance of Logical Truth".
ListenApplications and Content: Frege and Gödel on Mathematics as Syntax from 2013-11-01T17:32:58
Patricia Blanchette (Notre Dame) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Applications and Content: Frege and Gödel on Mathematics as Syntax".
ListenFrom Intuition to Tolerance in Carnap's Philosophy of Mathematics from 2013-11-01T17:32:19
Michael Friedman (Stanford) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "From Intuition to Tolerance in Carnap's Philosophy of Mathematics". Abstract: I plan to disc...
ListenArrows, Relevance, and Relations* from 2013-10-10T18:50:57
Michael Dunn (Bloomington) gives a talk at the MCMP Colloquium (25 June, 2013) titled "Arrows, Relevance, and Relations*". Abstract: The van Benthem-Venema "arrow logics" are abstractly well-motiva...
ListenTruth and Speed-up from 2013-08-27T12:40:12
Martin Fischer (MCMP/LMU) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Truth and Speed-up".
ListenTruth and Paradox from 2013-08-27T12:39:57
Thomas Schindler (MCMP/LMU) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Truth and Paradox".
ListenContractions of noncontractive consequence from 2013-08-27T12:38:19
David Ripley (Melbourne) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Contractions of noncontractive consequence".
ListenNaive Sequent Structure, Contraction and Paradox from 2013-08-27T12:38:03
Lionel Shapiro (Connecticut) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Naive Sequent Structure, Contraction and Paradox".
ListenNecessities and Necessary Truths. A Proof-Theoretic Addendum from 2013-08-27T12:35:35
Johannes Stern (MCMP/LMU) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Necessities and Necessary Truths. A Proof-Theoretic Addendum".
Listen