Peirce’s philosophy, to a great extent, continues to be neglected as a potentially valuable resource for theologians and scholars of religion. This essay represents an attempt to rectify that state of affairs, albeit focused narrowly on how some of Peirce’s ideas might help to illuminate the role that attention plays in transforming consciousness and shaping certain meditative practices. Such practices display a logic consistent with the one that Peirce described in the process of developing his semiotic theory and his (...) theory of inquiry. While his writings on logic are voluminous, Peirce produced only a very few scattered remarks about the “logic of meditation,” broadly conceived. One purpose of this essay is to collect and to examine carefully those remarks. Another is to evaluate their significance for contemporary philosophers of religion who are invested in the task of trying to understand the nature and purpose of meditation, not as a single type of exercise, but in its various forms and manifestations. (shrink)

The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.

Robert Burch describes Peircean Algebraic Logic as a language to express Peirce's “unitary logical vision” , which Peirce tried to formulate using different logical systems. A “correct” formulation of Peirce's vision then should allow a mathematical proof of Peirce's Reduction Thesis, that all relations can be generated from the ensemble of unary, binary, and ternary relations, but that at least some ternary relations cannot be reduced to relations of lower arity.Based on Burch's algebraization, the authors further simplify the (...) mathematical structure of PAL and remove a restriction imposed by Burch, making the resulting system in its expressiveness more similar to Peirce's system of existential graphs. The drawback, however, is that the proof of the Reduction Thesis from Burch no longer holds. A new proof was introduced in Hereth Correia, and Pöschel and was published in full detail in Hereth .In this paper, we provide proof of Peirce's Reduction Thesis using a graph notation similar to Peirce's existential graphs. (shrink)

Development of decision-support and intelligent agent systems necessitates mathematical descriptions of uncertainty and fuzziness in order to model vagueness. This paper seeks to present an outline of Peirce’s triadic logic as a practical new way to model vagueness in the context of artificial intelligence. Charles Sanders Peirce was an American scientist–philosopher and a great logician whose triadic logic is a culmination of the study of semiotics and the mathematical study of anti-Cantorean model of continuity and infinitesimals. After presenting (...) Peircean semiotics within AI perspective, a mathematical formulation of a Peircean triadic set is given in relationship with classical and fuzzy sets. Using basic logical operators, all possible respective implication operators, bi-equivalence operators, valid rules of inference, and associative, distributive and commutative logical properties are derived and verified through the truth function approach. In order to suggest practical directions, aggregation operators for Peirce’s triadic logic have been formulated. A mathematical formulation of a medical diagnostic problem and ER diagram of a library management system using Peirce’s triadic relation show potential for further applications of the proposed triadic set and triadic logic. Alongside, a classical AI game—The Wumpus World—is implemented to show practical efficacy in comparison with binary implementation. Besides giving some preliminary formulations for trichotomous set theory and definition of finite automaton, development of hybrid architectures for intelligent agents and evolutionary computations are discussed as potential practical avenues for Peirce’s triadic logic. (shrink)

Some very good arguments can be given in favor of the Augustinean wisdom, according to which it is impossible to provide a satisfactory definition of the concept of time. However, even in the absence of a proper definition, it is possible to deal with conceptual problems regarding time. It can be done in terms of analogies and metaphors. In particular, it is attractive to make use of Peirce's diagrams by means of which various kinds of conceptual experimentation can be carried (...) out. This paper investigates how Peircean diagrams can be used within the study of time. In particular, we discuss 1) the topological properties of time, 2) the implicative structure in tense logic, 3) the notions of open future and branching time models, and finally 4) tenselogical alternatives to branching time models. (shrink)

The article presents a reading of Badiou’s trilogy, L’Être et l’événement (1988), Logiques des mondes (2006), and L’Immanence des vérités (2018), and points out the mathematical connections with the works of Cohen, Grothendieck, and large cardinal specialists. A synthetic rendering of these connections is first offered, following precise passages in Badiou’s work, then a category-theoretic and Peircean perspective is explored in order to specify the many dialectics in the trilogy, and, finally, some open problems are proposed.

The notion that we live, or should live, in a “post-metaphysical” age is prevalent, with semiotics displacing metaphysics in many quarters; in other words, the study of meaning has supplanted the study of being. Charles Peirce, a founder of contemporary semiotics, seems to agree with this view on occasion; claiming, for example, “The demonstrations of the metaphysicians are all moonshine.” (Peirce c.1897: 1.7) On the other hand, Peirce consistently reserved a place for metaphysics within his classification of the sciences, serving (...) in part as a bridge between philosophy and the special sciences. Thus, while Peirce consistently argues that metaphysics must rest upon logic/semiotic – citing the exemplars of Aristotle and Kant – a properly Peircean metaphysics is irreducible to, and irreplaceable by, semiotics (cp. Peirce c.1902: 2.121). This paper will explore Peirce’s understanding of metaphysics in relation to his semiotics, focusing on the following issues. First, I will analyze some of Peirce’s claims concerning the relationship between semiotics and metaphysics within his classification(s) of the sciences. Second, I will address Peirce’s claim that metaphysics is unavoidable, for “[f]ind a scientific man who proposes to get along without any metaphysics…and you have found one whose doctrines are thoroughly vitiated by the crude and uncriticized metaphysics with which they are packed.” (Peirce 1905-1906: 1.129) Third, I will explore briefly the relationship between metaphysics and the special sciences. Answering these questions, and stimulating new ones, should help us begin to understand why such a thoroughly semiotic thinker as Peirce maintains the need for metaphysics. (shrink)

