TrueSciPhi

Podcast Profile: MCMP – Mathematical Philosophy (Archive 2011/12)

Site • RSS • Apple Podcasts
248 episodes
2011 to 2013

Collection: Philosophy

Description (podcaster-provided):

Themes and summary (AI-generated based on podcaster-provided show and episode descriptions):

This podcast presents academic talks and workshop contributions from the Munich Center for Mathematical Philosophy, focused on using formal, logical, and mathematical tools to address traditional philosophical questions. Across the episodes, a recurring aim is to make philosophical assumptions explicit and then draw consequences with proof techniques, models, and formal semantics, in a way that parallels mathematical and scientific theorizing without reducing philosophy to mathematics.

A major strand centers on logic and its variants: work on paradox and logical revision, adaptive logics for defeasible and inconsistency-tolerant reasoning, proof-theoretic semantics, core logic, and logical dynamics of interaction and reasoning. Several contributions connect logic to philosophy of language, including formal semantics for natural language, dynamic semantics and context change, theories of reference, and detailed engagement with Tarski’s work on truth and semantic theory; truth also appears via revision theories and debates about axiomatic versus semantic approaches.

Another prominent theme is formal epistemology and decision theory. Episodes discuss Bayesian confirmation, accuracy-based epistemology, Dutch book and coherence arguments (including diachronic cases and bounded or forgetful agents), belief revision and iterated learning dynamics, representation theorems in decision theory, and issues surrounding evidence, chance, and probability (from subjective coherence to frequentist hypotheses).

The philosophy and foundations of mathematics appear through topics such as assumptions of infinity, structuralism (including interpretations of Dedekind), and newer foundational programs like homotopy type theory and univalent foundations, alongside reflections on the role of empirical research in understanding mathematical cognition.

Additional areas include laws of nature and properties, modality and counterfactuals, computational metaphysics, and formal approaches to norms and ethics. Overall, the content is research-oriented and typically presented in the style of specialized lectures with abstracts and technical motivation.

Episodes:

Anything Goes 2012-Jul-23

Transcendental Proofs 2012-Oct-31

Theory and Concept in Tarski's Philosophy of Language 2011-May-25

Three contrasts between two senses of coherence 2011-Jul-31

Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments 2012-Feb-09

A Single-Type Semantics for Natural Language 2012-May-07

Explorations in Bayesian confirmation and models of information search 2011-Sep-22

Homotopy Type Theory and Univalent Foundations of Mathematics 2012-Aug-06

Alexander von Humboldt Professor Stephan Hartmann 2013-Jul-16

Logic as Modelling 2011-Sep-22

Empirical Research and The Philosophy of Mathematics 2011-Nov-03

Modeling AGM Belief Revision by Possible Worlds Semantics: The Case of Chellas-Segerberg Semantics 2012-Jan-12

What would count as Ibn Sina (11th c. Persia) having first order logic? 2012-Apr-18

Wittgenstein and the Epistemology of Peer Disagreement 2012-Apr-18

Truth, Syntax, Conservativity 2012-Mar-26

The Bayesian Miracle 2012-Jan-26

Explicating Dedekind: Existential Axiomatics or Logicist Abstration? 2012-Oct-24

On Representation Theorems 2012-Nov-26

Assumptions of Infinity 2012-May-07

Comments on "The No Alternatives Argument" (Dawid, Hartmann, Sprenger) 2012-Aug-29

Trouble with Properties for Better Best Systems 2012-Dec-17

The Revision Theory of Truth (T#), FS and the Standard Model of PA 2012-May-07

Comments on Ben Levinstein's "Leitgeb and Pettigrew on Accuracy and Updating" 2012-Jun-04

Diachronic Dutch Book Arguments for Forgetful Agents 2011-Jun-30

Can free evidence be bad? 2012-Jan-26

Dynamic Logic of Reasoning 2012-Jan-27

Accuracy, Chance, and the Principal Principle 2011-Jun-01

Truth and Context Change 2011-Nov-17

Modelling the use of 'true' in natural Language 2012-Mar-26

Logical Dynamics of Intelligent Interaction 2011-Dec-01

Are Theories of Reference Empirically Testable? 2011-Oct-20

Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking 2011-May-26

Do 'Looks' Reports Reflect the Contents of Perception? 2011-May-23

Toward Leibniz's Goal of a Computational Metaphysics 2011-Jun-12

Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology 2011-Jun-06

Conclusive Reasons, Transmission, and Epistemic Closure 2011-Jun-12

Computing Non-Causal Knowledge for Causal Reasoning 2011-Jun-12

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas) 2011-Jun-17

