Logika modalna: Różnice pomiędzy wersjami

Dodane 12 bajtów ,  14 lat temu
m
poprawa łącza
m (poprawa łącza)
Tradycyjnie za logiki modalne uważa się te logiki, które obejmują pojęcia możliwości (oznaczaną jako <math> \Diamond </math>) i konieczności (<math> \Box </math>). Dodatkowo zachodzi zasada: coś jest konieczne wtw., gdy nie jest możliwe, żeby nie zachodziło (mamy <math>\Box p \leftrightarrow \lnot \Diamond \lnot p</math>).
 
Jedno z jej praw zostało sformułowane już przez [[scholastyka (filozofia)|scholastyków]]: [[ab esse ad posse valet, a posse ad esse non valet consequentia]] - od być do móc zachodzi wynikanie, od móc do być nie zachodzi.
 
{{unistub|||filozofia|matematyka}}
16 600

edycji