Loginė galimybė ir metafizinė galimybė
Loginė galimybė ir metafizinė galimybė yra du iš keturių subjektyvių galimybių rūšių modalinės logikos eigoje. Teiginiuose ar galimybių pasiūlymuose vartojamos nuotaikos ar modaliniai žodžiai, pavyzdžiui, būtinai, netyčia, galbūt, iš esmės, gali ir kiti, kuriems jis patinka.
Loginė galimybė
Loginė galimybė yra plačiausiai aptarta galimybės rūšis dėl išsamių jos paaiškinimų. Teiginį galite laikyti logiškai įmanomu, jei nėra prieštaravimų, kad jis būtų teisingas. Pavyzdžiui, teiginys „Džulianas liguistas“laikomas logiškai įmanomu, nes „Džulianas“ir „liguistas“neprieštarauja vienas kitam. Tačiau teiginys „Džulianas sveikas serga“logiškai neįmanomas, nes „sveikas“ir „ligotas“prieštarauja.
Metafizinė galimybė
Metafizinė galimybė yra šiek tiek siauresnė, kai kalbama apie paaiškinimus ir teiginius, jei palyginsite ją su logine galimybe. Tačiau kartais filosofai keičiasi jais, nes jie yra glaudžiai susiję. Norėdami tai geriau pateikti, teiginys „Druska yra NaCl“yra metafiziškai galimas, 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 sakinyje neturėtų būti prieštaraujančių žodžių ar žodžių, o metafiziškai galimas yra teiginys, nurodantis objekto sudėtį. Gana sunku suprasti jų skirtumą, jei nepateikti pavyzdžių. Naudojant šventą Sauliaus Kripke teiginį, kad „vanduo nėra H2O“, teiginys iš tikrųjų yra logiškos galimybės, nes vanduo ir H2O nėra prieštaringi, tačiau metafiziškai neįmanoma, nes vanduo visada bus H2O. Rekomenduojama gilintis į šį klausimą.
Filosofas jau daugelį metų ir net iki šiol nagrinėjo šias dviejų rūšių galimybes. Jie nuolat diskutuoja tarp tinkamo naudoti, loginės galimybės ar metafizinės galimybės, nes yra teiginių, kurie yra logiškai įmanomi, bet metafiziškai neįmanomi, kaip nurodyta aukščiau.
• Teiginys laikomas logiškai įmanomu, jei teiginyje nėra prieštaraujančio žodžio (-ių), o metafiziškai galimas teiginys, jei jis pasako teisingą objekto sudėtį.
• Logiškai galimas teiginys ne visada reiškia metafiziškai įmanomą, o metafiziškai galimas teiginys kartais gali būti logiškai neįmanomas.
