3784501294

Gottlob Frege:

o Jego logika opiera się na sześciu aksjomatach;

o Sformułował pojęcie funkcji prawdziwościowej (ekstensjonalnej) - jej dziedziną były dwie wartości logiczne: prawdziwość i fałszywość; o Sformułował reguły wnioskowania - reguły oderwania; o Uważał, że można w sposób graficzny zdefiniować twierdzenie logiczne:

-A „że A”

|-A Jest tak, że A” (znak asercji)

-pA - „nie jest tak, że A” (negacja)

i—I—m

„fakt że z sądu B wynika sąd A” (implikacja od B do A)

Giuseppe Peano:

-p    pⁿq    p^uq    p->q    p=q

negacja

B. Russel, A. Whitehead - „Principia Mathematica”:

~p    p*q    p^uq    P^Dq    p=q

negacja koniunkcja alternatywa implikacja równoważnik zwykła

(x) - dla każdego”x”    (3x) - mały kwantyfikator

Współcześnie (tylko te uległy zmianie):

p^Aq    p->q    V x    3_X

koniunkcja    implikacja    dla każdego „x” mały kwantyfikator

XX wiek (lata ‘20/’30)

Szkoła lwowsko - warszawska

o Kazimierz Twardowski (założyciel);

o Alfred Tarski - semantyczna koncepcja prawdy (koncepcja prawdy Tarskiego); o Jan Łukaszewicz - logiki wielowartościowe, polska notacja bezwartościowa; o Stanisław Leśniewski - nowa teoria logiczna, mereologia; o Kazimierz Ajdukiewicz - mereologia; o Władysław Tatarkiewicz.

Współcześnie

/. o y o s [logos] - myślenie, rozumowanie, język. Rozumowanie obecnie to rozum, jakiś byt.

Definicja - logika jest to analiza języka i czynności badawczych przeprowadzona w celu ustalenia reguł ich skuteczności.

Psychologizm - psychologia traktowana jako królowa nauk.

Psychologizm w logice - logika powinna być częścią psychologii. Zostało to obalone przez E. Husserl: „Dociekania logiczne”: o Logika ma charakter normatywny.

5