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.

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...) this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

This paper proposes to recover the topic of the philosophy of scientific method from its late nineteenth-century roots. The subject matter of scientific method sprouted from key inferential ingredients identified by Charles Peirce. In this paper, the historical path is traversed from the viewpoint of contemporary Cognitive Structural Realism (CSR). Peirce’s semiotic theory of methods and practices of scientific inquiry prefigured CSR’s reliance on embodied informational structures and experimentation upon forms of relations that model generic scientific domains. Three results are (...) shown to follow from this convocation: (i) a naturalization of Peirce’s interconnected abductive, deductive and inductive stages of the logic of science, here characterized de novo in terms of CSR. (ii) a perspective to scientific modeling that incorporates processes of abstraction and generalization as originated from Peirce’s logic of science, and (iii) diagrammatic reasoning as a pivotal method in analyzing scientific reasoning in experimental practices. (shrink)

In this paper I propose to read and understand gestures as logical tools within a synthetic paradigm of knowledge. This interpretation of gesture is drawn from a new pragmatist reading of reasoning in general, and synthetic reasoning in particular. Complete gestures are actions with a beginning and an end that bear a meaning. It is our regular way to embody vague ideas into singular actions with general meaning. The tool is forged by a dense blending of icons, indices, and symbols (...) and by a complexity of phenomenological characteristics as feelings, actual actions, general concepts and habits. The paper illustrates this new way to look at gestures and different kinds of complete and incomplete gestures. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...) and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

The aim of the paper is to try and make one’s ideas clearer about such concepts as “logic,” “psychology,” “mind,” “normativity,” rationality,” as they were conceived by Peirce, in order to elucidate his genuine position as far as the relationship between logic and pychology is concerned, whether he was or was not a straightforward “anti psychologist” in logic, and from such analyses, to make some suggestions about the contemporary relevance of Peirce’s original views on such isues.

Prior to the Second World War, Peirce was virtually unknown in Finnish philosophical discussions. This was not the case of pragmatism altogether. For example, James’s ideas were well received and discussed in Finland at some length around the time of his death in 1910, including the translation of several of James’s books and writings into Finnish. A central figure in this discussion was the most prominent Finnish philosopher at that time, Eino Kaila, who also founded the psychological labora...

We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings. We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major threads (...) in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds but also into two sub-stages: logical analysis and mathematical reasoning, where the latter is either corollarial or theorematic. Save for the inductive stage, which we do not address here, these points cover the essentials of Peirce's latest thinking on the l.. (shrink)

This paper takes as a starting point certain notions from Peirce's writings and uses them to propose a picture of the part of mathematical practice that consists of hypothesis formation. In particular, three processes of hypothesis formation are considered: abstraction, generalisation, and an abductive-like inference. In addition Peirce's pragmatic conception of truth and existence in terms of higher-order concepts are used in order to obtain a kind of pragmatic realist picture of mathematics.

I articulate Charles S. Peirce’s philosophy of mathematical education as related to his conception of mathematics, the nature of its method of inquiry, and especially, the reasoning abilities required for mathematical inquiry. The main thesis is that Peirce’s philosophy of mathematical education primarily aims at fostering the development of the students’ semeiotic abilities of imagination, concentration, and generalization required for conducting mathematical inquiry by way of experimentation upon diagrams. This involves an emphasis on the relation between theory and practice and (...) between mathematics and other fields including the arts and sciences. For achieving its goals, the article is divided in three sections. First, I expound Peirce’s philosophical account of mathematical reasoning. Second, I illustrate this account by way of a geometrical example, placing special emphasis on its relation to mathematical education. Finally, I put forth some Peircean philosophical principles for mathematical education. (shrink)

Four years after completing his Ph.D. on “The Psychology of Kant,” one of Peirce’s most famous students, John Dewey, published a compendium of Leibniz’s main theses, his 1888 Leibniz’s New Essays.1 Such a move from critical to pre-critical rationalism seems to echo Peirce’s judgment that to fully understand Kant, a thorough familiarity with Leibniz’s philosophy is an indispensable preliminary (N 2:186, 1899); for Kant himself “was reposing in a firm belief in the metaphysics of Leibnitz as theologized by Wolff when (...) he first read the book of Hume.” (W 1:104, 1863) Peirce himself started his reflection with the study of Kant’s thought. The purpose of the present paper is to demonstrate that his actual implicit.. (shrink)

This paper compares Peirce’s and Hintikka’s logical philosophies and identifies a cross-section of similarities in their thoughts in the areas of action-first epistemology, pragmaticist meaning, philosophy of science, and philosophy of logic and mathematics.