Wybrane tezy – jeśli X jest konieczne, to X zachodzi rzeczywiście. – jeśli X jest możliwe, to jest konieczne, że X jest możliwe. – prawo rozdzielności konieczności względem implikacji mówi, że jeśli konieczna jest zarazem implikacja i jej poprzednik, konieczny jest też jej następnik. – prawo rozdzielności konieczności względem koniunkcji. – teza ta mówi, że co jest prawdziwe, jest zarazem możliwe. – co jest konieczne, jest też możliwe. – jeśli zachodzi X, to jest konieczne, że X jest możliwe – co może być konieczne, zachodzi rzeczywiście. – jeśli coś jest konieczne, to jest konieczne, że jest to konieczne. – jeśli jest możliwe, że coś jest możliwe, to jest to możliwe.
Zobacz też absolutne i relacyjne pojęcia modalne
Przypisy
Bibliografia Brian F. Chellas, Modal Logic. An Introduction, Cambridge 1980 Witold Marciszewski (red.), Mała encyklopedia logiki, Wrocław 1970. Tu hasło Logika modalna.
Linki zewnętrzne
Modal logic , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Kategoria:Logika