Cover image of MCMP – Logic

MCMP – Logic

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 Math... Read more

Warning: This podcast data isn't working.

This means that the episode rankings aren't working properly. Please revisit us at a later time to get the best episodes of this podcast!

Ranked #1

Podcast cover

Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks

Hybrid-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: Wi... Read more

18 Apr 2019

Ranked #2

Podcast cover

On flattening rules in natural deduction calculus for intuitionistic propositional logic

On 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) title... Read more

18 Apr 2019

Similar Podcasts

Ranked #3

Podcast cover

Semantic games and hypersequents: a case study in many valued reasoning

Semantic 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 c... Read more

18 Apr 2019

Ranked #4

Podcast cover

Modus Ponens on the Restrictor View

Modus Ponens on the Restrictor View

Moritz Schulz (Barcelona) gives a talk at the MCMP Colloquium (7 February, 2013) titled "Modus Ponens on the Restrictor ... Read more

18 Apr 2019

Most Popular Podcasts

Ranked #5

Podcast cover

From Logic to Behavior

From Logic to Behavior

Jakub Szymanik (Amsterdam) gives a talk at the MCMP Colloquium (12 June, 2013) titled "From Logic to Behavior". Abstract... Read more

18 Apr 2019

Ranked #6

Podcast cover

Interpretational Logical Truth: The Problem of Admissible Interpretations

Interpretational Logical Truth: The Problem of Admissible Interpretations

Alexandra Zinke (Konstanz) gives a talk at the MCMP Colloquium (24 January, 2013) titled "Interpretational Logical Truth... Read more

18 Apr 2019

Ranked #7

Podcast cover

Transitory and Permanent Applications of Paraconsistency

Transitory and Permanent Applications of Paraconsistency

Diderik Batens (Ghent) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June... Read more

18 Apr 2019

Ranked #8

Podcast cover

A plea for beta-reduction by value

A 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-red... Read more

18 Apr 2019

Ranked #9

Podcast cover

Why designate gluts?

Why designate gluts?

Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 ... Read more

18 Apr 2019

Ranked #10

Podcast cover

Inconsistent Thinking, Fast and Slow

Inconsistent Thinking, Fast and Slow

Francesco Berto (Amsterdam) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13... Read more

18 Apr 2019

“Podium: AI tools for podcasters. Generate show notes, transcripts, highlight clips, and more with AI. Try it today at https://podium.page”