Are There True Contradictions? Paraconsistent Logic and Dialetheism - - PowerPoint PPT Presentation

are there true contradictions
SMART_READER_LITE
LIVE PREVIEW

Are There True Contradictions? Paraconsistent Logic and Dialetheism - - PowerPoint PPT Presentation

Are There True Contradictions? Paraconsistent Logic and Dialetheism Asgeir Berg Matth asson University of St Andrews asgeir.berg@gmail.com Cool Logic, October 4, 2013 Asgeir Berg Matth asson (University of St Andrews


slide-1
SLIDE 1

Are There True Contradictions?

Paraconsistent Logic and Dialetheism ´ Asgeir Berg Matth´ ıasson

University of St Andrews asgeir.berg@gmail.com

Cool Logic, October 4, 2013

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 1 / 24

slide-2
SLIDE 2

Outline of the talk

Introduction The semantic paradoxes and their attempted solutions The Logic of Paradox What is so bad about contradictions?

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 2 / 24

slide-3
SLIDE 3

Introduction

A quote

“Indeed, even at this stage I predict a time when there will be mathematical investigations of calculi containing contradictions, and people will actually be proud of having emancipated themselves even from consistency.” —Ludwig Wittgenstein

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 3 / 24

slide-4
SLIDE 4

Introduction

Preliminary definitions I

Definition Dialetheism is a philosophical position according to which there are true sentences of the form ϕ ∧ ¬ϕ. We call these sentences dialetheia, or true contradictions. Weak dialetheism holds that certain sentences are best explained by calling them true contradictions. This is also called semantic dialetheism. Strong dialetheism is the view that the world itself is somehow inconsistent.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 4 / 24

slide-5
SLIDE 5

Introduction

Preliminary definitions II

Definition A paradox is an argument which proceeds from premises which appear true via a number of steps which appear valid, to a conclusion which is nevertheless untrue. Dialetheism is a response to certain paradoxes.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 5 / 24

slide-6
SLIDE 6

The Sematic Paradoxes and Their Attempted Solutions

The Liar Paradox

1 “This sentence is false.” ´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 6 / 24

slide-7
SLIDE 7

The Sematic Paradoxes and Their Attempted Solutions

The Liar Paradox

1 “This sentence is false.” 2 “The sentence below this one is true.” ´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 6 / 24

slide-8
SLIDE 8

The Sematic Paradoxes and Their Attempted Solutions

The Liar Paradox

1 “This sentence is false.” 2 “The sentence below this one is true.” 3 “The sentence above this one is false.” ´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 6 / 24

slide-9
SLIDE 9

The Sematic Paradoxes and Their Attempted Solutions

The Liar Paradox

1 “This sentence is false.” 2 “The sentence below this one is true.” 3 “The sentence above this one is false.” ´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 6 / 24

slide-10
SLIDE 10

The Sematic Paradoxes and Their Attempted Solutions

The Liar Paradox

1 “This sentence is false.” 2 “The sentence below this one is true.” 3 “The sentence above this one is false.”

These are called “semantic paradoxes” because they involve the notion of truth. Dialetheism is accepting the paradoxical argument.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 6 / 24

slide-11
SLIDE 11

The Sematic Paradoxes and Their Attempted Solutions

What do we need to generate the Liar Paradox?

1 Self-reference, or something equivalent. 2 A truth predicate with Capture and Release: T(ϕ) ↔ ϕ. 3 The law of excluded middle: ϕ ∨ ¬ϕ. ´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 7 / 24

slide-12
SLIDE 12

The Sematic Paradoxes and Their Attempted Solutions

What do we need to generate the Liar Paradox?

1 Self-reference, or something equivalent. 2 A truth predicate with Capture and Release: T(ϕ) ↔ ϕ. 3 The law of excluded middle: ϕ ∨ ¬ϕ.

Philosophers have tried to doubt all of these things in order to escape the paradox. Almost everyone accepts (2), however.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 7 / 24

slide-13
SLIDE 13

The Sematic Paradoxes and Their Attempted Solutions

The Tarskian Solution

We restrict self-reference by stipulating that a truth definition must be given in a stronger meta-language than the object language. This gives rise to a hierarchy of languages each with its own truth predicate. On this picture, the Liar sentence is not well-formed: “This0 sentence is true1”.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 8 / 24

slide-14
SLIDE 14

The Sematic Paradoxes and Their Attempted Solutions

Problems with the Tarskian Solution I

Intutively it just seems false that a natural language has hierarchies.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 9 / 24

slide-15
SLIDE 15

The Sematic Paradoxes and Their Attempted Solutions

Problems with the Tarskian Solution I

Intutively it just seems false that a natural language has hierarchies. Yesterday Julia said: “Everything ´ Asgeir will say in his talk is false”.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 9 / 24

slide-16
SLIDE 16

The Sematic Paradoxes and Their Attempted Solutions

Problems with the Tarskian Solution I

Intutively it just seems false that a natural language has hierarchies. Yesterday Julia said: “Everything ´ Asgeir will say in his talk is false”. Now I say: “Everything Julia said yesterday is true.”

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 9 / 24

slide-17
SLIDE 17

The Sematic Paradoxes and Their Attempted Solutions

Problems with the Tarskian Solution I

Intutively it just seems false that a natural language has hierarchies. Yesterday Julia said: “Everything ´ Asgeir will say in his talk is false”. Now I say: “Everything Julia said yesterday is true.” Kripke’s conclusion: “[It is] fruitless to look for an intrinsic criterion that will enable us to sieve out—as meaningless, or ill-formed—those sentence which lead to paradox.”

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 9 / 24

slide-18
SLIDE 18

The Sematic Paradoxes and Their Attempted Solutions

Problems with the Tarkian Solution II

The real problem is not that we can’t avoid the paradoxes formally. A real solution should tell us which step in the argument is wrong, and why. This explanation should be independent of the Liar paraxdox, i.e. not just designed to avoid it.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 10 / 24

slide-19
SLIDE 19

The Sematic Paradoxes and Their Attempted Solutions

Kripke’s Solution I

The main idea is that truth must be grounded in non-semantic facts: “It is true that snow is white” is true because snow is in fact white. The Liar sentence never refers to anything but language and is ungrounded. It therefore shouldn’t have a truth value.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 11 / 24

slide-20
SLIDE 20

The Sematic Paradoxes and Their Attempted Solutions

Kripke’s Solution II

Start with a classical model without a truth predicate. Build a hierarcy of languages, each extending the truth predicate. Take the smallest fixed point and evaluate truth there: The Liar doesn’t have a truth value! The solution is not ad hoc, because we have an explanation why the Liar doesn’t have a truth value: it is not grounded.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 12 / 24

slide-21
SLIDE 21

The Sematic Paradoxes and Their Attempted Solutions

Problems with Kripke’s Solution

Kripke’s solution is a three-valued logic and rejects the law of excluded middle.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 13 / 24

slide-22
SLIDE 22

The Sematic Paradoxes and Their Attempted Solutions

Problems with Kripke’s Solution

Kripke’s solution is a three-valued logic and rejects the law of excluded middle. “This sentence is not true”

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 13 / 24

slide-23
SLIDE 23

The Sematic Paradoxes and Their Attempted Solutions

Problems with Kripke’s Solution

Kripke’s solution is a three-valued logic and rejects the law of excluded middle. “This sentence is not true” If it is true, it is not true.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 13 / 24

slide-24
SLIDE 24

The Sematic Paradoxes and Their Attempted Solutions

Problems with Kripke’s Solution

Kripke’s solution is a three-valued logic and rejects the law of excluded middle. “This sentence is not true” If it is true, it is not true. If it is either false or valueless, it is true.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 13 / 24

slide-25
SLIDE 25

The Sematic Paradoxes and Their Attempted Solutions

Problems with Kripke’s Solution

Kripke’s solution is a three-valued logic and rejects the law of excluded middle. “This sentence is not true” If it is true, it is not true. If it is either false or valueless, it is true. This is called a strengthened Liar, or Revenge.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 13 / 24

slide-26
SLIDE 26

The Sematic Paradoxes and Their Attempted Solutions

Dialetheism

Problem: If we accept the paradoxes, won’t dialetheism collapse into trivialism?

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 14 / 24

slide-27
SLIDE 27

The Sematic Paradoxes and Their Attempted Solutions

Dialetheism

Problem: If we accept the paradoxes, won’t dialetheism collapse into trivialism? By the classical rule ex contradictione quodlibet sequitur everything would follow from the Liar: ϕ ∧ ¬ϕ ψ, for any ψ.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 14 / 24

slide-28
SLIDE 28

The Sematic Paradoxes and Their Attempted Solutions

Dialetheism

Problem: If we accept the paradoxes, won’t dialetheism collapse into trivialism? By the classical rule ex contradictione quodlibet sequitur everything would follow from the Liar: ϕ ∧ ¬ϕ ψ, for any ψ. Dialetheists reject this principle, and thus avoid trivialism.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 14 / 24

slide-29
SLIDE 29

The Sematic Paradoxes and Their Attempted Solutions

Dialetheism

Problem: If we accept the paradoxes, won’t dialetheism collapse into trivialism? By the classical rule ex contradictione quodlibet sequitur everything would follow from the Liar: ϕ ∧ ¬ϕ ψ, for any ψ. Dialetheists reject this principle, and thus avoid trivialism. But we need a new logic which does not have this rule.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 14 / 24

slide-30
SLIDE 30

The Logic of Paradox

Semantics for the Logic of Paradox I

The Logic of Paradox is a three valued logic, but instead of truth value gaps, there are sentences than can be true and false. This gives rise to the following definition: Definition Let M = D, I, where D is the domain and I a total function from the atomic sentences to {0, 1, 1

2}.

The truth values are interpreted to mean: 0 means ‘false but not true’. 1 means ‘true but not false’.

1 2 means ‘both true and false’. We also call these sentences

‘paradoxical’.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 15 / 24

slide-31
SLIDE 31

The Logic of Paradox

Semantics for the Logic of Paradox II

We define the valuation function V in the following way: Definition VM(ϕ) = I(ϕ) if ϕ is atomic. VM(¬ϕ) = 1 − VM(ϕ). VM(ϕ ∨ ψ) = max(VM(ϕ), VM(ψ)) VM(ϕ ∧ ψ) = min(VM(ϕ), VM(ψ)) This just means that the negation of a paradoxical sentence is paradoxical, the conjunction of a false sentence and a paradox is false, etc.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 16 / 24

slide-32
SLIDE 32

The Logic of Paradox

Semantic consequence and logical truth

In order to avoid explosion, we need to redefine our consequence relation. Definition Let ∆ be a set of sentences. Then ∆ ψ iff ∀M and ∀ϕi ∈ ∆: VM(ϕi) ≥ 1

2 then VM(ψ) ≥ 1 2

Consequence is not preservation of truth and not falsity but just preservation of truth. Theorem Every classical tautology is an LP-tautology.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 17 / 24

slide-33
SLIDE 33

The Logic of Paradox

Some deductions that do not hold

The following is not valid: Explosion: ϕ ∧ ¬ϕ ψ Transitivity: ϕ → ψ, ψ → χ ϕ → χ Reductio ad absurdum: ϕ → (ψ ∧ ¬ψ) ¬ϕ Modus Ponens: ϕ, ϕ → ψ ψ Now we must be in trouble. How is even anything resembling ordinary reasoning, much less mathematics, possible without these principles?

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 18 / 24

slide-34
SLIDE 34

The Logic of Paradox

The valid/quasi-valid distinction

These rules of inference are not generally valid, but are valid if the premises are classically true. These we call quasi-valid. Graham Priest suggests that we can just keep on using them anyway, with provisio.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 19 / 24

slide-35
SLIDE 35

The Logic of Paradox

The provisio

“Unless we have specific grounds for believing that paradoxical sentences are occuring in our argument, we can allow ourselves to use both valid and quasi-valid inference.” In practice this is not so different: You can never be more sure of your conclusion than you are of your premises. Now we just have to make sure our premises are true and not paradoxical. So we can “have our cake and eat it”.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 20 / 24

slide-36
SLIDE 36

The Logic of Paradox

Summary so far

It’s easy to avoid trivialism. The Logic of Paradox can prove all classical tautologies. In non-paradoxical situations it is in fact the same as classical logic. But we have to accept that there are true contradictions.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 21 / 24

slide-37
SLIDE 37

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-38
SLIDE 38

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

That only shows that our logic isn’t classical.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-39
SLIDE 39

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

That only shows that our logic isn’t classical.

Surely contradictions cannot be true!

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-40
SLIDE 40

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

That only shows that our logic isn’t classical.

Surely contradictions cannot be true!

Why not?

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-41
SLIDE 41

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

That only shows that our logic isn’t classical.

Surely contradictions cannot be true!

Why not?

If contradictions were acceptable, people could never be criticized.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-42
SLIDE 42

What’s so bad about contradictions?

What’s so bad about contradictions?

Some worries you might have: Contradictions entail everything.

That only shows that our logic isn’t classical.

Surely contradictions cannot be true!

Why not?

If contradictions were acceptable, people could never be criticized.

The dialetheist doesn’t maintain that all contradictions can be true,

  • nly very special ones. Most will be false, and rationally acceptable as

such.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 22 / 24

slide-43
SLIDE 43

What’s so bad about contradictions?

Final remarks

The idea that contradictions might be true shouldn’t be surprising. After all, our language has all the necessary tools to generate inconsistency: A truth predicate. Self-reference.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 23 / 24

slide-44
SLIDE 44

What’s so bad about contradictions?

Final remarks

The idea that contradictions might be true shouldn’t be surprising. After all, our language has all the necessary tools to generate inconsistency: A truth predicate. Self-reference. This isn’t necessarily a metaphysical point, but a linguistic one: our language is inconsistent.

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 23 / 24

slide-45
SLIDE 45

What’s so bad about contradictions?

Final remarks

The idea that contradictions might be true shouldn’t be surprising. After all, our language has all the necessary tools to generate inconsistency: A truth predicate. Self-reference. This isn’t necessarily a metaphysical point, but a linguistic one: our language is inconsistent. And so what?

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 23 / 24

slide-46
SLIDE 46

What’s so bad about contradictions?

A joke

A Catholic priest, a Protestant priest and Graham Priest walk into a bar. The Catholic says to the bartender, “I’ll have a whiskey”. The Protestant thinks a little while and then says: “I don’t think I shall”. Graham Priest says, “I’ll have what they’re having.”

´ Asgeir Berg Matth´ ıasson (University of St Andrewsasgeir.berg@gmail.com) Are There True Contradictions? Cool Logic, October 4, 2013 24 / 24