scientific article; zbMATH DE number 1548692

MaRDI QIDQ4522882zbMATH OpenFDO

Authors Geraldine Brady

Publication date 7 January 2001

zbMATH Keywords

19th century logicalgebra of relativesBoolean algebraCh. S. Peircehistory of logicLöwenheim-Skolem theorem

Mathematics Subject Classification ID

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

Recommendations

• Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce
• scientific article; zbMATH DE number 5832443
• Quantification in modern logic
• scientific article; zbMATH DE number 3954866
• scientific article; zbMATH DE number 709767

Cited in

(37)

• Peirce the logician
• Russell and his sources for non-classical logics
• 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
• Schröder and group theory
• The prehistory of infinitary logic: 1885-1955
• To found or not to found? That is the question!
• FOL 75?
• scientific article; zbMATH DE number 22241 (Why is no real title available?)
• scientific article; zbMATH DE number 51257 (Why is no real title available?)
• On the justification problems: towards a Peircean diagnosis and solution
• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
• scientific article; zbMATH DE number 2101943 (Why is no real title available?)
• scientific article; zbMATH DE number 2108953 (Why is no real title available?)
• Existential graphs: what a diagrammatic logic of cognition might look like
• Ernst Schröder on pasigraphy
• Busting a Myth about Leśniewski and Definitions
• Philosophy of notation in the 19th century. Peirce, Husserl, and all the others on inclusion and assertion
• Peirce's calculi for classical propositional logic
• Quantification in modern logic
• Peirce's sequent proofs of distributivity
• The beginning of model theory in the algebra of logic
• Peirce's role in the history of logic: \textit{lingua universalis and calculus ratiocinator}
• Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce
• A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper
• A new-old characterisation of logical knowledge
• A first survey of Charles S. Peirce's contributions to logic: from relatives to quantification
• What Is the Relation Between Peirce’s Logic and His Philosophy of Logic?
• Where is ‘There is’ in ‘∃’?
• LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
• Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
• A Pragmatic-Semiotic Defence of Bivalence
• Hilbert's epsilon as an operator of indefinite committed choice

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522882)