Proof Theory and Philosophy
by Greg Restall
Publisher: consequently.org 2006
Number of pages: 168
This is a usable textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly, pedagogically useful and philosophically motivated presentation.
Home page url
Download or read it online for free here:
by Gary Hardegree - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
by William Walker Atkinson - The Progress company
By the employment of the reasoning faculties of the mind we compare objects presented to the mind as percepts or concepts, taking up the raw materials of thought and weaving them into complex mental fabrics which we call abstract ideas of truth.
by P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
by William Minto - ManyBooks
In this little treatise two things are attempted that at first might appear incompatible. One of them is to put the study of logical formulae on a historical basis. The other aim is to increase the power of Logic as a practical discipline.