What is the relation between Peirce’s logic and his philosophy of logic? (English) Zbl 1543.03030
Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 169-187 (2022).
Summary: C. S. Peirce was both a logician and a philosopher of logic. Strangely, these two approaches have not been much compared. This present paper intends to explicitly raise the question of the relation between logical formalism and the philosophical conceptions of logic that Peirce supported. The problem we consider is simply whether there is any connection between Peirce’s advances in logic and how he conceived of logic, that is, between logical theory and logical practice. Is logic philosophically neutral or does it involve at least a certain conception of itself? We answer that Peirce’s semiotic, iconic, relational, dialogical, inquiry-based formalism, that is, the pragmaticist conception of logic, stresses the insufficiency of deductive logic. Being mostly inductive and abductive, the inquiry cannot be expressed through formal logics. It shows that the contemporary meaning of logic cannot be separated from its Peircian use: Logic and philosophy of science come together, and it may paradoxically be this faith which motivated most of the formal advances of Peirce’s logic.
For the entire collection see [Zbl 1515.03009].
For the entire collection see [Zbl 1515.03009].
MSC:
| 03A05 | Philosophical and critical aspects of logic and foundations |
| 03-03 | History of mathematical logic and foundations |
| 01A60 | History of mathematics in the 20th century |
References:
| [1] | Bellucci, F.: Peirce’s Speculative Grammar: Logic as Semiotics. Routledge (2017) · doi:10.4324/9781315211008 |
| [2] | Boniface, J.: Position philosophique et pratique mathématique: l’exemple de L. Kronecker. Images des Mathématiques, CNRS. http://images.math.cnrs.fr/Position-philosophique-et-pratique.html (2010) |
| [3] | Boniface, J., Schappacher, N.: Sur le concept de nombre en mathématique: cours inédit de Leopold Kroenecker à Berlin (1891). Revue d’histoire des mathématiques 7, 207-275 (2001) · Zbl 1014.01003 |
| [4] | Brady, G.: From Peirce to Skolem: A Neglected Chapter in the History of Mathematical Logic. Elsevier Science, North-Holland (2000) · Zbl 0958.01009 |
| [5] | Frege, G.: Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Verlage Wilhelm Koebner, Breslau (1884) · Zbl 0654.03005 |
| [6] | Grayling, A.C.: An Introduction to Philosophical Logic. Wiley-Blackwell (1998) |
| [7] | Grattan-Guinness, I.: The Search for Mathematical Roots 1870-1940: Logics, Set Theories, and the Foundations of Mathematics from Cantor through Russell to Gödel. Princeton University Press, Princeton (2000) · Zbl 0962.03002 |
| [8] | Haack, S.: Peirce and Logicism. Transactions of the Charles S. Peirce Society 29(1), 33-56 (1993) |
| [9] | Heinzmann, G., Vax, L.: Deux nouveaux traités de logique. In: Granger, G.-G. (ed.) L’âge de la science 5, philosophie de la logique et philosophie du langage II, pp. 159-163. Odile Jacob, Paris (1993) |
| [10] | Hilpinen, R.: Peirce’s Logic. In: Gabbay, D. M., Woods, J. (eds.) Handbook of the History of Logic, Vol. 3: The Rise of Modern Logic: From Leibniz to Frege, pp. 611-658. Elsevier BV - North-Holland, Amsterdam (2004) · Zbl 1066.03006 |
| [11] | Hintikka, J.: The Place of C. S. Peirce in the History of Logical Theory. In: Brunning, J., Forster, P. (eds.) The Rule of Reason, pp. 13-33. University of Toronto Press, Toronto (1997) · doi:10.3138/9781442682276-004 |
| [12] | Houser, N. et al. (eds.): Studies in the Logic of Charles Sanders Peirce \(.\) Indiana University Press, Bloomington (1997) |
| [13] | Michael, E., Michael, F.: Peirce on the Nature of Logic. Notre Dame Journal of Formal Logic 20(1), 84-88 (1979) · Zbl 0323.02004 · doi:10.1305/ndjfl/1093882404 |
| [14] | Pataut, F.: Quelle logique une sémantique anti-réaliste peut-elle espérer justifier? In: Bouveresse, J. (ed.) L’âge de la science 4, philosophie de la logique et philosophie du langage. Odile Jacob, Paris, 121-151 (1991) |
| [15] | Peirce, C. S.: Collected Papers of Charles Sanders Peirce. Hartshorne, C., Weiss, P. (ed.), vol. I - VI ; Burks, A.W. (ed.), vol. VII - VIII. Belknap Press, Cambridge (1931-1958) [CP volume.paragraph]. · JFM 58.1000.02 |
| [16] | Peirce, C.S.: Contributions to The Nation, vol. 3. Ketner, K., Cook, J. (eds.). Texas Tech Press, Lubbock (1975-1988) |
| [17] | Peirce, C. S.: New Elements of Mathematics, vol. 4. Eisele, C. (ed.). Mouton, The Hague (1976) · Zbl 0443.01022 |
| [18] | Peirce, C. S.: Writings of Charles S. Peirce. A Chronological Edition, vol. I-VIII. Indiana University Press, Indianapolis (1982-2009) · Zbl 1022.01010 |
| [19] | Peirce, C. S.: The Essential Peirce: Selected Philosophical Writings, vol. 2. Houser, N., Kloesel, C. (eds.). Indiana University Press, Bloomington (1998) · Zbl 0931.01035 |
| [20] | Putnam, H.: Peirce the Logician. In: Realism with a Human Face, pp. 252-260. Harvard University Press, Cambridge (1990) |
| [21] | Russell, B.: Introduction to Mathematical Philosophy. Spokesman, Nottingham (2008) · Zbl 0865.03001 |
| [22] | Shin, S.-J.: The Iconic Logic of Peirce’s Graphs. MIT Press, Boston (2002) · Zbl 1052.03001 · doi:10.7551/mitpress/3633.001.0001 |
| [23] | Williams, B.: Formalism and Natural Language in Moral Philosophy. In: Fondation Singer-Polignac, Mérites et limites des méthodes logiques en philosophie, pp. 301-311. Vrin, Paris (1986) |
| [24] | Zeman, J.: Peirce’s Philosophy of Logic. Transactions of the Charles S. Peirce Society 22, 1-22 (1986) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
