This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of GΓΆdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and GΓΆdel's compactness theo
Logic: a brief insight
β Scribed by Priest, Graham
- Publisher
- Sterling Pub
- Year
- 2010
- Tongue
- English
- Edition
- Illustrated ed
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
Priest explores the philosophical roots of logic, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, Priest lays out the basics of formal logic in simple, nontechnical terms.;Validity : what follows from what? -- Truth functions, or not -- Names and quantifiers : is nothing something? -- Descriptions and existence : did the greeks worship Zeus? -- Self-reference : what is this chapter about? -- Necessity and possibility : what will be must be? -- Conditionals: what's in an if? -- The future and the past : is time real?? -- Identity and change : is anything ever the same? -- Vaguenes : how do you stop sliding down a slippery slope? -- Probability : the strange case of the missing reference class? -- Inverse probability : you can't be indifferent about it! -- Decision theory : great expectations? -- A little history and some further reading?
β¦ Table of Contents
Validity : what follows from what? --
Truth functions, or not --
Names and quantifiers : is nothing something? --
Descriptions and existence : did the greeks worship Zeus? --
Self-reference : what is this chapter about? --
Necessity and possibility : what will be must be? --
Conditionals: what's in an if? --
The future and the past : is time real?? --
Identity and change : is anything ever the same? --
Vaguenes : how do you stop sliding down a slippery slope? --
Probability : the strange case of the missing reference class? --
Inverse probability : you can't be indifferent about it! --
Decision theory : great expectations? --
A little history and some further reading?
β¦ Subjects
Logic
π SIMILAR VOLUMES
<p>This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of GΓΆdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and GΓΆdel's compactness t
<p>This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of GΓΆdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and GΓΆdel's compactness t
A more complete introduction of the author can be found in the book.