38 found
Order:
See also
B. Göran Sundholm
Leiden University
Göran Sundholm
Leiden University
  1. “Inference Versus Consequence” Revisited: Inference, Consequence, Conditional, Implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.
    Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  61
    L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.
    We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  95
    Constructions, Proofs and the Meaning of Logical Constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.
  4.  46
    Implicit Epistemic Aspects of Constructive Logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.
    In the present paper I wish to regard constructivelogic as a self-contained system for the treatment ofepistemological issues; the explanations of theconstructivist logical notions are cast in anepistemological mold already from the outset. Thediscussion offered here intends to make explicit thisimplicit epistemic character of constructivism.Particular attention will be given to the intendedinterpretation laid down by Heyting. This interpretation, especially as refined in the type-theoretical work of Per Martin-Löf, puts thesystem on par with the early efforts of Frege andWhitehead-Russell. This quite (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  5. Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.
    Truth-maker analyses construe truth as existence of proof, a well-known example being that offered by Wittgenstein in theTractatus. The paper subsumes the intuitionistic view of truth as existence of proof under the general truth-maker scheme. Two generic constraints on truth-maker analysis are noted and positioned with respect to the writings of Michael Dummett and theTractatus. Examination of the writings of Brouwer, Heyting and Weyl indicates the specific notions of truth-maker and existence that are at issue in the intuitionistic truth-maker analysis, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  16
    Antirealism and the Roles of Truth.Göran Sundholm - 2004 - In M. Sintonen, J. Wolenski & I. Niiniluoto (eds.), Handbook of Epistemology. Kluwer Academic Publishers. pp. 437--466.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction Between Sinn and Bedeutung.Göran Sundholm - 2001 - History and Philosophy of Logic 22 (2):57-73.
    A detailed chronology is offered for the writing of Frege's central philosophical essays from the early 1890s. Particular attention is given to (the distinction between) Sinn and Bedeutung. Suggestions are made as to the origin of the examples concerning the Morning Star/Evening Star and August Bebel's views on the return of Alsace-Lorraine. Likely sources are offered for Frege's use of the terms Bestimmungsweise, Art des Gegebenseins and Sinn und Bedeutung.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8.  11
    Inference, Consequence, Implication: A Constructivist's Perspective.Göran 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 (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  24
    The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.
    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  
     
    Bookmark   1 citation  
  10.  58
    Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.
  11. The Proper Explanation of Intuitionistic Logic: On Brouwer's Demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknown
    Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.
     
    Export citation  
     
    Bookmark   3 citations  
  12.  18
    A Century of Judgement and Inference,1837-1936 : Some Strands in the Development of Logic.Göran Sundholm - 2008 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    This chapter tells how, within a century, the notions of judgment and inference were driven out of logical theory and replaced by propositions and consequence. Systematic considerations guide the treatment. The history is unashamedly Whiggish: the current position is shown as the outcome, or even culmination, of a historical development.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  67
    Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.
    Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  33
    The General Form of the Operation in Wittgenstein’s Tractatus.Göran Sundholm - 1992 - Grazer Philosophische Studien 42 (1):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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  41
    Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.Göran Sundholm - 1994 - The Monist 77 (3):294-314.
    In his Grundgesetze, §32, Frege launched the idea that the meaning of a sentence is given by its truth condition, or, in his particular version, the condition under which it will be a name of the True. This, indeed, was only one of the many roles in which truth has to serve within the Fregean system. In particular, truth is an absolute notion in the sense that bivalence holds: every Gedanke is either true or false, in complete independence of any (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  65
    Error.Göran Sundholm - 2012 - Topoi 31 (1):87-92.
    The possibility of error is related to the existence a norm. Connections are spelled out to the notion of infallibility and to that of a modifying predicate, to traditional truth theories in connection with “truth of things”, as well as the primacy of the negative cases, for instance “ false friend”.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Maccoll On Judgement And Inference.GÖran Sundholm - 1998 - Nordic Journal of Philosophical Logic 3:119-132.
     
    Export citation  
     
    Bookmark   6 citations  
  18.  65
    Constructive Generalized Quantifiers.Göran Sundholm - 1989 - Synthese 79 (1):1 - 12.
  19.  43
    Hacking's Logic.Goran Sundholm - 1981 - Journal of Philosophy 78 (3):160-168.
  20.  7
    Criss-Crossing a Philosophical Landscape.Göran 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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  1
    Book Symposium.Wolfgang Künne, Göran Sundholm, Jan Wolensk & Wolfgang Konne - 2008 - Dialectica 62 (3):355-401.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  16
    Brouwer's Anticipation of the Principle of Charity.Göran Sundholm - 1985 - Proceedings of the Aristotelian Society 85:263.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Brouwer's Anticipation of the Principle of Charity.Göran Sundholm - 1984 - Proceedings of the Aristotelian Society 84:145.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  3
    Vestiges of Realism.Göran Sundholm - 1994 - In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer Academic Publishers. pp. 137--165.
  25.  11
    Intuitionism and Logical Tolerance.Göran Sundholm - 1999 - Vienna Circle Institute Yearbook 6:135-148.
    Tradition is classical. Surely, nothing could be more pleonastic than that? The logical tradition, certainly, was squarely classical from Bolzano to Carnap, with, say, Frege, Moore, Russell and the Wittgenstein of the Tractatus as intermediaries. Propositions are construed as being in themselves true-or-false. Indeed, in this tradition, a declarative sentence S expresses a proposition by being true-or-false. So the meaningfulness of a sentence consists in its being true-or-false. But S is true-orfalse, or so they say, only when S is true, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  34
    Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27. The General Form of the Operation in Wittgenstein’s Tractatus.Göran Sundholm - 1992 - Grazer Philosophische Studien 42 (1):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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  18
    The proof-explanation of logical constants is logically neutral.Goran Sundholm - 2004 - Revue Internationale de Philosophie 4:401-410.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  29. A completeness proof for an infinitary tense-logic.Göran Sundholm - 1977 - Theoria 43 (1):47.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  30.  47
    DUMMETT, MICHAEL. The Elements of Intuitionism. [REVIEW]Göran Sundholm - 1979 - Theoria 45 (2):90-95.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Un marco lógico.Göran Sundholm - 2013 - Revista de Humanidades de Valparaíso 1:35.
    El artículo presenta un marco de distinciones para la filosofía de la lógica en la que las interrelaciones entre algunas nociones lógicas centrales, como la de declaración, juicio, juicio,, proposición, consecuencia e inferencia, se detallan.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  12
    Les détectives de la raison.Grahame Lock & Göran Sundholm - 1986 - le Cahier (Collège International de Philosophie) 2:129-136.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. The Proper Interpretation of Intuitionistic Logic.Mark Van Atten & Göran Sundholm - unknown
     
    Export citation  
     
    Bookmark  
  34.  8
    « Que les Principes de la Logique Ne Sont Pas Fiables » : Nouvelle Traduction Française Annotée Et Commentée de l'Article de 1908 de L. E. J. Brouwer. [REVIEW]Mark Van Atten, Göran Sundholm, Michel Bourdeau & Vanessa Van Atten - 2014 - Revue d'Histoire des Sciences 67 (2):257.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  2
    A Logical Framework.Göran Sundholm - 2013 - Revista de Humanidades de Valparaíso 1:35-40.
    El artículo presenta un marco de distinciones para la filosofía de la lógica en la que las interrelaciones entre algunas nociones lógicas centrales, como la de declaración, juicio, juicio,, proposición, consecuencia e inferencia, se detallan.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  3
    A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  29
    Criss-Crossing a Philosophical Landscape: Essays on Wittgensteinian Themes. Dedicated to Brian Mcguinness.Joachim Schulte & Göran Sundholm (eds.) - 1992 - Rodopi.
    Essays on Wittgensteinian Themes Dedicated to Brian McGuinness Joachim Schulte, Göran Sundholm. PREFACE For thirty-five years the international community of philosophers have known Brian McGuinness as a major authority on the ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Review. [REVIEW]Göran Sundholm - 1979 - Theoria 45 (2):90.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark