on the indispensibility of ( im ) possibilia
DESCRIPTION
On the indispensibility of ( Im ) possibilia. Martin Vacek Filozofický Ústav Slovenská Akadémia Vied Školiteľ: Prof. Marián Zouhar, PhD. 14 / 01 /201 3 martinvacekphilosophy @ gmail.com www.martinvacek.com. Mo žné Svety - Motivácia. Anal ýza modálnych termínov v nemodálnych termínoch. . - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/1.jpg)
ON THE INDISPENSIBILITY OF (IM)POSSIBILIA
Martin VacekFilozofický Ústav
Slovenská Akadémia ViedŠkoliteľ: Prof. Marián Zouhar, PhD.
14/01/[email protected]
www.martinvacek.com
![Page 2: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/2.jpg)
Možné Svety - MotiváciaAnalýza modálnych termínov v
nemodálnych termínoch.
![Page 3: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/3.jpg)
Možné Svety - MotiváciaAnalýza modálnych termínov v
nemodálnych termínoch.
Je možné, že P iff existuje (aspoň jeden) možný svet, w, taký, že vo w, P
Je nevyhnutné, že P iff pre každý svet, w, platí, že vo w, P
![Page 4: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/4.jpg)
Modálna Metafyzika
Čo sú možné svety?
![Page 5: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/5.jpg)
Možné OdpovedeMožný svet je:
a) maximálna konzistentná množina propozícií
b) maximálna konzistentná množina vietc) maximálny stav vecíd) vlastnosť univerzae) maximálna suma indivíduíf) ...
![Page 6: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/6.jpg)
Možné OdpovedeMožný svet je:
a) maximálna konzistentná množina propozícií
b) maximálna konzistentná množina vietc) maximálny stav vecíd) vlastnosť univerzae) maximálna suma indivíduíf) ...
![Page 7: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/7.jpg)
Možné OdpovedeMožný svet je:
a) maximálna konzistentná množina propozícií
b) maximálna konzistentná množina vietc) maximálny stav vecíd) vlastnosť univerzae) maximálna suma indivíduíf) ...
![Page 8: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/8.jpg)
Možné OdpovedeMožný svet je:
a) maximálna konzistentná množina propozícií
b) maximálna konzistentná množina vietc) maximálny stav vecíd) vlastnosť univerzae) maximálna suma indivíduíf) ...
![Page 9: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/9.jpg)
Možné OdpovedeMožný svet je:
a) maximálna konzistentná množina propozícií
b) maximálna konzistentná množina vietc) maximálny stav vecíd) vlastnosť univerzae) maximálna suma indivíduí (David Lewis)f) ...
![Page 10: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/10.jpg)
Problém I
Ako vieme, že existujú možné svety?
![Page 11: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/11.jpg)
Pragmatické Dôvody Modálne výroky Kontrafaktuálne kondicionály Vlastnosti Propozície Viery
![Page 12: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/12.jpg)
Pragmatické Dôvody Modálne výroky Kontrafaktuálne kondicionály Vlastnosti Propozície Viery
![Page 13: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/13.jpg)
Pragmatické Dôvody Modálne výroky Kontrafaktuálne kondicionály Vlastnosti Propozície Viery
![Page 14: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/14.jpg)
Pragmatické Dôvody Modálne výroky Kontrafaktuálne kondicionály Vlastnosti Propozície Viery
![Page 15: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/15.jpg)
Pragmatické Dôvody Modálne výroky Kontrafaktuálne kondicionály Vlastnosti Propozície Viery
![Page 16: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/16.jpg)
Epistemologické DôvodyMatematika
Set theory offers the mathematician great economy of primitives and premises, in return for accepting rather a lot of entities unknown to Homo javanensis. It offers an
improvement in what Quine calls ideology, paid for in the coin of ontology. It's an offer you can't refuse. The price
is right; the benefits in theoretical unity and economy are well worth the entities. Philosophers might like to see the
subject reconstructed or reconstrued; but working mathematicians insist on pursuing their subject in paradise, and will not be driven out. Their thesis of
plurality of sets is fruitful; that gives them good reason to believe that it is true.
![Page 17: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/17.jpg)
Problém IITo, že dokážeme zmysluplne formulovať matematické výroky nám ešte nehovorí,
ČO matematické entity sú.
ČO sú matematické entity si vyžaduje niečo viac.
Preto
ČO sú možné svety si vyžaduje niečo viac.
![Page 18: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/18.jpg)
Problém IITo, že dokážeme zmysluplne formulovať matematické výroky nám ešte nehovorí,
ČO matematické entity sú.
ČO sú matematické entity si vyžaduje niečo viac.
Preto
ČO sú možné svety si vyžaduje niečo viac.
![Page 19: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/19.jpg)
Problém IITo, že dokážeme zmysluplne formulovať matematické výroky nám ešte nehovorí,
ČO matematické entity sú.
ČO sú matematické entity si vyžaduje niečo viac.
preto (ak má analógia platiť)
ČO sú možné svety si vyžaduje niečo viac.
![Page 20: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/20.jpg)
Matematické poznatky. Modálne poznatky.
Matematická ontológia. Modálna ontológia.
![Page 21: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/21.jpg)
DôsledokAk vieme, že 2+2=4, vieme tiež, že existujú
konkrétne možné svety.
NEPRIJATEĽNÉ
![Page 22: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/22.jpg)
DôsledokLepšie by bolo, ak
a) vieme že 2+2=4
a súčasne
b) máme (ontologický) dôkaz existencie čísel
![Page 23: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/23.jpg)
Matematický PlatonizmusMatematické poznatky. Modálne poznatky.
Matematická ontológia. Modálna ontológia.
![Page 24: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/24.jpg)
Matematický Platonizmus1) We ought to have ontological commitment
to all and only the entities that are indispensable to our best scientific theories
2) Mathematical entities are indispensable to our best scientific theories.
Therefore
C1. We ought to have ontological commitments to mathematical entities
![Page 25: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/25.jpg)
Modálny RealizmusMatematické poznatky. Modálne poznatky.
Matematická ontológia. (Matematický Platonizmus)
Modálna ontológia.
![Page 26: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/26.jpg)
Modálny Realizmus1) We ought to have ontological commitments to all and only those
entities that are indispensable to our best scientific theories.2) Mathematical entities are indispensable to our best scientific
theoriesC1. We ought to have ontological commitments to mathematical
entities.3) If indispensability argument is valid in the case of mathematics, it
should be applied to metaphysics as well. 4) We ought to have ontological commitments to all and only those
entities that are indispensable to our best metaphysical theories.5) The existence of possibilia is indispensable to our best metaphysical
theory of the nature of possible worlds.
Therefore
C2.We ought to have ontological commitments to possibilia.
![Page 27: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/27.jpg)
Modálny RealizmusMatematické poznatky. Modálne poznatky.
Matematická ontológia. (Matematický Platonizmus)
Modálna ontológia. (Modálny Realizmus)
![Page 28: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/28.jpg)
Modálny Realizmus II1) We ought to have ontological commitments to all and only those entities
that are indispensable to our best scientific theories.2) Mathematical entities are indispensable to our best scientific theoriesC1.We ought to have ontological commitment to mathematical entities.3) If indispensability argument is valid in the case of mathematics, it should
be applied to metaphysics as well. 4) We ought to have ontological commitments to all and only those entities
that are indispensable to our best metaphysical theories.5) The existence of possibilia is indispensable to our best metaphysical
theory of the nature of possible worlds.C2.We ought to have ontological commitments to possibilia.6) If Lewis's argument is valid in the case of possible worlds, then it can be
applied, mutatis mutandis, in the case of impossible worlds as well.
Therefore
C3. We ought to have ontological commitments to impossibilia.
![Page 29: On the indispensibility of ( Im ) possibilia](https://reader036.vdocuments.mx/reader036/viewer/2022062521/568165d9550346895dd8eac6/html5/thumbnails/29.jpg)
Modálny Realizmus IIModálne poznatky (o možnom).
Modálne poznatky (o nemožnom).
Možné Svety Nemožné Svety