3784501292

DEFINITIO FIT PER GENUS PROXIMUS ET DIFFERENTION SPECIFIC -dokonaj definicji przez rodzaj najbliższy i wskazania różnicy.

Wprowadzenie logiki nazw - Arystoteles tworzył logikę na nazwach Dwutorowość logiki - prawda i fałsz

Zasada tożsamości (Parmenides): „istniejące jest, a nieistniejące nie jest”.

Arystoteles: „cokolwiek jest prawdziwe, czyli istniejące musi się zgadzać ze sobą pod każdym względem”.

Zasada sprzeczności. Sprzeczności:

a)    Ontologiczne. Ontologiczna zasada sprzeczności. Arystoteles: „to samo nie może zarazem przysługiwać i nie przysługiwać temu samemu pod tym samym względem” (np. albo ktoś ma dwie ręce i dwie nogi, albo nie).

b)    Psychologiczne (sprzeczności psychologiczne). Arystoteles: „niepodobne, aby ktokolwiek był jednocześnie przekonany o tym samym, że jest i że nie jest”

a.    Funkcja egzystencjalna (coś istnieje: ocet jest w sklepie);

b.    Orzeczenie imienne („masłojest smaczne”).

c)    Logiczne. Sprzeczności logiczne - interpretacja logiczna. Arystoteles: „zdania sprzeczne nie mogą być zarazem prawdziwe”.

Zasada wyłączonego środka - pv~p - TERTUM NON DATUM - trzeciej możliwości niema.

1.    Arystoteles: „Każde twierdzenie jest prawdziwe lub fałszywe”

2.    Arystoteles: „Niema po środku nic między zdaniami wzajemnie sprzecznymi”

3.    Arystoteles: „Z dwóch zdań sprzecznych jedno musi byś prawdziwe i nie mogą oba być fałszywe”.

a. Arystoteles ojcem logiki.

Logika Stoików

Logikę nazywali „dialektyką”

Najwybitniejsi: Zenon z Kation, Chryzy (?)

Paradoks kłamcy - Eubulides: „Czy kłamca kłamie gdy mówi, że kłamie?”

„To zdanie jest fałszywe”.

Kazus uczeń i nauczyciel.

Stworzyli logikę zdań - oznaczali je liczbami, prawa sylogizmu hipotetycznego.

Jeżeli pierwsze, to drugie i pierwsze, zatem drugie:

p->q E_i

q

Niedowadliwce - INDEMONSTRABILIA (łac. niedowadliwiec).

Jeżeli pierwsze to drugie, ale nie drugie więc nie pierwsze.

Łącznie stoicy sformułowali pięć niedowadliwców.

Stoikom zawdzięczamy definicje funktorów.

3