The Elements of Formal Logic

Methuen (2019)
  Copy   BIBTEX

Abstract

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The elements of formal logic.G. E. Hughes - 1965 - New York,: Harper & Row. Edited by D. G. Londey.
The Elements of Formal Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-813.
The elements of formal logic.G. B. Keene - 1966 - Philosophical Books 7 (2):9-10.
Elements of formal logic.G. B. Keene - 1965 - Philosophical Books 6 (3):15-16.
Elements of formal logic.Norman Kretzmann - 1965 - Indianapolis: Bobbs-Merrill.
Elements of Formal Logic.Adam Wiegner - 1950 - Journal of Symbolic Logic 15 (1):65-66.
Elements of Formal Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 19 (2):379-379.
Hughes Et Londey . - The Elements Of Formal Logic. [REVIEW]R. Blanché - 1967 - Revue Philosophique de la France Et de l'Etranger 157:422.
G. E. Hughes/D. G. Londey: The Elements of Formal Logic. [REVIEW]K. Berka - 1968 - Deutsche Zeitschrift für Philosophie 16 (9):1157.
The elements of formal logic.C. E. Hughes & D. G. Londey - 1967 - Revue Philosophique de la France Et de l'Etranger 157:422-422.

Analytics

Added to PP
2017-02-22

Downloads
6 (#1,483,753)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references