相关论文: How Peircean was the "'Fregean' Revolution" in Log…

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as…

In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that…

Aristotelian assertoric syllogistic, which is currently of growing interest, has attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced…

This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of binary logical functions in the original form introduced by George Boole. A justification on historical grounds is…

The calculus of relations was introduced by De Morgan and Peirce during the second half of the 19th century, as an extension of Boole's algebra of classes. Later developments on quantification theory by Frege and Peirce himself, paved the…

The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincar\'e, Kronecker and others. The flowering was the work of one man, Luitzen Egbertus Jan…

In his 1879 paper on the Begriffsschrift, Gottlob Frege introduced a notation to formalize mathematical arguments. In this note we explain Frege's notation by using the nowadays common notions from elementary propositional logic. We compare…

We compare several approaches to the history of mathematics recently proposed by Blasjo, Fraser--Schroter, Fried, and others. We argue that tools from both mathematics and history are essential for a meaningful history of the discipline. In…

An examination of George Boole's mysterious use of the Algebra of Numbers to create an Algebra of Logic, and subsequent research connected to this.

Aristotelian logic and its related traditions in antiquity are often held to have been equivalent to monadic predicate logic and as such inadequate to formalize mathematics as well as scientific and philosophical discourse in general. In…

Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as…

This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…

Historian Herbert Mehrtens sought to portray the history of turn-of-the-century mathematics as a struggle of modern vs countermodern, led respectively by David Hilbert and Felix Klein. Some of Mehrtens' conclusions have been picked up by…

Aristotle is generally accepted as the father of logic. The ideas that he raised in his study of logical reasoning carried the development of science over the centuries. Today, in the era of AI, this title of the fatherhood of logic has a…

The use of the symbol $\lor$ for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol $\lor$ in its historical and logical context. Some sources say that disjunction in its use as…

In this article we develop a new version of the intuitionist existential graphs presented by Arnol Oostra [4]. The deductive rules presented in this article have the same meaning as those described in the work of Yuri Poveda [5], because…

The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Arnon Avron. The motivation for such an investigation has two…

In modern algebra it is well-known that one cannot, in general, apply ordinary equational reasoning when dealing with partial algebras. However Boole did not know this, and he took the opposite to be a fundamental truth, which he called the…

A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.

As the etymology of the word shows, logic is intimately related to language, as exemplified by the work of philosophers from Antiquity and from the Middle-Age. At the beginning of the XX century, the crisis of the foundations of mathematics…