The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

(1) An introduction to the principles of conceptual modelling, combinatorial heuristics and epistemological history; (2) the examination of a number of perennial epistemological-methodological schemata: conceptual spaces and blending theory; ars inveniendi and ars demonstrandi; the two modes of analysis and synthesis and their relationship to ars inveniendi; taxonomies and typologies as two fundamental epistemic structures; extended cognition, cognitio symbolica and model-based reasoning; (3) Plato’s notions of conceptual spaces, conceptual blending and hypothetical-analogical models (paradeigmata); (4) Ramon Llull’s concept analysis and combinatoric (...) spaces; (5) Gottfried Leibniz’s development of compositional analysis and synthesis as a general modelling method and a paradigm for ars inveniendi; (6) Fritz Zwicky’s revival of the morphological method of analysis and construction, and its subsequent computerised applications. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

The seventeenth century can be viewed as an era of (closely related) innovation in the formal and natural sciences and of paradigmatic diversity in philosophy (due to the coexistence of at least the humanist, the late scholastic, and the early modern tradition). Within this environment, the present study focuses on scholastic logic and, in particular, syllogistic. In seventeenth-century scholastic logic two different approaches to logic can be identified, one represented by the Dominicans Báñez, Poinsot, and Comas del Brugar, the other (...) represented by the Jesuits Hurtado, Arriaga, Oviedo, and Compton. These two groups of authors can be contrasted in three prominent features. First, in the role of the theory of validity, which is either a common basis for all particular theories (in this case, sentential logic and syllogistic), or a set of observations regarding a particular theory (in this case, syllogistic). Second, in the view of syllogistic, which is either an implication of a general theory of validity and a semantics of terms, or an algebra of structured objects. Third, in the role of the scholastic analysis of language in terms ofsuppositio, which either is a semantic underpinning of syllogistic, or it is replaced by a semantics of propositions. (shrink)

Burt C. Hopkins, The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein. Bloomington and Indianapolis: Indiana University Press. 2011. 592 pp. $49.95. ISBN 978-0-253-35671-...

The aspects of Erhard Weigel's Analysis Aristotelica ex Euclide restituta that foreshadowed and helped form some characteristics of symbolic logic are highlighted: first, the idea of a pure form of a logical syllogism or of a mathematical proof and, second, a tentative arithmetisation of some aspects of logic. Also, Weigel's emphasis on the role of symbols and figures in the process of mathematical proof is discussed.

The aim of this paper is to assess the central role the imagination acquires in Pierre Gassendi’s logic. I trace the structuring scheme of the three acts of the mind—common to a good number of late scholastic and early modern logics—to the Thomistic notion of the movement of reasoning in knowledge and argue that Gassendi revisits this notion in his logic. The three acts scheme is from the beginning a bridge between logic and the natural philosophical treatment of the soul. (...) I show how Gassendi’s take on the three acts is similarly poised between his Logic and his Physics and I discuss the rationale, sources and consequences of his attribution of the three acts to the imagination. I argue for the following points: Gassendi’s conception of the logical role of the imagination answers to his empiricist epistemology, his naturalized view of the mind and his notion of a natural logic; it is also operative in his pairing of the formal mechanism of logical operations with a progressive mechanism of the operations of the mind; and it serves as a counterpart to his experimental understanding of the progress of knowledge.1. (shrink)

Gerolamo Saccheri, Logica dimostrativa. Edited and translated by Massimo Mugnai and Massimo Girondino. Pisa: Edizioni della Normale, 2012. Vol. I. LVII +295 pp. Vol. II. II + 168 pp. € 40.00. ISBN...

Au cours des dernières décennies, les travaux portant sur les pratiques humaines réelles ont pris de l'importance dans différents domaines de la philosophie, sans pour autant atteindre une position dominante. À ce jour, ce type de tournant pratique n'a cependant pas encore pénétré la philosophie de la logique. En première partie, j'esquisse ce que serait (ou pourrait être) une philosophie de la logique centrée sur l'étude des pratiques, en insistant en particulier sur sa pertinence et sur la manière de la (...) conduire. En deuxième partie, j'illustre cette approche centrée sur les pratiques au moyen d une étude de cas : le rôle joué par les langages formels en logique, en particulier dans les pratiques des logiciens. Ma thèse est que les langages formels jouent un rôle opératoire fondamental dans le travail des logiciens en tant que technologie pratique du crayon et du papier, génératrice de processus cognitifs - et qui plus spécifiquement vient contrebalancer certains de nos schémas cognitifs « spontanés » peu adéquats à la recherche en logique (ainsi que dans d'autres domaines). Cette thèse sera appuyée sur des données empiriques venant de la recherche en psychologie du raisonnement. Avec cette analyse j'espère montrer qu'une philosophie de la logique centrée sur l'étude des pratiques peut être fructueuse, en particulier si elle est complétée par les réflexions méthodologiques nécessaires. (shrink)