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

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.

[1]  Frederic Tamler Sommers,et al.  The logic of natural language , 1984 .

[2]  O. H. Mitchell.  On a new algebra of logic. , 1883 .

[3]  G. Frege.  Grundgesetze der Arithmetik , 1893 .

[4]  E. J. ASHWORTH,et al.  Joachim Jungius (1587—1657) and the Logic of Relations , 1967 .

[6]  Richard M. Martin.  Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870 , 1978, J. Philos. Log..

[7]  The Development of Peirce's Philosophy. , 1963 .

[8]  E. Schröder.  Vorlesungen uber die Algebra der Logik , 1967 .

[9]  John Corcoran,et al.  Boole's criteria for validity and invalidity , 1980, Notre Dame J. Formal Log..

[10]  Herbert W. Franke,et al.  A Computer Perspective , 1973 .

[11]  Fred Sommers.  I.—THE CALCULUS OF TERMS , 1970 .

[12]  J. M. Bocheński,et al.  A history of formal logic , 1961 .

[13]  Jaakko Hintikka,et al.  Information and Inference , 1970 .

[14]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[15]  Jaakko Hintikka,et al.  Logic, Language-Games And Information , 1972 .

[16]  Jaakko Hintikka,et al.  Surface Information and Depth Information , 1970 .

[17]  Martin Gardner,et al.  Logic Machines, Diagrams and Boolean Algebra , 1968 .

[18]  I. Grattan-Guinness,et al.  Wiener on the logics of Russell and Schröder , 1975 .

[19]  Daniel D. Merrill.  On De Morgan's argument , 1977, Notre Dame J. Formal Log..

[20]  J. Jay Zeman.  A System of Implicit Quantification , 1967, J. Symb. Log..

[21]  stanley W. Jevons,et al.  The principles of science , 1960 .

[22]  Hilary Putnam,et al.  Peirce the logician , 1982 .

[23]  Jaakko Hintikka,et al.  C. S. Peirce's “First Real Discovery” and Its Contemporary Relevance , 1980 .

[24]  Martha Kneale,et al.  The development of logic , 1963 .

[25]  F. Ramsey.  The foundations of mathematics , 1932 .