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
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