A logikában a szigorú feltételes feltételes egy modális operátor, azaz a modális logika logikai kötődése. Logikusan egyenértékű a klasszikus logika anyagi feltételeivel, kombinálva a modális logika szükségességével. Bármely két p és q állítás esetében a p → q képlet azt mondja, hogy p lényegében q miközben \ Box (p \ jobboldali q)} azt mondja, hogy p szigorúan azt jelenti, q. A szigorú feltételek a Clarence Irving Lewis azon törekvésének eredménye, hogy feltételes feltételeket talál a logika számára, amely megfelelően jelezheti a jelzõ feltételeket a természetes nyelven. A Molinista teológia tanulmányozására is használták őket. [Logika][Logikai igazság][Javaslat][Logikai következmény][Molinism] |