Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by B. G. Sundholm

(view other items matching `B. G. Sundholm`,view all matches )
34 found
Order:

1 filter applied
Disambiguations
B. G. Sundholm [33]B. Göran Sundholm [1]
  1. Proof Theory and Meaning.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   22 citations  
  2. Inference versus Consequence.B. G. Sundholm -unknown
  3.  109
    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 (...) existence of a chain of immediately evident steps linking premises and conclusion. (shrink)
    Direct download(6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4. A Plea for Logical Atavism.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   6 citations  
  5.  24
    Varieties of Consequence.B. G. Sundholm -2002 - In Dale Jacquette,A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 241–255.
    This chapter contains sections titled: I II III IV V VI VII VIII IX X.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz.B. G. Sundholm -unknown
  7. Questions of Proof.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   5 citations  
  8. Sätze der Logik: an Alternative Conception.B. G. Sundholm -unknown
  9. When, and why, did Frege read Bolzano?B. G. Sundholm -2000 - In Timothy Childers,the logica yearbook 1999. Prague: pp. 164-174.
  10. What is an expression?'.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   4 citations  
  11.  67
    Introduction.B. G. Sundholm &E. P. Bos -2013 -Vivarium 51 (1-4):3-9.
  12.  64
    A completeness proof for an infinitary tense-logic.B. G. Sundholm -1977 -Theoria 43 (1):47-51.
  13. A Century of Inference: 1837-1936.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   2 citations  
  14. Antirealism and the Roles of Truth.B. G. Sundholm -unknown
  15. "Mind your P'ds and Q's". On the proper interpretation of modal logic.B. G. Sundholm -unknown
  16.  34
    Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.B. G. Sundholm -1994 -The Monist 77 (3):294-314.
  17.  30
    Tractarian Expressions and their Use in Constructive Mathematics.B. G. Sundholm -1993 - In Michael Potter,Philosophy of Mathematics, Proceedings of the 15th International Wittgenstein Symposium. Hölder-Pichler-Tempsky. pp. 105-118.
  18.  13
    History of Logic: Medieval.E. P. Bos &B. G. Sundholm -2002 - In Dale Jacquette,A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 24–34.
    This chapter contains sections titled: A Timeline of Medieval Logicians A Guide to the Literature.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. 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 (...) pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)
     
    Export citation  
     
    Bookmark  
  20.  29
    A century of judgement and inference, 1837-1936: Some strands in the development of logic.B. G. Sundholm -2009 - In Leila Haaparanta,The development of modern logic. New York: Oxford University Press. pp. 263.
  21.  60
    Brouwer's Anticipation of the Principle of Charity.B. G. Sundholm -1985 -Proceedings of the Aristotelian Society 85:263 - 276.
  22. Crisscrossing a Philsophical Landscape. Essays on Themes from Wittgenstein Dedicated to Brian MacGuinness.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark  
  23. Heinrich Scholz between Frege and Hilbert.B. G. Sundholm -2004 - In Kai Wehmeier & H.-C. Schmidt am Busch,Heinrich Scholz. Logiker, Philosoph, Theologe. Paderborn: pp. 103-117.
     
    Export citation  
     
    Bookmark  
  24. Identity: Absolute. Criterial. Prepositional.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   1 citation  
  25. Intuitionism and Logical Tolerance.B. G. Sundholm -unknown
  26. Interview with Michael Dummett (jointly with Peter Pagin).B. G. Sundholm -unknown
    No categories
     
    Export citation  
     
    Bookmark  
  27. Oordeel en Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark   1 citation  
  28. Ontologic versus Epistemologic: Some Strands in the Development of Logic, 1837-1957.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark  
  29. Systems of Deduction Chapter 2:.B. G. Sundholm -unknown
  30. Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski.B. G. Sundholm -unknown
  31.  36
    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  
  32. The proof-explanation is logically neutral.B. G. Sundholm -unknown
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  33. Virtues and Vices of Interpreted Classical Formalisms: Some Impertinent Questions for Pavel Materna on the occasion of his 70th Birthday.B. G. Sundholm -unknown
     
    Export citation  
     
    Bookmark  
  34. Review of Michael Dummett, Elements of Intuitionism. [REVIEW]B. G. Sundholm -unknown
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-54b44b69b7-g6h22 uwo
[8]ページ先頭
©2009-2025 Movatter.jp