Information and Logical Discrimination

Research output: Chapter in Book/Report/Conference proceedingConference paper

1 Citation (Scopus)

Abstract

Allo & Mares [2] present an "informational" account of logical consequence that is based on the content-nonexpansion platitude. The core of this proposal is an inversion of the standard direction of explanation: Informational content is not defined relative to a pre-existing logical space, but it is approached in terms of the level of abstraction at which information is assessed.
In this paper I focus directly on one of the main ideas introduced in that paper, namely the contrast between logical discrimination and deductive strength, and use this contrast to (1) illustrate a number of open problems for an informational conception of logical consequence, (2) review its connection with the dynamic turn in logic, and (3) situate it relative to the research agenda of the philosophy of information.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
EditorsS.b. Cooper, A. Dawar, B. Löwe
PublisherSpringer
Pages17-28
Number of pages12
Volume7318
ISBN (Print)978-3-642-30869-7
Publication statusPublished - 2012
Event8th Conference on Computability in Europe - Cambridge, United Kingdom
Duration: 18 Jun 201223 Jun 2012

Publication series

NameHow the World Computes. CiE2012

Conference

Conference8th Conference on Computability in Europe
Abbreviated titleCiE 2012
CountryUnited Kingdom
CityCambridge
Period18/06/1223/06/12

Bibliographical note

S.B. Cooper, A. Dawar, B. Löwe

Keywords

  • logic
  • information
  • philosophy of information

Fingerprint

Dive into the research topics of 'Information and Logical Discrimination'. Together they form a unique fingerprint.

Cite this