Logika modalna: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
BartekChom (dyskusja | edycje) |
BartekChom (dyskusja | edycje) m poprawa łącza |
||
Linia 3: | Linia 3: | ||
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>). |
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|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. |
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}} |
{{unistub|||filozofia|matematyka}} |
Wersja z 13:24, 8 wrz 2007
Logika modalna - dział logiki, który bada pojęcia możliwości, konieczności i ich wariantów.
Tradycyjnie za logiki modalne uważa się te logiki, które obejmują pojęcia możliwości (oznaczaną jako ) i konieczności (). Dodatkowo zachodzi zasada: coś jest konieczne wtw., gdy nie jest możliwe, żeby nie zachodziło (mamy ).
Jedno z jej praw zostało sformułowane już przez 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.