Implicit epistemic aspects of constructive logic

DOI10.1023/A:1008266418092MaRDI QIDQ1357674zbMATH OpenOpenAlexFDO

Authors Göran Sundholm

Publication date 26 October 1997

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008266418092

zbMATH Keywords

assumptionconsequenceconstructive logicinferencejudgementproof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Cited in

(32)

• Constructive agents
• Persistence and minimality in epistemic logic
• Implicit and explicit stances in logic
• On the logical philosophy of assertive graphs
• The seeming interdependence between the concepts of valid inference and proof
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• The assertion-candidate and the meaning of mood
• Semantic values for natural deduction derivations
• Deductive closure and epistemic context
• Manifest of applied constructivism
• Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent
• The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
• Dialogues, reasons and endorsement
• scientific article; zbMATH DE number 3871346 (Why is no real title available?)
• The epistemic significance of valid inference
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Inference, Consequence, Implication: A Constructivist's Perspective
• scientific article; zbMATH DE number 6954655 (Why is no real title available?)
• scientific article; zbMATH DE number 2109248 (Why is no real title available?)
• Assertions and their justification: demonstration and self-evidence
• Truth and proof in intuitionism
• The Knowability Paradox in the Light of a Logic for Pragmatics
• Spiritus asper versus lambda: on the nature of functional abstraction
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
• Martin-Löf on the validity of inference
• From proof-objects to grounds
• Handling mobility failures by modal types
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• Dialogical logic and constructive type theory: new explorations
• A brief summary of Göran Sundholm's philosophical work
• What is intuitionistic arithmetic?
• Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic

This page was built for publication: Implicit epistemic aspects of constructive logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357674)