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 | VideoHybrid-Logical Proof Theory: With an Application to False-Belief Tasks | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
2 | VideoOn flattening rules in natural deduction calculus for intuitionistic propositional logic | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
3 | VideoSemantic games and hypersequents: a case study in many valued reasoning | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
4 | VideoModus Ponens on the Restrictor View | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
5 | VideoFrom Logic to Behavior | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
6 | VideoInterpretational Logical Truth: The Problem of Admissible Interpretations | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
7 | VideoTransitory and Permanent Applications of Paraconsistency | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
8 | VideoA plea for beta-reduction by value | Colloquium Mathematical Philosophy | 4/18/2019 | Free | View in iTunes |
9 | VideoWhy designate gluts? | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
10 | VideoInconsistent Thinking, Fast and Slow | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
11 | VideoDoing mathematics paraconsistently. A manifesto | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
12 | VideoModels of Paraconsistent Set Theory | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
13 | VideoCan 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 | VideoOn the Preservation of Reliability | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
15 | VideoInconsistent scientific Theories: A Framework | Conference on Paraconsistent Reasoning in Science and Mathematics | 4/18/2019 | Free | View in iTunes |
16 | VideoA 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 | VideoNegation as modality | Colloquium Mathematical Philosophy | 4/11/2018 | Free | View in iTunes |
18 | VideoIntroduction to Networks | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |
19 | VideoContext-dependence and the Semantics-Pragmatics Interface | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |
20 | VideoAttitudes in Epistemology: Belief vs. Credence | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |
21 | VideoPrioritizing Epistemic Arguments for Justice in the Academy | Summer School on Mathematical Philosophy for Female Students 2015 | 7/30/2015 | Free | View in iTunes |
22 | VideoCaie's Paradox of Credence | Colloquium Mathematical Philosophy | 7/24/2015 | Free | View in iTunes |
23 | VideoTheory of Graded Consequence | Colloquium Mathematical Philosophy | 7/14/2015 | Free | View in iTunes |
24 | VideoConnective Meanings in Beall and Restall's Logical Pluralism | Colloquium Mathematical Philosophy | 6/3/2015 | Free | View in iTunes |
25 | VideoIndicative Conditionals, Restricted Quantification, Naïve Truth | Colloquium Mathematical Philosophy | 6/3/2015 | Free | View in iTunes |
26 | VideoWhat is Wrong with the Ramsey Test | Colloquium Mathematical Philosophy | 5/28/2015 | Free | View in iTunes |
27 | VideoRevision and Logical Neutrality (or, a Plea for Ecumenical Reasons) | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |
28 | VideoCapturing Consequence | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |
29 | VideoOn Relevance of Entailment in a Classical Logic Context | Colloquium Mathematical Philosophy | 5/10/2015 | Free | View in iTunes |
30 | VideoA Dialogical Analysis of Structural Rules | Colloquium Mathematical Philosophy | 2/9/2015 | Free | View in iTunes |
31 | VideoLogical Consequence Explicated in Terms of Cognitive Attitudes | Colloquium Mathematical Philosophy | 2/9/2015 | Free | View in iTunes |
32 | VideoActual causation using CP-logic | Colloquium Mathematical Philosophy | 1/22/2014 | Free | View in iTunes |
33 | VideoUnderstanding and inference | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |
34 | VideoTruth-conditional Theories of Meaning within Fregean Limits | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |
35 | VideoProof Theoretic Harmony in Substructural Logics | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |
36 | VideoModels of Paraconsistent Set Theory | Workshop on Meaning: Models and Proofs | 11/24/2013 | Free | View in iTunes |
37 | VideoQualifying quantifying-in | Colloquium Mathematical Philosophy | 11/2/2013 | Free | View in iTunes |
38 | VideoTwo conceptions of formalization: Carnapian explication, and formalisms as cognitive tools | Workshop Carnap on Logic | 11/2/2013 | Free | View in iTunes |
39 | VideoOn Carnap on Empirical Significance | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
40 | VideoChasing Ghosts: Understanding Carnap's pure Semantics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
41 | VideoTarskian and Carnapian Semantics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
42 | VideoCarnap as a Logician | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
43 | VideoCarnapian Rationality | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
44 | VideoThe Place of Carnap's Early Model Theory in the History of Logic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
45 | VideoLogic in the 1930s: Type Theory and Model Theory | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
46 | VideoThe limits of tolerance? Carnap on the normativity of logic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
47 | VideoQuine, Carnap and Lewis on Truth by Convention | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
48 | VideoThe Logical and the Analytic | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
49 | VideoOn the Invariance of Logical Truth | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
50 | VideoApplications and Content: Frege and Gödel on Mathematics as Syntax | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
51 | VideoFrom Intuition to Tolerance in Carnap's Philosophy of Mathematics | Workshop Carnap on Logic | 11/1/2013 | Free | View in iTunes |
52 | VideoArrows, Relevance, and Relations* | Colloquium Mathematical Philosophy | 10/10/2013 | Free | View in iTunes |
53 | VideoTruth and Speed-up | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |
54 | VideoTruth and Paradox | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |
55 | VideoContractions of noncontractive consequence | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |
56 | VideoNaive Sequent Structure, Contraction and Paradox | Workshop on Truth and Paradox | 8/27/2013 | Free | View in iTunes |
57 | VideoNecessities 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