scientific article; zbMATH DE number 1548692

Publication date: 7 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Boolean algebra history of logic Löwenheim-Skolem theorem Ch. S. Peirce 19th century logic algebra of relatives

History of mathematics in the 20th century (01A60) Algebraic logic (03G99) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Research exposition (monographs, survey articles) pertaining to history and biography (01-02)

Related Items (23)

Russell and his sources for non-classical logics ⋮ What Is the Relation Between Peirce’s Logic and His Philosophy of Logic? ⋮ Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator ⋮ Where is ‘There is’ in ‘∃’? ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC ⋮ Guest editor's introduction: JvH100 ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus ⋮ Philosophy of Notation in the 19th Century. Peirce, Husserl, and All the Others on Inclusion and Assertion ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ On the Justification Problems: Towards a Peircean Diagnosis and Solution ⋮ To found or not to found? That is the question! ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like ⋮ A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper ⋮ Peirce’s Sequent Proofs of Distributivity ⋮ Busting a Myth about Leśniewski and Definitions ⋮ A New–old Characterisation of Logical Knowledge ⋮ Schröder and group theory

This page was built for publication: