In this article, I argue that mapping-based accounts of applications cannot be comprehensive and must be supplemented by analyses of other, qualitatively different, forms of application. I support these claims by providing a detailed discussion of the application of mathematics to a problem of election design that is prominent in social choice theory.

Depending on how it is clarified, the applicability of mathematics can lie anywhere on a spectrum from the completely trivial to the utterly mysterious. At the one extreme, it is obvious that mathematics is used outside of mathematics in cases which range from everyday calculations like the attempt to balance one s checkbook through the most demanding abstract modeling of subatomic particles. The techniques underlying these applications are perfectly clear to those who have mastered them and there seems to be (...) little for the philosopher to say about such cases. At the same time, moving to the other extreme, scientists and philosophers have often remarked on the remarkable power that mathematics provides to the scientist, especially in the formulation of new scientific theories. Most famously, Wigner claimed that The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve (Wigner 1960, p. 14). But Wigner is far from an isolated case. According to Kant, in any special doctrine of nature there can be only as much proper science as there is mathematics therein (Kant 1786, p 6), and others seem to agree that there is some significant tie between mathematics and modern science. (shrink)

Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

We outline a framework for analyzing episodes from the history of science in which the application of mathematics plays a constitutive role in the conceptual development of empirical sciences. Our starting point is the inferential conception of the application of mathematics, recently advanced by Bueno and Colyvan. We identify and discuss some systematic problems of this approach. We propose refinements of the inferential conception based on theoretical considerations and on the basis of a historical case study. We demonstrate (...) the usefulness of the refined, dynamical inferential conception using the well-researched example of the genesis of general relativity. Specifically, we look at the collaboration of the physicist Einstein and the mathematician Grossmann in the years 1912--1913, which resulted in the jointly published ``Outline of a Generalized Theory of Relativity and a Theory of Gravitation,'' a precursor theory of the final theory of general relativity. In this episode, an independently developed mathematical theory, the theory of differential invariants and the absolute differential calculus, was applied in the process of physical theorizing aiming at finding a relativistic theory of gravitation. We argue that the dynamical inferential conception not only provides a natural framework to describe and analyze this episode, but it also generates new questions and insights. We comment on the mathematical tradition on which Grossmann drew, and on his own contributions to mathematical theorizing. We argue that the dynamical inferential conception allows us to identify both the role of heuristics and of mathematical resources as well as the systematic role of problems and mistakes in the reconstruction of episodes of conceptual innovation and theory change. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ (...) or ‘how’ questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals (...) and cardinals, transfinite induction, the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ (...) or ‘how’ questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ (...) or ‘how’ questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

The question of the applicability of mathematics is an epistemological issue that was explicitly raised by Kant, and which has played different roles in the works of neo-Kantian philosophers, before becoming an essential issue in early analytic philosophy. This paper will first distinguish three main issues that are related to the application of mathematics: indispensability arguments that are aimed at justifying mathematics itself; philosophical justifications of the successful application of mathematics to scientific theories; and discussions on the (...) application of real numbers to the measurement of physical magnitudes. A refinement of this tripartition is suggested and supported by a historical investigation of the differences between Kant’s position on the problem, several neo-Kantian perspectives, early analytic philosophy, and late 19th century mathematicians. Finally, the debate on the cogency of an application constraint in the definition of real numbers is discussed in relation to a contemporary debate in neo-logicism, in order to suggest a comparison not only with Frege’s original positions, but also with the ideas of several neo-Kantian scholars, including Hölder, Cassirer, and Helmholtz. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, (...) showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In this paper I examine Field’s account of the applicability of mathematics from a measurementtheoretic perspective. Within this context, I object to Field’s instrumentalism, arguing that it depends on an incomplete analysis of applicability. I show in particular that, once the missing piece of analysis is provided, the role played by numerical entities in basic empirical theories must be revised: such revision implies that instrumentalism should be rejected and mathematical entities be regarded not merely as useful tools but (...) also as conceptual schemata by means of which we can articulate our understanding of experience. (shrink)

The dispute over the viability of various theories of relativistic, dissipative fluids is analyzed. The focus of the dispute is identified as the question of determining what it means for a theory to be applicable to a given type of physical system under given conditions. The idea of a physical theory's regime of propriety is introduced, in an attempt to clarify the issue, along with the construction of a formal model trying to make the idea precise. This construction involves (...) a novel generalization of the idea of a field on spacetime, as well as a novel method of approximating the solutions to partial-differential equations on relativistic spacetimes in a way that tries to account for the peculiar needs of the interface between the exact structures of mathematical physics and the inexact data of experimental physics in a relativistically invariant way. It is argued, on the basis of these constructions, that the idea of a regime of propriety plays a central role in attempts to understand the semantical relations between theoretical and experimental knowledge of the physical world in general, and in particular in attempts to explain what it may mean to claim that a physical theory models or represents a kind of physical system. This discussion necessitates an examination of the initial-value formulation of the partial-differential equations of mathematical physics, which suggests a natural set of conditions---by no means meant to be canonical or exhaustive---one may require a mathematical structure, in conjunction with a set of physical postulates, satisfy in order to count as a physical theory. Based on the novel approximating methods developed for solving partial-differential equations on a relativistic spacetime by finite-difference methods, a technical result concerning a peculiar form of theoretical under-determination is proved, along with a technical result purporting to demonstrate a necessary condition for the self-consistency of a physical theory. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...) are discussed. MacIntyre’s virtue ethics accommodates both the good mathematician and the ethics of the social practice of mathematics. It demonstrates that purism is compatible with acknowledging the social responsibility of mathematics. Four aspects of this responsibility are mentioned, two concerning the impact of mathematics via education, and two concerning explicit and implicit applications of mathematics. The last of these opens up the performativity of mathematical and measurement applications in society, which change the very processes they are supposed to measure. Although these applications are not explored in detail, they illustrate the importance of considering the ethics and social responsibility of mathematics in society. MacIntyre’s virtue theory opens a broad approach to the controversial topic of the ethics of mathematics encompassing purism, and absolutist and social constructivist philosophies of mathematics, but still enabling ethical critiques of the impact of mathematics on society. (shrink)

