Loginė galimybė prieš metafizinę galimybę
Loginė galimybė ir metafizinė galimybė yra du iš keturių subjektyvių galimybių tipų modalinės logikos eigoje. Teiginiuose arba galimybių teiginiuose vartojamos nuotaikos arba modaliniai žodžiai, pvz., būtinai, atsitiktinai, gali, galbūt, iš esmės, gali, atsitiktinai, privalo ir kiti, turintys panašių į tai.
Loginė galimybė
Loginė galimybė yra plačiausiai aptarinėjama galimybės rūšis, nes jos paaiškinimai yra platūs. Galite laikyti teiginį logiškai įmanomu, jei nėra prieštaravimų, kad jis būtų teisingas. Pavyzdžiui, teiginys „Julianas serga“laikomas logiškai įmanomu, nes „Julianas“ir „serga“vienas kitam neprieštarauja. Tačiau teiginys „Julianas sveikas serga“logiškai neįmanomas, nes „sveikas“ir „serga“prieštarauja.
Metafizinė galimybė
Metafizinė galimybė yra šiek tiek siauresnė, kai kalbama apie paaiškinimus ir teiginius, jei lyginate ją su logine galimybe. Tačiau kartais filosofai jas keičia, nes jie yra glaudžiai susiję. Kad būtų geriau suprasti, teiginys „druska yra NaCl“yra metafiziškai įmanomas, nes druska iš tikrųjų yra natrio (Na) ir chlorido (Cl) junginys.
Skirtumas tarp loginės galimybės ir metafizinės galimybės
Kai sakote, kad teiginys logiškai įmanomas, visame teiginyje neturėtų būti prieštaraujančių žodžių ar žodžių, o metafiziškai įmanomas yra teiginys, nurodantis objekto sudėtį. Gana sunku suprasti jų skirtumą, jei neįdėta į pavyzdžius. Naudojant Sauliaus Kripkės garsųjį teiginį, kad „vanduo nėra H2O“, teiginys iš tikrųjų yra logiškai įmanomas, nes vanduo ir H2O nėra prieštaringi, bet ir metafiziškai neįmanoma, nes vanduo visada bus H2O. Rekomenduojama giliau studijuoti šiuo klausimu.
Filosofai jau daugelį metų ir net iki šiol nagrinėjo šias dvi galimybes. Jie ir toliau diskutuoja, ką tinkama naudoti, loginę galimybę ar metafizinę galimybę, nes yra teiginių, kurie yra logiškai įmanomi, bet metafiziškai neįmanomi, kaip nurodyta aukščiau.
Trumpai:
• Teiginys laikomas logiškai įmanomu, jei teiginyje nėra prieštaraujančių žodžių, o metafiziškai galimas teiginys, jei jis nurodo teisingą objekto sudėtį.
• Logiškai įmanomas teiginys ne visada reiškia metafiziškai įmanomas, o metafiziškai įmanomas teiginys kartais gali būti logiškai neįmanomas.
