Information and Logical Discrimination

Patrick Allo

Information and Logical Discrimination

Patrick Allo

Onderzoeksoutput: Conference paper

2 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	English
Titel	Lecture Notes in Computer Science
Redacteuren	S.b. Cooper, A. Dawar, B. Löwe
Uitgeverij	Springer
Pagina's	17-28
Aantal pagina's	12
Volume	7318
ISBN van geprinte versie	978-3-642-30869-7
Status	Published - 2012
Evenement	Unknown - Cambridge, United Kingdom Duur: 18 jun. 2012 → 23 jun. 2012

Publicatie series

Naam	How the World Computes. CiE2012

Conference

Conference	Unknown
Verkorte titel	CiE 2012
Land/Regio	United Kingdom
Stad	Cambridge
Periode	18/06/12 → 23/06/12

Bibliografische nota

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

Toegang tot document

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

Handle.net

Permanente koppeling

Information and Logical Discrimination
Allo, P. (Invited speaker)
jun. 2012
Activiteit: Talk or presentation at a conference

Citeer dit

@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

Samenvatting

Publicatie series

Conference

Bibliografische nota

Toegang tot document

Handle.net

Vingerafdruk

Activiteiten

Information and Logical Discrimination

Citeer dit