-priručnikdoc.dr.sc

Pregled sadržaja
Predgovor
vii
1 Atomarnerečenice 1
1.1 Predikati i individualne konstante 1
1.2 Ime i predmet 2
1.3 Broj “mjesta” u predikatu. 3
1.4 Pravo-pisani zapis atomarne rečenice 4
1.5 Ontološki design. 4
1.6 Atomarne rečenice: podsjetnik 6
1.7 Funkcijski izrazi u logici prvoga reda 6
1.8 Termi 8
1.9 Atomarne rečenice u teoriji skupova i aritmetici 9
2 Identitet 12
2.1 Dokazi u kojima se koristi simbol za identitet 12
2.2 Refleksivnost identiteta 14
2.3 Leibnizov zakon: nerazlučivost istovjetnog 14
2.4 Pravila za simbol identiteta 15
2.5 Identitet u filozofskoj logici 17
2.6 Za zapamtiti 19
2.7 Dokazi koji koriste svojstva predikata i relacija 19
3 Propozicijska logika i teorija dokaza 21
3.1 Aksiomatski sustav 21
3.2 Željena svojstva aksiomatskog sustava 23
3.3 Istinitosna stabla ("tableaux" metoda) 35
3.4 Prirodna dedukcija 39
4 Pouzdanost sustava prirodne dedukcije za propozicijsku logiku 48
4.1 Tautološka posljedica 49
4.2 Pouzdanost 50
4.3 Dokaz pouzdanosti 51
4.4 Potpunost 57
4.5 Filozofija logike 58
5 Uvod u kvantifikaciju 60
iii