MCMP – Logic

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


Listen Later

Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a case study in many valued reasoning". Abstract: For a quite a while it had been an open problem whether there is an analytic (cut-free) calculus for infinite valued Lukasiewicz logic, one of threefundamental many valued logics that lie at the centre of interest in contemporary mathematical fuzzy logic. The hypersequent calculus HL presented by Metcalfe, Gabbay, and Olivetti in 2004/5 settled the question positively; but HL did not fit well into the family of sequent and hypersequent systems for related nonclassical logics. In particular it remained unclear in what sense HL provides an analysis of logical reasoning in a many valued context. On the other hand, already in the 1970s Robin Giles had shown that a straightforward dialogue game, combined with a specific way to calculate expected losses associated with bets on the results on `dispersive experiments' leads to a characterisation of Lukasiewizc logic. We illustrate how these seemingly unrelated results fit together: the logical rules of HL naturally emerge from a systematic search for winning strategies in Giles's game. This amounts to a rather tangible interpretation of hypersequents that can be extended to other logics as well.
...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

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 03/06 by Ludwig-Maximilians-Universität München

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 03/06

0 Listeners

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

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Rechtsphilosophie by Prof. Dr. jur. Dr. jur. h.c. mult. Bernd Schünemann

LMU Rechtsphilosophie

0 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

1 Listeners

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

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

2 Listeners

ISCB34 - 34th Annual Conference of the International Society for Clinical Biostatistics - Munich, 25-29 August 2013 by Prof. Dr. rer. nat. Ulrich Mansmann

ISCB34 - 34th Annual Conference of the International Society for Clinical Biostatistics - Munich, 25-29 August 2013

0 Listeners

MCMP – Philosophy of Physics by MCMP Team

MCMP – Philosophy of Physics

3 Listeners

Strings Conference 2012 (LMU) by Prof. Dr. Dieter Lüst et al.

Strings Conference 2012 (LMU)

0 Listeners

Women Thinkers in Antiquity and the Middle Ages - SD by Peter Adamson

Women Thinkers in Antiquity and the Middle Ages - SD

0 Listeners