It is sometimes argued that the fact that possession of perfect knowledge about the future is impossible, means that it is impossible for decisions to be rational. This reasoning is fallacious. If rationality is given a new interpretation, then decisions can be considered rational. A theory of decision that has as its basis Peirce’s theory of abduction can provide a new way of understanding decisions as rational processes. The Peircean theory of decision (i) considers decisions as part of a (...) complete strategy, and (ii) shows that decision making is governed by the same rules as scientific abduction. These rules are neither permissive rules like rules of deductive inference nor predictive like laws of nature, but rather genuine laws of conduct that determine what step should be made, if a given end is to be reached. (shrink)

Preface -- Part I: Philosophical logic and philosophy of language -- Rules versus theorems : a new approach for mediation -- Between intuitionistic and two-valued logic -- On the relation between the partition of a whole into parts and the attribution of properties to an object -- Basic objectives of dialogic logic in historical perspective -- Pragmatic and semiotic prerequisites for predication : a dialogue model -- Pragmatics and semiotics : the peircean version of ontology and (...) epistemology -- Intentionality and its language-dependency -- Meaning postulates and rules of argumentation : remarks concerning the pragmatic tie between meaning (of terms) and truth (of propositions) -- What do language games measure? -- Features of Indian logic -- Part II: Methods in philosophy, in art, and in science -- The concept of science : some remarks on the methodological issue construction versus description in the philosophy of science -- Is and ought revisited -- Competition and cooperation : are they antagonistic or complementary? -- Another version of methodological dualism -- The pre-established harmony between the two Adams -- On the way to conceptual and perceptual knowledge -- Self and other : remarks on human nature and human culture -- On the concept of symmetry -- Procedural principles of the Eerlangen School : on the interrelation between the principles of method, of dialogue, and of reason. (shrink)

The evolutionary debunking argument advanced by Sharon Street, Michael Ruse, and Richard Joyce employs the logic of Paul Griffiths and John Wilkins to contend that humans cannot have knowledge of moral truths, since the evolutionary process that has produced our basic moral intuitions lacks causal connections to those (putative) truths. Yet this argument is self-defeating, because its aim is the categorical, normative claim that we should suspend our moral beliefs in light of the discoveries about their non-truth-tracking origins, when (...) it is precisely this claim that relies upon the normativity under attack. This article cites Charles S. Peirce (1839–1914) to argue that such self-defeat can be avoided by expanding upon the basic structure of the argument put forth by Griffiths and Wilkins, provided that one embraces a version of realism that corresponds with Peirce's doctrine of final causation. So construed, final causation reconciles real generals (including real moral values) with natural selection and undergirds further speculation of moral facts within values per se. (shrink)

Charles Sanders Peirce is best known as the founder of pragmatism, but the name that he preferred for his overall system of thought was ‘‘synechism’’ because the principle of continuity was its central thesis. He considered time to be the paradigmatic example and often wrote about its various aspects while discussing other topics. This essay draws from many of those widely scattered texts to formulate a distinctively Peircean philosophy of time, incorporating extensive quotations into a comprehensive and coherent synthesis. (...) Time is not an existential subject with past, present, and future as its incompatible predicates, but rather a real law enabling things to possess contrary qualities at its different determinations, and Peirce identifies four classes of such states based on when and how they are realized. Because time is continuous, it is not composed of instants, and even the present is an indefinite lapse during which we are directly aware of constant change. The accomplished past is perpetually growing as the possibilities and conditional necessities of the future are actualized at the present, and the entire universe evolves from being utterly indeterminate toward being absolutely determinate. Nevertheless, time must return into itself even if events are limited to only a portion of it, a paradox that is resolved with the aid of projective geometry. Temporal synechism thus touches on a broad spectrum of philosophical issues including mathematics, phenomenology, logic, and metaphysics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and CommunicationRobert W. BurchAhti-Veikko Pietarinen Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication Dordrecht, The Netherlands: Springer, 2006. xiv + 496 pp.This compendious volume of fourteen of Pietarinen's essays on Peirce, plus a three-page set of "Final Words" relating to the work of Robert Aumann, is a "must-have" (...) for both the Peirce scholar and any other philosopher who wishes to relate Peirce's thinking on language and logic to other major thinkers and logical themes of the twentieth century (and beyond). The essays extend or complement discussions of Peirce's logic and philosophy of language that have come to be expected from the "Finnish school" of philosophers, which includes Hintikka and Hilpinen, as well as Pietarinen.Nine of the essays (Chapters 3, 4, 5, 7, 8, 10, 12, 13, and 14), comprising about two-thirds of the entire book, are revised and expanded versions of essays that Pietarinen has previously published. The remaining one-third (approximately) of the book is brand new. Chapters 1 and 2 serve as general introductions to the book's major interests. Chapter 6 is on evidence for constructivism in Peirce, as well as several other topics. Chapter 9 compares Peirce's ideas with Wilfred Hodges's "dialogue foundations" and contains a small philosophical dialogue, which has Peirce, Wittgenstein, and Hodges as its characters. Chapter 11 concerns evolutionary semantics and language [End Page 577] games. And the cursory Chapter 15 of "Final Words" predicts that the game-theoretical approach to semantics and Peirce scholarship has an exploding future, like an erupting volcano.From the foregoing one can gather, correctly, that each essay in the book is separately conceived and that the book is not a single continuous line of argumentative development of one or even of a few themes. Still, the essays are similar to one another in two ways, which ways are closely related to each other. First, they all concern the Peircean doctrine that semeiotic and semeiosis constitute the heartland of logic, and that this heartland is vastly richer than the sort of pure mathematical calculi that might mistakenly be taken for logic itself (and were in fact so taken for much of the twentieth century). Second, they all deal with the Peircean insistence that semeiosis is inherently a form of Praxis in which interchanges occur between or among various "agents" or "actors," one of which might be nature itself; so that at the very least logic is dialogic, and so that more generally one may justifiably speak of semeiosis as involving something like a "game." These lines of exploration will surprise no seasoned Peirce scholar, but the special genius of the Finnish "school" of Peirce interpretation from Hintikka forward is to have spotlighted in dramatic fashion the game-theoretical nature of many elements in Peirce's semeiotic.In these essays Pietarinen amply exhibits two attainments of mind that are indispensable for the serious Peirce scholar. One is the object of what we might call "The Eisele Imperative" after the vehement urgings of Carolyn Eisele: this is the possession of some significant degree of sophistication in mathematics. Pietarinen's mathematical skills are plainly sufficient for his discussions of logic and game theory. For example, his Chapter 5 is an excellent technical discussion of Peirce's existential graphs, and his Chapter 7 is an admirable technical discussion of certain aspects of game theory and generalized quantifiers. Another crucial skill needed by the serious Peirce scholar is the object of what we might call "The Pietarinen Corrective" after the practices exemplified in these essays: this is the possession of extremely broad knowledge of recent and contemporary philosophy, especially philosophy of language, logic, metaphysics, epistemology, and philosophy of science.Indeed, the breadth of Pietarinen's acquaintance with twentieth century logic and philosophy of language, both "analytic" and "continental," is breathtaking. This allows him scope for comparisons of Peirce's views with an extraordinarily wide, and not always easily anticipated, range of philosophers and philosophic traditions. Pietarinen's range of reference is so extensive that it would be pointless to attempt to discuss in... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Advances in Peircean Mathematics: The Colombian School ed. by Fernando ZalameaGianluca CaterinaFernando Zalamea (Ed.) Advances in Peircean Mathematics: The Colombian School Berlin, Boston: De Gruyter, 2022. 212 pp. (incl. index).The volume Advances in Peircean Mathematics is an important, very much needed contribution towards a deeper understanding of the impact of Peirce's work especially in the fields of mathematics, logic, and semiotic. It fills a (...) gap in the current literature by recasting some of [End Page 373] Peirce's profound mathematical insights into a formal framework. This is a finely edited editorial project, which summarizes the work of more than two decades done by a group of scholars—the Colombian School—lead by Fernando Zalamea, a pioneer of Peirce studies, and pragmatism in general, in Latin America.The structure of the volume unfolds in three dense chapters, each corresponding to a specific mathematical context connected to various aspects of Peirce's work. Broadly speaking, in the first chapter, Gustavo Arengas proposes the theory of higher category theory as a natural framework to represent the main traits of Peirce's semiotic; in the second chapter, Francisco Vargas develops a thorough set-theoretical model of Peirce's continuum; in the third chapter, Arnold Oostra, in a truly Peircean spirit, formalizes the notion of Intuitionistic Existential Graphs, emphasizing the idea that intuitionistic logic is the most natural context to represent and understand Peirce's diagrammatic logic. The fourth and last chapter, penned by Zalamea, provides the reader with a solid summary of the main results presented in the volume along with a robust road map to navigate through the technical details of the text.Mathematics, as implied by the title of the volume, is at the core of this project, and the authors do not shy away from the complexity, details, and depth of it in order to shed light on some of the most fundamental and groundbreaking nature of Peirce's ideas. That level of rigor and formal soundness is certainly one of the strengths of the volume, although readers who may not be acquainted with at least some basic notions of category theory or with the mathematics of Peirce's work, may find some of the text a bit terse—this is not a casual reading and it does require a certain level of commitment in order to appreciate the depth of the provided insights. On the other hand, all the background material is clearly laid out, making the volume a self-contained work which can be thoroughly enjoyed by a general audience.The real upshot of recasting some of Peirce's intuitions within the fabric of formal mathematics is not only that of providing the instruments to clarify those ideas, but also that of highlighting the role that Peirce's work has been playing in the development of modern mathematics in many relevant aspects, from the very genesis of category theory—which today is widely regarded as a necessary and unifying language in several fields of the mathematical and physical sciences—to the development of non-standard analysis, just to mention a few of them.An elegant instance of such perspective is offered by Gustavo Arengas in the first chapter, where it is argued that ∞-categories can be used to model the natural order of hierarchies implicit in Peirce's conception of the basic triadic relation between sign, object, and interpreter. What, at first glance, may seem just a simple analogy, unfolds onto a methodical and enlightening analysis of Peirce's semiotic, as the author builds [End Page 374] the connections with the relevant categorical constructions in a precise manner. Most of the rest of the chapter focuses on Peirce's notions of the pragmatic and pragmaticist maxim, and the use of basic structures such as monads, limits, presheaves and sheaves as the natural environment to better convey their meaning, both from a mathematical and a philosophical perspective. The reader will find it interesting to realize that, by delving deeper into the understanding of the relational nature of category theory, a great chunk of Peirce's work can be seen as fundamentally intertwined with the apparatus and the language of modern mathematics... (shrink)

Charles Peirce claimed that logically "every true universal, every continuum, is a living and conscious being." Such a claim is precisely what hunter-gatherers believe: a world-view depicted as animism. Suppose animism represents a sophisticated world-view, ineradicably embodied in our physical bodies, and that Peirce's philosophy points toward a new kind of civilization, inclusive of what I term animate mind. We are wired to marvel in nature, and this reverencing attunement does not require a concept of God. Marveling in nature proves (...) to be not only a motive source of human evolution, but key to continued development. (shrink)

Lines of identity in Peirce's existential graphs are logically complex structures that comprise both identity and existential quantification. Yet geometrically they are simple: linear continua that cannot have “furcations” or cross “cuts.” By contrast Peirce's “ligatures” are geometrically complex: they can both have furcations and cross cuts. Logically they involve not only identity and existential quantification but also negation. Moreover, Peirce makes clear that ligatures are composed of lines of identity by virtue of the fact that such lines can be (...) “connected” with one another and can “abut upon” one another at a cut. This paper shows in logical detail how ligatures are composed and how they relate to identity, existential quantification, and negation. In so doing, it makes use of Peirce's non-standard account of the linear continuum, according to which, when a linear continuum is separated into two parts, the parts are symmetric rather than asymmetric, and the one point at which separation occurs actually becomes two points, each of which is a Doppelgänger of the other. (shrink)

