# MCMP – Logic

## By MCMP Team

To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to podcasts.

#### Description

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. 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.

Name | Description | Released | Price | ||
---|---|---|---|---|---|

1 | CleanVideoHybrid-Logical Proof Theory: With an Application to False-Belief Tasks | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

2 | CleanVideoOn flattening rules in natural deduction calculus for intuitionistic propositional logic | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

3 | CleanVideoSemantic games and hypersequents: a case study in many valued reasoning | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

4 | CleanVideoModus Ponens on the Restrictor View | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

5 | CleanVideoFrom Logic to Behavior | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

6 | CleanVideoInterpretational Logical Truth: The Problem of Admissible Interpretations | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

7 | CleanVideoTransitory and Permanent Applications of Paraconsistency | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

8 | CleanVideoA plea for beta-reduction by value | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |

9 | CleanVideoWhy designate gluts? | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

10 | CleanVideoInconsistent Thinking, Fast and Slow | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

11 | CleanVideoDoing mathematics paraconsistently. A manifesto | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

12 | CleanVideoModels of Paraconsistent Set Theory | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

13 | CleanVideoCan a paraconsistent differential calculus extend the classical differential calculus? | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

14 | CleanVideoOn the Preservation of Reliability | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

15 | CleanVideoInconsistent scientific Theories: A Framework | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

16 | CleanVideoA Paraconsistent Generalization of Carnap's Logic of Theoretical Terms | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |

17 | CleanVideoNegation as modality | Colloquium Mathematical Philosophy | 4/11/2018 | Free | View in iTunes |

18 | CleanVideoIntroduction to Networks | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |

19 | CleanVideoContext-dependence and the Semantics-Pragmatics Interface | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |

20 | CleanVideoAttitudes in Epistemology: Belief vs. Credence | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |

21 | CleanVideoPrioritizing Epistemic Arguments for Justice in the Academy | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |

22 | CleanVideoCaie's Paradox of Credence | Colloquium Mathematical Philosophy | 7/24/2015 | Free | View in iTunes |

23 | CleanVideoTheory of Graded Consequence | Colloquium Mathematical Philosophy | 7/14/2015 | Free | View in iTunes |

24 | CleanVideoConnective Meanings in Beall and Restall's Logical Pluralism | Colloquium Mathematical Philosophy | 6/3/2015 | Free | View in iTunes |

25 | CleanVideoIndicative Conditionals, Restricted Quantification, Naïve Truth | Colloquium Mathematical Philosophy | 6/3/2015 | Free | View in iTunes |

26 | CleanVideoWhat is Wrong with the Ramsey Test | Colloquium Mathematical Philosophy | 5/28/2015 | Free | View in iTunes |

27 | CleanVideoRevision and Logical Neutrality (or, a Plea for Ecumenical Reasons) | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |

28 | CleanVideoCapturing Consequence | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |

29 | CleanVideoOn Relevance of Entailment in a Classical Logic Context | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |

30 | CleanVideoA Dialogical Analysis of Structural Rules | Colloquium Mathematical Philosophy | 2/9/2015 | Free | View in iTunes |

31 | CleanVideoLogical Consequence Explicated in Terms of Cognitive Attitudes | Colloquium Mathematical Philosophy | 2/9/2015 | Free | View in iTunes |

32 | CleanVideoActual causation using CP-logic | Colloquium Mathematical Philosophy | 1/22/2014 | Free | View in iTunes |

33 | CleanVideoUnderstanding and inference | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |

34 | CleanVideoTruth-conditional Theories of Meaning within Fregean Limits | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |

35 | CleanVideoProof Theoretic Harmony in Substructural Logics | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |

36 | CleanVideoModels of Paraconsistent Set Theory | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |

37 | CleanVideoQualifying quantifying-in | Colloquium Mathematical Philosophy | 11/2/2013 | Free | View in iTunes |

38 | CleanVideoTwo conceptions of formalization: Carnapian explication, and formalisms as cognitive tools | Workshop Carnap on Logic | 11/2/2013 | Free | View in iTunes |

39 | CleanVideoOn Carnap on Empirical Significance | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

40 | CleanVideoChasing Ghosts: Understanding Carnap's pure Semantics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

41 | CleanVideoTarskian and Carnapian Semantics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

42 | CleanVideoCarnap as a Logician | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

43 | CleanVideoCarnapian Rationality | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

44 | CleanVideoThe Place of Carnap's Early Model Theory in the History of Logic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

45 | CleanVideoLogic in the 1930s: Type Theory and Model Theory | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

46 | CleanVideoThe limits of tolerance? Carnap on the normativity of logic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

47 | CleanVideoQuine, Carnap and Lewis on Truth by Convention | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

48 | CleanVideoThe Logical and the Analytic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

49 | CleanVideoOn the Invariance of Logical Truth | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

50 | CleanVideoApplications and Content: Frege and Gödel on Mathematics as Syntax | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

51 | CleanVideoFrom Intuition to Tolerance in Carnap's Philosophy of Mathematics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |

52 | CleanVideoArrows, Relevance, and Relations* | Colloquium Mathematical Philosophy | 10/10/2013 | Free | View in iTunes |

53 | CleanVideoTruth and Speed-up | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |

54 | CleanVideoTruth and Paradox | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |

55 | CleanVideoContractions of noncontractive consequence | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |

56 | CleanVideoNaive Sequent Structure, Contraction and Paradox | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |

57 | CleanVideoNecessities and Necessary Truths. A Proof-Theoretic Addendum | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |

57 Items |

#### Customer Reviews

##### This poor guy !

This guy sounds nervous that he’s gunna relieve himself in his pants. I found my self wanting to give him a hug and tell him it’s gunna be okay. The problem with this is I can’t Focus course material because this guy is to distracted by other things like not relieving himself in his pants