Themes and summary (AI-generated based on podcaster-provided show and episode descriptions):
➤ Mathematical philosophy • Logic • Epistemology • Philosophy of science • Metaphysics • Laws of nature • Grounding and dependence • Ethical reasoning • Formal frameworks • Historical and modern philosophical debates
This podcast, based on the offerings from the Munich Center for Mathematical Philosophy (MCMP), provides a deep dive into philosophical topics through the lens of mathematical and logical methods. It seeks to clarify and address traditional philosophical concerns using precise logical-mathematical frameworks without dismissing the ancient questions of philosophy as irrelevant. The episodes span a wide range of philosophical subfields, reflecting the diverse and interdisciplinary nature of contemporary philosophical inquiry at MCMP.
Listeners can expect content on formal epistemology, philosophy of science, and logical reasoning, with prominent figures in the field sharing their insights. Talks often touch on advanced topics such as the application of Humean and dispositionalist theories to physics, the metaphysics of conditionals and causation, and the debate between foundationalism and pragmatism in explaining natural laws. Other episodes delve into detailed discussions on philosophical logic, including the exploration of logical constants, negation, and consequence, as well as the development of formal systems, such as case-intensional logic and the theory of grounded properties.
Ethical considerations are also a significant focus, with discussions on formal ethics, social choice theory, and moral uncertainty. Episodes address issues like normative requirements of indifference, the evolution of norms, and paradoxes within ethical reasoning frameworks. Additionally, there are explorations of common law reasoning, grounding in set theory and semantics, and decision theory's semantic function.
Overall, this podcast offers a specialized and intellectually rigorous examination of philosophical questions through mathematical and logical perspectives, appealing to those interested in the intersection of formal methods and traditional philosophical problems.
|
Episodes:
|
New Channels for MCMP on iTunes U
2013-May-27
3 minutes
|
Alexander von Humboldt Professor Stephan Hartmann
2013-May-08
7 minutes
|
Building a Better System
2019-Apr-20
49 minutes
|
Trouble with Properties for Better Best Systems
2019-Apr-20
42 minutes
|
Humeanism and dispositionalism in physics
2019-Apr-20
44 minutes
|
Ramsey vs. Lewis on conditionals and causation
2019-Apr-20
35 minutes
|
Why Physics Can't Explain Everything
2019-Apr-20
37 minutes
|
Making Contact with Molecules: On Perrin's Argument for Realism
2019-Apr-20
51 minutes
|
Local Disentanglement in Relativistic Quantum Field Theory
2012-Dec-10
59 minutes
|
Logic as an Instrument in Greek and Arabic Philosophy
2012-Dec-10
60 minutes
|
On Representation Theorems
2012-Nov-27
51 minutes
|
Toward a formal account of substance via case-intensional logic
2012-Nov-27
49 minutes
|
On Ground and Consequence
2012-Nov-27
50 minutes
|
Logical Grounds
2012-Nov-27
57 minutes
|
Classical negation and expansions of FDE
2012-Nov-27
36 minutes
|
Semantic minimalism for logical constants
2012-Nov-27
55 minutes
|
Concept Calculus
2012-Nov-07
76 minutes
|
Transcendental Proofs
2012-Nov-07
79 minutes
|
That's it, you're grounded!
2012-Nov-07
46 minutes
|
Grounding Class Theory
2012-Nov-07
51 minutes
|
Dependence and Groundedness
2012-Nov-07
62 minutes
|
Ground and Partial Content
2012-Nov-07
58 minutes
|
Towards a theory of grounded properties
2012-Nov-07
65 minutes
|
Alternative Supervaluation for Kripke's Theory of Truth
2012-Nov-07
38 minutes
|
Local Dependence
2012-Nov-07
62 minutes
|
Pure Logic of Iterated Ground
2012-Nov-07
62 minutes
|
Neuroscience Perspective on the Foundations of Mathematics
2012-Nov-07
60 minutes
|
Defusing Easy Arguments for Numbers
2012-Nov-07
46 minutes
|
Time and Knowability in Evolutionary Processes
2012-Nov-07
49 minutes
|
Explicating Dedekind: Existential Axiomatics or Logicist Abstration?
2012-Nov-07
74 minutes
|
Moral uncertainty and normative requirements of indifference
2012-Oct-16
26 minutes
|
Social Choice and Comparative Justice: Correcting for Parochial Values
2012-Oct-16
35 minutes
|
Diversity, Tolerance and the Social Contract
2012-Oct-16
23 minutes
|
The long-run stability of collective action
2012-Oct-16
24 minutes
|
Weighting Value
2012-Oct-16
32 minutes
|
The Evolution of Norms in Structured Populations
2012-Oct-16
50 minutes
|
Consequences of Reasoning with Conflicting Obligations
2012-Oct-16
29 minutes
|
Inductive Proofs for Many-Hands Cases in Ethics
2012-Oct-16
18 minutes
|
Normative Consistency: an (X)stit account
2012-Oct-16
22 minutes
|
Minding the Is-Ought Gap
2012-Oct-16
31 minutes
|
Formal Versions of Hume's Is-Ought Thesis
2012-Oct-16
47 minutes
|
Dynamic Proof Theories for Reasoning with (Conditional) Norms
2012-Oct-16
23 minutes
|
Fairness and Counterfactuals
2012-Oct-16
28 minutes
|
Separability and admissible factorisations
2012-Oct-16
26 minutes
|
The Good Samaritan Paradox
2012-Oct-16
24 minutes
|
Mally's Deontic Logic (1926)
2012-Oct-16
15 minutes
|
Toward a Formal Framework for Some Fundamental Common Moral Statuses
2012-Oct-16
39 minutes
|
Common Law Reasoning
2012-Oct-16
52 minutes
|
Paradox and Revenge
2012-Aug-01
55 minutes
|
Paradoxes of Consistency
2012-Aug-01
39 minutes
|
Some remarks about logical truth
2012-Aug-01
49 minutes
|
Revisionary Metaphysics Without Logical Revision?
2012-Aug-01
40 minutes
|
Naive Set Theory and Non-Transitive Logic
2012-Aug-01
54 minutes
|
Revising logic in light of paradox
2012-Aug-01
46 minutes
|
Norms of truth and logical revision
2012-Aug-01
35 minutes
|
Revising Logic
2012-Aug-01
42 minutes
|
Saving Logic from Paradox
2012-Aug-01
57 minutes
|
Logical Revision and Scientific Methodology
2012-Aug-01
50 minutes
|
Anything Goes
2012-Aug-01
39 minutes
|
Getting One for Two, or the Contractor's Bad Deal
2012-Aug-01
52 minutes
|
Contraction and Naive Validity
2012-Aug-01
46 minutes
|
Logic and the Liar
2012-Aug-01
42 minutes
|
Syntax and Logical Revision
2012-Aug-01
53 minutes
|
Round Table on Coherence (Part 2)
2012-Jul-20
91 minutes
|
Round Table on Coherence (Part 1)
2012-Jul-20
82 minutes
|
The Aletheic Paradoxes and Semantic Relativism
2012-Sep-19
54 minutes
|
Constructive Decision Theory
2012-Sep-19
85 minutes
|
How the market gives us what we want - even if we are irrational
2012-Sep-19
58 minutes
|
Weighting Evaluations
2012-Sep-20
59 minutes
|
The Reliability of Testimonial Norms in Academic Communities
2012-Aug-01
32 minutes
|
Semantic Games for Algorithmic Players
2012-Aug-01
24 minutes
|
Tutorial Logic: Recent topics in Dynamic Epistemic Logic II
2012-Aug-01
62 minutes
|
Tutorial Logic: Recent topics in Dynamic Epistemic Logic I
2012-Aug-01
91 minutes
|
Optimal Categorization
2012-Aug-01
29 minutes
|
Pairwise Interactive Knowledge and Nash Equilibrium
2012-Aug-01
25 minutes
|
Desirability of Conditionals
2012-Aug-01
27 minutes
|
Exponential Discounting for Changing Preferences
2012-Aug-01
19 minutes
|
A General Scoring Rule
2012-Aug-01
20 minutes
|
Tutorial Decision Theory II: Conditionalization
2012-Aug-01
51 minutes
|
Tutorial Decision Theory I: Decision theory in epistemology
2012-Aug-01
84 minutes
|
Bayesian Conditioning Revisited
2012-Sep-20
71 minutes
|
Representation and Interpretation in Computational Philosophy
2012-Sep-19
72 minutes
|
If You Must Do Confirmation Theory - Do It This Way
2012-Sep-19
65 minutes
|
A Copernican Revolution for Modal Fictionalism
2012-Sep-19
49 minutes
|
Moral Judgments and Decisions in Trolley Problems
2012-Sep-19
50 minutes
|
Homotopy Type Theory and Univalent Foundations of Mathematics
2012-Sep-19
63 minutes
|
Multiple Realization and the Computational Mind
2012-Sep-19
53 minutes
|
First-Order Extensions of Classical Modal Logic
2012-Sep-16
56 minutes
|
Comments on Julia Staffel's "Should I Pretend I'm Perfect?"
2012-Sep-16
17 minutes
|
Should I pretend I'm perfect?
2012-Sep-16
30 minutes
|
The Theory of Probability Cores in Bayesian Epistemology and Decision Theory
2012-Sep-16
44 minutes
|
Comments on Wolfgang Schwarz's "Lost Memories and Useless Coins"
2012-Sep-16
23 minutes
|
Lost memories and useless coins: Revisiting the absentminded driver
2012-Sep-16
50 minutes
|
Influencing Behavior by Influencing Knowledge
2012-Sep-16
53 minutes
|
Comments on Hans Rott's "Two concepts of plausibility in default reasoning"
2012-Sep-16
15 minutes
|
Two concepts of plausibility in default reasoning
2012-Sep-16
46 minutes
|
Logic & Rationality
2012-Sep-16
54 minutes
|
Inductive Logic (Part 2)
2012-Sep-16
61 minutes
|
Comments on Michael Morreau's "From Social Choice to Theory Choice"
2012-Sep-16
18 minutes
|
From Social Choice to Theory Choice
2012-Sep-16
53 minutes
|
Aggregating value judgments
2012-Sep-16
54 minutes
|
Comments on Mark Jago's "Bounded Rationality and Epistemic Blindspots"
2012-Sep-16
14 minutes
|
Bounded Rationality and Epistemic Blindspots
2012-Sep-16
46 minutes
|
A dialogical, multi-agent account of the normativity of logic
2012-Sep-16
46 minutes
|
Inductive Logic (Part 1)
2012-Sep-16
68 minutes
|
Comments on Alan Hájek's "Staying Regular?"
2012-Sep-16
23 minutes
|
Staying Regular?
2012-Sep-16
46 minutes
|
Comments on Ben Levinstein's "Leitgeb and Pettigrew on Accuracy and Updating"
2012-Sep-16
12 minutes
|
Leitgeb and Pettigrew on Accuracy and Updating
2012-Sep-16
30 minutes
|
Hyperreals and Their Applications (Part 2)
2012-Sep-16
81 minutes
|
Comments on "The No Alternatives Argument" (Dawid, Hartmann, Sprenger)
2012-Sep-16
15 minutes
|
The No Alternatives Argument
2012-Sep-16
39 minutes
|
Comments on Lara Buchak's "Risk and Tradeoffs"
2012-Sep-16
24 minutes
|
Risk and Tradeoffs
2012-Sep-16
37 minutes
|
Epistemic Modesty Defended
2012-Sep-16
43 minutes
|
Hyperreals and Their Applications
2012-Sep-16
79 minutes
|
Comments on Richard Pettigrew's "What chance-credence norms should not be"
2012-Sep-16
24 minutes
|
What chance-credence norms should not be
2012-Sep-16
35 minutes
|
Ought Implies Can, Omission and Probabilistic Deliberative STIT
2012-Sep-18
77 minutes
|
Everything is knowable
2012-Sep-18
67 minutes
|
"New Foundations" and Consistency
2012-Sep-18
50 minutes
|
Modeling the Coevolution of Theory and Language
2012-Sep-18
49 minutes
|
Assumptions of Infinity
2012-Sep-18
57 minutes
|
Reference and Circularity in First-Order Arithmetical Systems
2012-May-05
52 minutes
|
The Revision Theory of Truth (T#), FS and the Standard Model of PA
2012-May-05
47 minutes
|
A Single-Type Semantics for Natural Language
2012-May-05
67 minutes
|
Dynamic Ontology
2012-Sep-18
63 minutes
|
Value Relations Revisited
2012-Sep-18
53 minutes
|
Logic and reasoning
2012-May-02
52 minutes
|
Wittgenstein and the Epistemology of Peer Disagreement
2012-May-15
50 minutes
|
Assertion, Denial and the Logic of Definedness
2012-May-02
60 minutes
|
Sequent Systems and Defining Rules
2012-May-02
63 minutes
|
What would count as Ibn Sina (11th c. Persia) having first order logic?
2012-May-02
62 minutes
|
Semantic Truth and the Correspondence Theory
2012-May-01
56 minutes
|
Let Three Flowers Bloom
2012-May-01
45 minutes
|
Deflationism vs Representationalism
2012-May-01
47 minutes
|
Stratified Truth?
2019-Apr-20
58 minutes
|
Truth, Syntax, Conservativity
2012-May-01
36 minutes
|
Modelling the use of 'true' in natural Language
2012-May-01
45 minutes
|
Truth Without Detachment
2012-May-01
54 minutes
|
A general approach to revenge paradoxes
2012-May-01
34 minutes
|
A Conception of Set-Theoretical Truth
2012-May-01
61 minutes
|
Axiomatic and Semantic Theories of Truth
2012-May-01
60 minutes
|
Validity without Reference
2019-Apr-20
48 minutes
|
Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments
2019-Apr-22
78 minutes
|
Mathematical cognition and mathematical structuralism
2019-Apr-20
35 minutes
|
Round Table on Acceptance (Part 2)
2012-Jun-14
95 minutes
|
Round Table on Acceptance (Part 1)
2019-Apr-20
106 minutes
|
General-Elimination Harmony
2019-Apr-20
71 minutes
|
Does Radical Uncertainty Require Regime Change?
2019-Apr-20
52 minutes
|
How uncertain do we need to be?
2019-Apr-20
48 minutes
|
Logics for 'Soft' Interactive Epistemology
2019-Apr-20
43 minutes
|
Dynamic Logic of Reasoning
2019-Apr-20
42 minutes
|
Subjective probabilities need not be sharp
2019-Apr-20
37 minutes
|
Ordering Risky Prospects - Prioritarianism: an Ecumenical Approach
2019-Apr-20
57 minutes
|
The Precautionary Principle Reconceptualized
2019-Apr-20
33 minutes
|
Logical abstractions and logical objects in Frege: a critical approach
2019-Apr-20
93 minutes
|
Can free evidence be bad?
2019-Apr-20
30 minutes
|
Updating on Conditionals
2019-Apr-20
26 minutes
|
The Bayesian Miracle
2019-Apr-20
59 minutes
|
Truth Approximation by Basic and Refined Belief Base Revision
2019-Apr-20
66 minutes
|
Why Metrical Properties are not Powers
2019-Apr-20
47 minutes
|
Frege’s Philosophy of Geometry
2019-Apr-20
79 minutes
|
An Empirically testable Theory of Causality
2019-Apr-20
70 minutes
|
Modeling AGM Belief Revision by Possible Worlds Semantics: The Case of Chellas-Segerberg Semantics
2019-Apr-20
68 minutes
|
Constants and Consequences
2019-Apr-20
57 minutes
|
Development of Counterfactual Reasoning & Emotions
2019-Apr-20
48 minutes
|
Logic or probability? An ERP study on defeasible reasoning
2019-Apr-20
48 minutes
|
The completeness of Kant's Table of Judgements and its consequences for philosophy of mathematics
2019-Apr-20
67 minutes
|
The ghosts of departed quantities as the soul of computation
2019-Apr-20
51 minutes
|
The Power of the Hexagon
2019-Apr-20
52 minutes
|
Retrocausality - What Would it Take?
2019-Apr-20
43 minutes
|
Abstract Explanation and Difference-Making
2019-Apr-20
43 minutes
|
Causal structural realism
2019-Apr-20
72 minutes
|
The First-Order Logic of the Tractatus
2019-Apr-20
59 minutes
|
Systematicity: The Nature of Science
2019-Apr-20
65 minutes
|
Logic in Games
2019-Apr-20
94 minutes
|
Logical Dynamics of Intelligent Interaction
2019-Apr-20
82 minutes
|
Truth and Context Change
2019-Apr-20
61 minutes
|
Applications of multi-dimensional propositional logics
2019-Apr-20
54 minutes
|
How can we find some reasoning that people do, for which a particular logic is the appropriate model?
2019-Apr-20
56 minutes
|
Modeling Semantic Competence: a Critical Review of Frege's Puzzle (as an argument against Millianism)
2019-Apr-20
87 minutes
|
Empirical Research and The Philosophy of Mathematics
2019-Apr-20
63 minutes
|
Two Varieties of Knowledge
2019-Apr-20
60 minutes
|
Neglect of Independence and Uncertainty (or Randomness) in the Axioms of Probability
2019-Apr-20
61 minutes
|
On a Proposed Extension of Infinitary Logic
2019-Apr-20
70 minutes
|
A Regret-Based Model for Wishful Thinkers
2019-Apr-20
59 minutes
|
Logics as Scientific Theories
2019-Apr-20
63 minutes
|
A Generalised Sorites
2019-Apr-20
55 minutes
|
Are Theories of Reference Empirically Testable?
2019-Apr-20
67 minutes
|
The Ins and Outs of Mathematical Explanation
2019-Apr-20
50 minutes
|
Set-Rationalizable Choice and Self-Stability
2019-Apr-20
46 minutes
|
Variations of Avoiding the Arrow Impasse
2019-Apr-20
44 minutes
|
A Dictator Theorem on Belief Revision Derived from Arrow's Theorem
2019-Apr-20
28 minutes
|
Is theory choice using epistemic virtues possible?
2019-Apr-20
32 minutes
|
Modal Logic From a Categorical Point of View
2019-Apr-20
21 minutes
|
Explorations in Bayesian confirmation and models of information search
2019-Apr-20
42 minutes
|
Logic as Modelling
2019-Apr-20
33 minutes
|
Structural Realism in Linguistics
2019-Apr-20
27 minutes
|
Meaning and Interpretation in Birkhoff/Von Neumann quantum logic
2019-Apr-20
20 minutes
|
Is logical knowledge dispositional?
2019-Apr-20
25 minutes
|
Inexhaustibility and Reflection
2019-Apr-20
29 minutes
|
Validity Curry
2019-Apr-20
32 minutes
|
An Ontological Argument for the Existence of Numbers?
2019-Apr-20
17 minutes
|
Voting, Deliberation and Truth
2019-Apr-20
48 minutes
|
IPAD – Information Processing and the Analysis of Democracy
2019-Apr-20
60 minutes
|
Group Presentation, Munich Center for Mathematical Philosophy (LMU)
2019-Apr-20
88 minutes
|
Self-reference
2019-Apr-20
53 minutes
|
An "Evidentialist" Worry About Joyce's Argument for Probabilism.
2019-Apr-20
41 minutes
|
Group Presentation, Munich Center for Mathematical Philosophy (LMU)
2019-Apr-20
75 minutes
|
Tonk, Nontransitivity, and Tolerance
2019-Apr-20
65 minutes
|
Three contrasts between two senses of coherence
2019-Apr-20
58 minutes
|
Tolerance & Voluntarism
2019-Apr-20
34 minutes
|
Carnap's Logico-Mathematical Neutrality between Realism and Instrumentalism
2019-Apr-20
49 minutes
|
From Analysis to Explication
2019-Apr-20
47 minutes
|
Carnap on extremal axioms and categoricity
2019-Apr-20
59 minutes
|
On an occasionally heard objection to Carnap's conception of logical truth
2019-Apr-20
31 minutes
|
Mathematical Science, Naturalism, and Normativity
2019-Apr-20
55 minutes
|
Hume on Space and Geometry
2019-Apr-20
48 minutes
|
Frequencies, Chances and Undefinable Sets
2019-Apr-20
61 minutes
|
Core Logic
2019-Apr-20
38 minutes
|
The Contradiction in Will Test: A Reconstruction
2019-Apr-20
62 minutes
|
Logic and the Brain
2019-Apr-20
96 minutes
|
Possibilities without possible worlds/histories
2019-Apr-20
46 minutes
|
Diachronic Dutch Book Arguments for Forgetful Agents
2019-Apr-20
64 minutes
|
Conditionals and Suppositions
2019-Apr-20
70 minutes
|
Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)
2019-Apr-20
67 minutes
|
Knowledge about Probability in the Monty Hall Problem
2019-Apr-20
45 minutes
|
The Lockean Thesis Revisited
2019-Apr-20
64 minutes
|
Applying coherence based probability logic to philosophical problems
2019-Apr-20
52 minutes
|
Formal epistemological explication (news for the Bayesian agenda)
2019-Apr-20
39 minutes
|
Accuracy & Coherence
2019-Apr-20
49 minutes
|
Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning)
2019-Apr-20
45 minutes
|
Toward Leibniz's Goal of a Computational Metaphysics
2019-Apr-20
48 minutes
|
Computing Non-Causal Knowledge for Causal Reasoning
2011-Jun-28
55 minutes
|
On the Emergence of Descriptive Norms
2019-Apr-20
48 minutes
|
Cognitive motivations for treating formalisms as calculi
2019-Apr-20
75 minutes
|
Conclusive Reasons, Transmission, and Epistemic Closure
2019-Apr-20
38 minutes
|
The 'fitting problem' for logical semantic systems
2019-Apr-20
68 minutes
|
Modality and Categories
2019-Apr-22
61 minutes
|
Interacting Modal Predicates
2018-Mar-14
45 minutes
|
Every Proposition is a Counterfactual (the Robustly Contingent Ones Nontrivially So)
2012-Jun-14
47 minutes
|
Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology
2019-Apr-20
54 minutes
|
Accuracy, Chance, and the Principal Principle
2019-Apr-20
69 minutes
|
Tracking the Truth Requires a Non-wellfounded Prior!
2019-Apr-20
91 minutes
|
Do 'Looks' Reports Reflect the Contents of Perception?
2019-Apr-20
47 minutes
|
The conservativity of truth and the disentanglement of syntax and semantics
2019-Apr-20
54 minutes
|
Theory and Concept in Tarski's Philosophy of Language
2019-Apr-20
60 minutes
|
Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking
2019-Apr-20
79 minutes
|
Alexander von Humboldt Professor Hannes Leitgeb
2018-Mar-14
6 minutes
|