Be aware... and you will be mindful of a notable ambiguity in semiotics as well as of those who have masterfully strived to transcend it. This event, commented on by Elize Bisanz (Texas Tech University) and chaired by William Passarini (Institute for Philosophical Studies), is part of the activities of the 2022 International Open Seminar on Semiotics: a Tribute to John Deely on the Fifth Anniversary of His Passing, cooperatively organized by the Institute for Philosophical Studies of the Faculty of (...) Arts and Humanities of the University of Coimbra, the Lyceum Institute, the Deely Project, Saint Vincent College, the Iranian Society for Phenomenology at the Iranian Political Science Association, the International Association for Semiotics of Space and Time, the Institute for Scientific Information on Social Sciences of the Russian Academy of Sciences, the Semiotic Society of America, the American Maritain Association, the International Association for Semiotic Studies, the International Society for Biosemiotic Studies, the International Center for Semiotics and Intercultural Dialogue, Moscow State Academic University for the Humanities and the Mansarda Acesa with the support of the FCT - Foundation for Science and Technology, I.P., of the Ministry of Science, Technology and Higher Education of the Government of Portugal under the UID/FIL/00010/2020 project. *** Ionut Untea is currently a fellow-in-residence at the Akademie Schloss Solitude, in Stuttgart, where he is researching on the semioethic and aesthetic coordinates of the “social compact” and intercorporeal relationships. In 2021, he has taught a course entitled “Intercultural Philosophy: Semiotic Approaches and Aesthetic Themes” as a Visiting Professor at Università degli Studi di Bari Aldo Moro. Since 2016, he has been teaching History of Western Philosophy and Semiotics at Southeast University, Nanjing. He previously taught at the University of La Rochelle, and was a postdoctoral fellow of the Foundation for Interreligious and Intercultural Research and Dialogue (FIIRD) at the University of Geneva. He obtained his doctorate in 2013 at Ecole Pratique des Hautes Etudes (EPHE), in Paris. He holds Romanian citizenship, having obtained his first degrees in philosophy and theology at the University of Bucharest. His focus is on the modern and contemporary intersections between semiotic, moral, political and religious thought. He has published recently “Peircean and Confucian Interpretations of Self-Development: Semiotic, Normative and Aesthetic Aspects,” Philosophy East and West 72.1: January 2022: 188–209. His recent work has appeared in academic journals such as The American Journal of Semiotics (2021), Semiotica (2021), Ethical Perspectives (2021, 2019), Philosophical Forum (2019), Journal of Aesthetic Education (2020), Politics and Religion (2019), The Monist (2018). *** Dr. Bisanz's education includes an MA (Philosophy) from the University of Lüneburg in Germany; Graduate Studies in Jacques Derrida's philosophy Seminars at l'École des Hautes Études en Sciences Sociales, Paris; a Ph.D. (History of Communication Sciences) from the Technische University of Berlin; and a post-doc Habilitation Degree (Image Studies), from the University of Lüneburg. Bisanz has published several interdisciplinary books reflecting her educational background; these include a major European edition of Peirce's writings The Logic of Interdisciplinarity: Charles S. Peirce, The Monist Series (Akademie-Verlag, Berlin, 2009), which was realized with the aid of research and publication grants from State and private endowments; Prolegomena to a Science of Reasoning: Phaneroscopy, Semeiotic, Logic, which is a collection of manuscripts by Peirce on reasoning (Peter Lang Publishers, Berlin, 2016); Overcoming the Iconic Turn: Cultural Concepts of Images [in German: Die Überwindung des Ikonischen: Kulturwissenschaftliche Perspektiven der Bildwissenschaft] (transcript Verlag, Hamburg, 2010). Bisanz is a member of the advising board of the Deutsche Gesellschaft für Semiotik and chair of the society's subdivision for Cultural Studies. Since her Fulbright scholarship in 2006 at Texas Tech University, Bisanz has been an active member of the Institute for Studies in Pragmaticism. She has organized several international congresses dedicated to Peirce and interdisciplinary research. *** Homepage: https://www.uc.pt/fluc/uidief/io2s Auditorium: https://www.uc.pt/fluc/uidief/io2s/auditorium *** Technical support assured by Robert Junqueira. The cover image for the video was designed by Zahra Soltani. (shrink)

In 1968 Donald M. MacKinnon (1913-94), the Scottish philosopher and theologian, posed the rhetorical question: "Does not metaphysics sometimes emerge as the attempt to convert poetry into the logically admissible?"1 An elucidation of this implicit assertion may bring to light a useful perspective on the nucleus of the metaphysical enterprise that promotes the interanimation of philosophy and theology. At least, that is the ambition of a longer-term project.2However, in this essay,3 I will presuppose an affirmative response to MacKinnon's question and (...) concentrate on three goals: (1) show that Peirce's Normative Sciences are an appropriate prism through which to investigate the cogency of a trajectory from poetry to .. (shrink)

Reconciling the many “faces” of Peirce – the Scientist, Philosopher, and Metaphysician - helps to make sense of the open-endedness and versatility of semiotics. Semiosis, for Peirce, knows no rigid hermeneutic or disciplinary bounds. It thus forces us to be open to interdisciplinary and holistic inquiries. The pragmatic maxim sets limits on metaphysical speculation, but it also legitimates the extension of the experimentalist method into cosmological, metaphysical, and even religious domains. Although Peirce's religious speculations are ultimately unsatisfactory, understanding why Peirce (...) expanded his thinking to such domains reveals the expansionist logic of Peircean semiotics beyond the mere idiosyncracies of the man. The triadic, dynamic logic of pragmatist inquiry seeks to expand to all social processes of fixing belief and forming habits, however quixotic; but it remains dubious whether such expansion can fully comport to the scientific, experimentalist method that Peirce preferred. (shrink)

Although he is best known as the founder of pragmatism, the name that Charles Sanders Peirce prefers to use for his comprehensive system of thought is "synechism" because the principle of continuity is its central thesis. This paper arranges and summarizes numerous quotations and citations from his voluminous writings to formalize and explicate his distinctive mathematical conceptions of hyperbolic and topical continuity, both of which are derived from the direct observation of time as their paradigmatic manifestation, and then apply them (...) in normative science and metaphysics, especially logic as semeiotic and cosmology. The resulting conclusion is that the intelligibility of the universe is plausibly explained by conceiving it as one immense sign, a vast inferential process: a semiosic continuum whose connected constituent signs are indefinite until deliberately marked off, with God the Creator as its overall dynamical object in the infinite past and God completely revealed as its overall final interpretant in the infinite future. (shrink)

