Metalogic

Metalogic(Repost)  eBooks & eLearning

Posted by Nice_smile) at Jan. 18, 2017
Metalogic(Repost)

Metalogic by Geoffrey Hunter
English | 1971 | ISBN: 0333115899 | 302 Pages | DJVU | 5.96 MB
Metalogic: An Introduction to the Metatheory of Standard First Order Logic (Repost)

Geoffrey Hunter, "Metalogic: An Introduction to the Metatheory of Standard First Order Logic"
1996 | pages: 299 | ISBN: 0520023560 | PDF | 21,4 mb
Metalogic: An Introduction to the Metatheory of Standard First Order Logic (Repost)

Geoffrey Hunter, "Metalogic: An Introduction to the Metatheory of Standard First Order Logic"
1996 | pages: 299 | ISBN: 0520023560, 0520018222 | PDF | 21,5 mb

Metalogic by Geoffrey Hunter  eBooks & eLearning

Posted by pepoimc at Jan. 31, 2011
Metalogic by Geoffrey Hunter

Metalogic by Geoffrey Hunter
Publisher: Macmillan (February 25, 1971) | ISBN: 0333115899 | Pages: 302 | DJVU | 5.22 MB

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

The Square of Opposition: A Cornerstone of Thought  eBooks & eLearning

Posted by AvaxGenius at March 11, 2017
The Square of Opposition: A Cornerstone of Thought

The Square of Opposition: A Cornerstone of Thought By Jean-Yves B├ęziau, Gianfranco Basti
English | PDF | 2017 | 329 Pages | ISBN : 3319450611 | 9.63 MB

his is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets  eBooks & eLearning

Posted by interes at Jan. 30, 2014
Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets

Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets by David Papineau
English | 2012 | ISBN: 0199651728 , 0199651736 | ISBN-13: 9780199651726 , 9780199651733 | 224 pages | PDF | 1,3 MB

This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing. Notions like "denumerability," "modal scope distinction," "Bayesian conditionalization," and "logical completeness" are usually only elucidated deep within difficult specialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists.

R. Smullyan, "Alice in Puzzle - Land"  eBooks & eLearning

Posted by bearfox at Oct. 22, 2007
R. Smullyan, "Alice in Puzzle - Land"

R. Smullyan, "Alice in Puzzle - Land"
Penguin Books | ISBN: 0140070567 | 1984 | 182 pages | OCR | PDF | 1.42 Mb

Raymond Smullyan is a unique set of personalities that includes a philosopher, logician, mathematician, musician, magician,humorist, writer, and maker of marvelous puzzles. Because he is a skillful writer and humorist, he enjoys presenting his puzzles in narrative forms that often parody great works of popular fiction.