On the Emergence of Descriptive Norms 2011-Jun-17

Frequencies, Chances and Undefinable Sets 2011-Jul-22

Meaning and Interpretation in Birkhoff/Von Neumann quantum logic 2011-Sep-22

Semantic Truth and the Correspondence Theory 2012-Mar-26

Dynamic Proof Theories for Reasoning with (Conditional) Norms 2012-Oct-12

Knowledge about Probability in the Monty Hall Problem 2011-Jun-16

Every Proposition is a Counterfactual (the Robustly Contingent Ones Nontrivially So) 2011-Jul-01

Formal epistemological explication (news for the Bayesian agenda) 2011-Jun-16

Applying coherence based probability logic to philosophical problems 2011-Jun-16

The Contradiction in Will Test: A Reconstruction 2011-Jul-08

Logic and the Brain 2011-Jul-08

Core Logic 2011-Jul-08

A Generalised Sorites 2011-Oct-20

Logical abstractions and logical objects in Frege: a critical approach 2012-Jan-26

From Analysis to Explication 2011-Jul-28

An "Evidentialist" Worry About Joyce's Argument for Probabilism. 2011-Sep-13

Modal Logic From a Categorical Point of View 2011-Sep-22

Group Presentation, Munich Center for Mathematical Philosophy (LMU) 2011-Sep-16

Group Presentation, Munich Center for Mathematical Philosophy (LMU) 2011-Sep-13

Tolerance & Voluntarism 2011-Aug-03

Is logical knowledge dispositional? 2011-Sep-22

Inexhaustibility and Reflection 2011-Sep-22

Variations of Avoiding the Arrow Impasse 2011-Sep-23

Systematicity: The Nature of Science 2011-Dec-01

Two Varieties of Knowledge 2011-Nov-02

Applications of multi-dimensional propositional logics 2011-Nov-16

Axiomatic and Semantic Theories of Truth 2012-Apr-10

Abstract Explanation and Difference-Making 2011-Dec-08

Causal structural realism 2011-Dec-07

Development of Counterfactual Reasoning & Emotions 2011-Dec-15

Does Radical Uncertainty Require Regime Change? 2012-Jan-28

Stratified Truth? 2012-Mar-26

A Conception of Set-Theoretical Truth 2012-Apr-12

Logic and reasoning 2012-Apr-19

Let Three Flowers Bloom 2012-Mar-26

A general approach to revenge paradoxes 2012-Mar-14

Truth Without Detachment 2012-Mar-26

The Theory of Probability Cores in Bayesian Epistemology and Decision Theory 2012-Jun-04

Desirability of Conditionals 2012-Jul-12

Inductive Logic (Part 2) 2012-Jun-04

Comments on Julia Staffel's "Should I Pretend I'm Perfect?" 2012-Jun-04

Should I pretend I'm perfect? 2012-Jun-04

Influencing Behavior by Influencing Knowledge 2012-Jun-04

Optimal Categorization 2012-Jul-12

Assertion, Denial and the Logic of Definedness 2012-Apr-18

A General Scoring Rule 2012-Jul-12

Representation and Interpretation in Computational Philosophy 2012-Jul-12

Semantic Games for Algorithmic Players 2012-Jul-12

Tutorial Logic: Recent topics in Dynamic Epistemic Logic II 2012-Jul-12

Syntax and Logical Revision 2012-Jul-23

How the market gives us what we want - even if we are irrational 2012-Jul-12

Mally's Deontic Logic (1926) 2012-Oct-12

Exponential Discounting for Changing Preferences 2012-Jul-18

Revising logic in light of paradox 2012-Jul-24

Inductive Logic (Part 1) 2012-Jun-04

Logic & Rationality 2012-Jun-04

Semantic minimalism for logical constants 2012-Nov-21

Separability and admissible factorisations 2012-Oct-12

Weighting Value 2012-Oct-15

Normative Consistency: an (X)stit account 2012-Oct-12

Comments on Mark Jago's "Bounded Rationality and Epistemic Blindspots" 2012-Sep-05

Inductive Proofs for Many-Hands Cases in Ethics 2012-Oct-12

Comments on Hans Rott's "Two concepts of plausibility in default reasoning" 2012-Sep-06

Dependence and Groundedness 2012-Oct-30

Moral uncertainty and normative requirements of indifference 2012-Oct-15

Ramsey vs. Lewis on conditionals and causation 2012-Dec-17

New Channels for MCMP on iTunes U 2013-May-27

Comments on Wolfgang Schwarz's "Lost Memories and Useless Coins" 2012-Jun-04

Humeanism and dispositionalism in physics 2012-Dec-17

