MCMP – Logic

Arrows, Relevance, and Relations*


Listen Later

Michael Dunn (Bloomington) gives a talk at the MCMP Colloquium (25 June, 2013) titled "Arrows, Relevance, and Relations*". Abstract: The van Benthem-Venema "arrow logics" are abstractly well-motivated and have epistemic applications, e.g., to the logic of information flow and information update. I explore the relationships between the van Benthem-Venema semantics for arrow logics and the Routley-Meyer semantics for relevance logics, and show that there is a translation between the two. I will also briefly discuss the relationship to Barwise’s (1993) logic of "channels." I compare van Benthem’s version of the semantics for arrow logic aimed at relation algebras with my own generalization of the Routley-Meyer semantics aimed at the same target. I use my (1993, 2001) representation of relation algebras based on Routley-Meyer frames to give an equivalent representation of relation algebras based on frames for arrow logic. A philosophical interpretation is given to this representation as showing that each element of a relation algebra can be interpreted as a set of relations (not as a single relation –Lyndon showed this is impossible). This interpretation is thus a type level higher than the natural interpretation of an element as just a relation, and can be viewed in terms of interpreting each element as a relational database. The operations of a relation algebra can then be interpreted as operations combining relational databases.
...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
Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

8 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

1 Listeners

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

Strings Conference 2012 (LMU)

0 Listeners

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

Theoretical Physics Schools (ASC)

2 Listeners

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

LMU Rechtsphilosophie

0 Listeners

MCMP – Philosophy of Physics by MCMP Team

MCMP – Philosophy of Physics

3 Listeners

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

Women Thinkers in Antiquity and the Middle Ages - SD

0 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

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

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