scientific article; zbMATH DE number 819916

Publication date: 26 November 1995

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

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

Related Items

Ramsey on Saying and Whistling: A Discordant Note ⋮ Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Which Logic for the Radical Anti-realist? ⋮ The Neutrality of Truth in the Debate Realism vs. Anti-realism ⋮ Antirealism, Meaning and Truth-Conditional Semantics ⋮ Game Semantics and the Manifestation Thesis ⋮ Truth, reflection and hierarchies ⋮ An interview with Michael Dummett: From analytical philosophy to voting analysis and beyond ⋮ General-elimination harmony and the meaning of the logical constants ⋮ Assertion, inference, and consequence ⋮ A more general general proof theory ⋮ A proof-theoretic universal property of determiners ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Reprint of: ``A more general general proof theory ⋮ Conjunctive paraconsistency ⋮ The functional composition of sense ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Rescuing Poincaré from Richard’s Paradox ⋮ Supposition: A Problem for Bilateralism ⋮ Truth: a concept unlike any other ⋮ Essence and definition by abstraction ⋮ How to solve the knowability paradox with transcendental epistemology ⋮ Anything goes ⋮ Intuitionism and the liar paradox ⋮ Antirealism and the conditional fallacy: the semantic approach ⋮ Superassertibility and the equivalence schema: a dilemma for Wright's antirealist ⋮ The logical structure of truthmaking ⋮ Sets and supersets ⋮ On harmony and permuting conversions ⋮ Intuitionism, Meaning Theory and Cognition ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE ⋮ Is Hume's principle analytic? ⋮ Indefinite extensibility -- dialetheic style ⋮ Radical anti-realism, Wittgenstein and the length of proofs ⋮ Meaning approached via proofs ⋮ Antirealism and universal knowability ⋮ Introduction: Inferences and proofs ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Prawitz, Proofs, and Meaning ⋮ What is a truth value and how many are there? ⋮ Game of grounds ⋮ Hintikka and the functions of logic ⋮ Proofs, Reasoning and the Metamorphosis of Logic ⋮ Manifestability and epistemic truth ⋮ Steps towards a proof-theoretical semantics ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ Frege meets Dedekind: A neologicist treatment of real analysis ⋮ Conditional excluded middle in systems of consequential implication ⋮ Normalisation and subformula property for a system of classical logic with Tarski's rule ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds