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
Einführung in die Ethnologie by Prof. Dr. Frank Heidemann

Einführung in die Ethnologie

0 Listeners

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

MCMP – Metaphysics and Philosophy of Language by MCMP Team

MCMP – Metaphysics and Philosophy of Language

2 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

1 Listeners

MCMP – Philosophy of Physics by MCMP Team

MCMP – Philosophy of Physics

3 Listeners

Sommerfeld Lecture Series (ASC) by The Arnold Sommerfeld Center for Theoretical Physics (ASC)

Sommerfeld Lecture Series (ASC)

0 Listeners

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

Medizin - Open Access LMU - Teil 12/22

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