Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic

References

• Bartley III, W. W. (ed.). 1986. Lewis Carroll’s Symbolic Logic, New York: C. N. Potter.
   Google Scholar
• Bellucci, F. 2016. ‘Charles S. Peirce and the medieval doctrine of consequentiae’, History and Philosophy of Logic, 37 (3), 244–68. doi: 10.1080/01445340.2015.1118338
   Web of Science ®Google Scholar
• Bellucci, F., and Pietarinen, A.-V. 2016a. ‘Existential graphs as an instrument of logical analysis: part I. Alpha’, The Review of Symbolic Logic, 9, 209–37. doi: 10.1017/S1755020315000362
   Web of Science ®Google Scholar
• Bellucci, F. and Pietarinen, A.-V. 2016b. ‘From Mitchell to Carus: fourteen years of logical graphs in the making’, Transactions of the Charles S. Peirce Society, 52 (4), 539–75. doi: 10.2979/trancharpeirsoc.52.4.02
   Web of Science ®Google Scholar
• Bimbò, K. 2010. ‘Schönfinkel-type operators for classical logic’. Studia Logica, 95, 355–78. doi: 10.1007/s11225-010-9265-3
   Web of Science ®Google Scholar
• Boole, G. 1854. An Investigation of the Laws of Thought, London: Macmillan.
   Google Scholar
• Curry, H., and Feys, R. 1958. Combinatory Logic, Vol. I, Amsterdam: North Holland.
   Google Scholar
• Dipert, R. R. 1981. ‘Peirce’s propositional logic’, Review of Metaphysics, 34, 569–95.
   Web of Science ®Google Scholar
• Durand-Richard, M.-J., and Moktefi, A. 2014. ‘Algèbre et logique symboliques: arbitraire du signe et langage formel’, in J.-Y. Béziau, ed., La pointure du symbole, Paris: Pétra, 295–328.
   Google Scholar
• Frege, G. 1879. Begriffsschrift. Eine der arithmetischen nachgebildeten Formel- sprache des reinen Denkens, Halle: Nebert.
   Google Scholar
• Frege, G. 1880. ‘Booles rechnende Logik und die Begriffsschrift’, in Frege 1969, 9–52. Trans. in Frege 1979, 9–46.
   Google Scholar
• Frege, G. 1882. ‘Booles logische Formelsprache und meine Begriffsschrift’, in Frege 1969, 53–59. Trans. in Frege 1979, 47–52.
   Google Scholar
• Frege, G. 1897. ‘Über die Begriffsschrift des Herrn Peano und meine eigene’, Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Classe, 48, 362–78. Trans. in Frege 1991, 234–248.
   Google Scholar
• Frege, G. 1906. ‘A brief survey of my logical doctrines’, in Frege 1979, 197–202.
   Google Scholar
• Frege, G. 1969. Nachgelassene Schriften und Wissenschaftlicher Briefwechsel. Volume 1: Nachgelassene Schriften, H. Hermes, F. Kambartel, and F. Kaulbach, eds., Hamburg: Felix Meiner.
   Google Scholar
• Frege, G. 1979. Posthumous Writings, Chicago: University of Chicago Press (Trans. of Frege 1969).
   Google Scholar
• Frege, G. 1980. The Philosophical and Mathematical Correspondence, G. Gabriel, H. Hermes, F. Kambartel, C. Thiel, and A. Veraart, eds. Oxford: Blackwell.
   Google Scholar
• Frege, G. 1991. Collected Papers on Mathematics, Logic, and Philosophy, B. McGuinness, ed., Oxford: Blackwell.
   Google Scholar
• Hintikka, J. 1997. ‘No scope for scope?’, Linguistics and Philosophy, 20, 515–44. doi: 10.1023/A:1005346511016
   Web of Science ®Google Scholar
• Jevons, W. S. 1870. ‘On the mechanical performance of logical inference’, Philosophical Transactions of the Royal Society of London, 160, 497–518. doi: 10.1098/rstl.1870.0022
   Google Scholar
• Jourdain, P. E. B. 1912. ‘The development of the theories of mathematical logic and the principles of mathematics’, The Quarterly Journal of Pure and Applied Mathematics, 43, 237–69; part. reprinted in Frege 1980, 179–206.
   Google Scholar
• Kennedy, H. 2002. Peano. Life and Works of Giuseppe Peano, San Francisco: Peremptory Publications.
   Google Scholar
