``Inference versus consequence revisited: inference, consequence, conditional, implication

DOI10.1007/S11229-011-9901-0zbMATH Open1275.03061OpenAlexW2078654385MaRDI QIDQ383072FDOQ383072

Authors: Göran Sundholm 

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

Recommendations

• Inference, Consequence, Implication: A Constructivist's Perspective
• Assertion, inference, and consequence
• scientific article; zbMATH DE number 490785
• On the logic of contingent relevant implication: A conceptual incoherence in the intuitive interpretation of R
• Inquisitive Logic
• scientific article; zbMATH DE number 2097005
• scientific article; zbMATH DE number 475239
• Inferential conditionals and evidentiality

zbMATH Keywords

inferencetype theoryvaliditypropositionconsequencejudgement

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The consistency of arithmetics
• Implicit epistemic aspects of constructive logic
• Semantic values for natural deduction derivations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inference, Consequence, Implication: A Constructivist's Perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some definitions of the concept of function from Joh. Bernoulli to N. Bourbaki

Cited In (20)

• Dialogues, reasons and endorsement
• Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication
• Dialectic, the \textit{dictum de omni} and ecthesis
• The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
• A more general general proof theory
• Spiritus asper versus lambda: on the nature of functional abstraction
• Proof-theoretic harmony: towards an intensional account
• Inference in Nineteenth-Century British Logic
• A Comparison of Type Theory with Set Theory
• Mathematical inference and logical inference
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
• Plans and planning in mathematical proofs
• Proof, meaning and paradox: some remarks
• Inference, Consequence, Implication: A Constructivist's Perspective
• Inference as doxastic agency. I: The basics of justification stit logic
• Time and Indexicality in Buridan’s Concept of Logical Consequence
• Explaining deductive inference
• Reprint of: ``A more general general proof theory
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Assertion, inference, and consequence

This page was built for publication: ``Inference versus consequence revisited: inference, consequence, conditional, implication

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