Information and Logical Discrimination

Patrick Allo

Information and Logical Discrimination

Patrick Allo

Centre for Logic and Philosophy of Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Lecture Notes in Computer Science
Editors	S.b. Cooper, A. Dawar, B. Löwe
Publisher	Springer
Pages	17-28
Number of pages	12
Volume	7318
ISBN (Print)	978-3-642-30869-7
Publication status	Published - 2012
Event	8th Conference on Computability in Europe - Cambridge, United Kingdom Duration: 18 Jun 2012 → 23 Jun 2012

Publication series

Name	How the World Computes. CiE2012

Conference

Conference	8th Conference on Computability in Europe
Abbreviated title	CiE 2012
Country/Territory	United Kingdom
City	Cambridge
Period	18/06/12 → 23/06/12

Bibliographical note

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

Keywords

logic
information
philosophy of information

Access to Document

http://dx.doi.org/10.1007/978-3-642-30870-3_3

Information and Logical Discrimination
Patrick Allo (Invited speaker)
Jun 2012
Activity: Talk or presentation › Talk or presentation at a conference

Cite this

@inproceedings{f5cd1105ffeb40aaa45cee99635ee519,

title = "Information and Logical Discrimination",

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.",

keywords = "logic, information, philosophy of information",

author = "Patrick Allo",

note = "S.B. Cooper, A. Dawar, B. L{\"o}we; 8th Conference on Computability in Europe, CiE 2012 ; Conference date: 18-06-2012 Through 23-06-2012",

year = "2012",

language = "English",

isbn = "978-3-642-30869-7",

volume = "7318",

series = "How the World Computes. CiE2012",

publisher = "Springer",

pages = "17--28",

editor = "S.b. Cooper and A. Dawar and B. L{\"o}we",

booktitle = "Lecture Notes in Computer Science",

}

TY - GEN

T1 - Information and Logical Discrimination

AU - Allo, Patrick

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

PY - 2012

Y1 - 2012

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

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

KW - logic

KW - information

KW - philosophy of information

M3 - Conference paper

SN - 978-3-642-30869-7

VL - 7318

T3 - How the World Computes. CiE2012

SP - 17

EP - 28

BT - Lecture Notes in Computer Science

A2 - Cooper, S.b.

A2 - Dawar, A.

A2 - Löwe, B.

PB - Springer

T2 - 8th Conference on Computability in Europe

Y2 - 18 June 2012 through 23 June 2012

ER -

Information and Logical Discrimination

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Fingerprint

Activities

Information and Logical Discrimination

Cite this