In lieu of an abstract, here is a brief excerpt of the content:THE ACTUAL INFINITE IN ARISTOTLE Prolegomena: Philosophy and Theology Related HENEVER PHILOSOPHY is taken to be the handmaiden of theology, then the autonomy of reason is destroyed." Such a daim should be distinguished from a still 1stronger thesis. Compare: " A philosopher may not legitimately try to fortify an argument by bringing in new premises from another discipline which has a special aura of authority." Quite how Aristotle (...) would have reacted to the first generalization, if it had been suitably translated for his scrutiny, is a question on which commentators might agree to differ. But Aristotle would have been as!'eluctant as Aquinas, or Maimonides, or later Monotheists who treasured the Physics, to leave the second general claim unquestioned. Natural and revealed theology, like physics or mathematics, are domains where extremely subtle reasoner1s have studied and published widely for a very long time. So an elementary respect for induction suggests that philosophers should e:x;pect to benefit from,applying some premises and some ways of arguing, which are found in theology, to their own issues. I speak of premises and ways of arguing that philosophers qua philosophers have not provided before. Thinkers in all four disciplines could thus profit from each body of work. Even the law of averages is set pitilessly against the second general claim.1 1 The late Father F. C. Copleston, S.J., covers many important topics regarding theology and philosophy in Aquinets (Baltimore: Peng11in, 1955), pp. 12-14, 19, 54-63, 65-68, 74, 116, etc. But the point put forward here about human power to strengthen intuition in one field seems to be partly missed. Copleston also fails to dwell enough on infinity in various passages. See John King-Farlow, "The First ·way in Physical and Moral Space", The Thomist 427 428 JOHN KING-FARLOW By focussing on some arguments of Aristotle's against the admissibility of an,actual infinite, we shall find deeper, less obvims reasons for rejecting that second claim. Other philosophical points of intrinsic value should emerge as well foom the short investigation. But this one is especially interesting because of its curious pertinence to perennial disagreements among those who address the relations of theology, theism and philosophy. At any rate, the search for such deeper reasons will involve the application to Aristotle's texts of a somewhat modern way of using the term " intuition ". Introduotion: A Relevant Kind of Intuitive Thinking Diss,atisfaction with modern Platonism in higher mathematics may be added to disenchantment with Platonism's modern opponents. Such opposition may seem too technical for issues of intuition or, indeed, of common reason. And so one is led back to consider certain rightly famous arguments of Aristotle. But before turning to Aristotle and his grapplings with ideais and claims about an actual infinity, let us 1ook at a few very ordinary uses of the sometimes charismatic word "intuition." Webster's Dictionary (1978) offers: "immediate and instinctive perception of a truth; direct understanding without reasoning." In his classic study Evolution of JJ;Jathematieal Concepts, Wilder writes at least once in the spirit of Webster: "Counting with fingers (and toes) clearly involves intuitive recognition of (1-1)-correspontreme, excessive gene:msity, and, next, irion unwillingness to give ·anything to others, lies usually much closer to the first extreme. Between utter recklessness and self-paralyzing caution the Mean may oscillate in relative distance, according to the demands of the context. Near recklessness may offer the only means to win one kind of battle and a stubborn refusal to move may be needed for the nex>t victory. By pursuing such a nonmechanical and variably positioned ideal of a Mean, a really wise father usually oould show special favor to one specially deserving child in some ways and some contexts, yet generally show very satisfying love to a;ll his children. 11 Richard Bosley, " What Is a Mean? The Question Considered Compara· tively and Systematically." PhiloB. (shrink)

It is commonly assumed that Aristotle denies any real existence to infinity. Nothing is actually infinite. If, in order to resolve Zeno’s paradoxes, Aristotle must talk of infinity, it is only in the sense of a potentiality that can never be actualized. Aristotle’s solution has been both praised for its subtlety and blamed for entailing a limitation of mathematic. His understanding of the infinite as simply indefinite (the “bad infinite” that fails to reach its accomplishment), his conception of the cosmos (...) and even its prime mover as finite (in the sense of autarchic/self-contained) have been contrasted with the subsequent claim of God as ens infinitum (understood as a “positive” infinity). The goal of this essay is to reexamine the major texts (notably De caelo) and to demonstrate that (1) Aristotle’s claim according to which there is no actual infinite concerns only substances, not processes. (2) That Aristotle does not deny an actual infinite as such. (3) That when considering time and God (qua eternal) Aristotle acknowledges an actual infinite. (shrink)

