Logikai lehetőség kontra metafizikai lehetőség
A logikai lehetőség és a metafizikai lehetőség kettő a szubjektív lehetőség négy típusából a modális logika során. Az állítások vagy lehetőség-javaslatok olyan hangulatokat vagy modális szavakat használnak, mint például szükségszerűen, véletlenül, esetleg, esetleg, lényegében, esetleg, esetlegesen, muszáj, és más hasonlókat.
Logikai lehetőség
A logikai lehetőség a legszélesebb körben tárgy alt lehetőségtípus a kiterjedt magyarázatok miatt. Egy állítást akkor tekinthet logikailag lehetségesnek, ha nincs ellentmondása az igaznak. Például a „Julian beteges” kijelentés logikusan lehetségesnek tekinthető, mivel „Julianus” és „beteg” nem mond ellent egymásnak. De a „Julian egészséges beteg” kijelentés logikailag lehetetlen, mert az „egészséges” és a „beteg” egymásnak ellentmondanak.
Metafizikai lehetőség
A metafizikai lehetőség egy kicsit szűkebb a magyarázatok és kijelentések tekintetében, ha összehasonlítjuk a logikai lehetőséggel. De néha a filozófusok felcserélik őket, mivel szoros rokonságban állnak egymással. Hogy a jobb megértés érdekében egy példát mutassak be, a „só NaCl” állítás metafizikailag lehetséges, mivel a só valóban nátrium (Na) és klorid (Cl) vegyülete.
A logikai lehetőség és a metafizikai lehetőség közötti különbség
Amikor azt mondod, hogy egy állítás logikailag lehetséges, az egész kijelentésben nem szabad, hogy legyen ellentmondó szó vagy szavak, míg a metafizikailag lehetséges egy tétel, amely egy tárgy összetételét mondja ki. Elég nehéz megérteni a különbségüket, ha nem példázzuk. Saul Kripke ünnepelt kijelentését használva, miszerint „a víz nem H2O”, a tétel valójában a logikai lehetőség állapotában van, mivel a víz és a H2O nem ellentmondásos, de metafizikailag lehetetlen is, mert a víz mindig H2O lesz. Javasoljuk, hogy alaposan tanulmányozza ezt a kérdést.
A filozófusok már évek óta, sőt egészen mostanáig foglalkoznak ezzel a kétféle lehetőséggel. Folyton azon vitatkoznak, hogy melyiket érdemes használni, a logikai lehetőséget vagy a metafizikai lehetőséget, mivel vannak olyan állítások, amelyek logikailag lehetségesek, de metafizikailag lehetetlenek, mint a fentebb leírtak.
Röviden:
• Egy állítást akkor tekintünk logikailag lehetségesnek, ha az állításban nincsenek ellentmondó szavak, míg metafizikailag lehetséges állítás, ha egy objektum helyes összetételét mondja el.
• Egy logikailag lehetséges állítás nem mindig azt jelenti, hogy metafizikailag lehetséges, és egy metafizikailag lehetséges állítás néha logikailag lehetetlen.