20459

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:

I.    Wprowadzenie. Historia. Logika starożytnych.

II.    Logika formalna. Klasyczny rachunek zdań (KRZ). Struktury Boolowskie (algebra). Klasyczny rachunek zdań. Dedukcja.

III.    Zagadnienia metodologiczne. Zagadnienie prawdy.

IV.    Klasyczny (węższy) rachunek predykatów (coś więcej niż same zdania).

Literatura:

K.    Ajdukiewicz - Logika pragmatyczna T. Batog - 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

[pT => (pi => D(_P) T)] - 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”