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?

Other Versions

No versions found

Links

PhilArchive

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.

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
Two notes on Ackermann's set theory.John Lake - 1976 - Notre Dame Journal of Formal Logic 17 (3):446-448.
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.

Analytics

Added to PP
2010-12-22

Downloads
4 (#2,257,700)

6 months
4 (#1,723,846)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

John Bell
University Of Glasgow
John L. Bell
University of Western Ontario

References found in this work

No references found.

Add more references