The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], (...) and argumentation schemes constructed by Walton et al. [54], and explore some connections between, as well as within, the theories. For instance, we investigate Peirce’s abduction to deal with surprising situations in mathematics, represent Pollock’s examples in terms of Toulmin’s layout, discuss connections between Toulmin’s layout and Walton’s argumentation schemes, and suggest new argumentation schemes to cover the sort of reasoning that Lakatos describes, in which arguments may be accepted as faulty, but revised, rather than being accepted or rejected. We also consider how such theories may apply to reasoning in mathematics: in particular, we aim to build on ideas such as Dove’s [13], which help to show ways in which the work of Lakatos fits into the informal reasoning community. (shrink)

We reconstruct the group action in the group configuration theorem. We apply it to show that in an ω-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

Since then we have been engaged in the development of such results of greater relevance to mathematical practice. In January, 1997 we presented some new results of this kind involving what we call “jump free” classes of finite functions. This Jump Free Theorem is treated in section 2.

The volume offers an overview of current research in ontology, distinguishing basic conceptual issues, domain applications, general frameworks, and mathematical ...

Context: The paper utilizes a conceptual analysis to examine the development of abstract conceptual structures in mathematical problem solving. In so doing, we address two questions: 1. How have the ideas of RC influenced our own educational theory? and 2. How has our application of the ideas of RC helped to improve our understanding of the connection between teaching practice and students’ learning processes? Problem: The paper documents how Ernst von Glasersfeld’s view of mental representation can be illustrated (...) in the context of mathematical problem solving and used to explain the development of conceptual structure in mathematical problem solving. We focus on how acts of mental re‑presentation play a vital role in the gradual internalization and interiorization of solution activity. Method: A conceptual analysis of the actions of a college student solving a set of algebra problems was conducted. We focus on the student’s problem solving actions, particularly her emerging and developing reflections about her solution activity. The interview was videotaped and written transcripts of the solver’s verbal responses were prepared. Results: The analysis of the solver’s solution activity focused on identifying and describing her cognitive actions in resolving genuinely problematic situations that she faced while solving the tasks. The results of the analysis included a description of the increasingly abstract levels of conceptual knowledge demonstrated by the solver. Implications: The results suggest a framework for an explanation of problem solving that is activity-based, and consistent with von Glasersfeld’s radical constructivist view of knowledge. The impact of von Glasersfeld’s ideas in mathematics education is discussed. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical (...) theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern (...) for improvement of mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as elementary (...) recursive Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (shrink)

The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. In the book (...) problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today‘s mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally – First nonstandard steps Retrospection. (shrink)

In his influential 1960 paper ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Eugene P. Wigner raises the question of why something that was developed without concern for empirical facts—mathematics—should turn out to be so powerful in explaining facts about the natural world. Recent philosophy of science has developed ‘Wigner’s puzzle’ in two different directions: First, in relation to the supposed indispensability of mathematical facts to particular scientific explanations and, secondly, in connection with the idea that aesthetic criteria (...) track theoretical desiderata such as empirical success. An important aspect of Wigner’s article has, however, been overlooked in these debates: his worries about the underdetermination of physical theories by mathematical frameworks. The present paper argues that, by restoring this aspect of Wigner’s argument to its proper place, Wigner’s puzzle may become an instructive case study for the teaching of core issues in the philosophy of science and its history. (shrink)

This volume contains papers and abstracts of papers delivered at the colloquium at Tihany, Hungary in 1962. There were seven sections; mathematical logic, computers and automata theory, circuit theory, mathematical linguistics, computers and programming, applications of computers in economics, artificial intelligence. Among the more interesting—to the reviewer—were these papers: one by Church concerning an independence problem in recursive arithmetic; Muller—characterizing classes of recursive functions; a long and philosophically stimulating study by Watanabe on a formalization of inductive logic; Kiefer—applications (...) of set theoretic techniques in linguistics; Abraham and Salapina—recognition of synonymity by machine; Gelernter—problem-solving graphs and heuristic programming. A number of papers which were read are not included in this volume.—P. J. M. (shrink)

Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as (...) Bas van Fraassen, Dana Scott, Tyler Burge, and Jaakko Hintikka is represented. Lambert provides an introductory essay placing free logic in the logical tradition beginning with Aristotle, developing it as the natural culmination of a trend begun in the Port Royal logic of the 1600s, and continuing through current predicate logic--the trend to rid logic of existence assumptions. His Introduction also provides a useful systematic overview of free logic, including both a standard syntax and some semantical options. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...) adjoints suggests a conceptual structure, albeit abstract and atemporal, for how new relatively autonomous behavior can emerge within a system obeying certain laws. The focus here is on applications in the life sciences (e.g., selectionist mechanisms) and human sciences (e.g., the generative grammar view of language). (shrink)

The notion of a critical successor [5] in relational semantics has been central to most classic modal completeness proofs in interpretability logics. In this paper we shall work with a more general notion, that of an assuring successor. This will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so‐called full labels and (...) maximal labels. After a general treatment of assuringness, we shall apply it to obtain a completeness result for the modal logic w.r.t. generalised semantics for a restricted class of frames. (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)