Results for 'apophatic finitism'

559 found
Order:
  1. Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.
    This article is about the ontological dispute between finitists, who claim that only finitely many numbers exist, and infinitists, who claim that infinitely many numbers exist. Van Bendegem set out to solve the 'general problem' for finitism: how can one recast finite fragments of classical mathematics in finitist terms? To solve this problem Van Bendegem comes up with a new brand of finitism, namely so-called 'apophatic finitism'. In this article it will be argued that apophatic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Finitism and the Beginning of the Universe.Stephen Puryear - 2014 - Australasian Journal of Philosophy 92 (4):619-629.
    Many philosophers have argued that the past must be finite in duration because otherwise reaching the present moment would have involved something impossible, namely, the sequential occurrence of an actual infinity of events. In reply, some philosophers have objected that there can be nothing amiss in such an occurrence, since actually infinite sequences are ‘traversed’ all the time in nature, for example, whenever an object moves from one location in space to another. This essay focuses on one of the two (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Finitism, Divisibilty, and the Beginning of the Universe: Replies to Loke and Dumsday.Stephen Puryear - 2016 - Australasian Journal of Philosophy 94 (4):808-813.
    Some philosophers contend that the past must be finite in duration, because otherwise reaching the present would have involved the sequential occurrence of an actual infinity of events, which they regard as impossible. I recently developed a new objection to this finitist argument, to which Andrew Ter Ern Loke and Travis Dumsday have replied. Here I respond to the three main points raised in their replies.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  12
    Apophatic paths from Europe to China: regions without borders.William Franke - 2018 - Albany, New York: SUNY Press.
    All or nothing? Nature in Chinese thought and the apophatic occident -- Nothing and the poetic making of sense -- Immanence: the last word? -- Universalism, or the nothing that is all -- An extra word on originality -- Intercultural dia-logue and its apophatic interstices -- Analytic table of contents.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  87
    Wittgenstein, finitism, and the foundations of mathematics.Mathieu Marion - 1998 - New York: Oxford University Press.
    This pioneering book demonstrates the crucial importance of Wittgenstein's philosophy of mathematics to his philosophy as a whole. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations.
  6. Finitistic and Frequentistic Approximation of Probability Measures with or without σ-Additivity.G. Schurz & H. Leitgeb - 2008 - Studia Logica 89 (2):257-283.
    In this paper a theory of finitistic and frequentistic approximations — in short: f-approximations — of probability measures P over a countably infinite outcome space N is developed. The family of subsets of N for which f-approximations converge to a frequency limit forms a pre-Dynkin system $${{D\subseteq\wp(N)}}$$. The limiting probability measure over D can always be extended to a probability measure over $${{\wp(N)}}$$, but this measure is not always σ-additive. We conclude that probability measures can be regarded as idealizations of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  50
    Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.
    Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, of Kripke–Feferman truth (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Aristotelian finitism.Tamer Nawar - 2015 - Synthese 192 (8):2345-2360.
    It is widely known that Aristotle rules out the existence of actual infinities but allows for potential infinities. However, precisely why Aristotle should deny the existence of actual infinities remains somewhat obscure and has received relatively little attention in the secondary literature. In this paper I investigate the motivations of Aristotle’s finitism and offer a careful examination of some of the arguments considered by Aristotle both in favour of and against the existence of actual infinities. I argue that Aristotle (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  10
    Apophatic Bodies: Negative Theology, Incarnation, and Relationality.Chris Boesel (ed.) - 2022 - Fordham University Press.
    The ancient doctrine of negative theology or apophasis--the attempt to describe God by speaking only of what cannot be said about the divine perfection and goodness--has taken on new life in the concern with language and its limits that preoccupies much postmodern philosophy, theology, and related disciplines. How does this mystical tradition intersect with the concern with material bodies that is simultaneously a focus in these areas? This volume pursues the unlikely conjunction of apophasis and the body, not for the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  84
    Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
    Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  3
    Apophatic Philosophy. Beyond Phenomenology?Tadej Rifel - 2021 - Philotheos 21 (2):168-178.
    An expression apophatic philosophy can be understood as an appropriate synonym for a more traditional expression apophatic theology. Traditional philosophical views on the mystery of God created besides its mere rational reflection also thought which is over-rational but definitely not antirational. It can be found in texts in the field of mysticism, both religious and philosophical. Classical Greek culture joined with Christian faith. Therefore, we cannot talk about it as an individual entity being separated by these two worlds. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  83
    Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
    The concept of the (full) unfolding of a schematic system is used to answer the following question: Which operations and predicates, and which principles concerning them, ought to be accepted if one has accepted ? The program to determine for various systems of foundational significance was previously carried out for a system of nonfinitist arithmetic, ; it was shown that is proof-theoretically equivalent to predicative analysis. In the present paper we work out the unfolding notions for a basic schematic system (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Strict finitism.Crispin Wright - 1982 - Synthese 51 (2):203 - 282.
    Dummett's objections to the coherence of the strict finitist philosophy of mathematics are thus, at the present time at least, ill-taken. We have so far no definitive treatment of Sorites paradoxes; so no conclusive ground for dismissing Dummett's response — the response of simply writing off a large class of familiar, confidently handled expressions as semantically incoherent. I believe that cannot be the right response, if only because it threatens to open an unacceptable gulf between the insight into his own (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  15. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  16.  3
    Can Apophatic Theology be Applied to Goddessing as Well as to God?Jacqueline daCosta - 2002 - Feminist Theology 11 (1):82-98.
    There is a device used particularly in Orthodox Christian theology known as apophatic theology. In this God is spoken of only in 'negating concepts' to emphasize the inability of language to adequately describe the nature of deity. My question is whether there is any way in which this concept, used as it is to underline the 'otherness' of a transcendental god, can be applied to a thealogy of Goddess. This'way of negation' figures prominently in mystical theology, where it is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  20
    Strict Finitism and the Logic of Mathematical Applications.Feng Ye - 2011 - Dordrecht, Netherland: Springer.
    This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to (...)
    No categories
  18.  71
    What Finitism Could Not Be.Matthias Schirn & Karl-Georg Niebergall - 2003 - Critica 35 (103):43-68.
    In his paper "Finitism", W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist functions are precisely the primitive recursive functions" is disputable and that another, likewise defended by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  36
    Apophatic Language, the Aesthetic, and the Sensus Divinitatis.Julianne N. Chung - 2020 - Journal of Analytic Theology 8 (1):100-119.
    Across a variety of religious and philosophical traditions, it is common to think that it is possible that God defies all description. This presents a problem, however, as the claim that God defies all description itself appears to describe God. Drawing on multiple religious and philosophical traditions, this paper proposes an addition to the pragmatic stock of approaches to this problem. The proposal is that apophatic utterances are best interpreted—at least in the first instance—as invitations to engage the world (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Finitism in mathematics (I).Alice Ambrose - 1935 - Mind 44 (174):186-203.
  21.  78
    Finitism in mathematics (II.).Alice Ambrose - 1935 - Mind 44 (175):317-340.
  22. Finitism = PRA? On a Thesis of W.W. Tait.Matthias Schirn & Karl-Georg Niebergall - 2005 - Reports on Mathematical Logic:3-24.
    In his paper `Finitism', W.W.~Tait maintained that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argued that all finitist reasoning is essentially primitive recursive. In our paper, we attempt to show that his thesis ``The finitist functions are precisely the primitive recursive functions'' is disputable and that another, likewise defended by him, (...)
     
    Export citation  
     
    Bookmark  
  23.  32
    The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.
    Frege’s theory is inconsistent. However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model-theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak. We also prove the finitistic consistency of the extension of Heck’s theory to $\Delta^{1}_{1}$-comprehension and of Heck’s ramified predicative second-order system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  55
    Finitism and Divisibility: A Reply to Puryear.Travis Dumsday - 2016 - Australasian Journal of Philosophy 94 (3):596-601.
    Puryear develops an objection against a prominent attempt to show that the universe must have a temporal beginning. Here I formulate a reply.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  5
    Strict finitism.Charles F. Kielkopf - 1970 - The Hague,: Mouton.
  26. Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.
    No categories
     
    Export citation  
     
    Bookmark   24 citations  
  27.  55
    On Finitism and the Beginning of the Universe: A Reply to Stephen Puryear.Andrew Ter Ern Loke - 2016 - Australasian Journal of Philosophy 94 (3):591-595.
    ABSTRACTStephen Puryear argues that William Lane Craig's view, that time as duration is logically prior to the potentially infinite divisions that we make of it, involves the idea that time is prior to any parts we conceive within it. He objects that PWT entails the Priority of the Whole with respect to Events, and that it subverts the argument, used by proponents of the Kalam Cosmological Argument such as Craig, against an eternal past based on the impossibility of traversing an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  4
    Apophatic theology as a resource for eco-theology.Iris Veerbeek & Peter-Ben Smit - 2022 - International Journal of Philosophy and Theology 83 (4):263-280.
    This essay explores the potential for eco-theology as a part of the (Christian) theological tradition that, so far, has only been analyzed to a limited extent with regard to what it might contribute to forms of theology that further more sustainable forms of humankind’s (co-)inhabitation of the world: the tradition of apophatic theology. The question is: ‘can dimensions of the apophatic tradition be identified that can contribute to the development of eco-theology in the Christian tradition by informing the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  63
    Finitist set theory in ontological modeling.Avril Styrman & Aapo Halko - 2018 - Applied ontology 13 (2):107-133.
    This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Finitism in the Metaphysical Foundations.Lydia Patton - 2022 - In Michael Bennett McNulty (ed.), Kant's Metaphysical Foundations of Natural Science: A Critical Guide. Cambridge University Press. pp. 119-137.
    In this paper, building on recent and longstanding work (Warren 2001, Friedman 2013, Glezer 2018), I investigate how the account of the essences or natures of material substances in the Metaphysical Foundations is related to Kant’s demand for the completeness of the system of nature. We must ascribe causal powers to material substances for the properties of those substances to be observable and knowable. But defining those causal powers requires admitting laws of nature, taken as axioms or principles of natural (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  54
    Apophatic and kataphatic discourse in mahāyāna: A chinese view.Robert M. Gimello - 1976 - Philosophy East and West 26 (2):117-136.
  32.  5
    Apophatic Community: Yannaras on Relational Being.Fred Dallmayr - 2019 - Comparative Philosophy 10.
    For Martin Heidegger the story of Western philosophy ended basically in egocentrism or the metaphysics of “subjectivity”; however, he acknowledged the possibility of another path in Greece: that of pre-Socratic thinking. Yet, there is a further path he did not acknowledge: the tradition of Orthodox philosophy and theology. The paper focuses on some key works of the prominent contemporary Greek philosopher Christos Yannaras, for a long time professor in Athens. Taking over the notions of “Being” and ontology, Yannaras construes them (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  98
    Finitism and "the limits of empiricism".Alice Ambrose - 1937 - Mind 46 (183):379-385.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Wittgenstein, Finitism, and the Foundations of Mathematics.Mathieu Marion - 1998 - Studia Logica 66 (3):432-434.
     
    Export citation  
     
    Bookmark   34 citations  
  35. Strict Finitism Refuted?Ofra Magidor - 2007 - Proceedings of the Aristotelian Society 107 (1pt3):403-411.
    In his paper ‘Wang’s Paradox’, Michael Dummett provides an argument for why strict finitism in mathematics is internally inconsistent and therefore an untenable position. Dummett’s argument proceeds by making two claims: (1) Strict finitism is committed to the claim that there are sets of natural numbers which are closed under the successor operation but nonetheless have an upper bound; (2) Such a commitment is inconsistent, even by finitistic standards. -/- In this paper I claim that Dummett’s argument fails. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  11
    Apophatic Beauty in the Hippias Major and the Symposium.Catherine Wesselinoff - forthcoming - Journal of Aesthetics and Art Criticism.
    Plato’s discourse on beauty in the Hippias Major and the Symposium is distinctly apophatic in nature. Plato describes beauty in terms of what it is not (an approach sometimes referred to apophasis, or the via negativa). In this paper, I argue that Platonic apophatic practise in the Hippias Major and the Symposium depicts beauty as an ally to certain aspirations of philosophical discourse. In the first section, I offer some brief prefatory remarks on the nature of apophasis and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  63
    Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.
    It can be argued that only the equational theories of some sub-elementary function algebras are finitistic or intuitive according to a certain interpretation of Hilbert's conception of intuition. The purpose of this paper is to investigate the relation of those restricted forms of equational reasoning to classical quantifier logic in arithmetic. The conclusion reached is that Edward Nelson's ‘predicative arithmetic’ program, which makes essential use of classical quantifier logic, cannot be justified finitistically and thus requires a different philosophical foundation, possibly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38. An apophatic response to the evidential argument from evil.Brown Joshua Matthan - 2017 - International Journal of Philosophy and Theology 78 (4-5):485-497.
    I argue that Christian apophaticism provides the most powerful and economical response to the evidential argument from evil for the non-existence of God. I also reply to the objection that Christian apophaticism is incoherent, because it appears to entail the truth of the following contradiction: it is both possible and impossible to know God’s essential properties. To meet this objection, I outline a coherent account of the divine attributes inspired by the theology of the Greek Father’s and St. Gregory Palamas.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    On apophatic political theology.Anna Rowlands - 2021 - Critical Research on Religion 9 (3):334-336.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  16
    Without measure : Marion’s apophatic-virtue phenomenology of iconic love.Amy Antoninka - unknown
    I investigate Jean-Luc Marion's phenomenology of love and its relation to ethics. I argue that his phenomenology of love provides a possibility for developing ethics. I rely on the saturated phenomenon of the icon and his phenomenology of love. I establish that the icon provides a rich sense of relation, a need to modify certain appraisals of justice, and provides a descriptive account of the virtue of receptivity. In chapter one, I give an exegesis of Marion's phenomenology of the icon. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.
    I consider here several versions of finitism or conceptions that try to work around postulating sets of infinite size. Restricting oneself to the so-called potential infinite seems to rest either on temporal readings of infinity (or infinite series) or on anti-realistic background assumptions. Both these motivations may be considered problematic. Quine’s virtual set theory points out where strong assumptions of infinity enter into number theory, but is implicitly committed to infinity anyway. The approaches centring on the indefinitely large and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  25
    Apophatic paths.William Franke - 2012 - Angelaki 17 (3):7-16.
    Theology, particularly negative theology (which maintains that we can know only what God is not), has taken the lead historically in developing reflection on the limits of language and the beyond o...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
    At the most general level, the concept of finitism is typically characterized by saying that finitistic mathematics is that part of mathematics which does not appeal to completed infinite totalities and is endowed with some epistemological property that makes it secure or privileged. This paper argues that this characterization can in fact be sharpened in various ways, giving rise to different conceptions of finitism. The paper investigates these conceptions and shows that they sanction different portions of mathematics as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  1
    The apophatic visuality.Una Popovic - 2022 - Veritas – Revista de Filosofia da Pucrs 67 (1):e43270.
    This paper is about the specific character of the aesthetic experience of icons. I am arguing for the idea that the aesthetic experience of icons is a necessary condition of their role and function in Christian worship, and, moreover, that this particular aesthetic experience is of an apophatic kind. My arguments will be developed on the background of the Byzantine iconoclastic debate and the apophatic theology of Pseudo-Dionysius the Areopagite. Also, they should present the very debate from the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  17
    Apophatic theological tradition and analytic theology: outlining conflicts and solutions.Sergey Eugenievich Sizov - 2021 - Kant 38 (1):171-178.
    The reason for writing the article was the book of the famous analytical theologian Thomas Morris "Our Idea of God", in which he writes Gregory Nazianzin in the camp of pessimistic theologians and criticizes apophatic theology. In our opinion, his criticism is devoid of solid foundations and apophaticism itself is understood one-sidedly, while with a closer examination, the conflict between rational and mystical reason can be at least noticeably reduced. The following text is devoted to the study of this (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  41
    APOPHATIC ANIMALITY: lautréamont, bachelard, and the bliss of metamorphosis.Eugene Thacker - 2013 - Angelaki 18 (1):83-98.
    This essay examines animality through an analysis of Les Chants de Maldoror, an obscure but influential nineteenth-century text by the Comte de Lautréamont. Drawing upon the work of Gaston Bachelard as well as the apophatic tradition in Christian mysticism, Les Chants de Maldoror can be read as a text that complicates the boundary between animality and spirituality, producing an “apophatic animality” that ultimately impacts the poetics of the text itself.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Apophatic Elements in the Theory and Practice of Psychoanalysis: Pseudo-Dionysius and C. G. Jung.David Henderson - 2013 - Routledge.
    How can the psychotherapist think about not knowing? Is psychoanalysis a contemplative practice? This book explores the possibility that there are resources in philosophy and theology which can help psychoanalysts and psychotherapists think more clearly about the unknown and the unknowable. The book applies the lens of apophasis to psychoanalysis, providing a detailed reading of apophasis in the work of Pseudo-Dionysius and exploring C.G. Jung's engagement with apophatic discourse. Pseudo-Dionysius brought together Greek and biblical currents of negative theology and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Strict Finitism and the Logic of Mathematical Applications, Synthese Library, vol. 355.Feng Ye - 2011 - Springer.
    This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as (...)
     
    Export citation  
     
    Bookmark  
  49.  44
    The unfolding of non-finitist arithmetic.Solomon Feferman & Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):75-96.
    The unfolding of schematic formal systems is a novel concept which was initiated in Feferman , Gödel ’96, Lecture Notes in Logic, Springer, Berlin, 1996, pp. 3–22). This paper is mainly concerned with the proof-theoretic analysis of various unfolding systems for non-finitist arithmetic . In particular, we examine two restricted unfoldings and , as well as a full unfolding, . The principal results then state: is equivalent to ; is equivalent to ; is equivalent to . Thus is proof-theoretically equivalent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  50.  46
    Wittgenstein, Finitism, and the Foundations of Mathematics.Paolo Mancosu - 2001 - Philosophical Review 110 (2):286.
    It is reported that in reply to John Wisdom’s request in 1944 to provide a dictionary entry describing his philosophy, Wittgenstein wrote only one sentence: “He has concerned himself principally with questions about the foundations of mathematics”. However, an understanding of his philosophy of mathematics has long been a desideratum. This was the case, in particular, for the period stretching from the Tractatus Logico-Philosophicus to the so-called transitional phase. Marion’s book represents a giant leap forward in this direction. In the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
1 — 50 / 559