𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Logic: a brief insight

✍ Scribed by Priest, Graham


Publisher
Sterling Pub
Year
2010
Tongue
English
Edition
Illustrated ed
Category
Library

⬇  Acquire This Volume

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


Logic: a Brief Course
✍ Daniele Mundici πŸ“‚ Library πŸ“… 2012 πŸ› Springer 🌐 English

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 Course
✍ Daniele Mundici (auth.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Mailand 🌐 English

<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

Logic: A Brief Course
✍ Daniele Mundici (auth.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag Mailand 🌐 English

<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

Quantum logic. A brief outline
✍ Karl Svozil πŸ“‚ Library πŸ“… 1998 πŸ› Springer 🌐 English

A more complete introduction of the author can be found in the book.