Peirce, frege, the logic of relations, and church's theorem

History and Philosophy of Logic 5 (1):49-66 (1984)
  Copy   BIBTEX

Abstract

In this essay, I discuss some observations by Peirce which suggest he had some idea of the substantive metalogical differences between logics which permit both quantifiers and relations, and those which do not. Peirce thus seems to have had arguments?which even De Morgan and Frege lacked?that show the superior expressiveness of relational logics

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,197

External links

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

Through your library

Analytics

Added to PP
2010-08-10

Downloads
82 (#212,614)

6 months
15 (#304,480)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Randall Dipert
PhD: Indiana University, Bloomington; Last affiliation: University at Buffalo

Citations of this work

Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.
Logical Machines: Peirce on Psychologism.Majid Amini - 2008 - Disputatio 2 (24):1 - 14.

Add more citations

References found in this work

Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.
The Development of Logic.William Calvert Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Posthumous Writings.Gottlob Frege (ed.) - 1979 - Blackwell.
Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.

View all 28 references / Add more references