35 found
Order:
  1.  34
    B. G. Sundholm (1998). Inference, Consequence, Implication: A Constructivist's Perspective. Philosophia Mathematica 6 (2):178-194.
    An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  9
    B. G. Sundholm, Proof Theory and Meaning.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  6
    B. G. Sundholm, Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  6
    B. G. Sundholm, Inference Versus Consequence.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  9
    B. G. Sundholm (2009). A Century of Judgement and Inference, 1837-1936: Some Strands in the Development of Logic. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press 263.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  11
    B. G. Sundholm, A Century of Inference: 1837-1936.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  6
    B. G. Sundholm, Varieties of Consequence.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  18
    B. G. Sundholm (1984). Brouwer's Anticipation of the Principle of Charity. Proceedings of the Aristotelian Society 85:263 - 276.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  9
    E. P. Bos & B. G. Sundholm (2013). Introduction. Vivarium 51 (1-4):3-9.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  22
    B. G. Sundholm, When, and Why, Did Frege Read Bolzano?
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  11.  19
    B. G. Sundholm (1992). The General Form of the Operation in Wittgenstein's Tractatus. Grazer Philosophische Studien 42:57-76.
    The paper offers an interpretation of thesis 6.01. The treatment touches upon variables, identity, elementary propositions, internal relations. Klammerausdrücke, and operations. Wittenstein's notations are found not to cover the particular form of definition by induction that is used at 6 and 6.01. It is concluded that Wittgenstein's ability to design of a formal system of logic does not match his outstanding logico-philosophical insight.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  17
    B. G. Sundholm (2008). A Completeness Proof for an Infinitary Tense-Logic. Theoria 43 (1):47-51.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13.  17
    B. G. Sundholm, Interview with Michael Dummett (Jointly with Peter Pagin).
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  14.  5
    B. G. Sundholm & E. P. Bos (2013). Introduction. Vivarium 51 (1-4):3-9.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  14
    B. G. Sundholm, Antirealism and the Roles of Truth.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  16.  10
    B. G. Sundholm (1994). Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist 77 (3):294-314.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  12
    B. G. Sundholm, Review of Michael Dummett, Elements of Intuitionism. [REVIEW]
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  18.  12
    B. G. Sundholm, "Mind Your P'ds and Q's". On the Proper Interpretation of Modal Logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  19.  11
    B. G. Sundholm, What is an Expression?'.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  20.  10
    B. G. Sundholm, Systems of Deduction Chapter 2:.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  21.  9
    B. G. Sundholm, Tarski and Lesniewski on Languages with Meaning Versus Languages Without Use: A 60th Birthday Provocation for Jan Wolenski.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  22.  5
    B. G. Sundholm, Gottlob Frege, August Bebel, and the Return of Alsace-Lorraine: On the Dating of the Distinction Between Sinn and Bedeutung'.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  23.  7
    B. G. Sundholm, Crisscrossing a Philsophical Landscape. Essays on Themes From Wittgenstein Dedicated to Brian MacGuinness.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  24.  8
    B. G. Sundholm, Heinrich Scholz Between Frege and Hilbert.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  6
    B. G. Sundholm, Sätze der Logik: An Alternative Conception.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  26.  6
    B. G. Sundholm, Questions of Proof.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  7
    B. G. Sundholm, A Plea for Logical Atavism.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  28.  5
    B. G. Sundholm, Vestiges of Realism.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  29.  5
    B. G. Sundholm, The Proof-Explanation is Logically Neutral.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  30.  4
    B. G. Sundholm, Oordeel En Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  31.  3
    B. G. Sundholm, Intuitionism and Logical Tolerance.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  32.  3
    B. G. Sundholm, Virtues and Vices of Interpreted Classical Formalisms: Some Impertinent Questions for Pavel Materna on the Occasion of His 70th Birthday.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  33.  3
    B. G. Sundholm, Tractarian Expressions and Their Use in Constructive Mathematics.
  34.  2
    B. G. Sundholm, Identity: Absolute. Criterial. Prepositional.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  35.  1
    B. G. Sundholm, Ontologic Versus Epistemologic: Some Strands in the Development of Logic, 1837-1957.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography