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

Categories

Keywords

Reprint years

DOI

10.1080/01445348408837062

Links

PhilArchive



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

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

Frege's logic, theorem, and foundations for arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Induction and comparison.Paul Pietrowski - 2007 - University of Maryland Working Papers in Linguistics 15:154-188.
Relations vs functions at the foundations of logic: type-theoretic considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.
DeMorgan, Peirce and the Logic of Relations.Daniel D. Merrill - 1978 - Transactions of the Charles S. Peirce Society 14 (4):247 - 284.
Some Comments on DeMorgan, Peirce, and the Logic of Relations.R. M. Martin - 1976 - Transactions of the Charles S. Peirce Society 12 (3):223 - 230.
Peirce's Early Study of the Logic of Relations, 1865-1867.Emily Michael - 1974 - Transactions of the Charles S. Peirce Society 10 (2):63 - 75.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.

Analytics

Added to PP
2010-08-10

Downloads
72 (#228,394)

6 months
6 (#520,848)

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):335-348.

View all 6 citations / Add more citations

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
Collected papers.Charles S. Peirce - 1931 - Cambridge,: Belknap Press of Harvard University Press.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.

View all 30 references / Add more references