Egftnjytyk

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^[1]. W kulturze europejskiej za prekursora usystematyzowania logiki uważa się Arystotelesa^[2][3]. 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)^[4].

Logika klasyczna |

Formalny system logiczny złożony z rachunku zdań i rachunku kwantyfikatorów, zwany też logiką elementarną lub klasycznym rachunkiem logicznym. Przedmiotem tego rachunku są zdania logiczne, to znaczy takie zdania oznajmujące, którym można przypisać jedną z dwu wartości logicznych: prawda lub fałsz. Logika klasyczna jest w tym sensie dwuwartościowa, w odróżnieniu od sformułowanych w XX wieku systemów logik wielowartościowych.

W rachunku zdań zdania reprezentowane są przez zmienne zdaniowe (zwyczajowo są to litery: p, q, r, ...). Przy użyciu spójników logicznych takich jak „i”, „lub”, „nieprawda, że” (zapisywanych symbolicznie znakami: ∧, ∨, ¬ lub ~^[5]) konstruuje się zdania złożone. Jednym z głównych celów rachunku zdań jest wypracowanie metod wyznaczania wartości logicznej zdania złożonego na podstawie wartości logicznych zdań składowych. Szczególnym celem jest opisanie takich schematów zdań złożonych, które są prawdziwe przy każdym podstawieniu dowolnych zdań logicznych za zmienne. Schematy takie nazywane są prawami rachunku zdań.

W rachunku kwantyfikatorów zdania złożone budowane są przy użyciu symboli predykatów, zmiennych i kwantyfikatorów. Dlatego używa się też nazwy rachunek predykatów (ang. predicate calculus). Głównym celem jest opisanie wszystkich schematów zdań z kwantyfikatorami zawsze prawdziwych, czyli praw rachunku kwantyfikatorów. Razem z prawami rachunku zdań tworzą one prawa logiki klasycznej. Każdemu prawu logiki odpowiada schemat niezawodnego wnioskowania dedukcyjnego. Mówi się więc również, że głównym celem logiki klasycznej jest opisanie wszystkich schematów niezawodnego wnioskowania.

Klasyczny rachunek logiczny obejmuje wszystkie podstawowe prawa odkryte przez logików starożytnych oraz bardziej współczesne prawa dotyczące kwantyfikatorów. Rachunek ten wystarcza do opisu wszystkich wnioskowań stosowanych w matematyce (zob. formalizacja matematyki) oraz wszelkich wnioskowań dedukcyjnych^[6], i w tym sensie stanowi zamknięty dział logiki. Logika klasyczna jest podstawą wykładu logiki w podręcznikach szkolnych i akademickich.

Logika w filozofii |

 Osobny artykuł: Logika filozoficzna.

Logika jako dział filozofii to nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać^[7].

Pod nazwą logika filozoficzna rozumie się dział filozofii zajmujący się:

• Filozoficznymi problemami logiki (filozofią logiki),


• Zastosowaniem logiki do zagadnień filozoficznych (logiką filozofii),


• Zagadnieniami filozofii języka.

Logika matematyczna |

 Osobny artykuł: Logika matematyczna.

Logika matematyczna (zwana też metamatematyką) to dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Jej przedmiotem są formalne teorie matematyczne i ich modele, dowody oraz zasięg matematycznych rozumowań. W badaniach stosuje się wyłącznie ścisłe i formalne metody matematyki.

Do największych osiągnięć logiki matematycznej należą pełna formalizacja matematyki (jako finalny rezultat prac wielu logików i matematyków) oraz słynne Twierdzenie Gödla o niezupełności. Twórcami logiki matematycznej byli m.in. George Boole, Gottlob Frege, David Hilbert i Bertrand Russell, a do jej rozwoju przyczynili się między innymi: Jan Łukasiewicz, Alonzo Church, Kurt Gödel i Alfred Tarski^[8][4].

Logika w informatyce |

Formalny charakter logiki współczesnej sprawił, że nie tylko przyczyniła się ona w znacznym stopniu do rozwoju technologii komputerowej, ale też pewne jej działy rozwijają się obecnie w ramach informatyki teoretycznej. Do zagadnień informatycznych o logicznym charakterze należą: systemy przepisywania (rewriting systems), teoria typów, weryfikacja programów (logiki dynamiczne), różne aspekty złożoności obliczeniowej, sieci przełączające (funkcje boolowskie), formalna semantyka języków programowania, programowanie logiczne.

Szczególny charakter ma próba zastosowania osiągnięć logiki formalnej w sztucznej inteligencji. Próba ta nie zakończyła się jeszcze wyraźnym sukcesem^[6]. Do częściowych sukcesów można zaliczyć praktyczne osiągnięcia w zakresie automatycznego dowodzenia twierdzeń oraz systemów ekspertowych.

Literatura naukowa (w języku polskim) |

• 
  Kazimierz Ajdukiewicz: „Logika pragmatyczna”, PWN, Warszawa 1965


• 
  Andrzej Kisielewicz: „Sztuczna inteligencja i logika”, WNT Warszawa 2011.


• 
  Tadeusz Kotarbiński: „Wykłady z dziejów logiki”, wyd. 2, PWN, Warszawa 1985.


• 
  Witold Marciszewski (ed.): „Mała Encyklopedia Logiki”, Ossolineum, Wrocław 1970.


• 
  Witold Marciszewski (ed.): „Logika formalna: Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki”, PWN, Warszawa 1987.


• 
  Alfred Tarski: „Wprowadzenie do logiki i do metodologii nauk dedukcyjnych” „ALEPH”, 1994.

Zobacz też |

Informacje w projektach siostrzanych

Cytaty w Wikicytatach

Podręczniki w Wikibooks

Definicje słownikowe w Wikisłowniku

Materiały edukacyjne w Wikiversity

Przypisy |

Linki zewnętrzne |

• Polskie Towarzystwo Logiki i Filozofii Nauki


• Obszerny zbiór zasobów – podręczniki, linki do stron itp. zebrany przez pracowników Zakładu Logiki Stosowanej UAM


• Logika nie gryzie: Samouczek logiki zdań i logiki kwantyfikatorów