Citations of work:

Göran Sundholm (2012). “Inference Versus Consequence” Revisited: Inference, Consequence, Conditional, Implication.

8 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  8
    Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Grigory K. Olkhovikov & Heinrich Wansing - forthcoming - Studia Logica:1-28.
    In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. The general idea is to understand proving that A as seeing to it that a proof of A is available. We introduce a semantics of various notions of proving as an activity and present a number of valid principles that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  9
    The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - forthcoming - Topoi:1-9.
    The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions serve to establish the holding of consequence from antecedent propositions to succedent proposition.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - forthcoming - Topoi:1-13.
    In the present paper, the Fregean conception of proof-theoretic semantics that I developed elsewhere will be revised so as to better reflect the different roles played by open and closed derivations. I will argue that such a conception can deliver a semantic analysis of languages containing paradoxical expressions provided some of its basic tenets are liberalized. In particular, the notion of function underlying the Brouwer–Heyting–Kolmogorov explanation of implication should be understood as admitting functions to be partial. As argued in previous (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  38
    Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
    The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  5
    Epistemic and Dialectical Meaning in Abū Isḥāq Al-Shīrāzī’s System of Co-Relational Inferences of the Occasioning Factor.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
    One of the epistemological results emerging from this initial study is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās, represent an innovative and sophisticated form of reasoning that not only provides new epistemological insights into legal reasoning in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical argumentation studied in contemporary (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  49
    Frege on Judgement and the Judging Agent.Maria van der Schaar - 2018 - Mind 127 (505):225-250.
    How is Frege able to claim that the notion of judgement is essential to his logic without introducing a form of psychologism? I argue first that Frege’s logical notion of judgement is to be distinguished from an empirical notion of judgement, that it cannot be understood as an abstract, idealized notion, and that there are doubts concerning a transcendental reading of Frege’s writings. Then, I explain that the logical notion of judgement has to be understood from a first-person perspective, to (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  21
    Reprint Of: A More General General Proof Theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
    In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  16
    Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography