0 views

Uploaded by Christopher Badura

A formal semantics for truth in fiction operator is presented.

save

You are on page 1of 25

via

Non-Standard

Belief Revision

**Truth in Fiction via
**

Non-Standard Belief Revision

Christopher

Badura

Ruhr-Universit¨

at

Bochum

Truth in Fiction

Fiction operator “Inf ”

Lewis’s Analysis 2 for

Inf

A Problem with

inconsistency

Christopher Badura

Ruhr-Universit¨at Bochum

Finding Semantics

for Inf

Plausibility Models

Belief Revision - Soft

Upgrades

Solving the Problem

Conclusion

CL16, 12th September 2016

Outline

Truth in Fiction

Fiction operator “Inf ”

Lewis’s Analysis 2 for Inf

A Problem with inconsistency

Truth in Fiction

via

Non-Standard

Belief Revision

Christopher

Badura

Ruhr-Universit¨

at

Bochum

Truth in Fiction

Fiction operator “Inf ”

Lewis’s Analysis 2 for

Inf

A Problem with

inconsistency

**Finding Semantics for Inf
**

Plausibility Models

Belief Revision - Soft Upgrades

Solving the Problem

Conclusion

Finding Semantics

for Inf

Plausibility Models

Belief Revision - Soft

Upgrades

Solving the Problem

Conclusion

The Problem of Truth in Fiction Anyone who utters: (S) Sherlock Holmes lives in Baker Street would not be objected against by non-philosophers. However: I I I What if Sherlock Holmes does not exist? What if Sherlock Holmes exists? (S) clashes with known fact. Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .Soft Upgrades Solving the Problem Conclusion .

⇒ Introduce a sentential operator Inf . (S) is false. Sherlock Holmes lives in Baker Street’.Soft Upgrades Solving the Problem Conclusion .Solution: Fiction-Operator Claim: (S) is elliptical for ‘In the fiction f. where ‘f ’ is a variable for the name of the relevant fiction. where f is the relevant fiction. (S) Question: What are the truth conditions for Inf . what is its semantics? Inf is an (hyper-)intensional operator ⇒ (im)possible world semantics Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . literally. but it is true that Inf . So.

3. desired semantics should account for Explicit Content Import of background knowledge/beliefs Logical consequences Inconsistent fictions without trivializing Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . 4. 2.Soft Upgrades Solving the Problem Conclusion .Desiderata for an Analysis Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum The 1.

v differs less from the world w .Soft Upgrades Solving the Problem Conclusion . It is vacuously true iff. Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . ϕ is true at v 3. f is told as known fact in v 2. ϕ’ is non-vacuously true iff. on balance. than does any world u where f is told as known fact and ϕ is not true.Lewis’s Analysis 2 Paraphrasing David Lewis (1978): (Analysis 2) A sentence of the form ‘In the fiction f . there are no possible worlds where f is told as known fact. for every collective belief world w of the community of origin of f there is a world v such that 1.

Desiderata Check Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum 1. 7 if a fiction is inconsistent. thus everything is true in it and thus all inconsistent fictions have the same content Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . closed under classical logic 4. there is no world where it is told as known fact. 3 by f is told as known fact 2. 3 by considering possible worlds.Soft Upgrades Solving the Problem Conclusion . 3 by considering collective belief worlds 3.

} is a countable set of propositional variables or atomic sentences.The Object Language Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Our object language is a propositional language where Prop = {p. r . We generate the well formed formulas by p|¬ϕ|ϕ ∧ ψ|ϕ ∨ ψ|ϕ ⊃ ψ| ϕ|ϕ|Inf . ϕ where p ∈ Prop Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .. .Soft Upgrades Solving the Problem Conclusion . q..

V ± : Prop → P(W ) and V + (p) is the set of worlds where p is true and V − (p) is the set of worlds where p is false.t.Semantics Single-Agent Plausibility Models A Single-Agent Plausibility Model is a tuple M = (W . ≤. Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . Converse well-foundedness implies reflexivity and totality w ' v iff. Transitive conversely well-founded relation. w ≤ v and v ≤ w w < v iff. where I W = P ∪ I is a non-empty set of possible worlds P and a set of impossible worlds I . Not necessarily anti-symmetric. P ∩ I = ∅ I ≤⊆ W × W is the agent’s plausibility order.Soft Upgrades Solving the Problem Conclusion . V ). w ≤ v and v 6≤ w (not v ≤ w ) I V is a pair (V + . V − ) s. s.t.

w − ϕ and w − ψ w + ϕ ⊃ ψ iff. w + ϕ w + ϕ ∧ ψ iff. Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . w ∈ V − (ϕ). for ϕ ∈ Prop w − ϕ iff.Soft Upgrades Solving the Problem Conclusion . w + ϕ and w + ψ w − ϕ ∧ ψ iff. we define truth/falsity at a world in a model recursively: w + ϕ iff. w + ϕ or w + ψ w − ϕ ∨ ψ iff. w ∈ V + (ϕ). w − ϕ or w − ψ w + ϕ ∨ ψ iff.Semantics Truth If w ∈ P. w + ϕ and w − ψ Note that implication is material implication. w + ϕ implies w + ψ w − ϕ ⊃ ψ iff. w − ϕ w − ¬ϕ iff. for ϕ ∈ Prop w + ¬ϕ iff.

for some v ∈ P: v − ϕ w + ϕ iff. for some v ∈ P: v + ϕ w − ϕ iff.Soft Upgrades Solving the Problem Conclusion . for all v ∈ P: v − ϕ w + Inf . for all v ∈ P: v + ϕ w − ϕ iff. ϕ iff. ??? Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . ϕ iff ??? w − Inf .Semantics Truth-Continued Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum And the modalities: w + ϕ iff.

Soft Upgrades Solving the Problem Conclusion .Classicality Condition Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction We impose a classicality condition (CC) on the possible worlds. Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . that is (CC) For all w ∈ P and all ϕ ∈ Form: either w + ϕ or w − ϕ and not both.

we extend V and V to arbitrary formulas. so they assign sets of impossible worlds to formulas in a direct manner.Semantics Truth in Fiction via Non-Standard Belief Revision Truth-Continued Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction + − For impossible worlds. So if w ∈ I .Soft Upgrades Solving the Problem Conclusion . w ∈ V + (ϕ) w − ϕ iff. w ∈ V − (ϕ) Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . then w + ϕ iff.

Then Γ ϕ if for any model hW .Soft Upgrades Solving the Problem Conclusion .Semantics Logical Consequence Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Logical Consequence is defined over the set of possible worlds P. ϕ is a logical truth iff. ∅ ϕ. Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . Let Γ be a set of formulas and ϕ a formula. ≤. ϕ iff. then w + ϕ We then say ϕ is a logical consequence of Γ. V i and any w ∈ P : if w + γ for any γ ∈ Γ.

all worlds where F is true (f -worlds) become more plausible than any worlds where F is not true (non-f -worlds). We write w + F if for all ϕ ∈ F .Soft Upgrades Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Let F be the explicit content of a fiction f . We treat engagement with fiction as a soft upgrade expressed by ⇑ F .Soft Upgrades Solving the Problem Conclusion . We impose two conditions on the new ordering ≤⇑F : Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . w + ϕ. That is.

Truth in Fiction via Non-Standard Belief Revision Cond 1: ∀t ∈ W [t + F ⇒ (∀s ∈ W (s 2+ F ⇒ s ≤⇑F t))] To ensure that the most plausible worlds in engagement with fiction are f -worlds. Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . It can remain the same or change arbitrarily but has to remain a transitive conversely well-founded order. we assume the ordering to be given externally by the agent. we have: ⇑F Cond 2: ∀t ∈ W [(∀s ∈ W : s ≤ + t) ⇒ t F ] Among the f -worlds.Soft Upgrades Solving the Problem Conclusion . and also among the non-f -worlds.

Soft Upgrades Solving the Problem Conclusion . Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . The crucial part is to get a group ordering ≤⇑F G on the worlds. Our way is based on a hierarchy among agents.Semantics Multi-Agent Plausibility Models Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction The single agent models can be extended to multi-agent models by having a set of agents A and a set of plausibility orderings {≤a }a∈A . but one could also use ideas from social choice theory.

.Group ordering Truth in Fiction via Non-Standard Belief Revision hierarchy among agents a in some group G ⊆ A with n agents... then ≤⇑F G satisfies those conditions too.Soft Upgrades Solving the Problem Conclusion . an . where a0 is the highest in the hierarchy. define the group ordering ≤⇑F G:n inductively: ⇑F ≤⇑F G0 /a1 =<a0 Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency ∪('⇑F a0 ∩ ≤⇑F a1 ) ⇑F ⇑F ⇑F ≤⇑F Gn /an+1 =<Gn ∪('Gn ∩ ≤an+1 ) ≤⇑F a Christopher Badura Ruhr-Universit¨ at Bochum If for every agent a. Based on the hierarchy a0 . . Finding Semantics for Inf Plausibility Models Belief Revision . is a transitive conversely well-founded relation satisfying Cond 1 and Cond 2.

On our models. CBGw + If = {ϕ|w CBG ϕ} is the set of common beliefs of group G at w .Soft Upgrades Solving the Problem Conclusion . ϕ is commonly believed if everyone believes ϕ and everyone believes that everyone believes ϕ and so on. where all those common beliefs are true. then we let |CBGw | be the set of worlds.Overt/Common Beliefs Instead of Lewis’s collective belief worlds we will use common belief worlds. Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . we can define a common belief modality CBG .

∃v ∈ bestG⇑F |CBGw |(v + F and v 2+ ϕ) . ϕ iff. For S ⊆ W . w Inf . ∀v ∈ bestG⇑F |CBGw |(v + + F ⇒ v ϕ) Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .Semantics for ‘Inf ’ Truth in Fiction via Non-Standard Belief Revision Let M be a multi-agent plausibility model where G ⊆ A is the community of origin of f . w − Inf . Then + M. Let w ∈ P.Soft Upgrades Solving the Problem Conclusion M. we define bestG⇑F S = {w ∈ W |∀x ∈ S : x ≤⇑F G w }. ϕ iff.

Inconsistent Fictions Again Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Does Inf .Soft Upgrades Solving the Problem Conclusion . (ψ) hold? Fiction operator “Inf ” Lewis’s Analysis 2 for Inf No! We can easily have a most plausible impossible world after the upgrade which makes F and ϕ ∧ ¬ϕ true but not ψ. The easiest case if ϕ ∧ ¬ϕ is in the explicit content F . A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . (ϕ ∧ ¬ϕ) Inf .

Clearly. Reasonable if one accepts that fiction can be about anything. and thus about any logic failing. This is nice since every fiction makes its explicit content true. It seems. this depends on the fiction in question and the plausibility orderings.Soft Upgrades Solving the Problem Conclusion . F is a logical truth since logical truth is defined only over possible worlds. every logical inference within the scope of the operator can fail.Some other Results I I Inf . Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .

we arrived at a semantics for Inf which avoids the trouble with inconsistent fiction. F is a logical truth 2. (ϕ ∧ ¬ϕ) to Inf . Starting from Lewis’s Analysis 2.Soft Upgrades Solving the Problem Conclusion . Import of background knowledge/beliefs: (3) depends on the plausibility ordering 3. Import of logical consequences: (3) depends on the plausibility ordering 4. (ψ) fails in general. Inconsistent fiction without trivializing: 3 the inference from Inf . Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision . Explicit content: 3 because Inf .Conclusion Desiderata Check 1.

badura@rub.Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Truth in Fiction Thank You! christopher.Soft Upgrades Solving the Problem Conclusion .de Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .

for all v such that w →CB v v + ϕ.Soft Upgrades Solving the Problem Conclusion . t ∈ bests(a) Define S →CB as the smallest relation R such that R ⊆ a →a Define w + CBG ϕ iff. Truth in Fiction Fiction operator “Inf ” Lewis’s Analysis 2 for Inf A Problem with inconsistency Finding Semantics for Inf Plausibility Models Belief Revision .Common Belief modality Truth in Fiction via Non-Standard Belief Revision Christopher Badura Ruhr-Universit¨ at Bochum Define s(a) = {w ∈ W |w 'a s} Define s →a t iff.

- Horst Rittel -The_reasoning_of_designersUploaded byBia Bastos
- formUploaded byYopei Edlareb
- Art of NecessityUploaded byunsurprised
- PowerUploaded byKing Jis Smiley
- 10731-8Uploaded bygutenberg
- EAM_displayview.pdfUploaded byHacene Lamraoui
- Maxims for MavericksUploaded byEvil-Soft.com
- Research Paper: Johanne Allaire Uncovering and Shifting Underlying BeliefsUploaded byCoach Campus
- folio final 1Uploaded byapi-298381854
- Knowledge Management ToolsUploaded byFarid
- anchoring yourself in standards 1 2 and 3Uploaded byapi-213424902
- rubric - web quest - religionUploaded byapi-296265044
- ModalUploaded bynumb25
- Schopenhauer EnUploaded byinnovatorinnovator
- 3-OEResultsDeliveryImpactAssessmentUploaded bysayafrands6252
- Moran Getting Told and Being BelievedUploaded byPedro Saldias
- Nichols Shaun Imagination and the Puzzles of IterationUploaded byAntonio Guillo
- Gabor Vaga - Orality and Literacy . the Development of Philosophy Into Logical Thought (Anthropoetics, Vol.5, n. 2 Fall 1999 Winter 2000)Uploaded byTommaso Cimino
- Words for — Foolish _ Mischievous _ Crazy _ Wild _ MadUploaded byAnkita T. Moore
- The Bloomsbury Companion to the Philosophy of LanguageUploaded byZhengjie Situ
- Mora Assignment 4 Rough DraftUploaded bycandylilu123
- maths implicationsUploaded byraj_595
- Christiano Et Al Naturalistic Reflection Early DraftUploaded byyogsotgoth
- WCP2008_54SectionsUploaded byMondo Comune
- eschatologyUploaded byEnokman
- Expert SystemUploaded bysweetwaqar
- drinking water and observations of bird feathreUploaded bygetdownload3525
- Elaborating Domain Descriptions (Preliminary Report)Uploaded byIvan José Varzinczak
- 1.1. Introduction to FuzzyUploaded byUlva Febriana
- Logic and Prob 2014Uploaded bylimuvi

- Fcc1 u5 Sesion 01.DocUploaded byHumberto Saucedo
- Scientific Method-review 1Uploaded byakgupta1946
- La Religión y La Filosofía La Clave Para Ver Más Allá de Lo PropuestoUploaded byalejandra
- Tre BallUploaded byAlex Hernandez Mahia
- Campus Deutsch Hoeren Mitschreiben LoesungenUploaded byDraga Jovanovic
- 4 Casos de intervención escolar UNYUploaded byAlejandro Rivera
- II Sem. 2silabo Estadistica GeneralUploaded byRuben Parrilla
- ict resourcesUploaded byapi-378001294
- Inteligência Competitiva aspectos críticos na empresa brasileiraUploaded byJorge Humberto Fernandes
- Carta descriptiva-Psicopedagogía del aprendizajeUploaded byDulce Ma Desachy
- Modelo de Flowers y Hayes (Autoguardado)Uploaded byJosé Wolf
- Presentation Research PhilosophyUploaded byUsman Mahmood
- BRM Critique ReportUploaded byHappy Garg
- PSICOPATOLOGÍA-DE-LA-MEMORIA-lectura.docxUploaded byMontalván Fernando
- Teoria de la Argumentación JuridicaUploaded byGuillermo DS
- model of communicationUploaded byanudeepkhanuja
- pes.pdfUploaded byEdison Jaramilo Puente
- CLASE DE ARGUMENTO.pptUploaded byPablo Hernandez Miranda
- SIMULATIONUploaded byAfifa Khalid
- PROGRAMA DE TECNOLOGIA (CREACION ARTESANAL).pdfUploaded byLuXy LuZy
- BUS 203 CultureUploaded byRuchi Bhanawat
- Niveles de Concreción Curricular 2Uploaded byYerco Uribe Bahamonde
- IMPORTANCIA Y APLICACIÓN DE LA INGENIERIA INDUSTRIALUploaded byKrly Pineda Cobain
- ensayo de planeación estratégicaUploaded byjaviticolombia
- Tema 3 Diversidad Funcional AuditivaUploaded byagis2626
- 369139945053Uploaded byRoberto Clark
- Planeación Pensamiento TrigonometricoUploaded byEric Martínez Aguilar
- articulo rafael salud de los trabajadores.pdfUploaded byASESPZO
- El Metodo CientificoUploaded byGregory Ary Carranza Solano
- C 7Uploaded byOmar Bilal Akash