.

0 (hodnocen0 x )

(2) Půjčeno:6x 

BK

Vyd. 1.

Praha : Filosofia, 2008

670 s. : il. ; 24 cm

ISBN 978-80-7007-279-0 (váz.)

Obsahuje bibliografii na s. [597]-631, bibliografické odkazy a rejstřík

Anglické resumé

Vydavatel: Filosofický ústav AV ČR

000090717

1 Od proporcí ke kalkulu // 1.1 Diskrétní veličiny // 1.2 Nesouměřitelnost a její důkazy // 1.3 Eudoxova teorie // 1.4 Proporce jako předměty // 1.5 Nekonečno a spojitost // 1.6 Kanonické a jiné metody // 1.7 Kartézská čísla // 1.8 Fluenty a fluxe // 1.9 Diferenciál a integrál // 1.10 Lagrangova reforma // 1.11 Cauchyho definice // 1.12 Bolzanova věta // 2 Struktura reálné osy // 2.1 Fundamentální posloupnosti // 2.2 Dedekindovy řezy // 2.3 Přímky a jejich úplnost // 2.4 Kanonické reprezentace kontinua // 2.5 Tělesa a jejich úplnost // 2.6 Mohutnosti kontinua // 2.7 Indexy nekonečných iterací // 2.8 Ordinální a kardinální čísla // 2.9 Hypotéza kontinua // 2.10 Kontinuum a diskontinuum // 3 Aritmetická logika a její možnosti // 3.1 Co je platný úsudek? // 3.2 Substituční strategie // 3.3 Expresivní síla logiky výroků // 3.4 Axiomatická metoda // 3.5 Kalkulizace logiky // 3.6 Bezespornost a úplnost // 3.7 Substituce, substituce a substituce // 3.8 Napříč diskurzy // 3.9 Tarského definice pravdy // 3.10 Dvě vyplývání a jejich kalkulizace // 3.11 Stromy a rozhodnutelnost // 3.12 Věta o úplnosti // 4 Číslo a obrat k jazyku // 4.1 Co je předmět? // 4.2 Co je identita? // 4.3 Logika s rovností // 4.4 Co je existence? // 4.5 Logika vyšších řádů // 4.6 Co je číslo? // 4.7 Definice abstrakcí // 4.8 Russellův paradox // 4.9 Následník v řadě // 5 Logická aritmetika a její meze // 5.1 Logické předměty // 5.2 Kritérium konzistence // 5.3 Až na izomorfismus // 5.4 Dedekindova aritmetika // 5.5 V Hilbertově hotelu // 5.6 Fregův teorém // 5.7 Rekurzivní teorém // 5.8 Poincarého kritika // 5.9 Lesk a bída logicismu // 5.10 Aritmetika prvního řádu // 5.11 Kategoričnost analýzy // 5.12 Analýza prvního řádu // 6 Ve stínu paradoxu // 6.1 Logické a jiné paradoxy //

6.2 Bludný kruh a kontinuum // 6.3 Teorie typů // 6.4 Cantorovo absolutní nekonečno // 6.5 Zermelova axiomatizace // 6.6 Fraenkelův axiom // 6.7 Skolemův paradox // 6.8 Kumulativní hierarchie // 6.9 Množina a číslo // 7 Řídit se pravidlem // 7.1 Nespolehlivost logických principů // 7.2 Zákon a volba // 7.3 Slabé protipříklady // 7.4 Rozložení a species // 7.5 Princip spojitosti a závorová indukce // 7.6 Brouwerovo kontinuum // 7.7 Rekurzivní funkce // 7.8 Rekurzivní spočetnost // 7.9 Churchova teze // 8 Na počátku byl znak // 8.1 Problém počátku // 8.2 Problém jistoty // 8.3 Hilbertův program // 8.4 Axiómat ismus a inferencialismus // 8.5 Wittgensteinova aritmetika // 8.6 Na počátku byl čin // 8.7 Operativní logika a aritmetika // 8.8 Dialogická logika // 8.9 Neúplnost a nerozhodnutelnost // 8.10 Gödelova první věta // 8.11 Gödelova druhá věta