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.

Otwarty dostęp (OD, ang. Open Access, „OA”) – oznacza wolny, powszechny, trwały i natychmiastowy dostęp dla każdego do cyfrowych form zapisu danych i treści naukowych oraz edukacyjnych.Nationalencyklopedin – największa, szwedzka encyklopedia współczesna. Jej stworzenie było możliwe dzięki kredytowi w wysokości 17 mln koron, którego udzielił rząd szwedzki w 1980 roku i który został spłacony w 1990. Drukowana wersja składa się z 20 tomów i zawiera 172 tys. haseł. Wersja internetowa zawiera 260 tys. haseł (stan z czerwca 2005). Inicjatorem projektu był rząd szwedzki, który rozpoczął negocjacje z różnymi wydawcami. Negocjacje zakończyły się w 1985, kiedy na wydawcę został wybrany Bra Böcker z Höganäs. Encyklopedia miała uwzględniać kwestie genderowe i związane z ochroną środowiska. Pierwszy tom ukazał się w 1989 roku, ostatni w 1996. Dodatkowo w roku 2000 ukazały się trzy dodatkowe tomy. Encyklopedię zamówiło 54 tys. osób. W 1997 roku ukazało się wydanie elektroniczne na CD, a w 2000 pojawiło się wydanie internetowe, które jest uzupełniane na bieżąco.

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.

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.


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




Warto wiedzieć że... beta

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.
Wielka Encyklopedia Rosyjska (ros. Большая российская энциклопедия, БРЭ) – jedna z największych encyklopedii uniwersalnych w języku rosyjskim, wydana w 36 tomach w latach 2004–2017. Wydana przez spółkę wydawniczą o tej samej nazwie, pod auspicjami Rosyjskiej Akademii Nauk, na mocy dekretu prezydenckiego Władimira Putina nr 1156 z 2002 roku
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.

Reklama