Most interpreters hold that Kant rejects actually infinite tota synthetica as conceptually impossible. This view is attributed to Kant to relieve him of the charge that the first antinomy’s thesis argument presupposes transcendental idealism. I argue that important textual evidence speaks against this view, and Kant in fact affirms the conceptual possibility of actually infinite tota synthetica. While this means the first antinomy may not be decisive as an indirect argument for idealism, it gives us a better account of how (...) our ideas of the unconditioned generate the antinomies, and it allows us to see important and often overlooked elements in Kant’s account of the infinite. (shrink)

It is well known that Leibniz advocated the actual infinite, but that he did not admit infinite collections or infinite numbers. But his assimilation of this account to the scholastic notion of the syncategorematic infinite has given rise to controversy. A common interpretation is that in mathematics Leibniz’s syncategorematic infinite is identical with the Aristotelian potential infinite, so that it applies only to ideal entities, and is therefore distinct from the actual infinite that applies to the actual (...) world. Against this, I argue in this paper that Leibniz’s actual infinite, understood syncategorematically, applies to any entities that are actually infinite in multitude, whether numbers, actual parts of matter, or monads. It signifies that there are more of them than can be assigned a number, but that there is no infinite number or collection of them, which notion involves a contradiction. Similarly, to say that a magnitude is actually infinitely small in the syncategorematic sense is to say that no matter how small a magnitude one takes, there is a smaller, but there are no actual infinitesimals. In geometry one may calculate with expressions apparently denoting such entities, on the understanding that they are fictions, standing for variable magnitudes that can be made arbitrarily small, so as to produce demonstrations that there is no error in the resulting expressions. (shrink)

In a series of much discussed articles and books, William Lane Craig defends the view that the past could not consist in a beginningless series of events. In the present paper, I cast a critical eye on just one part of Craig's case for the finitude of the past – viz. his philosophical argument against the possibility of actually infinite sets of objects in the ‘real world’. I shall try to show that this argument is unsuccessful. I shall also take (...) a close look at several considerations that are often thought to favour the possibility of an actual infinite, arguing in each case that Craig's response is inadequate. (shrink)

One of the principal lines of argument deployed by the friends of the kalām cosmological argument against the possibility of a beginningless series of events is a quite general argument against the possibility of an actual infinite. The principal thesis of the present paper is that if this argument worked as advertised, parallel considerations would force us to conclude, not merely that a series of discrete, successive events must have a first member, but also that such a series must (...) have a final member. Anyone who thinks that an endless series of events is possible must therefore reject this popular line of argument against the possibility of an actual infinite. (shrink)

One of the principal lines of argument deployed by the friends of the kalām cosmological argument against the possibility of a beginningless series of events is a quite general argument against the possibility of an actual infinite. The principal thesis of the present paper is that if this argument worked as advertised, parallel considerations would force us to conclude, not merely that a series of discrete, successive events must have a first member, but also that such a series must (...) have a final member. Anyone who thinks that an endless series of events is possible must therefore reject this popular line of argument against the possibility of an actual infinite. (shrink)

I am so in favor of the actual infinite that instead of admitting that Nature abhors it, as is commonly said, I hold that Nature makes frequent use of it everywhere, in order to show more effectively the perfections of its Author. Thus I believe that there is no part of matter which is not, I do not say divisible, but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of (...) different creatures. (shrink)

Part of the kalam cosmological argument draws upon the claim that an actual infinite cannot exist. Classical theists also maintain both that some individuals will earn eternal life and that God infallibly foreknows the future. The claim that these latter two theses do not require that an actual infinite exists because God possesses an intuitive, rather than propositional intellect, is examined and rejected. Although the future is potential, rather than actual, classical theism requires that the future be, (...) in a sense, actually infinite. (shrink)

