MCMP – Logic

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


Listen Later

Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks". Abstract: Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This additional expressive power is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In my talk I will demonstrate that these deficiencies are remedied by hybrid-logical proof-theory. In my talk I first give a brief introduction to hybrid logic and its origin in Arthur Prior's temporal logic. I then describe essential proof-theoretical results for natural deduction formulations of hybrid logic. Finally, I show how a proof system for hybrid logic can be used to formalize what are called false-belief tasks in cognitive psychology.
...more
View all episodesView all episodes
Download on the App Store

MCMP – LogicBy MCMP Team

  • 3
  • 3
  • 3
  • 3
  • 3

3

2 ratings


More shows like MCMP – Logic

View all
Theoretical Physics Schools (ASC) by The Arnold Sommerfeld Center for Theoretical Physics (ASC)

Theoretical Physics Schools (ASC)

2 Listeners

MCMP – Mathematical Philosophy (Archive 2011/12) by MCMP Team

MCMP – Mathematical Philosophy (Archive 2011/12)

6 Listeners

Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge by Professoren der Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft

LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge

0 Listeners

MCMP – Metaphysics and Philosophy of Language by MCMP Team

MCMP – Metaphysics and Philosophy of Language

2 Listeners

MCMP – Philosophy of Mathematics by MCMP Team

MCMP – Philosophy of Mathematics

2 Listeners

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD by Ludwig-Maximilians-Universität München

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

1 Listeners

LMU An introduction to Bohmian Mechanics by Florian Hoffmann und Nicola Vona

LMU An introduction to Bohmian Mechanics

2 Listeners

Center for Advanced Studies (CAS) Research Focus Evolutionary Biology (LMU) - HD by Center for Advanced Studies (CAS)

Center for Advanced Studies (CAS) Research Focus Evolutionary Biology (LMU) - HD

0 Listeners

Medizin - Open Access LMU - Teil 18/22 by Ludwig-Maximilians-Universität München

Medizin - Open Access LMU - Teil 18/22

0 Listeners