Logicka svojstva i odnosi

More documents

Recommendations

Info

Pogled unatrag Logičko svojstvo (konzistentnost) skupa iskaza moˇze se definirati pomoću logičkog odnosa (slijed) izmedu skupa iskaza i iskaza. Ako p slijedi iz Γ, onda Γ ∪ {¬p} nije konzistentan skup. Ako p ne slijedi iz Γ, onda je Γ ∪ {¬p} konzistentan skup. (Sveučiliste u Splitu) Logička svojstva i odnosi studeni 2008. 26 / 46
Konzistentnost Načelo ravnoteˇze za spoznaju Citat [U slučaju ”neposluˇsnog iskustva”.] Postaje potrebno da se za neke tvrdnje preraspodijele istinitosne vrijednosti. Prevrednovanje jednih za posljedicu ima prevrednovanje drugih tvrdnji zbog njihovih uzajamnih logičkih veza — a i sami logički zakoni nisu drugo nego tvrdnje unutar sustava, neki daljnji elementi polja. Ako smo prevrednovali jednu tvrdnju, morat ćemo prevednovati i neke druge tvrdnje, a one mogu ili biti logički povezani s prvima ili one same mogu biti logičke veze. Ali cijelo polje je u tolikoj mjeri subdeterminirano svojim graničnim uvjetima, naime iskustvom, tako da se otvara ˇsiroki raspon izbora tvrdnji koje će biti preverednovane u svijetlu bilo kojeg pojedinačnog osporavajućeg iskustva. Nijedno pojedinačno iskustvo nije povezano ni uz koju odredenu tvrdnju u nutrini polja, osim neizravno a s obzirom na ravnoteˇzu koja se tiče polja kao cjeline. Willard Van Orman Quine (1951) Dvije dogme empirizma (Sveučiliste u Splitu) Logička svojstva i odnosi studeni 2008. 27 / 46
Page 1 and 2: Logička svojstva i odnosi S osvrto
Page 3 and 4: Plan izlaganja 2 Didaktički dio Po
Page 5 and 6: Teorijska eksplikacija Citat Zadać
Page 7 and 8: Eksplikacije logičkih svojstava i
Page 9 and 10: Sustav naravne dedukcije Iz: S. Kov
Page 11 and 12: Zadovoljenost u modelu prvog reda I
Page 13 and 14: Istinitost u modelu Citat Zapis za
Page 15 and 16: Konzistentnost Iz: S. Kovač, B. ˇ
Page 17 and 18: Zapisi Tvrdnja Iskaz p slijedi iz s
Page 19 and 20: Zapisi Zapis Tvrdnju ‘skup Γ je
Page 21 and 22: Primjedba Primjedba Dok konzistentn
Page 23 and 24: Drugi dio dokaza Dokaz. (7) Pretpos
Page 25: Drugi dio dokaza Dokaz. (8) Pretpos
Page 29 and 30: Problem Poučak Moˇze li se pojavi
Page 31 and 32: Dokaz i slijed Poveˇzemo li dva po
Page 33 and 34: Odnos protuslovlja p i q su protusl
Page 35 and 36: Valjanost iskaza p je valjan iskaz
Page 37 and 38: Logički kvadrat Ovakav pristup mo
Page 39 and 40: Logički kvadrat Primjer Na donjoj
Page 41 and 42: Početna nastava logike Početna na
Page 43 and 44: Pobude učenju logike Često moˇze
Page 45 and 46: Primjer Iskuˇsajmo različita tuma

Logicka svojstva i odnosi

Create successful ePaper yourself

Delete template?

Save as template?