Ranked #1
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
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
MCMP – Epistemology
MCMP – Philosophy of Mathematics
MCMP – Metaphysics and Philosophy of Language
MCMP – Mathematical Philosophy (Archive 2011/12)
MCMP – Philosophy of Science
MCMP
MCMP – Philosophy of Physics
Mathematical, Foundational and Computational Aspects of the Higher Infinite
Hegel lectures by Robert Brandom, LMU Munich
Cambridge Pragmatism: A Research Workshop
The Problems of Philosophy: Then & Now
Critical Reasoning: A Romp Through the Foothills of Logic
Philosophy at the School of Advanced Study
PHIL 311 - Intro to Logic
The Convergence of Logic, Mathematics and Computer Science - Lectures
Ranked #3
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
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
The Joe Rogan Experience
TED Talks Daily
The Tim Ferriss Show
The Daily
Stuff You Should Know
Oprah's SuperSoul Conversations
Armchair Expert with Dax Shepard
Ranked #5
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
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
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
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
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
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
•
