25 found
Sort by:
See also:
Profile: Göran Sundholm (Leiden University)
  1. Göran Sundholm (2012). Error. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Göran Sundholm (2012). “Inference Versus Consequence” Revisited: Inference, Consequence, Conditional, Implication. 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 (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Wolfgang Künne, Göran Sundholm, Jan Wolensk & Wolfgang Konne (2008). Book Symposium. Dialectica 62 (3):355-401.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Göran Sundholm (2008). 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.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Göran Sundholm (2008). Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne. Dialectica 62 (3):359-371.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Mark Van Atten & Göran Sundholm, The Proper Explanation of Intuitionistic Logic: On Brouwer's Demonstration of the Bar Theorem.
    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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Mark Van Atten & Göran Sundholm, The Proper Interpretation of Intuitionistic Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Göran Sundholm (2006). Semantic Values for Natural Deduction Derivations. 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 (logical) consequence among propositions and inference among judgements. Derivations in Gentzen’s (1934–5) format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects (of propositions), whereas derivations in Gentzen’s (1936) sequential format are (blue-prints for) proof-acts.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Göran Sundholm (2004). Antirealism and the Roles of Truth. In M. Sintonen, J. Wolenski & I. Niiniluoto (eds.), Handbook of Epistemology. Kluwer. 437--466.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Goran Sundholm (2004). The proof-explanation of logical constants is logically neutral. Revue Internationale de Philosophie 4:401-410.
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Göran Sundholm (2001). Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction Between Sinn and Bedeutung. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Göran Sundholm (1998). Inference, Consequence, Implication: A Constructivist's Perspective. Philosophia Mathematica 6 (2):178-194.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Goran Sundholm (1998). Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz. Theoria 64 (2-3):187-216.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Göran Sundholm (1997). Implicit Epistemic Aspects of Constructive Logic. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Göran Sundholm (1994). Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Göran Sundholm (1994). Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist 77 (3):294 - 314.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Göran Sundholm (1994). Vestiges of Realism. In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer. 137--165.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Göran Sundholm (1992). Criss-Crossing a Philosophical Landscape. Grazer Philosophische Studien 42:57-76.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Göran 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Göran Sundholm (1989). Constructive Generalized Quantifiers. Synthese 79 (1):1 - 12.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Grahame Lock & Göran Sundholm (1986). Les détectives de la raison. le Cahier (Collège International de Philosophie) 2:129-136.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Göran Sundholm (1983). Constructions, Proofs and the Meaning of Logical Constants. Journal of Philosophical Logic 12 (2):151 - 172.
  23. Goran Sundholm (1981). Hacking's Logic. Journal of Philosophy 78 (3):160-168.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. Göran Sundholm (1979). DUMMETT, MICHAEL. The Elements of Intuitionism. Theoria 45 (2):90-95.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation