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