Non-Normal Worlds and Representation

Francesco Berto

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic coun- terexamples to such irrelevant entailments as (A ¿ ¬A) ¿ B, A ¿ (B¿¬B), or A ¿ (B ¿ B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” inferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability.
Original languageEnglish
Title of host publicationThe Logica Yearbook 2011
EditorsMichal Pelis, Vit Puncochar
Place of PublicationLondon
PublisherCollege Publications
Pages15-30
Number of pages16
ISBN (Print)978-1-84890-071-4
Publication statusPublished - 23 May 2012

Publication series

NameThe Logica Yearbook
PublisherCollege Publications

Fingerprint

Entailment
Relevant Logic
Impossibility
Logical Omniscience
Vertebrates
Conceivability
Logic
Priests
Closure
Syntax
Inference
Impossible Worlds
Operator
Epistemic Logic
Counterexample

Keywords

  • Epistemic logic
  • Non-normal worlds
  • Modal Logic

Cite this

Berto, F. (2012). Non-Normal Worlds and Representation. In M. Pelis, & V. Puncochar (Eds.), The Logica Yearbook 2011 (pp. 15-30). (The Logica Yearbook). London: College Publications.

Non-Normal Worlds and Representation. / Berto, Francesco.

The Logica Yearbook 2011. ed. / Michal Pelis; Vit Puncochar. London : College Publications, 2012. p. 15-30 (The Logica Yearbook).

Research output: Chapter in Book/Report/Conference proceedingChapter

Berto, F 2012, Non-Normal Worlds and Representation. in M Pelis & V Puncochar (eds), The Logica Yearbook 2011. The Logica Yearbook, College Publications, London, pp. 15-30.
Berto F. Non-Normal Worlds and Representation. In Pelis M, Puncochar V, editors, The Logica Yearbook 2011. London: College Publications. 2012. p. 15-30. (The Logica Yearbook).
Berto, Francesco. / Non-Normal Worlds and Representation. The Logica Yearbook 2011. editor / Michal Pelis ; Vit Puncochar. London : College Publications, 2012. pp. 15-30 (The Logica Yearbook).
@inbook{75b34d689d4b402ca085300358d17856,
title = "Non-Normal Worlds and Representation",
abstract = "World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic coun- terexamples to such irrelevant entailments as (A ¿ ¬A) ¿ B, A ¿ (B¿¬B), or A ¿ (B ¿ B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” inferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability.",
keywords = "Epistemic logic, Non-normal worlds, Modal Logic",
author = "Francesco Berto",
year = "2012",
month = "5",
day = "23",
language = "English",
isbn = "978-1-84890-071-4",
series = "The Logica Yearbook",
publisher = "College Publications",
pages = "15--30",
editor = "Michal Pelis and Vit Puncochar",
booktitle = "The Logica Yearbook 2011",

}

TY - CHAP

T1 - Non-Normal Worlds and Representation

AU - Berto, Francesco

PY - 2012/5/23

Y1 - 2012/5/23

N2 - World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic coun- terexamples to such irrelevant entailments as (A ¿ ¬A) ¿ B, A ¿ (B¿¬B), or A ¿ (B ¿ B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” inferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability.

AB - World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic coun- terexamples to such irrelevant entailments as (A ¿ ¬A) ¿ B, A ¿ (B¿¬B), or A ¿ (B ¿ B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” inferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability.

KW - Epistemic logic

KW - Non-normal worlds

KW - Modal Logic

M3 - Chapter

SN - 978-1-84890-071-4

T3 - The Logica Yearbook

SP - 15

EP - 30

BT - The Logica Yearbook 2011

A2 - Pelis, Michal

A2 - Puncochar, Vit

PB - College Publications

CY - London

ER -