Formal logic / Arthur N. Prior.

Format:

Book

Author/Creator:

Prior, A. N. (Arthur N.), 1914-1969, author.

Language:

English

Subjects (All):

Logic.

Physical Description:

1 online resource (341 pages) : illustrations

Edition:

2nd ed.

Place of Publication:

Oxford : Clarendon, 1962

Language Note:

English

Summary:

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interest to others beside logic students. Part I of the book covers the ‘fundamentals’ of the subject – the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting point. Part III deals with modal, three-valued, and extensional systems.

Contents:

Classical propositional and functional calculi.

Traditional logic of terms.

Modal, three-valued, and extensional systems

Appendix I-III.

Notes:

Bibliographic Level Mode of Issuance: Monograph

Reprinted with corrections 1963, 1973.

Includes bibliographical references and index.

Description based on print version record.

Other Format:

Print version

ISBN:

0-19-168037-0

0-19-824156-9