Logika modalna

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin „logika modalna” rozumie się szerzej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.

Stanford Encyclopedia of Philosophy (SEP) jest ogólnie dostępną encyklopedią internetową filozofii opracowaną przez Stanford University. Każde hasło jest opracowane przez eksperta z danej dziedziny. Są wśród nich profesorzy z 65 ośrodków akademickich z całego świata. Autorzy zgodzili się na publikację on-line, ale zachowali prawa autorskie do poszczególnych artykułów. SEP ma 1260 haseł (stan na 20 stycznia 2011). Mimo, że jest to encyklopedia internetowa, zachowano standardy typowe dla tradycyjnych akademickich opracowań, aby zapewnić jakość publikacji (autorzy-specjaliści, recenzje wewnętrzne).Wypowiedź problematyczna – w logice modalnej wypowiedź zbudowana z funktora modalnego może (lub równoważnego, np. "dopuszczalne jest") stwierdzającego możliwość oraz z argumentu w postaci zdania albo jego negacji.

Własności[ | edytuj kod]

Logika modalna, obok klasycznych spójników logicznych, posiada funktory modalne. Funktor modalny jest to funkcja, która przypisuje wartości logiczne termom boolowskim, które same mogą zawierać funktory modalne. Cechą charakterystyczną funktorów modalnych jest fakt, że nie są ekstensjonalne, czyli funktor może przyporządkowywać inną wartość dwóm równoważnym zdaniom. W logice klasycznej istnieją tylko cztery ekstensjonalne jednoargumentowe funktory: identyczność, negacja, funktor zwracający prawdę dla wszystkich termów i funktor fałszu dla wszystkich termów. Natomiast w logice modalnej można np. zdefiniować nieekstensjonalny funktor gdzie jest prawdą, ale jest fałszem.

Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce.

Logikę modalną można sobie wyobrazić jako mówiącą o „wielu światach”. Zdania z funktorem konieczności zachodzą we wszystkich światach a zdania z funktorem możliwości – przynajmniej w jednym świecie. Zdania niepoprzedzone funktorem traktujemy jako zdania klasycznej logiki, nienależące do żadnego świata i będące swego rodzaju metajęzykiem.

Wypowiedź apodyktyczna – w logice modalnej wypowiedź zbudowana z funktora modalnego "musi" (lub równoważnego, np. "powinien") stwierdzającego konieczność oraz z argumentu w postaci zdania albo jego negacji.Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym, w procesie zwanym wartościowaniem, przyporządkowywane są wartości prawda lub fałsz.


Podstrony: 1 [2] [3] [4]




Warto wiedzieć że... beta

Arystoteles (gr. Ἀριστοτέλης, Aristotelēs, ur. 384 p.n.e., zm. 7 marca 322 p.n.e.) – filozof, jeden z trzech, obok Sokratesa i Platona najsławniejszych filozofów starożytnej Grecji. Nazywany też Stagirytą (od miejsca urodzenia), lub po prostu Filozofem (w tekstach średniowiecznych i nowożytnych).
Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.
Witold Marciszewski (ur. 18 listopada 1930 w Warszawie) – polski logik i filozof, redaktor kilku encyklopedii logicznych, wieloletni nauczyciel akademicki, założyciel czasopisma Studies in Logic, Grammar and Rhetoric, redaktor blogów akademickich.
Prawda – cecha wypowiadanych zdań określająca ich zgodność z rzeczywistością. W mowie potocznej oraz w logice tradycyjnej prawda to stwierdzenie czegoś, co miało faktycznie miejsce lub stwierdzenie niewystępowania czegoś, co faktycznie nie miało miejsca.
Absolutne i relacyjne pojęcia modalne – pojęcia modalne, jak możliwość i konieczność, gdy opatrzone są pewnymi kwalifikatorami, określa się jako relatywne pojęcia modalne; do pojęć tego rodzaju należą "możliwy/konieczny fizycznie", "możliwy/konieczny biologicznie", "z natury możliwy/konieczny" itp. Tego rodzaju pojęcia modalne odróżnia się od możliwości i konieczności logicznej (ewentualnie także ontycznej), pojęć modalnych określanych jako absolutne pojęcia modalne, które stanowią przedmiot badań logik modalnych (aletycznych).
International Standard Serial Number, ISSN czyli Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego – ośmiocyfrowy niepowtarzalny identyfikator wydawnictw ciągłych tradycyjnych oraz elektronicznych. Jest on oparty na podobnej koncepcji jak identyfikator ISBN dla książek, ISAN dla materiałów audio-wideo. Niektóre publikacje wydawane w seriach mają przyporządkowany zarówno numer ISSN, jak i ISBN.

Reklama