Wersja z 18:53, 2 mar 2008 edytuj MastiBot (dyskusja \| edycje) Boty 3 423 016 edycji m robot dodaje: hu:Modális logika ← poprzednia edycja		Wersja z 22:21, 25 cze 2008 edytuj anuluj edycję Henryk Tannhäuser (dyskusja \| edycje) Redaktorzy 30 703 edycje przebudowa, zeby to w ogóle można było nazwać hasełem; ale ciągle trochę biedne następna edycja →
Linia 1: '''Logika modalna''' - ~~dział~~teoria [[logika\|~~logiki~~logiczna]], ~~który~~która bada pojęcia [[możliwość\|możliwości]], [[konieczność\|konieczności]] i ich wariantów. Logika modalna uprawiana była już przez [[Arystoteles]]a jako [[sylogistyka zdań modalnych]]. Ten bardzo rozwinięty w logice średniowiecznej system był bardzo zbliżony do [[sylogistyka\|sylogistyki]] [[zdania asertoryczne\|zdań asertorycznych]], z tą różnicą, że przynajmniej jedna przesłanka każdego sylogizmu musiała być zdaniem modalnym, tj. [[zdanie problematyczne\|problematycznym]] (zawierającym funktor możliwości) lub [[zdanie apodyktyczne\|apodyktycznym]] (zawierającym funktor konieczności). Ze względu na to, jakimi zdaniami były przesłanki, sylogizmy modalne podzelone były odpowiednio na osiem grup. Tak jak w sylogistyce zdań asertorycznych, sylogizmy dzieliły się na tryby i figury. Nie każdemu poprawnemu modalnemu trybowi sylogistycznemu odpowiadał jednak porawny asertoryczny tryb sylogistyczny. Ponadto sylogistyka modalna była systemem niedokończonym. 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>). Współczesną postacią logiki modalnej jest [[modalny rachunek zdań]]. Cechą charakterystyczną modalnych rachunków zdań jest występowanie w nich funktora możliwości, oznaczanego <math> \Diamond \ </math>, i funktora konieczności, oznaczanego przez <math> \Box </math>. Twórcą pierwszych 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}}~~ [[Kategoria:Logika]]

Logika modalna: Różnice pomiędzy wersjami