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 | VideoPrioritizing Epistemic Arguments for Justice in the Academy | 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 for Justice in the Academy". Abstract: White women, and | 7/30/2015 | Free | View in iTunes |
| 2 | VideoAttitudes in Epistemology: Belief vs. Credence | 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 in Epistemology: Belief vs. Credence". Abstract: This lec | 7/30/2015 | Free | View in iTunes |
| 3 | VideoContext-dependence and the Semantics-Pragmatics Interface | 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-dependence and the Semantics-Pragmatics Interface". Abstract: | 7/30/2015 | Free | View in iTunes |
| 4 | VideoIntroduction to Networks | 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: Social networks have become a central feature of the scientif | 7/28/2015 | Free | View in iTunes |
| 5 | VideoTheory of Graded Consequence | Mihir K. Charaborty (Kolkata) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Theory of Graded Consequence". | 7/13/2015 | Free | View in iTunes |
| 6 | VideoCaie's Paradox of Credence | 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 entails absurdities, and ‘paradoxical’ if it and its | 5/25/2015 | Free | View in iTunes |
| 7 | VideoConnective Meanings in Beall and Restall's Logical Pluralism | 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 with the meanings of the connectives as presented in Beall | 5/25/2015 | Free | View in iTunes |
| 8 | VideoIndicative Conditionals, Restricted Quantification, Naïve Truth | 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, the attribution of truth to S is equivalent to S. Kri | 5/25/2015 | Free | View in iTunes |
| 9 | VideoWhat is Wrong with the Ramsey Test | 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 Ramsey Test, evaluating an indicative conditional, “ | 5/18/2015 | Free | View in iTunes |
| 10 | VideoCapturing Consequence | 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 that we should move from a logical theory L to L′ when L | 5/4/2015 | Free | View in iTunes |
| 11 | VideoRevision and Logical Neutrality (or, a Plea for Ecumenical Reasons) | 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 our logic? One natural suggestion is that we should mov | 5/4/2015 | Free | View in iTunes |
| 12 | VideoOn Relevance of Entailment in a Classical Logic Context | 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 present a logic that aims to determine whether implications | 5/4/2015 | Free | View in iTunes |
| 13 | VideoA Dialogical Analysis of Structural Rules | 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 approaches to the semantic paradoxes have been proposed, which id | 1/26/2015 | Free | View in iTunes |
| 14 | VideoNegation as modality | 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 negation as a modality. According to that account, the negation | 1/20/2015 | Free | View in iTunes |
| 15 | VideoLogical Consequence Explicated in Terms of Cognitive Attitudes | 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, either introduced by semantical means or by way of some | 1/15/2015 | Free | View in iTunes |
| 16 | VideoDoing mathematics paraconsistently. A manifesto | 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". Abstract: In this talk, we outline several motivation | 6/16/2014 | Free | View in iTunes |
| 17 | VideoInconsistent scientific Theories: A Framework | 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 important issues need to be considered when inconsisten | 6/16/2014 | Free | View in iTunes |
| 18 | VideoOn the Preservation of Reliability | 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 are wrong, but some are useful. (G E.P. Box and N. R. | 6/16/2014 | Free | View in iTunes |
| 19 | VideoA Paraconsistent Generalization of Carnap's Logic of Theoretical Terms | 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 Theoretical Terms". | 6/16/2014 | Free | View in iTunes |
| 20 | VideoCan a paraconsistent differential calculus extend the classical differential calculus? | 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 extend the classical differential calculus?". Abstract:I | 6/16/2014 | Free | View in iTunes |
| 21 | VideoModels of Paraconsistent Set Theory | Graham Priest (CUNY and St Andrews) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Models of Paraconsistent Set Theory". Abstract: Any adequate paraconsistent set theory must be able to v | 6/16/2014 | Free | View in iTunes |
| 22 | VideoWhy designate gluts? | 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 explore the following idea: Truth value gluts should be | 6/16/2014 | Free | View in iTunes |
| 23 | VideoTransitory and Permanent Applications of Paraconsistency | 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". Abstract: The advent of paraconsistency offers an excellen | 6/16/2014 | Free | View in iTunes |
| 24 | VideoInconsistent Thinking, Fast and Slow | 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 plays on Kahneman’s Thinking Fast and Slow. We implement | 6/16/2014 | Free | View in iTunes |
| 25 | VideoA plea for beta-reduction by value | 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, a problem discussed in a 2004 paper by Stephen Neale a | 5/16/2014 | Free | View in iTunes |
| 26 | VideoActual causation using CP-logic | 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 causality, the subject has garnered a lot of interest amon | 11/17/2013 | Free | View in iTunes |
| 27 | VideoUnderstanding and inference | 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 and inference". | 11/5/2013 | Free | View in iTunes |
| 28 | VideoTruth-conditional Theories of Meaning within Fregean Limits | 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 Theories of Meaning within Fregean Limits". | 11/5/2013 | Free | View in iTunes |
| 29 | VideoProof Theoretic Harmony in Substructural Logics | 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 Harmony in Substructural Logics". | 11/5/2013 | Free | View in iTunes |
| 30 | VideoModels of Paraconsistent Set Theory | 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 Paraconsistent Set Theory". | 11/5/2013 | Free | View in iTunes |
| 31 | VideoQualifying quantifying-in | 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 individual x and a property f such that you know that x | 10/25/2013 | Free | View in iTunes |
| 32 | VideoTruth and Paradox | Thomas Schindler (MCMP/LMU) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Truth and Paradox". | 8/20/2013 | Free | View in iTunes |
| 33 | VideoOn Carnap on Empirical Significance | Sebastian Lutz (MCMP/LMU) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "On Carnap on Empirical Significance". | 7/23/2013 | Free | View in iTunes |
| 34 | VideoChasing Ghosts: Understanding Carnap's pure Semantics | 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". | 7/23/2013 | Free | View in iTunes |
| 35 | VideoTarskian and Carnapian Semantics | Pierre Wagner (Paris) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Tarskian and Carnapian Semantics". | 7/23/2013 | Free | View in iTunes |
| 36 | VideoCarnap as a Logician | Richard Zach (Calgary) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Carnap as a Logician". | 7/23/2013 | Free | View in iTunes |
| 37 | VideoCarnapian Rationality | Andre Carus (Hegeler Institute) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "Carnapian Rationality". | 7/23/2013 | Free | View in iTunes |
| 38 | VideoThe Place of Carnap's Early Model Theory in the History of Logic | 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". | 7/23/2013 | Free | View in iTunes |
| 39 | VideoLogic in the 1930s: Type Theory and Model Theory | 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". | 7/23/2013 | Free | View in iTunes |
| 40 | VideoThe limits of tolerance? Carnap on the normativity of logic | 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". | 7/23/2013 | Free | View in iTunes |
| 41 | VideoTwo conceptions of formalization: Carnapian explication, and formalisms as cognitive tools | 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 tools". | 7/23/2013 | Free | View in iTunes |
| 42 | VideoQuine, Carnap and Lewis on Truth by Convention | 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". | 7/23/2013 | Free | View in iTunes |
| 43 | VideoThe Logical and the Analytic | Richard Creath (Arizona) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "The Logical and the Analytic". | 7/23/2013 | Free | View in iTunes |
| 44 | VideoOn the Invariance of Logical Truth | 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". | 7/23/2013 | Free | View in iTunes |
| 45 | VideoApplications and Content: Frege and Gödel on Mathematics as Syntax | 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". | 7/23/2013 | Free | View in iTunes |
| 46 | VideoFrom Intuition to Tolerance in Carnap's Philosophy of Mathematics | 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 discuss the evolution of Carnap's views on arithmetic and ge | 7/23/2013 | Free | View in iTunes |
| 47 | VideoArrows, Relevance, and Relations* | 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-motivated and have epistemic applications, e.g., to the logic | 7/3/2013 | Free | View in iTunes |
| 48 | VideoFrom Logic to Behavior | 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 computation theory in cognitive science. I will show how logic ca | 7/3/2013 | Free | View in iTunes |
| 49 | VideoTruth and Speed-up | Martin Fischer (MCMP/LMU) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Truth and Speed-up". | 5/28/2013 | Free | View in iTunes |
| 50 | VideoNaive Sequent Structure, Contraction and Paradox | Lionel Shapiro (Connecticut) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Naive Sequent Structure, Contraction and Paradox". | 5/28/2013 | Free | View in iTunes |
| 51 | VideoContractions of noncontractive consequence | David Ripley (Melbourne) gives a talk at the MCMP workshop "Truth and Paradox" (24-25 May, 2013) titled "Contractions of noncontractive consequence". | 5/28/2013 | Free | View in iTunes |
| 52 | VideoNecessities and Necessary Truths. A Proof-Theoretic Addendum | 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". | 5/28/2013 | Free | View in iTunes |
| 53 | VideoSemantic games and hypersequents: a case study in many valued reasoning | 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 been an open problem whether there is an analytic (cut-fre | 5/27/2013 | Free | View in iTunes |
| 54 | VideoOn flattening rules in natural deduction calculus for intuitionistic propositional logic | 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 propositional logic". Abstract: Standard versions of natural | 4/28/2013 | Free | View in iTunes |
| 55 | VideoModus Ponens on the Restrictor View | 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 counterexample to modus ponens, which bears interesting re | 2/13/2013 | Free | View in iTunes |
| 56 | VideoInterpretational Logical Truth: The Problem of Admissible Interpretations | 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 interpretational definition of logical truth a sentence is l | 1/24/2013 | Free | View in iTunes |
| 57 | VideoHybrid-Logical Proof Theory: With an Application to False-Belief Tasks | 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 extension of ordinary modal logic which allows explicit refer | 1/21/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
