Notes On Formal Logic

Abstract

On the contrary, I find nothing in logistic but shackles. It does not help us at all in the direction of conciseness, far from it; and if it requires 27 equations to establish that 1 is a number, how many will it require to demonstrate a real theorem?

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Some notes on: "A deduction theorem for restricted generality".M. W. Bunder - 1976 - Notre Dame Journal of Formal Logic 17 (1):153-154.
Managing Informal Mathematical Knowledge: Techniques from Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
Two notes on Ackermann's set theory.John Lake - 1976 - Notre Dame Journal of Formal Logic 17 (3):446-448.
Reading notes on logic options –.Peter Smith - manuscript
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Notes on foundations. I.G. Y. Rainich - 1961 - Notre Dame Journal of Formal Logic 2 (4):224-227.
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.
Notes on foundations. II. On Galois connections.G. Y. Rainich - 1962 - Notre Dame Journal of Formal Logic 3 (1):61-63.
Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
Formal logic and formal ontology in Husserl's phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
An introduction to formal logic.Peter Smith - 2003 - New York: Cambridge University Press.
Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.

Analytics

Added to PP
2010-12-22

Downloads
4 (#1,550,102)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references