Copi's method of deduction

Notre Dame Journal of Formal Logic 20 (2):295-300 (1979)
  Copy   BIBTEX

Abstract

Copi's method of deduction is formalized and shown to be complete

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882535

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Copi's method of deduction again.M. C. Bradley - 1971 - Notre Dame Journal of Formal Logic 12 (4):454-458.
Completeness of Copi's method of deduction.John Thomas Canty - 1963 - Notre Dame Journal of Formal Logic 4 (2):142-144.
Another variant of natural deduction.Irving M. Copi - 1956 - Journal of Symbolic Logic 21 (1):52-55.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
The completeness of Copi's system of natural deduction.John A. Winnie - 1970 - Notre Dame Journal of Formal Logic 11 (3):379-382.
The Scope, Limits, and Distinctiveness of the Method of ”Deduction from the Phenomena’: Some Lessons from Newton’s ”Demonstrations’ in Optics.John Worrall - 2000 - British Journal for the Philosophy of Science 51 (1):45-80.
Science and the Synthetic Method of the Critique of Pure Reason.Melissa McBay Merritt - 2006 - Review of Metaphysics 59 (3):517-539.
Transforming thinking: philosophical inquiry in the primary and secondary classroom.Catherine Claire McCall - 2009 - New York: Routledge.
Book Review:Introduction to Logic Irving M. Copi; Symbolic Logic Irving M. Copi. [REVIEW]George Nakhnikian - 1956 - Philosophy of Science 23 (3):267-.
The Proof Structure of Kant's A-Deduction.Michael Barker - 2001 - Kant Studien 92 (3):259-282.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
Discourse on method, and related writings.René Descartes - 1999 - New York: Penguin Books. Edited by Desmond M. Clarke.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-Wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.

Analytics

Added to PP
2010-08-24

Downloads
275 (#75,575)

6 months
66 (#75,482)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frederick Johnson
Colorado State University

Citations of this work

No citations found.

Add more citations

References found in this work

Completeness of Copi's method of deduction.John Thomas Canty - 1963 - Notre Dame Journal of Formal Logic 4 (2):142-144.
Copi's method of deduction again.M. C. Bradley - 1971 - Notre Dame Journal of Formal Logic 12 (4):454-458.

Add more references