35 found
Sort by:
  1. E. P. Bos & B. G. Sundholm (2013). Introduction. Vivarium 51 (1-4):3-9.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. B. G. Sundholm & E. P. Bos (2013). Introduction. Vivarium 51 (1-4):3-9.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  4. B. G. Sundholm (2008). A Completeness Proof for an Infinitary Tense-Logic. Theoria 43 (1):47-51.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. B. G. Sundholm, Antirealism and the Roles of Truth.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. B. G. Sundholm, Heinrich Scholz Between Frege and Hilbert.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. B. G. Sundholm, The Proof-Explanation is Logically Neutral.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. B. G. Sundholm, "Mind Your P'ds and Q's". On the Proper Interpretation of Modal Logic.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. B. G. Sundholm, Tarski and Lesniewski on Languages with Meaning Versus Languages Without Use: A 60th Birthday Provocation for Jan Wolenski.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. B. G. Sundholm, A Century of Inference: 1837-1936.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. B. G. Sundholm, Gottlob Frege, August Bebel, and the Return of Alsace-Lorraine: On the Dating of the Distinction Between Sinn and Bedeutung'.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. B. G. Sundholm, Varieties of Consequence.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. B. G. Sundholm, What is an Expression?'.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. B. G. Sundholm, A Plea for Logical Atavism.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. B. G. Sundholm, Systems of Deduction Chapter 2:.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. B. G. Sundholm, Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17. B. G. Sundholm, Virtues and Vices of Interpreted Classical Formalisms: Some Impertinent Questions for Pavel Materna on the Occasion of His 70th Birthday.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  18. B. G. Sundholm, When, and Why, Did Frege Read Bolzano?
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. B. G. Sundholm, Identity: Absolute. Criterial. Prepositional.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. B. G. Sundholm, Interview with Michael Dummett (Jointly with Peter Pagin).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. B. G. Sundholm, Intuitionism and Logical Tolerance.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. 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)  
     
    My bibliography  
     
    Export citation  
  23. B. G. Sundholm, Inference Versus Consequence.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. B. G. Sundholm, Ontologic Versus Epistemologic: Some Strands in the Development of Logic, 1837-1957.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. 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)  
     
    My bibliography  
     
    Export citation  
  26. B. G. Sundholm, Vestiges of Realism.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. B. G. Sundholm, Questions of Proof.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  28. B. G. Sundholm, Tractarian Expressions and Their Use in Constructive Mathematics.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. B. G. Sundholm, Crisscrossing a Philsophical Landscape. Essays on Themes From Wittgenstein Dedicated to Brian MacGuinness.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  30. 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)  
     
    My bibliography  
     
    Export citation  
  31. B. G. Sundholm, Sätze der Logik: An Alternative Conception.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  32. B. G. Sundholm, Oordeel En Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. B. G. Sundholm, Proof Theory and Meaning.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. B. G. Sundholm (1984). Brouwer's Anticipation of the Principle of Charity. Proceedings of the Aristotelian Society 85:263 - 276.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. B. G. Sundholm, Review of Michael Dummett, Elements of Intuitionism. [REVIEW]
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation