encyklopedia.run.place

Logika

Logika – nauka o zasadach poprawnego myślenia i wnioskowania. Zajmuje się badaniem struktury argumentów, prawdziwości twierdzeń oraz reguł, które pozwalają przechodzić od przesłanek do wniosków w sposób niebłędny. Logika jest jedną z podstawowych dziedzin filozofii, a jej metody są wykorzystywane w matematyce, informatyce, naukach przyrodniczych oraz w wielu innych dyscyplinach.

Historia

Początki logiki sięgają starożytności. Jej rozwój można podzielić na trzy główne etapy:

  • Logika arystotelesowska (IV w. p.n.e.) – klasyczna tradycja oparta na sylwetce Arystotelesa, w której sformułowano pojęcia syllogizmu, kategorii i pojęcia.
  • Logika średniowieczna (V–XIV w.) – rozbudowa arystotelesowskich teorii przez myślicieli takich jak Święty Tomasz z Akwinu i Wilhelm Ockham, wprowadzenie logiki modalnej i terminologii.
  • Logika nowożytna (XV–XX w.) – powstanie logiki symbolicznej (np. Frege, Russell), logiki matematycznej (Gödel) oraz logiki nieklasycznej (logika intuicjonistyczna, modalna, rozmyta).

Podstawowe pojęcia

W logice wyróżnia się szereg kluczowych pojęć:

  • Twierdzenie (zdanie, propozycja) – zdanie, które może być prawdziwe lub fałszywe.
  • Argument – zestaw twierdzeń (przesłanek) prowadzących do wniosku.
  • Dedukcja – wnioskowanie, w którym prawda przesłanek gwarantuje prawdziwość wniosku.
  • Indukcja – wnioskowanie, w którym wnioski są prawdopodobne, ale niekoniecznie pewne.
  • Paralogizm – błąd w rozumowaniu, który wygląda na logiczny, ale jest nieprawidłowy.

Główne nurty logiki

Logika formalna

Logika formalna (zwana też logiką symboliczno‑matematyczną) posługuje się językiem formalnym, w którym zdania są zapisywane za pomocą symboli i reguł przekształceń. Do najważniejszych systemów formalnych należą:

  • Logika proposycyjna – operuje na zdaniach prostych i ich połączeniach za pomocą spójników (i, lub, nie, jeśli… to…).
  • Logika predykatów (pierwszego rzędu) – wprowadza kwantyfikatory (∀, ∃) i umożliwia analizę struktury wewnętrznej zdań.
  • Logika wysokiego rzędu – rozszerza logikę predykatów o kwantyfikatory zmieniające zmienne funkcyjne i predykaty.

Logika nieklasyczna

W przeciwieństwie do tradycyjnej logiki dwuwartościowej, logika nieklasyczna dopuszcza więcej niż dwie wartości prawdy:

Rozumowanie i argumentacja

Logika dostarcza narzędzi do analizy i oceny rozumowania. W praktyce wyróżnia się:

  • Rozumowanie dedukcyjne – przykładem jest syllogizm arystotelesowski: „Wszyscy ludzie są śmiertelni; Sokrates jest człowiekiem; więc Sokrates jest śmiertelny”.
  • Rozumowanie indukcyjne – np. wnioskowanie na podstawie obserwacji: „Wszystkie badane gazy rozszerzają się pod wpływem podgrzania, więc każdy gaz się rozszerza”.
  • Rozumowanie abductacyjne – wnioskowanie do najlepszego wyjaśnienia (np. w medycynie: „Pacjent ma gorączkę i kaszel → prawdopodobnie ma infekcję dróg oddechowych”).

Zastosowania

Logika jest nieodzowna w wielu dziedzinach:

Podstawowe pojęcia z dziedzin pokrewnych

Logika współdziała z wieloma innymi gałęziami wiedzy:

  • Ontologia – określanie rodzajów bytów i ich relacji.
  • Epistemologia – studium natury wiedzy i uzasadnienia.
  • Metalogika – badanie własnych własności systemów logicznych.
  • Teoria zbiorów – podstawa dla wielu systemów formalnych.

Literatura i źródła

Klasyczne i współczesne pozycje, które wprowadzają w temat logiki:

  • Arystoteles – Organon
  • Gottlob Frege – Begriffsschrift
  • Bertrand Russell & Alfred North Whitehead – Principia Mathematica
  • Kurt Gödel – prace o niezupełności
  • Alfred Tarski – teoria prawdy i semantyka formalna
  • Jan Łukasiewicz – logika trójwartościowa
  • Eddie Kehr – Logika i argumentacja (wydanie polskie)

Powiązane pojęcia

W ramach encyklopedii warto zapoznać się z następującymi artykułami: