A New–old Characterisation of Logical Knowledge
From MaRDI portal
Publication:5497107
DOI10.1080/01445340.2012.675631zbMath1304.03019OpenAlexW2091045430WikidataQ58344777 ScholiaQ58344777MaRDI QIDQ5497107
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
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
