Tradicionalna logika MODERNA LOGIKA

nositelj kolegija: mr.sc. Ivan Hang izvoa: Slavenka Toki, mag. phil.

- nauk o pojmu, sudu i zakljuku - Aristotel, megarsko-stoika kolaKant

Moderna logika
G.W. Leibniz (1646.1716.) characteristica universalis, calculus ratiocinator sredina 19. stoljea- pribliavanje logike i matematike George Boole (1815.-1864.) 1847.- Matematika analiza logike

Moderna logika
Gottlob Frege (1848.-1925.) Pojmopis, Osnove aritmetike A. de Morgan, W. Hamilton, J. Venn, C. Peirce, E. Schrder, B. Russel, A.N. Whitehead, D. Hilbert, K. Gdel

LITERATURA Moderna logika

matematika (simbolika) logika (logika sudova-iskazna logika; logika prvoga reda) logika matematika metalogike i neklasine logike (modalna, polivalentna, intuicionistika)
Kalunin, L. A.; to je matematika logika; kolska knjiga, Zagreb, 1975. (osim poglavlja 5 glave I, poglavlja 3 glave II i poglavlja 6 glave III) Kova, S.; Logika, HSN, Zagreb, 2004. (2. i 3. dio) Vranjkovi, P.; Booleova algebra, Element, Zagreb, 1998. (1. i 2. poglavlje) Cauman, L.S.; Uvod u logiku prvog reda, Naklada Jesenski i Turk, Zagreb, 2004.

LITERATURA
Papi, P.; Uvod u teoriju skupova; Hrvatsko matematiko drutvo, Zagreb, 2000. (od 1.1 do 1.5) Kova, S.; arni, B.; Logika pitanja i postupci; Kruzak, Zagreb, 2008. (poglavlja 1, 2, 3 i 5) Jaki, M. Logika 1; kolska knjiga, Zagreb, 2008.

Logika sudova Iskazna logika Propozicionalna logika

Sud
Sud je suvisla deklarativna izreka koja ima tono jednu vrijednost istinitosti, sud je istinit ili neistinit. (I. Hang, V. Devid) Sud je svaka suvisla izjavna reenica koja je istinita ili lana, ali ne oboje. (M. Vukovi) Sud je logiki oblik pomou kojega mislimo neko stanje stvari. (S. Kova)

Primjeri
1) 2) 3) 4) 5) 6) 7) 8) 9) Jagoda je ivotinja. -3< -1 Napii dva slova. x+x = 2x 2x = 10 Svaki konj je crn. Vraa li se kui? Zeleni tangens pjeva. Svaki istokrani trokut je istostranian.

Primjeri
10) Svaki istostranini trokut je istokraan. 11) Veseli krumpir kaklja grane etvrtka. 12) Ja sada laem. 13) Otii u u Afriku. 14) Ivana je hrabra. 15) ovjek je razumno bie. 16) Bog je svemogu.

Iskazna logika
sud (istina, neistina) iskaz (tvrdnja) bavimo se formalnim uvjetima ouvanja istinitosti (ne interesira nas istinitost
VDGUDMD