One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees of truth. This opens a (...) new way of thinking---thinking in terms of degrees rather than absolutes. For example, it leads to the definition of a new kind of sets, referred to as fuzzy sets, in which membership is a matter of degree. The book examines the genesis and development of fuzzy logic. It surveys the prehistory of fuzzy logic and inspects circumstances that eventually lead to the emergence of fuzzy logic. The book explores in detail the development of propositional, predicate, and other calculi that admit degrees of truth, which are known as fuzzy logic in the narrow sense. Fuzzy logic in the broad sense, whose primary aim is to utilize degrees of truth for emulating common-sense human reasoning in natural language, is scrutinized as well. The book also examines principles for developing mathematics based on fuzzy logic and provides overviews of areas in which this has been done most effectively. It also presents a detailed survey of established and prospective applications of fuzzy logic in various areas of human affairs, and provides an assessment of the significance of fuzzy logic as a new paradigm. (shrink)

Questions regarding the nature and acquisition of mathematical knowledge are perhaps as old as mathematical thinking itself, while fundamental issues of mathematical ontology and epistemology have direct bearing on mathematical cognition. Several original contributions to logic and mathematics made by the American polymath, Charles Sanders Peirce, are of direct relevance to these fundamental issues. This chapter explores scientific reasoning as it relates to abduction, a name that Peirce coined for educated “guessing” of hypotheses, which he took to be “the first (...) step of scientific reasoning” and the only creative one. Yet he also argued that all deductive reasoning is mathematical and that all mathematical reasoning is diagrammatic. Representation, especially in the form of a diagrammatic system of logic that Peirce developed, is explored here along with his logic of inquiry, most notably in terms of its manifestation as the logic of ingenuity. Originating in the field of engineering, here the diagram of a problem serves as a heuristic substitute for evaluating the actual situation, an approach that can be extended to other forms of practical reasoning such as ethical deliberation. This chapter also touches upon such diverse but related subjects as non-Euclidean geometry and nonclassical logic, with additional examples that help to elucidate cognitive elements of mathematical knowledge. (shrink)

This article describes the mystery of a long lost codex of Archimedes that resurfaced briefly at the turn of the last century by Johan Ludwig Heiberg. Long enough for the Danish historian of mathematics Heiberg to identify, photograph and eventually transcribe “The Method” and several other works by Archimedes of considerable mathematical interest. In 1879 Heiberg completed his dissertation, Quaestiones Archimedeae, devoted to Archimedes’ life, works, and transmission of his texts.Este artículo describe el misterio de un códice de Arquímedes perdido (...) hace mucho tiempo que reapareció brevemente a principios del siglo pasado de la mano de Johan Ludwig Heiberg. Tiempo suficiente para que el historiador danés de las matemáticas Heiberg pudiese identificar, fotografiar y, finalmente, transcribir “El Método” y varias otras obras de Arquímedes de interés matemático considerable. En 1879 Heiberg completó su tesis doctoral, Quaestiones Archimedeae, dedicado a la vida de Arquímedes, las obras, y la transmisión de sus textos. (shrink)

Charles Sanders Peirce: A Life. Joseph Brent; The Promise of Pragmatism: Modernism and the Crisis of Knowledge and Authority. John Patrick Diggins; Charles S. Peirce's Evolutionary Philosophy. Carl R. Hausman; Charles S. Peirce and the Philosophy of Science: Papers from the Harvard Sesquicentennial Congress. Edward C. Moore; Reasoning and the Logic of Things: The Cambridge Conferences Lectures of 1898. Charles Sanders Peirce, Kenneth Laine Ketner; Writings of Charles S. Peirce: A Chronological Edition. Volume 5: 1884-1886. Charles Sanders Peirce, Christian J. (...) W. Kloesel. (shrink)

I first met Ivor Grattan-Guinness and his wife Enid in the late summer of 1970. I was in England following an intensive course in German at the Goethe Institute in Prien am Chiemsee, and had arrang...