In this book, Peirce's logical apparatus is used to explain some topics in biology where traditional scientific methods fail to establish the relation between the real and the virtual in the genetic script, the irreducibility of evolution to the genome, and the multidimensionality of the passage from genotype to phenotype. The interdisciplinary nature of this study consists in combining Peirce's triadic logic, linguistics and biology; the author, as a linguist, draws out similarities between sentence construction and protein folding. Three (...) main branches from the biological sciences are focused on: evolution, epigenetics and protein folding. The volume applies Peirce's logical tools to demonstrate the universal validity of his scientific method in the current research. (shrink)

Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of (...) quantification, the nature of propositions and the history of logic. In addition, he discussed questions of ethics, free will, and general theology. Prior’s philosophical works comprise about 200 titles. His earliest articles center on philosophical theology and historical studies of Scottish Reformed Theology. This led on to the publication of his first influential work on ethics: Logic and The Basis of Ethics (1949). With the invention of tense-logic in the early 1950s, his focus shifted to investigations into the syntax of tempo-modal logic leading to his seminal Time and Modality (1957), a volume derived from his John Locke Lectures in Oxford in 1956. Furthermore Prior, together with the Irish mathematician and logician C.A. Meredith (1904-76), made important early contributions to the semantics of possible worlds. Prior’s tense-logic provided a strong conceptual framework for problems pertaining to the philosophy of time. In Time and Modality, Prior discussed the philosophical implications of Ruth Barcan’s famous formulae for tense-logic, and in the 1960s he worked on the notion of the present. The most persistent problem running through Prior’s work is his study of the questions surrounding human freedom and divine foreknowledge, and more general philosophical problems emerging from this classical theological question. His thorough analysis of this problem, with the conceptual tools of tense-logic, received a crucial impetus from his correspondence with the young Saul Kripke, when the latter suggested the semantic tool of branching time to Prior. Prior’s development of two solutions based on branching time for the problem of future contingency, the Peircean and the Ockham solution, was most thoroughly developed in Past, Present and Future (1967), the most important work published by Prior. Characteristically for Prior’s methodological approach, the development of these two solutions were at the same time a development of two new systems of tense logic, and vice versa. One of Prior’s significant contributions to logic was his work on world propositions and instant propositions. In the course of developing these notions he also made one of the earliest formulations of hybrid logic. In Papers on Time and Tense (1968), he presented this idea in a more detailed manner in the context of his four grades of tense-logical involvement. (shrink)

Although most contemporary philosophers of language hold that semantics and pragmatics require separate study, there is surprisingly little agreement on where exactly the line should be drawn between these two areas, and why. In this paper I suggest that this lack of clarity is at least partly caused by a certain historical obfuscation of the roots of the founding three-way distinction between syntax, semantics and pragmatics in Charles Peirce’s pragmatist philosophy of language. I then argue for recovering and revisiting these (...) original roots, taking indexicality as a case-study of how certain questions connected with the distinction which are currently considered complex and difficult may be clarified by a ‘properly pragmatist pragmatics’. Such a view, I shall argue, upends a certain priority usually accorded to semantics over pragmatics, teaching that we do not work out what terms mean in some abstract overall sense and then work out to what use they are being put; rather, we must understand to what use terms are being put in order to understand what they mean. (shrink)

The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf of (...) real lines; (3) an array of subformalizations and proofs of Peirce's pragmaticist maxim, through methods in category theory, HoTT techniques, and modal logics. The book will be relevant to Peirce scholars, mathematicians, and philosophers alike, thanks to thorough assessments of Peirce's mathematical heritage, compact surveys of the literature, and new perspectives offered through formal and modern mathematizations of the topics studied. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the (...) set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then (...) consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

While the traditional conception of inductive logic is Carnapian, I develop a Peircean alternative and use it to unify formal learning theory, statistics, and a significant part of machine learning: supervised learning. Some crucial standards for evaluating non-deductive inferences have been assumed separately in those areas, but can actually be justified by a unifying principle.

Responding to the paradox of inference and the related problems in philosophy of logic, this paper argues for the necessity of distinguishing between two different objects of justification: logica utens and logica docens. Then, equipped with Peirce’s critical common-sensist conception of logica utens and his classification of sciences, I propose a diagnosis of and a solution to the problem of justification of logic. I argue that this alternative approach successfully avoids circularity in which most attempts in philosophy of (...) logic have been inescapably trapped. I also anticipate and respond to possible objections to taking a Peircean turn in justifying logic. (shrink)

