Results for 'B. Göran Sundholm'

1000+ found
Order:
See also
B. Göran Sundholm
Leiden University
  1.  48
    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   9 citations  
  2.  17
    Proof Theory and Meaning.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  3.  8
    Inference Versus Consequence.B. G. Sundholm - unknown
  4.  7
    Varieties of Consequence.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  10
    Proofs as Acts Versus Proofs as Objects: Some Questions for Dag Prawitz.B. G. Sundholm - unknown
  6.  39
    Introduction.B. G. Sundholm & E. P. Bos - 2013 - Vivarium 51 (1-4):3-9.
  7.  17
    A Century of Inference: 1837-1936.B. G. Sundholm - unknown
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  29
    Brouwer's Anticipation of the Principle of Charity.B. G. Sundholm - 1984 - Proceedings of the Aristotelian Society 85:263 - 276.
  9.  20
    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  
  10.  39
    A Completeness Proof for an Infinitary Tense-Logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.
  11.  31
    When, and Why, Did Frege Read Bolzano?B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  24
    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  
  13.  23
    Interview with Michael Dummett (Jointly with Peter Pagin).B. G. Sundholm - unknown
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  19
    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  
  15.  17
    Review of Michael Dummett, Elements of Intuitionism. [REVIEW]B. G. Sundholm - unknown
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  17
    Antirealism and the Roles of Truth.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  15
    Heinrich Scholz Between Frege and Hilbert.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  15
    "Mind Your P'ds and Q's". On the Proper Interpretation of Modal Logic.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  14
    Systems of Deduction Chapter 2:.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  13
    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  
  21.  13
    What is an Expression?'.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  9
    Oordeel En Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  7
    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  
  24.  8
    Questions of Proof.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  8
    Crisscrossing a Philsophical Landscape. Essays on Themes From Wittgenstein Dedicated to Brian MacGuinness.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  8
    A Plea for Logical Atavism.B. G. Sundholm - unknown
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  6
    Vestiges of Realism.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  6
    Sätze der Logik: An Alternative Conception.B. G. Sundholm - unknown
  29.  6
    Identity: Absolute. Criterial. Prepositional.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  6
    The Proof-Explanation is Logically Neutral.B. G. Sundholm - unknown
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  6
    Tractarian Expressions and Their Use in Constructive Mathematics.B. G. Sundholm - unknown
  32.  3
    Intuitionism and Logical Tolerance.B. G. Sundholm - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  3
    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  
  34.  2
    Ontologic Versus Epistemologic: Some Strands in the Development of Logic, 1837-1957.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  
  36.  25
    Abu l-ʿAbbās b. ʿAṭāʾ: Sufi und KoranauslegerAbu l-Abbas b. Ata: Sufi und Koranausleger.G. B. & Richard Gramlich - 1998 - Journal of the American Oriental Society 118 (1):146.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  31
    Miscellanea critica. Teil 1: aus Anlass des 150 jahrigen Bestehens der Verlagsgesellschaft und des graphischen Betriebes B. G. Teubner, Leipzig. [REVIEW]R. B. & J. Irmscher - 1966 - Journal of Hellenic Studies 86:312.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  30
    A Short History of Antioch, 300 B. C. -- A. D. 1268.N. H. B. & E. S. Bouchier - 1921 - Journal of Hellenic Studies 41:295.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  81
    Last Judgment: The Visionary Biology of J. B. S. Haldane. [REVIEW]Mark B. Adams - 2000 - Journal of the History of Biology 33 (3):457 - 491.
    This paper seeks to reinterpret the life and work of J. B. S. Haldane by focusing on an illuminating but largely ignored essay he published in 1927, "The Last Judgment" -- the sequel to his better known work, "Daedalus" (1924). This astonishing essay expresses a vision of the human future over the next 40,000,000 years, one that revises and updates Wellsian futurism with the long range implications of the "new biology" for human destiny. That vision served as a kind of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  52
    Time Travel and the Immutability of the Past Within B-Theoretical Models.Giacomo Andreoletti & Giuliano Torrengo - forthcoming - Philosophia:1-11.
    The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron (2017) offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss (2015) used the latter model to argue that time travelers can change the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. On A- and B-Theoretic Elements of Branching Spacetimes.Matt Farr - 2012 - Synthese 188 (1):85-116.
    This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  98
    Do We Really Need a New B-Theory of Time?Francesco Orilia & L. Nathan Oaklander - 2015 - Topoi 34 (1):1-14.
    It is customary in current philosophy of time to distinguish between an A- (or tensed) and a B- (or tenseless) theory of time. It is also customary to distinguish between an old B-theory of time, and a new B-theory of time. We may say that the former holds both semantic atensionalism and ontological atensionalism, whereas the latter gives up semantic atensionalism and retains ontological atensionalism. It is typically assumed that the B-theorists have been induced by advances in the philosophy of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Komitmen Organisasi: Karyawan Dengan Kepribadian Tipe a Dan Tipe B.Veronica Ruvina - 2010 - Phronesis (Misc) 9 (2).
    The aim of this study is to describe organizational commitment between type A personality’s and type B is personality’s workers on three companies. Organizational commitment is define as the degree of psychological identification with or attachment to the organization for which we work. Participant of this study was 108 workers from three different companies. Data was obtained by questionnaire and processed with SPSS for Windows ver. 12. Using Mann-Whitney independent t-test for non parametric, the result of organizational commitment U = (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Truth-Conditions, Truth-Bearers and the New B-Theory of Time.Stephan Torre - 2009 - Philosophical Studies 142 (3):325-344.
    In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  5
    Hanefî Mezhebi’nin Kurucu İmamlarından Biri Olan Züfer b. Hüzeyl’in İstihsana Yaklaşımı.Adem Çiftci - 2018 - ULUM 1 (1):35-64.
    Mezheplerin teşekkül etmeye başladığı ilk dönemlerden itibaren istihsanın bir istidlal yöntemi olup olmadığı tartışılagelmiştir. Bu tartışmaların temelinde kavramsallaşma sürecini henüz tamamlamamış olan istihsan teriminin çağrıştırdığı keyfiliğin/sübjektivitenin etkisi çok fazladır. Bu yüzden istihsanı bir yöntem olarak benimseyenler, ağır ithamlara maruz kalmışlardır. İstihsanı benimseyenlerin başında Hanefî hukukçular gelmektedir. Öyle ki istihsan yöntemi Hanefî mezhebiyle anılır hale gelmiştir. Bununla birlikte mezhebin önde gelen temsilcilerinden biri olan ve kıyas metodunu kullanmasıyla ön plana çıkan Züfer b. Hüzeyl’in istihsana yaklaşımıyla ilgili iki farklı yaklaşım tespitedilmiştir. Yaptığımız (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. The Fortune of Wells: Ida B. Wells-Barnett's Use of T. Thomas Fortune's Philosophy of Social Agitation as a Prolegomenon to Militant Civil Rights Activism. Curry - 2012 - Transactions of the Charles S. Peirce Society 48 (4):456-482.
    Jesus Christ may be regarded as the chief spirit of agitation and innovation. He himself declared, “I come not to bring peace, but a sword.” One cannot delve seriously into the centuries of activism and scholarship against racism, Jim Crowism, and the terrorism of lynching without encountering the legacies of Timothy Thomas Fortune and Ida B. Wells-Barnett. Black scholars from the 19th century to the present have been inspired by the sociological and economic works of Fortune and Wells. Scholars of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  47. Between Jadal and Burhān: Reading Post-Classical Islamic Intellectual History Through Ibn Ṭufeyl’s Novel Ḥayy B. Yaḳẓān.Mehmet Karabela - 2013 - JOURNAL OF THE FACULTY OF DIVINITY OF ANKARA UNIVERSITY 54 (2):77-93.
    This article opens a new discussion in the field of post-classical Islamic intellectual history by showing how literature and intellectual history are two inseparable and interdependent fields through an analysis of Ibn Ṭufayl’s novel, Ḥayy b. Yaqẓān. To this end, the article first examines the tension between the two concepts of jadal and burhān, which have affected much of the currents in classical Islamic intellectual history, and does so by assessing the three main figures in Ibn Ṭufayl’s novel: Ḥayy, Absāl (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. 'Beyond A- and B-Time' Reconsidered.Natalja Deng - 2010 - Philosophia 38 (4):741-753.
    This article is a response to Clifford Williams’s claim that the debate between A- and B theories of time is misconceived because these theories do not differ. I provide some missing support for Williams’s claim that the B-theory includes transition, by arguing that representative B-theoretic explanations for why we experience time as passing (even though it does not) are inherently unstable. I then argue that, contra Williams, it does not follow that there is nothing at stake in the A- versus (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. On Whether B-Theoretic Atheists Should Fear Death.Natalja Deng - 2015 - Philosophia 43 (4):1011-1021.
    In this paper I revisit a dispute between Mikel Burley and Robin Le Poidevin about whether or not the B-theory of time can give its adherents any reason to be less afraid of death. In ‘Should a B-theoretic atheist fear death?’, Burley argues that even on Le Poidevin’s understanding of the B-theory, atheists shouldn’t be comforted. His reason is that the prevalent B-theoretic account of our attitudes towards the past and future precludes treating our fear of death as unwarranted. I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Objects in Time: Studies of Persistence in B-Time.Tobias Hansson Wahlberg - 2009 - Dissertation, Lund University
    This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000