Implicit epistemic aspects of constructive logic
From MaRDI portal
Publication:1357674
DOI10.1023/A:1008266418092zbMath0873.03003OpenAlexW2147629218MaRDI QIDQ1357674
No author found.
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
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items (11)
The epistemic significance of valid inference ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ On the logical philosophy of assertive graphs ⋮ The assertion-candidate and the meaning of mood ⋮ Dialogues, Reasons and Endorsement ⋮ Semantic values for natural deduction derivations ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions ⋮ The Knowability Paradox in the Light of a Logic for Pragmatics
This page was built for publication: Implicit epistemic aspects of constructive logic
