Inference, Consequence, Implication: A Constructivist's Perspective

DOI10.1093/PHILMAT/6.2.178MaRDI QIDQ4224766zbMATH OpenOpenAlexFDO

Authors Göran Sundholm

Publication date 11 October 1999

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/6.2.178

zbMATH Keywords

inferenceimplicationconstructivismconsequence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Metamathematics of constructive systems (03F50)

Recommendations

• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• From concepts to predicates within constructivist epistemology
• Assertion, inference, and consequence
• Induction, constructivity, and grounding
• scientific article; zbMATH DE number 2097005
• scientific article; zbMATH DE number 1746720
• Implicit epistemic aspects of constructive logic
• Structuralist logic: implications, inferences, and consequences

Cited in

(10)

• Inference in action
• Valid inferences
• What Does a Concept Entail?
• Sundholm on Wittgenstein and realism
• A brief summary of Göran Sundholm's philosophical work
• The assertion-candidate and the meaning of mood
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Assertion, inference, and consequence
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics

This page was built for publication: Inference, Consequence, Implication: A Constructivist's Perspective

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