concrete impossible worlds martin vacek institute of philosophy slovak academy of sciences...
TRANSCRIPT
![Page 1: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/1.jpg)
CONCRETE IMPOSSIBLE WORLDS
Martin VacekInstitute of Philosophy
Slovak Academy of [email protected]
www.martinvacek.com
Oklahoma Graduate Conference, Norman, 30/03/2013
![Page 2: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/2.jpg)
Plan Exposition of modal realism
Applications of the theory
Why to bother with Impossibilia?
An Argument against Impossible Worlds
Proposals
![Page 3: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/3.jpg)
Modal RealismWhat there is?
Concrete actual individualsConcrete nonactual individualsConcrete possible worldsSets Principle of unrestricted
mereological summationRecombination principleThere are no IMPOSSIBILIA.
![Page 4: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/4.jpg)
Modal Realism
An individual x is a world iff any parts
of x are spatiotemporally related to
Each other, and anything spatiotemporally related to any
part of x is itself a part of x
![Page 5: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/5.jpg)
Possible Worlds: Why We Need Them?
Analysis of modality
Properties and Propositions
Counterfactuals
Beliefs
Knowledge
![Page 6: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/6.jpg)
Problems – several pre-theoretical opinions
Impossible properties
Impossible propositions
Counterfactuals with impossible antecedents
Impossible beliefs
![Page 7: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/7.jpg)
IMPOSSIBILIA TO THE
RESCUE(?)
![Page 8: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/8.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P). 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 9: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/9.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P). 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 10: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/10.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P). 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 11: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/11.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P) 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 12: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/12.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P) 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 13: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/13.jpg)
An Argument against Concrete Impossible Worlds
1. There exists an impossible world at which (P and ~P).
2. At w ~P iff ~(at w, P)3. At w (P and ~P) iff at w P and ~(at w P) 4. To tell the alleged truth about the
contradictory things is not different from contradicting yourself.
5. There is no subject matter about which you can tell the truth by contradicting yourself.
ThereforeImpossible worlds do not exist.
![Page 14: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/14.jpg)
Proposal(s)
If
there is subject matter about which you can tell the truth by contradicting
yourself
![Page 15: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/15.jpg)
Proposal(s)
If
there is subject matter about which you can tell the truth by contradicting
yourself
Paraconsictent Approach
![Page 16: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/16.jpg)
Paraconsictent Approach
(A , ¬A) ⊨ B
![Page 17: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/17.jpg)
Paraconsictent Approach
(A , ¬A) ⊨ B
![Page 18: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/18.jpg)
Paraconsictent Approach
(A , ¬A) ⊨ B
(A ∧ ¬A)
![Page 19: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/19.jpg)
Proposal(s)• is it a justified and legitimate
pre-theoretical opinion that classical logic holds
unrestrictedly?
![Page 20: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/20.jpg)
Proposal(s)• is it a justified and legitimate
pre-theoretical opinion that classical logic holds
unrestrictedly?• localising the applicability of the
overall logic
![Page 21: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/21.jpg)
Proposal(s)• is it a justified and legitimate
pre-theoretical opinion that classical logic holds
unrestrictedly?• localising the applicability of the
overall logic• we barely have an idea of what it
means for a world to obey one logic rather than another
![Page 22: CONCRETE IMPOSSIBLE WORLDS Martin Vacek Institute of Philosophy Slovak Academy of Sciences martinvacekphilosophy@gmail.com Oklahoma](https://reader030.vdocuments.net/reader030/viewer/2022032723/56649d015503460f949d4142/html5/thumbnails/22.jpg)
THANKS