Charles Peirce's theory of proper names is intimately connected to a number of central topics in contemporary philosophy of language and logic. Several papers have appeared in the past in which Peirce's theory of names has been attested to be a precursor of the causal-historical theory of reference.2 The causal-historical theory in turn has customarily been pigeonholed as the 'new' theories of reference that have been emerging since the 1950s (Devitt 1981; Donellan 1966; Kripke 1980; Marcus 1950; Putnam 1973). Among (...) those who have seen Peirce as such a precursor of the new theory of reference are DiLeo (1997), Hilpinen (1995), Maddalena (2006), Pape (1987), and Thibaud (1987). Related recent publications on the .. (shrink)

This special issue of Synthese on Peirce’s Logic and Philosophy of Language collects papers by Rocco Gangle & Gianluca Caterina, Chuangshen He, Risto Hilpinen, Matthew Moore, Charles S. Peirce, Ahti-Veikko Pietarinen and Frederik Stjernfelt.Charles Sanders Peirce was a scientist, philosopher, mathematician and semiotician, as well as one of the undisputed giants in the founding of modern logic. He advanced virtually endless areas in exact sciences. He worked throughout his long career as a scientist, logician, philosopher, mathematician, and meaning analyst. (...) As an advocate of developing and applying new methods and theories to improve logical analysis, his innovations included algebraic methods, quantification theory, semantics and pragmatics of communication, ethics and philosophy of notation, as well as comprehensive systems of diagrammatic logics which he termed existential graphs. Peirce held an exceptionally wide conception of logic, conceived as semeiotic, which he to .. (shrink)

The privilege against self-incrimination entails that anyone accused of a criminal offence has the right to remain silent. However, waiving the privilege is possible, but such waiver must be voluntary and in accordance with the will of the accused. This article examines the impact of sentence reductions based on confessions on the voluntariness of confessions. I argue that the concept of voluntariness must be interpreted from the perspective of the values and objectives underlying the privilege against self-incrimination. Depending on the (...) perspective chosen (i.e. objectives and values), sentence reductions can be problematic from the standpoint of the privilege against self-incrimination and the voluntariness requirement it entails. However, it should be also noted that moderate incentives can simultaneously promote the realization of these values and objectives, such as material truth. Categorical negative attitude towards all sentence reductions can be detrimental to the values that the privilege and the voluntariness requirement seek to protect. (shrink)

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...) and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning. (shrink)

The logic of worldviews provides a consistent method of comparison between multiple worldviews. The present paper connects the logic of worldviews to important historical and contemporary influences. Beginning with its roots in semiotics, an account of epistemology emerges which is mediated by a belief system. We show that Charles Peirce’s pragmatistic theory of inquiry is the bedrock beneath the logic of worldviews. We formulate it as a generalized version of inquiry with underlying game-theoretic semantics. In this paper, we extend Peirce’s (...) triadic model of signs to cover knowledge mediated by systems of beliefs. Michael Polanyi’s account of personal commitment includes a subsidiary/focal distinction that views theoretical frameworks as tools for interpreting orders of reality through actual practices of research. We also see how a precedent is set by Johan Georg Hamann’s epistemology of belief, recovered by Ludwig Wittgenstein, using reason as an interpretation of God’s speech in nature. We argue that Thomas Kuhn’s theory of inquiry and worldviews (or paradigms) may be fruitfully contrasted with Peirce’s theory, with reasoning by abduction, deduction, and induction occurring within the community of inquirers. The upshot is that although worldviews may be adopted for non-rational reasons, one can meaningfully compare worldviews through a method proposed by Alasdair MacIntyre: the proponent of a theory learns the language of competing theories and uses them as a metatheory to show how one’s own theory may not have the resources to resolve certain problematic situations. Our result is a meta-linguistic falsification in the sense of Peirce’s semiotics and pragmaticism: the competing theory may be used to show that the object theory does not have a strategy at its disposal to interpret the anomalous phenomenon. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a naturalistic (...) rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

In this article I bring to light a group of scientific and philosophical ideas and intellectual currents from the early era of the significs movement, contemporaneous with the origins of early analytic philosophy. Significs was a strong candidate for the science of language, meaning, and communication during the new century. Its heyday coincided with the forums of the Vienna Circle, yet its intellectual and cultural climate persisted until fading in the turmoil of the mid-century's analytic thought.

No detailed description available for "Analogy".

The objective of our article is to show how “quality of evidence” and “imprecision,” as they are defined in Grading of Recommendations Assessment, Development, and Evaluation articles, may lead to confusion. We focus only on the context of systematic reviews.

In medical research, it is not unusual that risks are ruled out without any specification the exact risk that was ruled out. This makes it difficult to balance expected health benefits and risk of harm when choosing between alternative treatment options. International guidelines for reporting medical research results are sufficiently specific when it comes to establishing health benefits. However, there is a lack of standards for reporting on ruling out risks. We argue that transparency is needed, as in the case (...) of non-inferiority trials. The Consolidated Standards of Reporting Trials and the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statements should be revised accordingly. (shrink)

The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across propositional attitude contexts, where the actual existence of an individual for the indefinite term is not presupposed. In this paper, a semantic resolution to this elusive puzzle is suggested, based on a new quantified intensional logic and game-theoretic semantics (GTS) of imperfect information. This constellation leads to an expressive (...) intensional language with a property of informational independence, argued to produce a purely semantic explication to intentional identity statements. One consequence is that various extra-logical and pragmatic factors become of secondary concern; it is possible to solve the puzzle by logico-semantic methods, albeit somewhat radically renewed ones. (shrink)

This volume analyses the religious, philosophical and folkloristic content of Ibn Waḥshiyya's (d. 931) Nabatean Agriculture, a book containing rich information on Late Antique paganism in Iraq. The book also contains 61 translated excerpts from the Nabatean Agriculture.

This book shows, for the first time in its full spectrum, the interconnectedness and topicality of two historically and philosophically significant developments of philosophical theories of the study of mind: that of phenomenology of Edmund Husserl and phaneroscopy of Charles S. Peirce. The chapters in this book put the two thinkers in a novel discourse while engaging in mutual scholarship on the large overlaps between the historically two largely independently developed but converging ideas of mind, cognition, consciousness, being, and experience. (...) It is the second volume in a projected series of three, the first of which is Peirce and Husserl: Mutual Insights on Logic, Mathematics, and Cognition (2019). This book consists of three parts. Part I contains studies on the basic elements and the methodological themes of both “phenomenologies” vis-à-vis each other. Part II of the book is dedicated to metaphysical and existential themes. Finally, this book contains a hitherto unpublished selection of connected texts from Charles Peirce concerning phaneroscopy, the theory of definitions, and other related historical, philosophical, and religious themes from 1910, transcribed and introduced by one of the editors of the volume. This book is of interest to scholars in phenomenology, phaneroscopy, and the history of ideas. (shrink)

A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs. The contribution of the GAMMA part of EGs to the study of modalities is examined. Some ramifications of Peirce's remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce's unpublished manuscript on modality from 1901.

I will show that the semantic structure of a new imperfect-information propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.

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)

Peirce believed that his pragmaticism can be conclusively proven. Beginning in 1903, he drafted several attempts, ending by 1908 with a semeiotic proof. Around 1905, he exposes the proof using the theory of Existential Graphs . This paper modernizes the semantics Peirce proposed for EGs in terms of game-theoretic semantics . Peirce's 1905 proof is then reconstructed in three parts, by relating pragmaticism to the GTS conception of meaning, showing that Peirce's proof is an argument for a relational structure of (...) the meaning of intellectual signs that our interpretative and strategic practices give rise to, and bringing out the key links between EGs and pragmaticism. (shrink)

In 1936, Gerhard Gentzen published a proof of consistency for Peano Arithmetic using transfinite induction up to ε0, which was considered a finitistically acceptable procedure by both Gentzen and Paul Bernays. Gentzen’s method of arithmetising ordinals and thus avoiding the Platonistic metaphysics of set theory traces back to the 1920s, when Bernays and David Hilbert used the method for an attempted proof of the Continuum Hypothesis. The idea that recursion on higher types could be used to simulate the limit-building in (...) transfinite recursion seems to originate from Bernays. The main difficulty, which was already discovered in Gabriel Sudan’s nearly forgotten paper of 1927, was that measuring transfinite ordinals requires stronger methods than representing them. This paper presents a historical account of the idea of nominalistic ordinals in the context of the Hilbert Programme as well as Gentzen and Bernays’ finitary interpretation of transfinite induction. (shrink)

I argue that in aiming to integrate the notions of representation and resemblance in the arts, philosophy of sciences and cognitive sciences one needs to focus on those processes of reasoning and creative inquiry that exploit our faculties of imagination and mental imagery, create novel and useful metaphors based on iconic types of meaning, and may result in discovery through the interactive practices of artists and scientists. To address these matters within the confines of Goodmanian conventionalist and symbolic theories of (...) logic, thought and language is unlikely to deliver these points. A comprehensive philosophy of signs, however, might do the job. (shrink)

I argue that many of the pragmatic notions that are commonly attributed to 1-1. P. Grice, or are reported to be inspired by his work on pragmatics, such as assertion, conventional implicature, cooperation, common ground, common knowledge, presuppositions and conversational strategies, have their origins in C. S. Peirce's theory of signs and his pragmatic logic and philosophy. Both Grice and Peirce rooted their theories in normative rationality, anti-psychologism and the relevance of assertions. With respect to the post-Gricean era of pragmatics, (...) theories of relevance may be seen to have been geared, albeit unconsciously, upon Peirce's pragmatic agenda. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There is no cross-identification of (...) higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across propositional attitude contexts, where the actual existence of an individual for the indefinite term is not presupposed. In this paper, a semantic resolution to this elusive puzzle is suggested, based on a new quantified intensional logic and game-theoretic semantics (GTS) of imperfect information. This constellation leads to an expressive (...) intensional language with a property of informational independence, argued to produce a purely semantic explication to intentional identity statements. One consequence is that various extra-logical and pragmatic factors become of secondary concern; it is possible to solve the puzzle by logico-semantic methods, albeit somewhat radically renewed ones. (shrink)

