Elements of deductive logic
| Abstract | A textbook for an 'advanced introductory' logic class (I used it as a textbook for mathematically capable introductory logic students). The book uses the tableau method, and includes standard results up to a proof of the soundness of predicate logic. Its slightly unusual features include a slightly greater emphasis on decidability than is usual, and more obviously, the presentation of a free logic as standard, alongside a classical alternative. A change of syllabus here means this is no longer under active revision, but I'll leave this archive copy available. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesBhola Nath[from old catalog] Roy (1949). Textbook of Deductive Logic. Calcutta, S. C. Sarkar;.
Paul Tomassi (1999). Logic. Routledge.
Gillian Russell (2005). Review: Warren Goldfarb's Deductive Logic. [REVIEW] Australasian Journal of Logic 3:63-66.
Matthew McKeon, Logical Consequence, Deductive-Theoretic Conceptions. Internet Encyclopedia of Philosophy.
Ernest W. Adams (1975). The Logic of Conditionals: An Application of Probability to Deductive Logic. D. Reidel Pub. Co..
Theodore Sider (2010). Logic for Philosophy. Oxford University Press.
D. S. Clarke (1973). Deductive Logic. Carbondale,Southern Illinois University Press.
Dale Jacquette (2006). An Elementary Deductive Logic Exercise. Teaching Philosophy 29 (1):45-52.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads49 ( #21,779 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
