MCMP – Logic

by MCMP Team
0

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.

More
Recent Episodes
  • Prioritizing Epistemic Arguments for Justice in the Academy
    Jul 31, 2015 – 00:59:48
  • Context-dependence and the Semantics-Pragmatics Interface
    Jul 31, 2015 – 01:12:01
  • Introduction to Networks
    Jul 31, 2015 – 01:16:03
  • Attitudes in Epistemology: Belief vs. Credence
    Jul 31, 2015 – 01:14:47
  • Theory of Graded Consequence
    Jul 14, 2015 – 01:07:21
  • Connective Meanings in Beall and Restall's Logical Pluralism
    Jun 3, 2015 – 00:45:36
  • Indicative Conditionals, Restricted Quantification, Naïve Truth
    Jun 3, 2015 – 00:58:34
  • What is Wrong with the Ramsey Test
    May 28, 2015 – 00:48:36
  • Revision and Logical Neutrality (or, a Plea for Ecumenical Reasons)
    May 11, 2015 – 00:42:23
  • Capturing Consequence
    May 11, 2015 – 01:01:19
  • On Relevance of Entailment in a Classical Logic Context
    May 11, 2015 – 01:07:22
  • A Dialogical Analysis of Structural Rules
    Feb 10, 2015 – 00:54:36
  • A Paraconsistent Generalization of Carnap's Logic of Theoretical Terms
    Apr 18, 2019 – 00:49:07
  • Inconsistent scientific Theories: A Framework
    Apr 18, 2019 – 00:48:20
  • On the Preservation of Reliability
    Apr 18, 2019 – 00:45:46
  • Doing mathematics paraconsistently. A manifesto
    Apr 18, 2019 – 00:49:01
  • Can a paraconsistent differential calculus extend the classical differential calculus?
    Apr 18, 2019 – 00:41:51
  • Models of Paraconsistent Set Theory
    Apr 18, 2019 – 00:38:24
  • Inconsistent Thinking, Fast and Slow
    Apr 18, 2019 – 00:44:29
  • Negation as modality
    Apr 11, 2018 – 00:54:25
  • Why designate gluts?
    Apr 18, 2019 – 00:43:18
  • Transitory and Permanent Applications of Paraconsistency
    Apr 18, 2019 – 00:56:36
  • Logical Consequence Explicated in Terms of Cognitive Attitudes
    Feb 10, 2015 – 01:10:42
  • A plea for beta-reduction by value
    Apr 18, 2019 – 00:50:28
  • Actual causation using CP-logic
    Jan 23, 2014 – 01:06:02
  • Qualifying quantifying-in
    Nov 2, 2013 – 00:58:22
  • Truth-conditional Theories of Meaning within Fregean Limits
    Nov 25, 2013 – 00:26:14
  • Understanding and inference
    Nov 25, 2013 – 00:57:49
  • Proof Theoretic Harmony in Substructural Logics
    Nov 25, 2013 – 00:57:12
  • Models of Paraconsistent Set Theory
    Nov 25, 2013 – 00:55:01
  • On Carnap on Empirical Significance
    Nov 1, 2013 – 00:46:34
  • Chasing Ghosts: Understanding Carnap's pure Semantics
    Nov 1, 2013 – 00:21:21
  • Tarskian and Carnapian Semantics
    Nov 1, 2013 – 00:55:25
  • Carnap as a Logician
    Nov 1, 2013 – 01:08:35
  • Carnapian Rationality
    Nov 1, 2013 – 00:45:38
  • The Place of Carnap's Early Model Theory in the History of Logic
    Nov 1, 2013 – 00:26:48
  • Logic in the 1930s: Type Theory and Model Theory
    Nov 1, 2013 – 00:50:27
  • The limits of tolerance? Carnap on the normativity of logic
    Nov 1, 2013 – 00:48:09
  • Two conceptions of formalization: Carnapian explication, and formalisms as cognitive tools
    Nov 2, 2013 – 00:56:21
  • Quine, Carnap and Lewis on Truth by Convention
    Nov 1, 2013 – 00:32:06
  • The Logical and the Analytic
    Nov 1, 2013 – 00:58:24
  • On the Invariance of Logical Truth
    Nov 1, 2013 – 00:41:48
  • Caie's Paradox of Credence
    Jul 24, 2015 – 00:59:00
  • Applications and Content: Frege and Gödel on Mathematics as Syntax
    Nov 1, 2013 – 00:44:48
  • From Intuition to Tolerance in Carnap's Philosophy of Mathematics
    Nov 1, 2013 – 01:01:19
  • Arrows, Relevance, and Relations*
    Oct 10, 2013 – 00:53:35
  • From Logic to Behavior
    Apr 18, 2019 – 01:11:23
  • Truth and Speed-up
    Aug 27, 2013 – 00:48:36
  • Truth and Paradox
    Aug 27, 2013 – 00:35:10
  • Contractions of noncontractive consequence
    Aug 27, 2013 – 00:46:28
Recent Reviews
  • jelo watanuki
    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
Similar Podcasts
Disclaimer: The podcast and artwork on this page are property of the podcast owner, and not endorsed by UP.audio.