• Keynes, J. N. 1884. Studies and Exercises in Formal Logic, London: Macmillan.
   Google Scholar
• Lane, R. 1999. ‘Peirce’s triadic logic revisited’, Transactions of the Charles S. Peirce Society, 35, 284–311.
   Web of Science ®Google Scholar
• MacColl, H. 1897. ‘Symbolic reasoning (II)’, Mind, 6, 493–510. doi: 10.1093/mind/VI.4.493
   Google Scholar
• Marion, M., and Moktefi, A. 2014. ‘La logique symbolique en débat à Oxford à la fin du XIXe siècle: les disputes logiques de Lewis Carroll et John Cook Wilson’, Revue d’Histoire des Sciences, 67 (2), 185–205. doi: 10.3917/rhs.672.0185
   Google Scholar
• Moktefi, A. 2015. ‘On the social utility of symbolic logic: Lewis Carroll against “the logicians”’, Studia Metodologiczne, 35, 133–50.
   Google Scholar
• Padoa, A. 1900. ‘Logical introduction to any deductive theory’, in J. van van Heijenoort, ed., From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Cambridge, MA: Harvard University Press, 1967, 118–23.
   Google Scholar
• Padoa, A. 1930. ‘Logica’, in L. Berzolari, G. Vivanti, and D. Gigli, eds., Enciclopedia delle matematiche elementari, Milano: Hoepli, vol. I, parte I, 1–79.
   Google Scholar
• Padoa, A. 1933. ‘Logica Ideografica’, Rivista Di Filosofia Neo-Scolastica, 25, 75–90.
   Google Scholar
• Peano, G. 1891a.‘Principi di logica matematica’, Rivista di matematica, 1, 1–10; in Peano 1958 II, 92–101.
   Google Scholar
• Peano, G. 1891b. ‘Formole di logica matematica’, Rivista di matematica, 1, 24–31, 182–84; in Peano 1958 II, 107–08.
   Google Scholar
• Peano, G. 1894. Notations de logique mathématique, Torino: Guadagnini; in Peano 1958 II, 123–76.
   Google Scholar
• Peano, G. 1895. Formulaire de mathématiques I., Torino: Bocca.
   Google Scholar
• Peano, G. 1896. ‘Review of G. Frege, Grundgesetze’, Rivista di matematica, 5, 122–28; in Peano 1958 II, 189–95.
   Google Scholar
• Peano, G. 1898. ‘Review of E. Schröder, Über Pasigraphie etc.’, Rivista di matematica, 6, 1890–99; in Peano 1958 II, 297–303.
   Google Scholar
• Peano, G. 1958. Opere Scelte, vols. I–III. Roma: Cremonese.
   Google Scholar
• Peckhaus, V. 1991. ‘Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce’, Modern Logic, 1, 174–205.
   Google Scholar
• Peckhaus, V. 1998. ‘Hugh MacColl and the German algebra of logic’, Nordic Journal of Philosophical Logic, 3, 17–34.
   Google Scholar
• Peirce, C. S. 1870. ‘Description of a notation for the logic of Relatives’, Memoirs of the American Academy of Arts and Sciences, 9, 317–78. In Peirce 1984, 359–429. doi: 10.2307/25058006
   Google Scholar
• Peirce, C. S. 1880a. ‘On the algebra of logic’, American Journal of Mathematics, 3, 15–57 . In Peirce 1989, 163–209. doi: 10.2307/2369442
   Google Scholar
• Peirce, C. S. 1880b. ‘A Boolian algebra with one constant’, MS 535, Houghton Library; in Peirce 1989, 218–21.
   Google Scholar
• Peirce, C. S. 1885. ‘On the algebra of logic. A contribution to the philosophy of notation’, American Journal of Mathematics, 7, 197–202. in Peirce 1993, 218–21. doi: 10.2307/2369269
   Google Scholar
• Peirce, C. S. 1894a. [Fragments on logic]. MS 594, Houghton Library.
   Google Scholar
• Peirce, C. S. 1894b. [Fragments on logic]. MS 599, Houghton Library.
   Google Scholar
• Peirce, C. S. 1894c. ‘The essence of reasoning’, MS 408, Houghton Library.
   Google Scholar
• Peirce, C. S. 1894d. ‘The algebra of the copula’, MS 411, Houghton Library.
   Google Scholar
