Natural Deduction: An Introduction to Logic with Real Arguments, a Little History and Some Humour

Peterborough, Ontario, Canada: Broadview Press (2011)
  Copy   BIBTEX

Abstract

Richard Arthur’s _Natural Deduction_ provides a wide-ranging introduction to logic. In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
First Logic.Michael F. Goodman - 1992 - Lanham, MD, USA: Upa.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
A Natural Deduction Relevance Logic.Frederic Johnson - 1977 - Bulletin of the Section of Logic 6 (4):164-168.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.

Analytics

Added to PP
2014-01-26

Downloads
32 (#471,613)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard T. W. Arthur
McMaster University

Citations of this work

What a Real Argument Is.Ben Hamby - 2012 - Informal Logic 32 (3):313-326.

Add more citations

References found in this work

No references found.

Add more references