Mathematician and philosopher Hermann Weyl had our subject dead to rights.

According to a standard interpretation of Hume’s argument against infinite divisibility, Hume is raising a purely formal problem for mathematical constructions of infinite divisibility, divorced from all thought of the stuffing or filling of actual physical continua. I resist this. Hume’s argument must be understood in the context of a popular early modern account of the metaphysical status of the parts of physical quantities. This interpretation disarms the standard mathematical objections to Hume’s reasoning; I also defend it on textual (...) and contextual grounds. (shrink)

It has often been thought that the existence of an infinite amount of time implies the realization of all possibilities. However, it can be proved that it is not true that for any T, if T is an infinite period of time, then every possibility is actualized in T. The proof works for any sense of 'possibility' in which there are possibilities that cannot be actualized simultaneously.It still might be argued that if there is an infinite amount of time, then (...) each possibility is actualized sometime (during some infinite period of time, though not all). In particular it might be claimed that if there is an infinite amount of time, then there is an uninterrupted infinite period of time; and (P*) for any T, if T is an uninterrupted infinite period of time, then every possibility is actualized in T. However, it can also be shown that (P*) is not necessarily true.For it to be actually true, some very strong Principle of Universal Random Change must be true. (shrink)

The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

InMetaphysicsΘ.6, 1048b14-17, Aristotle treats the problem of what it is for the infinite to exist potentially, i.e. to be potentially actual. According to my interpretation, Aristotle argues that to exist potentially is for the infinite to have a potentiality which cannot be actualized in reality but only in thought, because it is a potentiality the process of whose actualization cannot be brought to an end.

It is often said that time must have a beginning because otherwise the series of past events would have the paradoxical features of an actual infinite. In the present paper, we show that, even given a dynamic theory of time, the cardinality of an endless series of events, each of which will occur, is the same as that of a beginningless series of events, each of which has occurred. Both are denumerably infinite. So if an endless series of events (...) is possible, then the possibility of a beginningless series of past events should not be rejected merely on the ground that it would be an actual infinite. What would be required to rebut our argument is a symmetry breaker – something that motivates treating the past relevantly differently to the future. We consider several attempts to provide a symmetry breaker and show that none of them is successful. (shrink)

"This article presents an analysis of William Lane Craig’s argument of the finitude of the past based on the impossibility of the formation of an actual infinite. To achieve the aim of this academic work we use, as a primary base, a book written by Craig called Reasonable Faith: Christian Truth and Apologetics and a chapter written by the same author along with James Sinclair called The Kalam Cosmological Argument in The Blackwell Companion to Natural Theology. These works, in (...) our opinion, provide sufficient primary material to study the topic. However, other articles and books by Craig are also referenced, and the commentaries of some other authors, who deal with this problem, are also used. Throughout this work, we consider the historical context and Craig’s incorporation of the kalam cosmological argument. We go on to analyse the presuppositions given by this author and consequently we study, progressively, the formulations that Craig himself made to reach his conclusion. /// Este artigo apresenta uma análise do argumento de William Lane Craig sobre a finitude do passado baseado na impossibilidade da formação de um infinito atual. Para atingir o objetivo deste trabalho acadêmico, utilizamos como fonte primária uma obra escrita pelo próprio Craig, intitulada Fé racional: verdade cristã e apologética, e um capítulo escrito pelo mesmo autor em colaboração com James Sinclair chamado O argumento cosmológico kalam, em The Blackwell Companion to Natural Theology. Estes trabalhos, em nossa opinião, oferecem suficientes elementos para o estudo do tópico. Entretanto, outros artigos e livros de Craig também foram citados, bem como os comentários de vários autores que tratam do problema. No decorrer deste trabalho consideramos o contexto histórico e a incorporação de Craig ao argumento cosmológico kalam. Mais adiante, analisamos primeiramente os pressupostos dados pelo mencionado autor e, em consequência, estudamos progressivamente as formulações feitas pelo próprio Craig para obter suas conclusões. ". (shrink)

