ISBN: Ostalo
Godina izdanja: 1983
Jezik: Engleski
Autor: Strani

68027) HANDBOOK PHILOSOPHICAL LOGIC Volume I: Elements of Classical Logic , edited by D. Gabbay and F. Guenthner , D. Reidel Publishing Company 1983 ,
„Handbook of Philosophical Logic, Volume I: Elements of Classical Logic” je prva sveska fundamentalne višedelne enciklopedijske serije u oblasti filozofske logike, koju su uredili Dov M. Gabbay i Franz Guenthner, prvobitno objavljena 1983. godine u okviru izdavačke kuće Springer (D. Reidel Publishing Company).
Ova knjiga predstavlja standardno polazište i nezaobilaznu referencu za filozofe, matematičare, lingviste i stručnjake za veštačku inteligenciju.

Knjiga pokriva standardnu formulaciju predikatskog računa (logike prvog reda) kroz različite dokazne sisteme i semantičke pristupe, kao i njene limite i proširenja.

Volume I donosi sistematičan i tehnički precizan pregled formalnih temelja na kojima počiva savremena logika, počevši od elementarne predikatske logike u kojoj Wilfrid Hodges detaljno analizira propozicionalni i predikatski račun prvog reda, pokrivajući ključne metalogičke rezultate poput kompletnosti i kompaktnosti kroz sisteme prirodne dedukcije, Hilbertove sisteme i sekventne račune. Nadovezujući se na ove osnove, Stewart Shapiro u svom doprinosu ispituje sisteme između prvog i drugog reda, analizirajući logičke okvire koji uspešno proširuju izražajnu moć logike prvog reda, ali bez uvođenja punog i kompleksnog aparata drugog reda. Dalju ekspresivnost istražuju Johan van Benthem i Kees Doets kroz proučavanje logike višeg reda, gde se detaljno bave semantikom i fundamentalnim matematičkim ograničenjima viših redova, uključujući i nezaobilazne Gedelove teoreme o nepotpunosti. Sa matematičke i algoritamske strane, Dirk van Dalen nudi dubok uvid u teoriju rekurzije, analizirajući izračunljivost, probleme odlučivanja i algoritamske aspekte formalnih sistema, dok Hans Dieter Ebbinghaus i Jörg Flum zaokružuju ovu svesku istraživanjem matematike logičkog programiranja, čime uspostavljaju direktnu i rigoroznu vezu između klasične logike i računarskih nauka kroz njene formalne osnove.

The Handbook of Philosophical Logic is a unique systematic survey of the central areas of philosophical logic. Divided into four volumes, each devoted to a major sub-field within the disciplines, it is expected that the Handbook will have considerable influence in the field for many years to come. Written by world authorities in philosophical logic, the work reflects careful and fruitful collaboration by the authors at every stage of the project. This has ensured a comprehensive and definitive set of articles which will be of inestimable value to general philosophers, linguists, logicians, mathematicians and computer scientists.

Volume I: Elements of Classical Logic, deals with the background to what has come to be considered the standard formulation of predicate logic - both as far as its semantics and proof theory are concerned. The central chapter on predicate logic is followed by chapters outlining various alternative, but essentially equivalent ways of constructing the semantics for first-order logic as well as its proof theory. In addition, this volume contains a discussion of higher-order extensions of first-order logic and a compendium of the algorithmic and decision-theoretic prerequisites in the study of logical systems.
engleski jezik , tvrd povez, format 15,5 x 22,5 cm , bivši bibliotečki primerak, 493 strane