34 found
Order:
Disambiguations
B. G. Sundholm [33]B. Göran Sundholm [1]
See also
B. Göran Sundholm
Leiden University
  1. Proof Theory and Meaning.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   19 citations  
  2.  55
    Inference, Consequence, Implication: A Constructivist's Perspective.B. G. Sundholm - 1998 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. Inference Versus Consequence.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   13 citations  
  4. When, and Why, Did Frege Read Bolzano?B. G. Sundholm - 2000 - In Timothy Childers (ed.), the logica yearbook 1999. Prague: pp. 164-174.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  5. Varieties of Consequence.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  6. Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  7. Questions of Proof.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  8. A Plea for Logical Atavism.B. G. Sundholm - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  9.  25
    Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.B. G. Sundholm - 1994 - The Monist 77 (3):294-314.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. What is an Expression?'.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11.  22
    A Century of Judgement and Inference, 1837-1936: Some Strands in the Development of Logic.B. G. Sundholm - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 263.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Tractarian Expressions and Their Use in Constructive Mathematics.B. G. Sundholm - unknown
  13. Sätze der Logik: An Alternative Conception.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14.  41
    Brouwer's Anticipation of the Principle of Charity.B. G. Sundholm - 1985 - Proceedings of the Aristotelian Society 85:263 - 276.
  15. "Mind Your P'ds and Q's". On the Proper Interpretation of Modal Logic.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  16. A Century of Inference: 1837-1936.B. G. Sundholm - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17. Review of Michael Dummett, Elements of Intuitionism. [REVIEW]B. G. Sundholm - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18. Identity: Absolute. Criterial. Prepositional.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19. Vestiges of Realism.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20. Intuitionism and Logical Tolerance.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21. Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & B. Göran Sundholm - 2012 - Springer.
    This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively (...)
     
    Export citation  
     
    Bookmark  
  22. Antirealism and the Roles of Truth.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  43
    A Completeness Proof for an Infinitary Tense-Logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.
  24. Crisscrossing a Philsophical Landscape. Essays on Themes From Wittgenstein Dedicated to Brian MacGuinness.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Heinrich Scholz Between Frege and Hilbert.B. G. Sundholm - 2004 - In Kai Wehmeier & H.-C. Schmidt am Busch (eds.), Heinrich Scholz. Logiker, Philosoph, Theologe. Paderborn: pp. 103-117.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  40
    Introduction.B. G. Sundholm & E. P. Bos - 2013 - Vivarium 51 (1-4):3-9.
  27. Interview with Michael Dummett (Jointly with Peter Pagin).B. G. Sundholm - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Oordeel En Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Ontologic Versus Epistemologic: Some Strands in the Development of Logic, 1837-1957.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Systems of Deduction Chapter 2:.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Tarski and Lesniewski on Languages with Meaning Versus Languages Without Use: A 60th Birthday Provocation for Jan Wolenski.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  25
    The General Form of the Operation in Wittgenstein's Tractatus.B. G. Sundholm - 1992 - 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  
     
    Export citation  
     
    Bookmark  
  33. The Proof-Explanation is Logically Neutral.B. G. Sundholm - unknown
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Virtues and Vices of Interpreted Classical Formalisms: Some Impertinent Questions for Pavel Materna on the Occasion of His 70th Birthday.B. G. Sundholm - unknown
    Translate
     
     
    Export citation  
     
    Bookmark