Abductive conclusions are drawn in a special, co-hortative mood. Abductive conclusions are representative interpretants that represent abduction as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple and natural, hence assuring us of its justified assertibility. Hence abductive reasoning is at home in addressing ‘How Possible’-questions in science. Abductive reasoning concerns the question of how things might, (...) could or would conceivably be such that they can be plausibly asserted. Peirce took all reasoning to be diagrammatic and representable using the graphical method of logic. Yet no examples have previously been found in his large manuscript corpus of what such non-deductive graphs might look like. This paper proposes a new interpretation of a sole exception, a sketch of two graphs from a rejected page from 1903, which might be the only surviving example of Peirce’s abductive graphs. The proposed interpretation takes them to be representative interpretants of this special inverse type of inference. (shrink)

Carl Sagan famously lamented how “we live in a society exquisitely dependent on science and technology, in which hardly anyone knows about science and technology. This is a clear prescription for disaster”. One might add that in contemporary societies, people know about the philosophy of science and technology even less.

Peirce's misfortunes to get some of his most important works published provide an interesting window into publication and editorial practices that prevailed at the turn of the 20th century in the United States. Also, what Peirce had to face appears not that different from what many have experienced in the world of contemporary academic publishing. Peirce's manuscripts were routinely deemed too technical, lengthy, or of limited interest to the general readership and scholars who were not experts of the area. But (...) who is supposed to be the expert when the matter presented is altogether new? Unscientific attitudes persist in today's publication culture, too, where a would-be academic quickly learns to err on the side... (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.

We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of (...) the might operator. (shrink)

This is the first book to collect research on game-theoretic tools in the analysis of language with particular reference to semantics and pragmatics. Games are significant, because they pertain equally to pragmatics and semantics of natural language. The book provides an overview of the variety of ways in which game theory is used in the analysis of linguistic meaning and shows how games arise in pragmatic as well as semantic investigations.

Introduction to the Special Issue in Logica Universalis on Jaakko Hintikka’s Logical Philosophy, with biographical and bibliographical remarks.

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of language games. Moreover, the kind of (...) interrelations that are emerging could be scrutinised from the viewpoint of logic that virtually necessitates game-theoretic conceptualisations, demonstrating the fact that the meaning of utterances may, in many situations, be understood as Wittgenstein’s language games of ‘showing or telling what one sees’. This provides motivation for the use of games in relation to logic and formal semantics that some commentators have called for. Many of the ideas can be traced to C.S. Peirce, for whom signs were vehicles of strategic communication. The conclusion about Wittgenstein is that the notions of saying and showing converge in his late philosophy. (shrink)

Peirce aspired for the completeness of his logic cum the theory of signs in his 1903 Lowell Lectures and other late manuscripts. Semeiotic completeness states that everything that is a consequence in logical critic is derivable in speculative grammar. The present paper exposes the reasons why Peirce would fall short of establishing semeiotic completeness and thus why he would not continue seeking a perfect match between the theories of grammar and critic. Some alternative notions are then proposed.

To understand evolutionary aspects of communication is to understand the evolutionary development of the meaning relations between language and the world. Such meaning relations are established by the application of the interactive systems of semantic games. Subsumed under the evolutionary framework of repeated games, semantics in such games refers to the cases in which stable meanings survive populations of strategically interacting players. The viability of compositionality, common ground and salience in such evolutionary games is assessed. Foundationally, the discussion is rooted (...) in Charles S. Peirce’s pragmatist philosophy. (shrink)

Sometimes we are faced with discussions in which we might think that one or more of our interlocutors should not be partaking in the argument. Sometimes we are faced with discussions where we are unfairly denied participation, or we recognise that some arguers are denied participation. This paper develops an account and typology of ‘argumentative exclusion’. We understand ‘argumentative exclusion’ as the denial of participation in a discussion because of different phenomena. In this paper, we distinguish between argumentative exclusions that (...) are unwarranted and argumentative exclusions that are in service of justice and resistance to social oppression. Online argumentation and online hate speech form the core examples of this work. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

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)

Modern explainable AI methods remain far from providing human-like answers to ‘why’ questions, let alone those that satisfactorily agree with human-level understanding. Instead, the results that such methods provide boil down to sets of causal attributions. Currently, the choice of accepted attributions rests largely, if not solely, on the explainee’s understanding of the quality of explanations. The paper argues that such decisions may be transferred from a human to an XAI agent, provided that its machine-learning algorithms perform genuinely abductive inferences. (...) The paper outlines the key predicament in the current inductive paradigm of ML and the associated XAI techniques, and sketches the desiderata for a truly participatory, second-generation XAI, which is endowed with abduction. (shrink)