A New–old Characterisation of Logical Knowledge

DOI10.1080/01445340.2012.675631zbMath1304.03019OpenAlexW2091045430WikidataQ58344777 ScholiaQ58344777MaRDI QIDQ5497107

Ivor Grattan-Guinness

Publication date: 3 February 2015

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2012.675631

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Numbers as moments of multisets: a new-old formulation of arithmetic
• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• Hedges: A study in meaning criteria and the logic of fuzzy concepts
• Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• Fallacies arising from ambiguity
• Karl Popper and the `the problem of induction': A fresh look at the logic of testing scientific theories
• Modern algebra and the rise of mathematical structures
• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• Prime simplicity
• Logic and the modalities in the twentieth century
• Tool and object. A history and philosophy of category theory
• Logic as calculus and logic as language
• Abstract set theory
• The identity of strong indiscernibility
• Quantification in English is Inherently Sortal
• Domains of Sciences, Universes of Discourse and Omega Arguments
• The interest of G. H. Hardy, F.R.S., in the philosophy and the history of mathematics
• Phenomenology and Mathematics
• New Essays on the Knowability Paradox
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• On a medieval solution to the liar paradox
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Wiener on the logics of Russell and Schröder
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Categoricity
• Axioms and Theorems for a Theory of Arrays
• The Different Ways in which Logic is (said to be) Formal
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• The liar, the strengthened liar, and bivalence
• String theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item