This paper investigates the ontological presuppositions of quantifier logic. It is seen that the actual infinite, although present in the usual completeness proofs, is not needed for a proper semantic foundation. Additionally, quantifier logic can be given an adequate formulation in which neither the notion of individual nor that of a predicate appears.

Do actual infinities exist or are they impossible? Does mathematical practice require the existence of actual infinities, or are potential infinities enough? Contrasting points of view are examined in depth, concentrating on Aristotle’s ancient arguments against actual infinities. In the long 19th century, we consider Cantor’s successful rehabilitation of the actual infinite within his set theory, his views on the continuum, Zeno's paradoxes, and the domain principle, criticisms by Frege, and the axiomatisation of set theory by (...) Zermelo, as well as Zermelo’s assertion of the primacy of potential infinity in mathematics. (shrink)

We examine the notions of negative, infinite and hotter than infinite temperatures and show how these unusual concepts gain legitimacy in quantum statistical mechanics. We ask if the existence of an infinite temperature implies the existence of an actual infinity and argue that it does not. Since one can sensibly talk about hotter than infinite temperatures, we ask if one could legitimately speak of other physical quantities, such as length and duration, in analogous terms. That is, could there be (...) longer than infinite lengths or temporal durations? We argue that the answer is surprisingly yes, and we outline the properties of a number system that could be employed to characterize such magnitudes. (shrink)

This paper aims to show that a proper understanding of what Leibniz meant by “hypercategorematic infinite” sheds light on some fundamental aspects of his conceptions of God and of the relationship between God and created simple substances or monads. After revisiting Leibniz’s distinction between (i) syncategorematic infinite, (ii) categorematic infinite, and (iii) actual infinite, I examine his claim that the hypercategorematic infinite is “God himself” in conjunction with other key statements about God. I then discuss the issue of whether (...) the hypercategorematic infinite is a “whole”, comparing the four kinds of infinite outlined by Leibniz in 1706 with the three degrees of infinity outlined in 1676. In the last section, I discuss the relationship between the hypercategorematic infinite and created simple substances. I conclude that, for Leibniz, only a being beyond all determinations but eminently embracing all determinations can enjoy the pure positivity of what is truly infinite while constituting the ontological grounding of all things. (shrink)

1. Approximations of arbitrarily large but finite systems are often mistaken for infinite idealizations in statistical and thermal physics. The problem is illustrated by thermodynamically reversible processes. They are approximations of processes requiring arbitrarily long, but finite times to complete, not processes requiring an actual infinity of time.2. The present debate over whether phase transitions comprise a failure of reduction is confounded by a confusion of two senses of “level”: the molecular versus the thermodynamic level and the few component (...) versus the many component level. (shrink)

In this article, we evaluate various responses to a noteworthy objection, namely, the infinite God objection to the kalām cosmological argument. As regards this objection, the proponents of the kalām argument face a dilemma—either an actual infinite cannot exist or God cannot be infinite. More precisely, this objection claims that God’s omniscience entails the existence of an actual infinite with God knowing an actually infinite number of future events or abstract objects, such as mathematical truths. We argue, however, (...) that the infinite God objection is based on two questionable assumptions, namely, that it is possible for an omniscient being to know an actually infinite number of things and that there exist an actually infinite number of abstract objects for God to know. (shrink)

Leibniz claims that nature is actually infinite but rejects infinite number. Are his mathematical commitments out of step with his metaphysical ones? It is widely accepted that Leibniz has a viable response to this problem: there can be infinitely many created substances, but no infinite number of them. But there is a second problem that has not been satisfactorily resolved. It has been suggested that Leibniz’s argument against the world soul relies on his rejection of infinite number, and, as such, (...) Leibniz cannot assert that any body has a soul without also accepting infinite number, since any body has infinitely many parts. Previous attempts to address this concern have misunderstood the character of Leibniz’s rejection of infinite number. I argue that Leibniz draws an important distinction between ‘wholes’– collections of parts that can be thought of as a single thing – and ‘fictional wholes’ – collections of parts that cannot be thought of as a single thing, which allows us to make sense of his rejection of infinite number in a way that does not conflict either with his view that the world is actually infinite or that the bodies of substances have infinitely many parts. (shrink)

