scientific article; zbMATH DE number 1548692
From MaRDI portal
Publication:4522882
zbMATH Open0958.01009MaRDI QIDQ4522882FDOQ4522882
Authors: Geraldine Brady 
Publication date: 7 January 2001
Title of this publication is not available (Why is that?)
Recommendations
Boolean algebrahistory of logicLöwenheim-Skolem theoremCh. S. Peirce19th century logicalgebra of relatives
History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of mathematical logic and foundations (03-03) Algebraic logic (03G99)
Cited In (36)
- Peirce's sequent proofs of distributivity
- 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 role in the history of logic: \textit{lingua universalis and calculus ratiocinator}
- LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
- Title not available (Why is that?)
- Ernst Schröder on pasigraphy
- Peirce's calculi for classical propositional logic
- The prehistory of infinitary logic: 1885-1955
- FOL 75?
- Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce
- Title not available (Why is that?)
- Title not available (Why is that?)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- A first survey of Charles S. Peirce's contributions to logic: from relatives to quantification
- Schröder and group theory
- What Is the Relation Between Peirce’s Logic and His Philosophy of Logic?
- Quantification in modern logic
- Hilbert's epsilon as an operator of indefinite committed choice
- 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
- The beginning of model theory in the algebra of logic
- On the justification problems: towards a Peircean diagnosis and solution
- Peirce the logician
- Russell and his sources for non-classical logics
- Philosophy of notation in the 19th century. Peirce, Husserl, and all the others on inclusion and assertion
- Busting a Myth about Leśniewski and Definitions
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Guest editor's introduction: JvH100
- Jean van Heijenoort's conception of modern logic, in historical perspective
- To found or not to found? That is the question!
- Jean van Heijenoort's contributions to proof theory and its history
- A Pragmatic-Semiotic Defence of Bivalence
- Where is ‘There is’ in ‘∃’?
- A new-old characterisation of logical knowledge
- Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
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)
