Loogiline võimalikkus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
PResümee puudub |
|||
65. rida:
3. Kolmandasse tüüpi kuuluv stsenaariumide klass on ''B''. Vastav propositsioonide klass määratletakse näiteks küsimusega "Kas on võimalik, et maailmas kunagi juhtub miski, mis ei ole füüsiliselt võimalik?"
4. Neljandasse tüüpi kuuluv stsenaariumide klass on ''A'' ja ''B'' [[ühisosa]] <i>A</i> ∩<i>B</i>, mis on [[tühi klass]] <math>\emptyset</math>.Vastav propositsioonide klass määratletakse näiteks küsimusega "Kas on võimalik, et kõik, mis maailmas iganes juhtub, on füüsiliselt võimalik [[konjuktsioon (loogika)|ja]] maailmas juhtub kunagi miski, mis ei ole füüsiliselt võimalik?"
5. Viiendasse tüüpi kuuluv stsenaariumide klass on klassi ''A'' mõni mittetühi [[pärisalamhulk|päris]][[alamklass]], see tähendab, mittetühi stsenaariumide klass, mille kõik [[element (matemaatika)|elemendid]] on füüsiliselt võimalike maailmade stsenaariumid, kuid mis ei lange klassiga ''A'' kokku. Vastav propositsioonide klass määratletakse näiteks küsimusega "Kas on võimalik, et kõik, mis maailmas iganes juhtub, on füüsiliselt võimalik, [[konjunktsioon (loogika)|ja]] see-ja-see maailmas kunagi juhtub?" Siin on eelduseks, et see-ja-see on füüsiliselt võimalik, kuid mitte füüsiliselt paratamatu.
6. Kuuendasse tüüpi kuuluv stsenaariumide klass on klassi ''B'' mõni mittetühi [[pärisalamhulk|päris]][[alamhulk|alamklass]], see tähendab, mittetühi stsenaariumide klass, mille kõik [[element (matemaatika)|elemendid]] on füüsiliselt võimatute maailmade stsenaariumid, kuid mis ei lange klassiga ''B'' kokku. Vastav propositsioonide klass määratletakse näiteks küsimusega "Kas on võimalik, et maailmas kunagi juhtub miski, mis ei ole füüsiliselt võimalik, [[ja]] see-ja-see maailmas kunagi juhtub?", kusjuures eeldame, et see-ja-see on füüsiliselt võimatu ja loogiliselt võimalik, kuid ei hõlma kõike füüsiliselt võimatut. Küsimuse võib sõnastada ka lihtsamalt: "Kas see-ja-see on võimalik?" See-ja-see peab olema loogiliselt võimalik ja füüsiliselt võimatu ning ei tohi hõlmata kõike füüsiliselt võimatut.
| |||