There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite (...) coherent and rigorous with modern tools that can stand as a rival to the widely-accepted view of the infinite as characterized in a mathematical theory of sets. In this paper, I argue that the theoretical roles that Aristotle intends his account of the potential infinite to fulfill lead to a deep and irresoluble tension that can help explain the persistence of debates on both of these questions. I do so by turning to the places where Aristotle attempts to argue for or against the existence of particular infinite processes to show that he slides between different underlying notions of when changes are possible. Making these underlying notions clear can help us better understand the role of Aristotle’s account in the history of philosophy, the possible pitfalls for a contemporary theory of the potential infinite, and what each of these debates might learn from each other. (shrink)

This article seeks to state, first, what traditionally has been assumed must be the case in order for an infinite epistemic regress to arise. It identifies three assumptions. Next it discusses Jeanne Peijnenburg's and David Atkinson's setting up of their argument for the claim that some infinite epistemic regresses can actually be completed and hence that, in addition to foundationalism, coherentism, and infinitism, there is yet another solution (if only a partial one) to the traditional epistemic regress problem. The article (...) argues that Peijnenburg and Atkinson fail to address the traditional regress problem, as they don't adopt all of the three assumptions that underlie the traditional regress problem. It also points to a problem in the notion of making probable that Peijnenburg and Atkinson use in their account of justification. (shrink)

W.L. Craig has argued that the universe has a beginning because (1) the infinitude of the past entails the existence of actual infinite multitudes of past intervals of time, and (2) the existence of actual infinite multitudes is impossible. Puryear has rejected (1) and argued that what the infinitude of the past entails is only the existence of an actual infinite magnitude of past time. But this does not preclude the infinitude of the past, Puryear claims, because (...) there can be no justification for the claim that actual infinite magnitudes are impossible. I argue, against Puryear, that there can be such a justification. I claim, nevertheless, that, for reasons entirely different from Puryear’s, the finitude of the past cannot be established based either on the impossibility of actual infinite multitudes or on the impossibility of actual infinite magnitudes. My arguments in this paper draw on insights from al-Kindī and Avicenna. (shrink)

Throughout his early writings, Leibniz was concerned with developing an acceptable account of God's relationship to the created world. In some of these early writings, he endorsed the idea that this relationship was similar to the human soul's relationship to the body. Though he eventually came to reject this idea, theanima mundi thesis remained the topic of several essays and correspondences during his career, culminating in the correspondence with Clarke. At first glance,Leibniz's discussions of this thesis may seem less important (...) in comparison to others, since it might seem like a topic which is far removed from what are regarded as his most important philosophical doctrines. I hope to show in what follows that such a view is mistaken. The large amount of attention Leibniz paid to this thesis is a sure indication of its importance to him. Further, as we shall see, his discussions of this thesis tum on some of his most interesting metaphysical topics, including the development of his thinking about the actual infinite, the structure of organic wholes, and the relationship between God and the created universe. In what follows, I examine these discussions chronologically, from the De Summa Rerum (1675-6), to the correspondence with Clarke (1715-6). (shrink)

This paper responds to commentaries by Kaiserman and Magidor, and Hawthorne. The case of the infinite clowns can teach us several things.

Erasmus and Verhoef suggest that a promising response to the infinite God objection to the Kalām cosmological argument include showing that abstract objects do not exist; actually infinite knowledge is impossible; and redefining omniscience as : for any proposition p, if God consciously thinks about p, God will either accept p as true if and only if p is true, or accept p as false if and only if p is false. I argue that there is insufficient motivation for showing (...) and and that is problematic as a definition of omniscience. (shrink)

In a recent article, Andrew Ter Ern Loke raises several objections to Jacobus Erasmus and Anné Hendrik Verhoef’s exposition and response to the so-called ‘Infinite God Objection’ to the kalām cosmological argument. According to this objection, the argument against the possibility of an actual infinite brings into question the view that God’s knowledge is infinite. Erasmus and Verhoef’s solution to this objection, which Loke criticises, depends on an unusual account of omniscience. In this article, I respond to Loke and (...) show that his objections are unsuccessful. (shrink)

