Publication:4088782
From MaRDI portal
zbMath0325.02005MaRDI QIDQ4088782
Publication date: 1975
Related Items
The fundamental problem of general proof theory, Logic in Category Theory, Some obstacles facing a semantic foundation for constructive mathematics, Meaning and computing: two approaches to computable propositions, Meaning and interpretation. II, What is a relevant connective?, Meaning and interpretation. I, Between proof and truth, Erratum to: ``Between proof and truth, Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons), Defending understanding-assent links, Explanation and Realism: Interwoven Themes in the Philosophy of Mathematics, Should pluralists be pluralists about pluralism?, Laplace's demon consults an oracle: the computational complexity of prediction, True V or Not True V, That Is the Question, On the logical philosophy of assertive graphs, Knowability and a New Paradox of Happiness, Mirroring theorems in free logic, Zeno's arrow and the infinitesimal calculus, Towards a semantics based on the notion of justification, Validity concepts in proof-theoretic semantics, Antirealism and universal knowability, Dag Prawitz on proofs, operations and grounding, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Truth and Proof in Intuitionism, Program Testing and the Meaning Explanations of Intuitionistic Type Theory, Truth as an epistemic notion, Anti-realist truth and truth-recognition