Toward a formal account of substance via case-intensional logic 2012-Nov-22

Modality and Categories 2011-Jun-06

A Dictator Theorem on Belief Revision Derived from Arrow's Theorem 2011-Sep-23

The 'fitting problem' for logical semantic systems 2011-Jun-08

An Ontological Argument for the Existence of Numbers? 2011-Sep-22

Neglect of Independence and Uncertainty (or Randomness) in the Axioms of Probability 2011-Oct-28

On a Proposed Extension of Infinitary Logic 2011-Oct-27

The ghosts of departed quantities as the soul of computation 2011-Dec-15

An Empirically testable Theory of Causality 2012-Jan-12

Ordering Risky Prospects - Prioritarianism: an Ecumenical Approach 2012-Jan-27

Frege’s Philosophy of Geometry 2012-Jan-18

Truth Approximation by Basic and Refined Belief Base Revision 2012-Jan-25

Tutorial Decision Theory II: Conditionalization 2012-Jul-12

Sequent Systems and Defining Rules 2012-Apr-12

Deflationism vs Representationalism 2012-Apr-18

Round Table on Coherence (Part 2) 2012-Oct-10

Modeling the Coevolution of Theory and Language 2012-May-14

What chance-credence norms should not be 2012-May-30

"New Foundations" and Consistency 2012-May-18

Reference and Circularity in First-Order Arithmetical Systems 2012-May-07

Staying Regular? 2012-Jun-04

Leitgeb and Pettigrew on Accuracy and Updating 2012-Jun-04

Tutorial Logic: Recent topics in Dynamic Epistemic Logic I 2012-Jul-12

Tutorial Decision Theory I: Decision theory in epistemology 2012-Jul-12

The Reliability of Testimonial Norms in Academic Communities 2012-Jul-12

Getting One for Two, or the Contractor's Bad Deal 2012-Jul-23

Saving Logic from Paradox 2012-Jul-24

Norms of truth and logical revision 2012-Jul-24

Paradoxes of Consistency 2012-Jul-25

Comments on Richard Pettigrew's "What chance-credence norms should not be" 2012-Aug-29

Comments on Lara Buchak's "Risk and Tradeoffs" 2012-Aug-30

Fairness and Counterfactuals 2012-Oct-12

Minding the Is-Ought Gap 2012-Oct-13

The Good Samaritan Paradox 2012-Oct-12

Common Law Reasoning 2012-Oct-12

The long-run stability of collective action 2012-Oct-15

Updating on Conditionals 2012-Jan-26

Formal Versions of Hume's Is-Ought Thesis 2012-Oct-12

Social Choice and Comparative Justice: Correcting for Parochial Values 2012-Oct-15

The Evolution of Norms in Structured Populations 2012-Oct-15

Time and Knowability in Evolutionary Processes 2012-Oct-24

Ground and Partial Content 2012-Oct-30

Towards a theory of grounded properties 2012-Oct-26

Local Dependence 2012-Oct-26

Pure Logic of Iterated Ground 2012-Oct-26

Grounding Class Theory 2012-Oct-30

Classical negation and expansions of FDE 2012-Nov-21

On Ground and Consequence 2012-Nov-21

Logical Grounds 2012-Nov-21

Local Disentanglement in Relativistic Quantum Field Theory 2012-Dec-10

Interacting Modal Predicates 2011-Aug-22

That's it, you're grounded! 2012-Oct-30

Building a Better System 2012-Dec-17

Alternative Supervaluation for Kripke's Theory of Truth 2012-Oct-26

Naive Set Theory and Non-Transitive Logic 2012-Jul-25

Ought Implies Can, Omission and Probabilistic Deliberative STIT 2012-May-30

Pairwise Interactive Knowledge and Nash Equilibrium 2012-Jul-12

Concept Calculus 2012-Oct-31

Moral Judgments and Decisions in Trolley Problems 2012-Jul-11

Weighting Evaluations 2012-Jul-12

Logical Revision and Scientific Methodology 2012-Jul-24

From Social Choice to Theory Choice 2012-Aug-06

Comments on Alan Hájek's "Staying Regular?" 2012-Aug-30

Two concepts of plausibility in default reasoning 2012-Jun-04

Toward a Formal Framework for Some Fundamental Common Moral Statuses 2012-Oct-12

Round Table on Acceptance (Part 1) 2012-Apr-18

Why Physics Can't Explain Everything 2012-Dec-17

Logic as an Instrument in Greek and Arabic Philosophy 2012-Dec-10

Neuroscience Perspective on the Foundations of Mathematics 2012-Oct-26

Making Contact with Molecules: On Perrin's Argument for Realism 2012-Dec-13

If You Must Do Confirmation Theory - Do It This Way 2012-Aug-06

Logic and the Liar 2012-Jul-23

Constants and Consequences 2011-Dec-15

Comments on Michael Morreau's "From Social Choice to Theory Choice" 2012-Jun-04

Round Table on Coherence (Part 1) 2012-Jul-23

The No Alternatives Argument 2012-Jun-04

Bayesian Conditioning Revisited 2012-Jul-12

Bounded Rationality and Epistemic Blindspots 2012-Jun-04

Logic or probability? An ERP study on defeasible reasoning 2011-Nov-10

Value Relations Revisited 2012-Jun-04

General-Elimination Harmony 2012-Feb-07

How uncertain do we need to be? 2012-Jan-28

The Power of the Hexagon 2011-Dec-15

Logic in Games 2011-Dec-01

Carnap on extremal axioms and categoricity 2011-Jul-28

Conditionals and Suppositions 2011-Jun-30

Accuracy & Coherence 2011-Jun-16

Tracking the Truth Requires a Non-wellfounded Prior! 2011-May-26

Multiple Realization and the Computational Mind 2012-Jul-11

Everything is knowable 2012-May-23

Defusing Easy Arguments for Numbers 2012-Oct-25

Constructive Decision Theory 2012-Jul-12

Retrocausality - What Would it Take? 2011-Dec-15

The Aletheic Paradoxes and Semantic Relativism 2012-Jul-23

First-Order Extensions of Classical Modal Logic 2012-Jun-04

Validity without Reference 2012-Feb-09

The completeness of Kant's Table of Judgements and its consequences for philosophy of mathematics 2011-Nov-09

Carnap's Logico-Mathematical Neutrality between Realism and Instrumentalism 2011-Jul-28

Mathematical Science, Naturalism, and Normativity 2011-Jul-28

Possibilities without possible worlds/histories 2011-Jun-30

Voting, Deliberation and Truth 2011-Sep-16

Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning) 2011-Jun-12

A dialogical, multi-agent account of the normativity of logic 2012-Jun-04

Dynamic Ontology 2012-May-07

Structural Realism in Linguistics 2011-Sep-22

Diversity, Tolerance and the Social Contract 2012-Oct-15

The conservativity of truth and the disentanglement of syntax and semantics 2011-May-23

Set-Rationalizable Choice and Self-Stability 2011-Sep-23

A Regret-Based Model for Wishful Thinkers 2011-Oct-27

Logics as Scientific Theories 2011-Oct-26

The Precautionary Principle Reconceptualized 2012-Jan-27

Epistemic Modesty Defended 2012-Jun-04

Contraction and Naive Validity 2012-Jul-23

Revising Logic 2012-Jul-24

Consequences of Reasoning with Conflicting Obligations 2012-Oct-12

Cognitive motivations for treating formalisms as calculi 2011-Jun-12

On an occasionally heard objection to Carnap's conception of logical truth 2011-Jul-28

Alexander von Humboldt Professor Hannes Leitgeb 2011-Jun-08

Revisionary Metaphysics Without Logical Revision? 2012-Jul-25

Tonk, Nontransitivity, and Tolerance 2011-Aug-13

The First-Order Logic of the Tractatus 2011-Dec-01

How can we find some reasoning that people do, for which a particular logic is the appropriate model? 2011-Nov-11

Subjective probabilities need not be sharp 2012-Jan-27

Why Metrical Properties are not Powers 2012-Jan-19

The Ins and Outs of Mathematical Explanation 2011-Oct-19

Logics for 'Soft' Interactive Epistemology 2012-Jan-27

Modeling Semantic Competence: a Critical Review of Frege's Puzzle (as an argument against Millianism) 2011-Nov-03

The Lockean Thesis Revisited 2011-Jun-16

Hume on Space and Geometry 2011-Jul-28

IPAD – Information Processing and the Analysis of Democracy 2011-Sep-16

Validity Curry 2011-Sep-22

Self-reference 2011-Sep-13

Is theory choice using epistemic virtues possible? 2011-Sep-22

Paradox and Revenge 2012-Jul-25

Mathematical cognition and mathematical structuralism 2012-Feb-09

Round Table on Acceptance (Part 2) 2012-Apr-12

Aggregating value judgments 2012-Jun-04

Lost memories and useless coins: Revisiting the absentminded driver 2012-Jun-04

Risk and Tradeoffs 2012-Jun-04

A Copernican Revolution for Modal Fictionalism 2012-Aug-06

Some remarks about logical truth 2012-Jul-25