``Inference versus consequence revisited: inference, consequence, conditional, implication
From MaRDI portal
Publication:383072
DOI10.1007/s11229-011-9901-0zbMath1275.03061OpenAlexW2078654385MaRDI QIDQ383072
No author found.
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-011-9901-0
Related Items (16)
Inference as doxastic agency. I: The basics of justification stit logic ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Inference in Nineteenth-Century British Logic ⋮ A more general general proof theory ⋮ A Comparison of Type Theory with Set Theory ⋮ Reprint of: ``A more general general proof theory ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ Proof-theoretic harmony: towards an intensional account ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Dialogues, Reasons and Endorsement ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions ⋮ Proof, meaning and paradox: some remarks ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ Explaining Deductive Inference ⋮ Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS
Cites Work
- Some definitions of the concept of function from Joh. Bernoulli to N. Bourbaki
- Implicit epistemic aspects of constructive logic
- Untersuchungen über das logische Schliessen. I
- Semantic values for natural deduction derivations
- Inference, Consequence, Implication: A Constructivist's Perspective
- The consistency of arithmetics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: ``Inference versus consequence revisited: inference, consequence, conditional, implication