I conceive of Spinoza’s substance monism as a response to Aristotle’s prohibition against actual infinity for one key reason: nature, being all things, is necessarily infi nite. Spinoza encapsulates his substance monism with the phrase, “Deus sive Natura,” implying that there is only one infinite substance, which also possesses an infi nity of attributes, of which we are but modes. These logical delineations of substance never actually break up God’s reality. Aristotle’s well-known argument against the reality of an (...) class='Hi'>actual infinity in his Physics prohibits the existence of an actually infinite bodily substance because it would necessarily “destroy” (Physics 204b26-27) all other elements or bodies. On Aristotle’s view, there is a fundamental and concrete distinction between things: each substance is primarily a this (Categories 3b10). I maintain that Spinoza’s rationalism and radicalization of the principle of sufficient reason lends him greater explanatory potential than Aristotle to justify the (non) existence of actual infinity. (shrink)

William Rowe argues that an essentially perfectly good being could not actualize a world unless there is no better world it could actualize instead. According to Rowe’s Argument from Improvability, if there is an infinite series of ever-improving and actualizable worlds then a perfect being could actualize exactly none of them. I argue that there is no reason to believe Rowe’s argument is sound. It therefore presents no important objection to theism.

This article seeks to state, first, what traditionally has been assumed must be the case in order for an infinite epistemic regress to arise. It identifies three assumptions. Next it discusses Jeanne Peijnenburg's and David Atkinson's setting up of their argument for the claim that some infinite epistemic regresses can actually be completed and hence that, in addition to foundationalism, coherentism, and infinitism, there is yet another solution (if only a partial one) to the traditional epistemic regress problem. The article (...) argues that Peijnenburg and Atkinson fail to address the traditional regress problem, as they don't adopt all of the three assumptions that underlie the traditional regress problem. It also points to a problem in the notion of making probable that Peijnenburg and Atkinson use in their account of justification. (shrink)

Recent work on Kant’s conception of space has largely put to rest the view that Kant is hostile to actual infinity. Far from limiting our cognition to quantities that are finite or merely potentially infinite, Kant characterizes the ground of all spatial representation as an actually infinite magnitude. I advance this reevaluation a step further by arguing that Kant judges some actual infinities to be greater than others: he claims, for instance, that an infinity of miles is strictly (...) smaller than an infinity of earth-diameters. This inequality follows from Kant’s mereological conception of magnitudes (quanta): the part is (analytically) less than the whole, and an infinity of miles is equal to only a part of an infinity of earth-diameters. This inequality does not, however, imply that Kant’s infinities have transfinite and unequal sizes (quantitates). Because Kant’s conception of size (quantitas) is based on the Eudoxian theory of proportions, infinite magnitudes (quanta) cannot be assigned exact sizes. Infinite magnitudes are immeasurable, but some are greater than others. (shrink)

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious nature of the non-Cantorian (...) outlook. (shrink)

In this paper I attempt to trace the development of Gottfried Leibniz’s early thought on the status of the actually infinitely small in relation to the continuum. I argue that before he arrived at his mature interpretation of infinitesimals as fictions, he had advocated their existence as actually existing entities in the continuum. From among his early attempts on the continuum problem I distinguish four distinct phases in his interpretation of infinitesimals: (i) (1669) the continuum consists of assignable points separated (...) by unassignable gaps; (ii) (1670-71) the continuum is composed of an infinity of indivisible points, or parts smaller than any assignable, with no gaps between them; (iii) (1672-75) a continuous line is composed not of points but of infinitely many infinitesimal lines, each of which is divisible and proportional to a generating motion at an instant (conatus); (iv) (1676 onward) infinitesimals are fictitious entities, which may be used as compendia loquendi to abbreviate mathematical reasonings; they are justifiable in terms of finite quantities taken as arbitrarily small, in such a way that the resulting error is smaller than any pre-assigned margin. Thus according to this analysis Leibniz arrived at his interpretation of infinitesimals as fictions already in 1676, and not in the 1700's in response to the controversy between Nieuwentijt and Varignon, as is often believed. (shrink)

