scientific article; zbMATH DE number 1281125

Publication date: 28 April 1999

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

relevant logic intuitionistic logic logical empiricism bivalence semantic anti-realism philosophy of mathematics and natural science realism in mathematics cognitive meaningfulness irrealism knowability of truth truth in mathematics and natural science

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Proof Theory in Philosophy of Mathematics ⋮ Which Logic for the Radical Anti-realist? ⋮ Stable Philosophical Systems and Radical Anti-realism ⋮ SEMANTIC POLLUTION AND SYNTACTIC PURITY ⋮ CUT FOR CORE LOGIC ⋮ BILATERAL RELEVANT LOGIC ⋮ HARMONIOUS RULES FOR IDENTITY ⋮ The objectivity of mathematics ⋮ On the equivalence conjecture for proof-theoretic harmony ⋮ Proof-theoretic pluralism ⋮ Core Gödel ⋮ From the knowability paradox to the existence of proofs ⋮ Quantum epistemology and constructivism ⋮ What is the logic of inference? ⋮ Wright's strict finitistic logic in the classical metatheory: the propositional case ⋮ Strict finitism and the happy sorites ⋮ Counterfactual knowability revisited ⋮ How to solve the knowability paradox with transcendental epistemology ⋮ Paradox and logical revision. A short introduction ⋮ Anything goes ⋮ Lost in translation: unknowable propositions in probabilistic frameworks ⋮ On a new tentative solution to Fitch's paradox ⋮ Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology ⋮ Some remarks on restricting the knowability principle ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ A Church-Fitch proof for the universality of causation ⋮ Discovering knowability: a semantic analysis ⋮ Fitch's paradox and probabilistic antirealism ⋮ Defending the possibility of knowledge ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ Knowability as potential knowledge ⋮ Knowability and a New Paradox of Happiness ⋮ Incarnating Kripke's skepticism about meaning ⋮ Nonmonotonicity and Knowability: As Knowable as Possible ⋮ Structures and logics: a case for (a) relativism ⋮ Distributed knowability and Fitch's paradox ⋮ Zeno's arrow and the infinitesimal calculus ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ Intuitionistic epistemic logic, Kripke models and Fitch's paradox ⋮ Harmony in multiple-conclusion natural-deduction ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Why conclusions should remain single ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ New foundations for a relational theory of theory-revision ⋮ Williamson's woes ⋮ Knowability and the capacity to know ⋮ Fitch's paradox and ceteris paribus modalities ⋮ The incarnation and the knowability paradox ⋮ Introduction to knowability and beyond ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ Knowability and other onto-theological paradoxes ⋮ Classical harmony and separability ⋮ Manifestability and epistemic truth ⋮ Incompleteness, Mechanism, and Optimism ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ The indefinability of ``one