Elementy logiki

Elementy logiki - wykład - 19.02.2007-02-19 Konsultacje: Katedra matematyki
paw. F p. 506
czwartek: 11:00-12:00
Logika - nauka o poprawnym rozumowaniu
Logika:
logika formalna - ustala prawa logiki
metodologia ogólna - zastosowanie trzonu teoretycznego (logiki formalnej) do specyfiku badań naukowych
filozofia logiki / semiotyka
Plan wykładów:
Wprowadzenie. Historia. Logika starożytnych.
Logika formalna. Klasyczny rachunek zdań (KRZ). Struktury Boolowskie (algebra). Klasyczny rachunek zdań. Dedukcja.
Zagadnienia metodologiczne. Zagadnienie prawdy.
Klasyczny (węższy) rachunek predykatów (coś więcej niż same zdania).
Literatura:
K. Ajdukiewicz - Logika pragmatyczna
T. Batóg - Podstawy logiki +
M. Blaug - Metodologia ekonomii
J.M Bocheński - Współczesne metody myślenia
L. Borkowski - Logika formalna
A. Grzegorczyk - Zarys logiki matematycznej
A. Malawski - Metoda aksjomatyczna w ekonomii
H. Rasiowa - Wstęp do matematyki współczesnej
B. Stanosz - Wprowadzenie do logiki formalnej
B. Stanosz - Ćwiczenia z logiki formalnej
K. Trzęsicki - Elementy logiki dla humanistów
Prawa logiki ≠ prawa nauk empirycznych
[P↑ ⇒ ( P↓ ⇒ D(p) ↑)] - prawo przepełnienia
Ze sprzeczności wynika cokolwiek.
„… ibis redibis non moreris in bello ...” - pójdziesz, wrócisz nie zginiesz na wojnie
pójdziesz, nie wrócisz, zginiesz na wojnie
W zależności od słowa do którego odnosi się „NON”
... zobacz całą notatkę