Analyōmen 2: Logic, epistemology, philosophy of science
Language: de
Pages: 573
Authors: Andreas Mundt, Gesellschaft für Analytische Philosophie
Categories: Philosophy
Type: BOOK - Published: 1997 - Publisher: Walter de Gruyter

Books about Analyōmen 2: Logic, epistemology, philosophy of science
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Language: de
Pages: 1062
Authors: William Ewald, Wilfried Sieg
Categories: Mathematics
Type: BOOK - Published: 2013-05-14 - Publisher: Springer-Verlag

The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert’s foundational thought during
Hybrid Logic and its Proof-Theory
Language: en
Pages: 231
Authors: Torben Braüner
Categories: Philosophy
Type: BOOK - Published: 2010-11-17 - Publisher: Springer Science & Business Media

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many
Handbook of Philosophical Logic
Language: en
Pages: 354
Authors: Dov M. Gabbay, Franz Guenthner
Categories: Philosophy
Type: BOOK - Published: 2002-08-31 - Publisher: Springer Science & Business Media

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard­ ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin­ Logic p- language controlspec­ telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power
Logic and Foundations of Mathematics
Language: en
Pages: 284
Authors: Andrea Cantini, Ettore Casari, Pierluigi Minari
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700