Logika

Logika – dziedzina filozofii oraz matematyki, zajmująca się zasadami poprawnego rozumowania oraz badaniem form i struktur argumentów. Logika określa reguły, które pozwalają odróżnić wnioski prawidłowe od nieprawidłowych, a także analizuje pojęcia takie jak prawda, fałsz, zmienna logiczna oraz kwantyfikatory.

Historia

Historia logiki rozpoczyna się w starożytnej Grecji, gdzie Arystoteles sformułował podstawy logiki sylogistycznej. W średniowieczu logikę rozwijali m.in. Jan Duns i Witelon. Renesans i oświecenie przyniosły nowe podejścia, a w XIX wieku Gottlob Frege oraz Bertrand Russell zapoczątkowali logikę symboliczną, otwierając drogę do współczesnej logiki formalnej.

Główne gałęzie logiki

• Logika formalna – badanie systemów formalnych przy użyciu symboli i reguł inferencji. Obejmuje m.in. logikę propozycyjną, logikę predykatową, logikę modalną i intuicjonistyczną.
• Logika nieformalna – analiza argumentów w języku naturalnym, obejmująca rozumowanie dedukcyjne, indukcyjne oraz abdukcyjne.
• Logika matematyczna – stosowanie metod logicznych w dowodzeniu twierdzeń matematycznych, m.in. w teorii zbiorów i dowodach konstruktywnych.
• Logika informatyczna – zastosowania logiki w komputerach, w tym w projektowaniu języków programowania, baz danych (SQL) i sztucznej inteligencji (sztuczna inteligencja).

Podstawowe pojęcia

Argument

Zbiór zdań (premis), z których wywodzi się wniosek (konkluzję). Argument jest poprawny, jeśli jego struktura gwarantuje prawdziwość konkluzji przy założeniu prawdziwości premis.

Wnioskowanie

Proces przechodzenia od premis do konkluzji. Dzieli się na dedukcję (ogniskowanie na konieczności) i indukcję (wnioskowanie na podstawie obserwacji).

Walidność

Właściwość argumentu, że nie istnieje możliwy model, w którym wszystkie premisy są prawdziwe, a konkluzja fałszywa.

Soundness (spójność)

Argument jest spójny, gdy jest jednocześnie walidny i wszystkie jego premisy są prawdziwe.

Kwantyfikatory

Operatory wyrażające ilość, najważniejsze to kwantyfikator ogólny (∀) i kwantyfikator szczegółowy (∃).

Zastosowania

Logika pełni kluczową rolę w wielu dziedzinach:

• W filozofii nauki służy do analizy struktury teorii i metod badawczych.
• W matematyce umożliwia formalne dowodzenie twierdzeń (np. w teorii zbiorów).
• W informatyce jest podstawą projektowania języków programowania, weryfikacji programów oraz algorytmów wyszukiwania.
• W sztucznej inteligencji logika wykorzystywana jest w systemach ekspertowych, bazach wiedzy i rozumowaniu automatycznym.
• W prawie pomaga w analizie argumentacji prawniczej i interpretacji przepisów.

Wybitni logicy

• Arystoteles – twórca logiki sylogistycznej.
• Gottlob Frege – pionier logiki symbolicznej i pojęcia funkcji.
• Bertrand Russell – współautor Principia Mathematica, rozwijający logikę typów.
• Kurt Gödel – twórca twierdzeń o niezupełności, które zrewolucjonizowały logikę matematyczną.
• Alfred Tarski – autor teorii prawdy i modelowej semantyki.

Powiązane pojęcia

Do najważniejszych zagadnień pokrewnych należą: paradygmat, metalogika, semantyka, składnia, kategoria logiczna oraz teoria dowodu.

Źródła

Artykuł opiera się na opracowaniach dostępnych w polskich i międzynarodowych podręcznikach z zakresu logiki, a także na publikacjach akademickich dostępnych w otwartych zasobach cyfrowych.