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.

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)

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)

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.

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)

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.

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)

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)

This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries, exploring its uses as a technical andformal asset in logic and science versus an explanatory mechanism. Whilegames comprise a widely used method in a broad intellectual realm(including, but not limited to, philosophy, logic, mathematics,cognitive science, artificial intelligence, computation, linguistics,physics, economics), each discipline advocates its own methodology and aunified understanding is lacking. In the first part of this paper, anumber of game theories in formal studies are critically (...) surveyed. Inthe second part, the doctrine of games as explanations for logic isassessed, and the relevance of a conceptual analysis of games tocognition discussed. It is suggested that the notion of evolution playsa part in the game-theoretic concept 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)

: This paper discusses the American scientist and philosopher Charles S. Peirce's (1839–1914) classification of the sciences from the contemporary perspective of interdisciplinary studies. Three theses are defended: (1) Studies on interdisciplinarity pertain to the intermediate class of Peirce's classification of all science, the sciences of review (retrospective science), ranking below the sciences of discovery (heuretic sciences) and above practical science (the arts). (2) Scientific research methods adopted by interdisciplinary inquiries are cross-categorial. Making them converge to an increasing extent with (...) the sciences of discovery, especially the methodeutic of normative logic, is one of the future challenges for studies on interdisciplinarity. (3) The overall structure of Peirce's classification, were it to be applied in today's situation, would not, in any major respect, be radically different from what it was designed to reflect a hundred years ago, in spite of the virtually exponential creation and production of new domains and the massive increase in investment in research and scientific publication. Accordingly, charges that the sciences of discovery are becoming ever more fragmented are not new. (shrink)

No detailed description available for "Analogy".

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)

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)

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)

We critically examine the intersection of developmental bioelectricity within the context of the Peircean philosophy of science. We address the criticism of Peirce’s objective idealism and synechism, contest the conflation of semiotic and physical laws, and scrutinise Peirce’s recovery of physical from psychological laws. The upshot is a nonmechanistic, nonreductive interpretation of the evolution of cognition in the bioengineering realm. The work of Kull and others is leveraged to demarcate semiotics and physics, emphasising the irreducibility of bioelectric phenomena to mechanistic (...) explanations. Our paper advocates for methodological synechism in evolutionary biology, highlighting the heightened roles of bioelectricity in morphogenesis and basal cognition. We propose the free-energy principle as a unifying arbiter that sets an explanatory pathway toward integrated cognition and meaning in developmental bioelectricity. (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)

We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the (...) three logics. (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)

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)

Abstraction and generalization are two processes of reasoning that have a special role in the construction of scientific theories and models. They have been important parts of the scientific method ever since the nineteenth century. A philosophical and historical analysis of scientific practices shows how abstraction and generalization found their way into the theory of the logic of science of the nineteenth-century philosopher Charles S. Peirce. Our case studies include the scientific practices of Francis Galton and John Herschel, who introduced (...) composite photographs and graphical methods, respectively, as technologies of generalization and thereby influenced Peirce’s logic of abstraction. Herschel’s account of generalization is further supported by William Whewell, who was very influential on Peirce. By connecting Herschel’s scientific technology of abstraction to Peirce’s logical technology of abstraction—namely, diagrams—we highlight the role of judgments in scientific observation by hypostatic abstractions. We also relate Herschel’s discovery-driven logic of science and Peirce’s open-ended diagrammatic logic to the use of models in science. Ultimately, Peirce’s theory of abstraction is a case of showing how logic applies to reality. (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)

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)

Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from other logical notations because they are capable of “multiple readings.” We refute this interpretation by showing that there are at least three different kinds (...) of such multiple readings. While readings of the first kind do not capture any essential difference among notations but only among vocabularies, corresponding to readings of the second and the third kind two general parameters according to which notations may differ are defined: linearity vs. non-linearity, and tabularity vs. non-tabularity. This answers the question of how there can be substantially different but expressively equivalent logical notations. (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 describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

The following two articles comprise two sets of Charles Peirce’s manuscripts, “Recent Developments of Existential Graphs and their Consequences for Logic” (MS 498, MS 499, MS 490 & S-36, 1906) and “Assurance through Reasoning” (MS 669 & MS 670, 1911), written for the National Academy of Sciences meetings in 1906 and 1911. The papers are deposited at Houghton Library, Harvard University. Only some parts of MS 470 have been published before, and in somewhat defective form. Although “Assurance” follows “Recent Developments” (...) chronologically, given the expository style of the former it is recommended to be read before “Recent Developments”. As the title indicates, in the latter Peirce goes on to describe his latest discoveries concerning the method and the logic of existential graphs. The transcription reproduces all significant deletions that appear in the original sheets. Editorial comments and additions are given in brackets. [Alt.:] means the beginning of an alternative sequence. [Del. (shrink)