One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...) truth predicate and argue that they fail to support the necessity of transparency for that purpose. Second, we show that, with the aid of some regimentation, many expressive functions of the truth predicate can actually be performed using truth principles that are consistent in classical logic. Finally, we suggest a reconceptualisation of deflationism, according to which the principles that govern the use of the truth predicate in natural language are largely irrelevant for the question of what formal theory of truth we should adopt. Many philosophers think that the paradoxes pose a special problem for deflationists; we will argue, on the contrary, that deflationists are in a much better position to deal with the paradoxes than their opponents. (shrink)

Based on a recently published essay by Jeremy Gwiazda, I argue that the possibility that the present state of the universe is the product of an actually infinite series of causally-ordered prior events is impossible in principle, and thus that a major criticism of the Secunda Via of St. Thomas is baseless after all.

The paper discusses some different conceptions of the infinity, from Aristotle to Georg Cantor (1845-1918) and beyond. The ancient distinction between actual and potential infinity is explained, along with some arguments against the possibility of actually infinite collections. These arguments were eventually rejected by most philosophers and mathematicians as a result of Cantor’s elegant and successful theory of actually infinite collections.

Infinity exists as a concept but has no existence in actuality. For infinity to have existence in actuality either time or space have to already be infinite. Unless something is already infinite, the only way to become infinite is by an 'infinity leap' in an infinitely small moment, and this is not possible. Neither does infinitely small have an existence since anything larger than zero is not infinitely small. Therefore infinity has no existence in actuality.

Human language has the characteristic of being open and in some cases polysemic. The word “infinite” is used often in common speech and more frequently in literary language, but rarely with its precise meaning. In this way the concepts can be used in a vague way but an argument can still be structured so that the central idea is understood and is shared with to the partners. At the same time no precise definition is given to the concepts used and (...) each partner makes his own reading of the text based on previous experience and cultural background. In a language dictionary the first meaning of “infinite” agrees with the etymology: what has no end. We apply the word infinite most often and incorrectly as a synonym for “very large” or something that we do not perceive its completion. In this context, the infinite mentioned in dictionaries refers to the idea or notion of the “immeasurably large” although this is open to what the individual’s means by “immeasurably great.” Based on this linguistic imprecision, the authors present a non Cantorian theory of the potential and actual infinite. For this we have introduced a new concept: the homogon that is the whole set that does not fall within the definition of sets established by Cantor. (shrink)

In Physics, Aristotle starts his positive account of the infinite by raising a problem: “[I]f one supposes it not to exist, many impossible things result, and equally if one supposes it to exist.” His views on time, extended magnitudes, and number imply that there must be some sense in which the infinite exists, for he holds that time has no beginning or end, magnitudes are infinitely divisible, and there is no highest number. In Aristotle's view, a plurality cannot escape having (...) bounds if all of its members exist at once. Two interesting, and contrasting, interpretations of Aristotle's account can be found in the work of Jaako Hintikka and of Jonathan Lear. Hintikka tries to explain the sense in which the infinite is actually, and the sense in which its being is like the being of a day or a contest. Lear focuses on the sense in which the infinite is only potential, and emphasizes that an infinite, unlike a day or a contest, is always incomplete. (shrink)

We argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary inference rules to secure the determinacy of arithmetical truth on conventionalist grounds.

In “Properties and the Interpretation of Second-Order Logic” Bob Hale develops and defends a deflationary conception of properties where a property with particular satisfaction conditions actually exists if and only if it is possible that a predicate with those same satisfaction conditions exists. He argues further that, since our languages are finitary, there are at most countably infinitely many properties and, as a result, the account fails to underwrite the standard semantics for second-order logic. Here a more lenient version of (...) the view is explored, which allows for the possibility of countably infinite predicates understood as the product of linguistic supertasks. This enriched deflationist account of properties—the Infinitary Deflationary Conception of Existence—supports the standard semantics for models with countable first-order domains, and allows one to prove the categoricity of the second-order Peano axioms. (shrink)