Currently, there is a focus in science education on preparing students for lives as innovative and resilient citizens of the twenty-first century. Key to this is providing students with opportunities, mainly through inquiry processes, for discovery making and developing their creative reasoning by bringing school science closer to authentic science. I propose, building on the work of Woods, Magnani and the authors of a 2005 special issue of Educational Philosophy and Theory on Peirce, that these efforts can be advanced through (...) the adoption of a Peircean logic of discovery in the science classroom. I further suggest that this can only take place if a classical logic that frames school science, which deems abduction—the creative element of reasoning that drives discovery—as fallacious and not valuable as an inference making process, is replaced with a naturalised logic. Such a logic positions students as practical, not ideal agents of reasoning who in their hypothesis making are inferential-experts... (shrink)

In his Logical Investigations Edmund Husserl criticizes John Stuart Mill’s account of meaning as connotation, especially Mill’s failure to separate the distinction between connotative and non-connotative names from the distinction between the meaningful and the meaningless. According to Husserl, both connotative and non-connotative names have meaning or “signification”, that is, what Gottlob Frege calls the sense (“Sinn”) of an expression. The distinction between connotative and non-connotative names is a distinction between two kinds of meaning (or sense), attributive and non-attributive meaning (...) (“attributive und nicht-attributive Bedeutung”). Attributive (connotative) names denote (refer to) objects through their attributes, whereas a non-attributive name means a thing directly (“direkt”). In this paper I examine the concepts of attributive and non-attributive meaning by means of the semiotic theory of Charles S. Peirce, and compare Peirce’s account with the views of Frege, Husserl, Alexius Meinong, and David Kaplan and Gareth Evans. (shrink)

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization (...) of the notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable sentences. This (...) highlights a sharp edge to be crossed in order to attain an 'algebraization' of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N), is in its entirety expressible in three variables. (shrink)

This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his tense logic. It can be demonstrated that his approach provides an attractive formalization that makes it possible to discuss indeterminism and human freedom of choice in a very precise manner and in a broader metaphysical context. It is also argued that Prior’s development of this approach was (...) closely linked to his very personal struggles with fundamental religious and metaphysical questions. In his opinion, holding the doctrine of divine foreknowledge together with the doctrine of human freewill gives rise to difficult logical and philosophical problems. It appears that Prior, rather early on, decided to support what was later known as the Peircean solution, although he also analysed what he considered to be the most important alternative solution—the Ockhamist solution. This paper offers a discussion of some of Prior’s published books and papers as well as some of the papers in his Nachlass. (shrink)

Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.

This book consolidates and extends the authors’ work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge and its prevalent use of mathematics. To find an answer to the question “What kind of experimental activity is the scientific employment of mathematics?” the book addresses the problems involved in formalizing abductive cognition. For this, it implements the concept and (...) method of iconicity, modeling this theoretical framework mathematically through category theory and topoi. Peirce's concept of iconic signs is treated in depth, and it is shown how Peirce's diagrammatic logical notation of Existential Graphs makes use of iconicity and how important features of this iconicity are representable within category theory. Alain Badiou’s set-theoretical model of truth procedures and his relational sheaf-based theory of phenomenology are then integrated within the Peircean logical context. Finally, the book opens the path towards a more naturalist interpretation of the abductive models developed in Peirce and Badiou through an analysis of several recent attempts to reformulate quantum mechanics with categorical methods. Overall, the book offers a comprehensive and rigorous overview of past approaches to iconic semiotics and abduction, and it encompasses new extensions of these methods towards an innovative naturalist interpretation of abductive reasoning. (shrink)

Against the view that symbol-based semiosis is a human cognitive uniqueness, we have argued that non-human primates such as African vervet monkeys possess symbolic competence, as formally defined by Charles S. Peirce. Here I develop this argument by showing that the equivocal role ascribed to symbols by “folk semiotics” stems from an incomplete application of the Peircean logical framework for the classification of signs, which describes three kinds of symbols: rheme, dicent and argument. In an attempt to advance in (...) the classifying semiotic processes, Peirce proposed several typologies, with different degrees of refinement. Around 1903, he developed a division into ten classes. According to this typology, symbols can be further analysed in three subclasses (rheme, dicent, argument). I proceed to demonstrate that vervet monkeys employ dicent symbols. There are remarkable implications of this argument since ‘symbolic species theory’ fails to explore the vast Peircean semiotic philosophy to frame questions regarding the emergence and evolution of symbolic processes. (shrink)

This book is a synthesis of more than three decades of research into the concept of time and its semiotic nature. If traditional philosophy – and philosophy of time should be no exception – in the shadow of advancing biology can be said to have reached an impasse, one important reason for this, in harmony with Wittgenstein’s vision, appears to have been its lack of appropriate tools for explicating language. The present theory of time proceeds, accordingly, from the exploration of (...) temporal expressions in language as an evolutionary fact. It derives in a hypothetical, coherent feedback process of hierarchically ordered distinctions the semantics of time from its biologically dictated perceptual and cognitive-pragmatic origins. The corresponding abductive-regulative model is anchored in the assumption of biological rhythmization as the very foundation of perception and mental/physical action. Understood to originate in space and spatial perspective, time reveals itself as an instrument for temporal perspective on motion (events and situations) in a process of analysis, i.e., discontinuation of chaos made divisible and continuous by the rhythmical screen. Whereas traditional philosophy of time paid attention almost exclusively to the temporal category of tense, the biopragmatic model sees strong evidence in the perspectival nature of time for ascribing the decisive, and probably universal, role in temporal analysis to the linguistic category of aspect. Aspect may, according to the present findings, be assumed to partake already of change-of-state and cause-effect analysis without which man’s adaptation to new situations – and precondition for survival – would be inconceivable. The proposed model of space/time cognition, inspired by Hegelian dialectics, Heidegger-Gadamer’s hermeneutic circle and Peircean logic, makes Kantian a priori superfluous and liberates time from its enigmatic appearance. For the first time in temporal studies it thus appears possible to derive hypothetically linguistic expressions of time all the way from pretemporal, homogeneous continuity effected by biological rhythmization, via pretemporal metonymic (Gestalt), chunk-wise partitioning – as a general precondition for the perception and, based on primary metaphorization, the cognition of things, space and motion – to temporal analysis/discontinuation proper, primarily by aspectual perspective, and the subsequent synthesized, heterogeneous continuity of temporally ordered events. The conception of time, so disastrous for modern temporal logic, i.e., as moving object assigned extension, divisible continuity (‛linearity’) and direction, can be shown to have emerged as a result of secondary metaphorization. (shrink)

In this article, we try to trace the relationship between semiotics and theory of legal reasoning using Peirce’s idea that all reasoning must be necessarily in signs: every act of reasoning/argumentation is a sign process, leading to “the growth of knowledge. The broad scope and universal character of Peirce’s sign theory of reasoning allows us to look for new conciliatory paradigms, which must be presented in terms of possible synthesis between the traditional approaches to argumentation. These traditional approaches are strongly (...) affected by either the dialectical (logical) perspective or the rhetorical perspective on argumentation, while Peirce’s approach tends to reconcile the rhetorical and methodological aspects of reasoning. This reconcilation is best illustrated by Peircean analysis of argument’s logical and rhetorical structure; while the diagrammatic (iconic) analysis of arguments is performed in the system of Existential Graphs (which is Peirce’s major methodological system, designed for the expressions of propositions in point of their relational structure). Obviously, Peirce’s original division of argument parts offered only the characterisation of the sign activity (involved in the process of reasoning), and thus left much to be desired in terms of practical explication. (shrink)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

The logical and illogical unity of translation with a triadic approach was mediated by Peirce’s three-way semiotics of sign, object, and interpretant. Semio-translation creates a dynamic network of Peircean interpretants, which deal with artificial but alive signs progressively growing from undetermined (“bad”) versions to higher determined (“good”) translations. The three-way forms of translation were mentioned by Goethe. He imitated the old Persian poetry of Hafiz (14th Century) to compose his German paraphrase of West-östlicher Divan (1814–1819). To justify the liberties (...) of his own translation/paraphrase, Goethe furnished notes in Noten und Abhandlungen and Paralipomena (1818–1819). Through his critical glosses, he explained information, adaptation, and reproduction of the foreign culture and literature (old Persian written in Arabic script) to become transplanted into the “equivalent” in German 19th Century verse. As critical patron of translation and cultural agent, Goethe’s Divan notes are a parody mixing Orient and Occident. He built a (lack of) likeness, pointing in the pseudo-semiosis of translation to first and second degenerate types of object and sign. (shrink)

This paper reconstructs the Peircean interpretation of Kant's doctrine on the syntheticity of mathematics. Peirce correctly locates Kant's distinction in two different sources: Kant's lack of access to polyadic logic and, more interestingly, Kant's insight into the role of ingenious experiments required in theorem-proving. In this second respect, Kant's analytic/synthetic distinction is identical with the distinction Peirce discovered among types of mathematical reasoning. I contrast this Peircean theory with two other prominent views on Kant's syntheticity, i.e. the (...) Russellian and the Beckian views, and show how Peirce's interpretation of Kant solves the dilemma that each of these two views faces. I also show that Hintikka's criterion for Kant's synthetic judgments, i.e. a new individual introduced by the -instantiation rule, does not capture the most important characteristic of Peirce's theorematic reasoning, i.e. the process of choosing a correct individual. (shrink)

The nature of the Peircean sign is considered in light of a nonlinear, complemented, context dependent lattice, with particular focus on how the lattice: (1) reveals the function of distinctions between signs, (2) supports Peirce’s triadic notion of semiosis, (3) models the notion of signs incessantly becoming other signs, (4) takes its leave of classical logical principles, and (5) accounts for the emergenceof novelty — spontaneous, fresh, unique signs.

Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...) colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources. (shrink)