Studies and Exercises in Formal Logic
by John Neville Keynes
Publisher: The Macmillan Company 1906
Number of pages: 552
Description:
In addition to a somewhat detailed exposition of certain portions of what may be called the book of Formal Logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes.
Download or read it online for free here:
Download link
(multiple formats)
Similar books
Elements of Deductive Logicby Antony Eagle - University of Adelaide
This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.
(6132 views)
Logic: Deductive and Inductiveby Carveth Read - Project Gutenberg
Logic is the science that explains what conditions must be fulfilled in order that a proposition may be proved. When propositions are expressed with the universality and definiteness that belong to scientific statements, they are called laws.
(14274 views)
Language, Proof and Logicby Jon Barwise, John Etchemendy - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
(23997 views)
The Origin and Growth of Plato's Logicby Wincenty Lutosawski - Longmans, Green and co.
In undertaking the investigations summarized in this volume, the author's chief aim was to explain the origin of Logic by a psychological study of the first logician. This required a knowledge of the chronology of Plato's writings.
(10640 views)