Pojmovno-logička struktura Brouwerove filozofije

Predgovor 7
UVOD 9
1 IZLAZAK SVIJESTI 21
1.1 Brouwerova fenomenologija . . . . . . . . . . . . . 22
1.2 Svijest u najdubljem domu . . . . . . . . . . . . . 25
1.3 Prva faza izlaska svijesti . . . . . . . . . . . . . . . 26
1.4 Jastvenost, otuženost, ºelja i zazor . . . . . . . 30
1.5 Druga faza izlaska svijesti . . . . . . . . . . . . . . 40
1.6 Volja u izlasku svijesti . . . . . . . . . . . . . . . . 46
1.7 Uzro£no djelovanje . . . . . . . . . . . . . . . . . . 55
1.8 Tre¢a faza izlaska svijesti . . . . . . . . . . . . . . 61
1.9 Matematika u izlasku svijesti . . . . . . . . . . . . 76
1.10 Brouwerova intuicionisti£ka matematika . . . . . . 81
1.11 Van Dalen o jastvenosti . . . . . . . . . . . . . . . 90
1.12 Logika u izlasku svijesti . . . . . . . . . . . . . . . 94
2 FORMALNI PRIKAZ IZLASKA SVIJESTI 101
2.1 Logika promjene LCG . . . . . . . . . . . . . . . . 101
2.1.1 Motivacija za LCG . . . . . . . . . . . . . . 101
2.1.2 Jezik logike promjene LCG . . . . . . . . . 105
2.1.3 Istinitost u LCG . . . . . . . . . . . . . . . 106
2.1.4 Aksiomi i denicije LCG . . . . . . . . . . . 111
2.2 Jednostavna logika izlaska svijesti (LEC) . . . . . . 117
2.2.1 Motivacija za LEC . . . . . . . . . . . . . . 117
2.2.2 Jezik logike LEC . . . . . . . . . . . . . . . 121
2.2.3 Model i istinitost u LEC . . . . . . . . . . . 123
2.2.4 Sustav LEC . . . . . . . . . . . . . . . . . . 129
2.2.5 Pouzdanost sustava LEC . . . . . . . . . . . 135
2.2.6 Potpunost sustava LEC . . . . . . . . . . . 140
2.3 Pro²irena logika izlaska svijesti (LEC+) . . . . . . 147
2.3.1 Motivacija za LEC+ . . . . . . . . . . . . . 147
2.3.2 Jezik LEC+ . . . . . . . . . . . . . . . . . . 149
2.3.3 Model i istinitost uzro£nih iskaza . . . . . . 151
2.3.4 Istinitost u LEC+ . . . . . . . . . . . . . . . 168