• Peirce, C. S. 1896a. ‘On logical graphs’, MS 482, Houghton Library.
   Google Scholar
• Peirce, C. S. 1896b. ‘On logical graphs’, MS 481, Houghton Library.
   Google Scholar
• Peirce, C. S. 1897. ‘The logic of relatives’, The Monist, 7, 161–217. doi: 10.5840/monist18977231
   Google Scholar
• Peirce, C. S. 1898. ‘Types of reasoning’, MS 441, Houghton Library. In Peirce 1976, 167–84.
   Google Scholar
• Peirce, C. S. 1903. Lowell Lecture I, MS 450, Houghton Library.
   Google Scholar
• Peirce, C. S. 1904a. ‘On the basic rules of logical transformations’, MS 516, Hougthon Library.
   Google Scholar
• Peirce, C. S. 1904b. ‘A proposed logical notation’, MS 530, Hougthon Library.
   Google Scholar
• Peirce, C. S. 1905. ‘Logical analysis of some demonstrations in high arithmetic’, MS 253, Hougthon Library.
   Google Scholar
• Peirce, C. S. 1906. ‘Prolegomena to an apology for pragmaticism’, The Monist, 16, 492–546. doi: 10.5840/monist190616436
   Google Scholar
• Peirce, C. S. 1908a. ‘The bed-rock beneath pragmaticism’, MS 300, Houghton Library.
   Google Scholar
• Peirce, C. S. 1908b. ‘C. S. Peirce to F. C. Russell’, 18 September 1908, MS L 384, Houghton Library.
   Google Scholar
• Peirce, C. S. 1909. ‘C. S. Peirce to F. C. Russell’, 23 January 1909, MS L 384, Houghton Library.
   Google Scholar
• Peirce, C. S. 1976. New Elements of Mathematics, Vol. 4, C. Eisele, ed., The Hague: Mouton.
   Google Scholar
• Peirce, C. S. 1984. Writings of Charles S. Peirce: A Chronological Edition, Vol. 2, The Peirce Edition Project, ed., Bloomington: Indiana University Press.
   Google Scholar
• Peirce, C. S. 1989. Writings of Charles S. Peirce: A Chronological Edition, Vol. 4, The Peirce Edition Project, ed., Bloomington: Indiana University Press.
   Google Scholar
• Peirce, C. S. 1993. Writings of Charles S. Peirce: A Chronological Edition, Vol. 5, The Peirce Edition Project, ed., Bloomington: Indiana University Press.
   Google Scholar
• Pietarinen, A.-V. 2009. ‘Significs and the origins of analytic philosophy’, Journal of the History of Ideas, 70 (3), 467–90. doi: 10.1353/jhi.0.0043
   Web of Science ®Google Scholar
• Pietarinen, A.-V. 2013. ‘Christine Ladd-Franklin’s and Victoria Welby’s correspondence with Charles Peirce’, Semiotica, 196, 139–61.
   Web of Science ®Google Scholar
• Pietarinen, A.-V. 2015. ‘Exploring the Beta quadrant’, Synthese, 192 (4), 941–70. doi: 10.1007/s11229-015-0677-5
   Web of Science ®Google Scholar
• Prior, A. N. 1958. ‘Peirce’s axioms for propositional calculus’, The Journal of Symbolic Logic, 23, 135–36. doi: 10.2307/2964392
   Google Scholar
• Schlimm, D. 2017. ‘On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs’, History and Philosophy of Logic. doi: 10.1080/01445340.2017.1317429
   Web of Science ®Google Scholar
• Schönfinkel, M. 1924. ‘Über die Bausteine der mathematischen Logik’, In J. van Heijenoort, ed., From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Cambridge, MA: Harvard University Press, 355–66.
   Google Scholar
• Thiel, C. 1968. Sense and Reference in Frege’s Logic, Dordrecht: Springer.
   Google Scholar
• Venn, J. 1884. ‘Review of J. N. Keynes’ studies and exercises in formal logic’, Mind, 9, 301–04. doi: 10.1093/mind/os-IX.34.301
   Google Scholar
• Whitehead, A. N., and Russell, B. 1910. Principia Mathematica, Volume 1, Cambridge: Cambridge University Press.
   Google Scholar
• Zalamea, F. 2012. Peirce’s Logic of Continuity, Boston: Docent Press.
   Google Scholar