Wprowadzenie do logiki: od podstaw po metafizykę, epistemologię, filozofię języka, matematyki i nauki - Edgar Enderson

Syllogizm

Syllogizm jest podstawowym pojęciem w logice i odnosi się do argumentu opartego na dwóch premisach i wniosku. W syllogizmie obie premisy są wykorzystane, aby osiągnąć wniosek, który jest zasadniczo logiczną konsekwencją premis.

Syllogizm składa się z trzech części:

Pierwsza premisa

- wyraża ogólną prawidłowość, np. "wszyscy ludzie są śmiertelni"

Druga premisa

- odnosi się do konkretnej sytuacji, np. "Sokrates jest człowiekiem"

Wniosek

- wynika z powiązania między pierwszą i drugą premisą, np. "więc Sokrates jest śmiertelny".

Syllogizmy można sklasyfikować na różne sposoby, ale najbardziej znana klasyfikacja została stworzona przez Arystotelesa. Arystoteles rozróżnił cztery rodzaje syllogizmów, które różniły się od siebie rodzajami i ilością używanych terminów:

Sylogizmy katagoryczne

- odnoszące się do kategorii, np. "wszyscy ludzie są śmiertelni".

Sylogizmy dysjunkcyjne

- zawierające alternatywę, np. "albo Sokrates jest człowiekiem, albo jest bogiem".

Sylogizmy hipotetyczne

- oparte na założeniach, np. "jeśli Sokrates jest człowiekiem, to jest śmiertelny".

Sylogizmy dialektyczne

- oparte na rozważeniach przeciwstawnych, np. "Sokrates jest mądry, ale nie jest nieskończenie mądry".

Podsumowanie

Syllogizmy są często wykorzystywane w logice, filozofii i matematyce jako narzędzie do analizy i wnioskowania. Są one również używane w języku naturalnym, chociaż często są skracane i niejasne.

Reguły wnioskowania

Reguły wnioskowania to podstawowe pojęcie w logice, które służy do uzyskiwania nowych informacji z już istniejących. W logice formalnej, reguły wnioskowania są precyzyjnie zdefiniowane i muszą być zawsze zachowane w celu uzyskania poprawnych wniosków.

Podstawowe reguły wnioskowania w logice to:

Modus Ponens

- jeśli A jest prawdziwe, a z A wynika B, to B jest również prawdziwe.

Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jest wiosna (A), więc kwitną drzewa (B).

Modus Tollens

- jeśli z A wynika B, a B nie jest prawdziwe, to A nie jest prawdziwe.

Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Kwitnące drzewa (nie-B), więc nie jest wiosna (nie-A).

Silogizm

- jeśli A wynika z B, a B wynika z C, to A wynika z C.

Przykład: Wszyscy ludzie (A) są śmiertelni (B). Socrates (C) jest człowiekiem (A), więc Socrates (C) jest śmiertelny (B).

Rozszerzenie implikacji

- jeśli A wynika z B, to A wynika z dowolnego zdania, które zawiera B jako część.

Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jeśli jest wiosna (A) i pada deszcz (C), to kwitną drzewa (B) i mokną trawniki (D).

Podsumowanie

Reguły wnioskowania są kluczowe dla logiki, ponieważ pozwalają na uzyskiwanie nowych informacji z już istniejących. Dzięki temu logika może pomóc w rozumowaniu, formułowaniu hipotez i weryfikowaniu faktów.