Ab esse ad posse valet, a posse ad esse non valet consequentia

Allikas: Vikipeedia
(Ümber suunatud leheküljelt A posse ad esse non valet consequentia)

Ab esse ad posse valet, a posse ad esse non valet consequentia ('olemisest olla võimise järeldamine kehtib, olla võimisest olemise järeldamine ei kehti') on traditsioonilise loogika printsiip, mille järgi tegelikkusest järeldub võimalikkus, aga võimalikkusest tegelikkus ei järeldu, st assertoorilisest otsustusest järeldub vastav problemaatiline otsustus, problemaatilisest otsustusest vastav assertooriline otsustus aga mitte.

Metafüüsikas vastab esimesele poolele väide, et see mis eksisteerib, on võimalik. See esineb Christian Wolffi raamatus "Philosophia prima, sive Ontologia" (§ 170.) Sama raamatu §-s 171 öeldakse: "Mis on võimalik, see sellepärast ei eksisteeri".

See printsiip esineb modaalses lausearvutuses kujul .

Kirjandus[muuda | muuda lähteteksti]