Kant's Critique of Pure Reason makes important claims about space, time and mathematics in both the Transcendental Aesthetic and the Axioms of Intuition, claims that appear to overlap in some ways and contradict in others. Various interpretations have been offered to resolve these tensions; I argue for an interpretation that accords the Axioms of Intuition a more important role in explaining mathematical cognition than it is usually given. Appreciation for this larger role reveals that magnitudes are (...) central to Kant's philosophy of mathematics and to the part that intuition plays in it. (shrink)

We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We (...) will in fact show why there must be an infinity of cardinalities between the integers and the reals. We will also show why Martin's Axiom must be false, and we will prove the extension of Fubini's Theorem for Lebesgue measure where joint measurability is not assumed. Following the philosophy--if you reject CH you are only two steps away from rejecting the axiom of choice (AC)--we will point out along the way some extensions of our intuition which contradict AC. (shrink)

We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to be derivable? (...) It was shown in the 1960s by Lawvere that the existence of an infinite set is equivalent to the existence of a certain kind of structure-preserving transformation from V to itself, not isomorphic to the identity. We use Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity. A first refinement was discussed in later work by Trnková—Blass, showing that if the preservation properties of Lawvere's tranformation are strengthened to the point of requiring it to be an exact functor , such a transformation is provably equivalent to the existence of a measurable cardinal. We propose to push the preservation properties as far as possible, short of inconsistency. The resulting transformation V→V is strong enough to account for virtually all large cardinals, but is at the same time a natural generalization of an assertion about transformations V→V known to be equivalent to the Axiom of Infinity. (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...) Of course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...) Of course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

According to Kant, the axioms of intuition, i.e. space and time, must provide an organization of the sensory experience. However, this first orderliness of empirical sensations seems to depend on a kind of faculty pertaining to subjectivity, rather than to the encounter of these same intuitions with the real properties of phenomena. Starting from an analysis of some very significant developments in mathematical and theoretical physics in the last decades, in which intuition played an important role, we (...) argue that nevertheless intuition comes into play in a fundamentally different way to that which Kant had foreseen: in the form of a formal or “categorical” yet not sensible intuition. We show further that the statement that our space is mathematically three-dimensional and locally Euclidean by no means follows from a supposed a priori nature of the sensible or subjective space as Kant claimed. In fact, the three-dimensional space can bear many different geometrical and topological structures, as particularly the mathematical results of Milnor, Smale, Thurston and Donaldson demonstrated. On the other hand, it has been stressed that even the phenomenological or perceptual space, and especially the visual system, carries a very rich geometrical organization whose structure is essentially non-Euclidean. Finally, we argue that in order to grasp the meaning of abstract geometric objects, as n-dimensional spaces, connections on a manifold, fiber spaces, module spaces, knotted spaces and so forth, where sensible intuition is essentially lacking and where therefore another type of mathematical idealization intervenes, we need to develop a new form of intuition. (shrink)

The simplest axioms, formulated by medieval scholastics as rules of inference between potency and act, are also axioms concerning causality as they express some potency-act relations. These are: Ab esse ad posse valet illatio. A non posse ad non esse valet illatio. A posse ad esse non valet illatio. A non esse ad non posse non valet illatio. The project on formulating axioms of efficient causality by means of the prepositional variables calculus does not mean of course (...) that we try to create a complete theory of causality. We will, for the moment show that the quantification of the concepts „potency-act" by means of the concepts „set-element" or „parameter-specific numerical value" is very useful. We will also point out, intuitively, as an experiment, the logical operators which are linked very closely with such concepts as implication, potentiality, act, set, specific numeric value. (shrink)

The simplest axioms, formulated by medieval scholastics as rules of inference between potency and act, are also axioms concerning causality as they express some potency-act relations. These are: Ab esse ad posse valet illatio. A non posse ad non esse valet illatio. A posse ad esse non valet illatio. A non esse ad non posse non valet illatio. The project on formulating axioms of efficient causality by means of the prepositional variables calculus does not mean of course (...) that we try to create a complete theory of causality. We will, for the moment show that the quantification of the concepts „potency-act" by means of the concepts „set-element" or „parameter-specific numerical value" is very useful. We will also point out, intuitively, as an experiment, the logical operators which are linked very closely with such concepts as implication, potentiality, act, set, specific numeric value. (shrink)

The present work is an attempt to break ground in mathematics proper, armed with the accepting view just described. Specifically, we shall examine various versions of antinomic set theory, in particular the axiom of choice, keeping the presentation as intuitive as possible, more in the manner of a nineteenth century paper than as a thoroughly formalized system. The reason for such a presentation is the conviction that at this point it should be the mathematics that eventually determines the logic, rather (...) than the other way around. (shrink)

Current debates between behavioural and orthodox economists indicate that the role and epistemological status of first principles is a particularly pressing problem in economics. As an alleged paragon of extreme apriorism, the methodology of Austrian economics in Mises’ tradition is often dismissed as untenable in the light of modern philosophy. In particular, the defence of the so-called fundamental axiom of praxeology—“Man acts.”—by means of pure intuition is almost unanimously rejected. However, in recently resurfacing debates, the extremeness of Mises’ epistemological (...) position has been called into question. Rather than directly engaging in these exegetical discussions, this paper aims to substantiate the possibility and plausibility of conventionalist defences of praxeology per se. The proposed shift includes settling for an analytic fundamental axiom and acknowledging the prima facie tenability of other research programs than praxeology. Since conventionalist praxeology is only moderately aprioristic, mainstream economists and philosophers might be more likely to engage in fruitful discussions with those Austrian scholars who elaborate pragmatic arguments for praxeology instead of invoking pure intuition. (shrink)

Whereas classic work in judgment and decision making has focused on the deviation of intuition from rationality, more recent research has focused on the performance of intuition in real-world environments. Borrowing from both approaches, we investigate to which extent competing models of intuitive probabilistic decision making overlap with choices according to the axioms of probability theory and how accurate those models can be expected to perform in real-world environments. Specifically, we assessed to which extent heuristics, models implementing (...) weighted additive information integration (WADD), and the parallel constraint satisfaction (PCS) network model approximate the Bayesian solution and how often they lead to correct decisions in a probabilistic decision task. PCS and WADD outperform simple heuristics on both criteria with an approximation of 88.8% and a performance of 73.7%. Results are discussed in the light of selection of intuitive processes by reinforcement learning. (shrink)

I discuss a difficulty concerning the justification of the Axiom of Choice in terms of such informal notions such as that of iterative set. A recent attempt to solve the difficulty is by S. Lavine, who claims in his Understanding the Infinite that the axioms of set theory receive intuitive justification from their being self-evidently true in Fin(ZFC), a finite counterpart of set theory. I argue that Lavine's explanatory attempt fails when it comes to AC: in this respect Fin(ZFC) (...) is no better off than the iterative notion. (shrink)

The conflict between Platonic realism and Constructivism marks a watershed in philosophy of mathematics. Among other things, the controversy over the Axiom of Choice is typical of the conflict. Platonists accept the Axiom of Choice, which allows a set consisting of the members resulting from infinitely many arbitrary choices, while Constructivists reject the Axiom of Choice and confine themselves to sets consisting of effectively specifiable members. Indeed there are seemingly unpleasant consequences of the Axiom of Choice. The non-constructive nature of (...) the Axiom of Choice leads to the existence of non-Lebesgue measurable sets, which in turn yields the Banach-Tarski Paradox. But the Banach-Tarski Paradox is so called in the sense that it is a counter-intuitive theorem. To corroborate my view that mathematical truths are of non-constructive nature, I shall draw upon Gödel’s Incompleteness Theorems. This also shows the limitations inherent in formal methods. Indeed the Löwenheim-Skolem Theorem and the Skolem Paradox seem to pose a threat to Platonists. In this light, Quine/Putnam’s arguments come to take on a clear meaning. According to the model-theoretic arguments, the Axiom of Choice depends for its truth-value upon the model in which it is placed. In my view, however, this is another limitation inherent in formal methods, not a defect for Platonists. To see this, we shall examine how mathematical models have been developed in the actual practice of mathematics. I argue that most mathematicians accept the Axiom of Choice because the existence of non-Lebesgue measurable sets and the Well-Ordering of reals open the possibility of more fruitful mathematics. Finally, after responding to Benacerraf’s challenge to Platonism, I conclude that in mathematics, as distinct from natural sciences, there is a close connection between essence and existence. Actual mathematical theories are the parts of the maximally logically consistent theory that describes mathematical reality. (shrink)

This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of (...) this style of exposition does not entail a claim to provide a mathematically rigorous formal deductive system. Conventional mathematical notation is used to achieve clarity, although this is elaborated with natural language in an attempt to reduce terseness. In our view, making the approach axiomatic is synonymous with building clear usable tests for consciousness and is therefore a central feature of the paper. The extended scope of this approach is to lay down some essential properties that should be considered when designing machines that could be said to be conscious. In the broader discussion about the nature of consciousness and its neurological mechanisms, it may seem to some that axiomatisation is premature and continues to beg many questions. However, the approach is meant to be open- ended so that others can build further axiomatic clarifications that address the very large number of questions which, in the search for a formal basis for consciousness, still remain to be answered. Of course, in discussions about consciousness many will also argue that the subject is not one that may ever be formally addressed by means of axioms. The view taken in this paper is 'let's try to do it and see how far it gets'. (shrink)

§1. Introduction. Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the ‘large-scale structure’ of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the completeness of the metric space, now follow rather easily from saturation properties of ultrapowers, and in this survey, we want to present two applications of the van den Dries-Wilkie approach. Using ultrapowers (...) we obtain an explicit description of the asymptotic cone of a semisimple Lie group. From this description, using semi-algebraic groups and non-standard methods, we can give a short proof of the Margulis Conjecture. In a second application, we use set theory to answer a question of Gromov.§2. Definitions. The intuitive idea behind Gromov's concept of an asymptotic cone was to look at a given metric space from an ‘infinite distance’, so that large-scale patterns should become visible. In his original definition this was done by gradually scaling down the metric by factors 1/nfornϵ ℕ. In the approach by van den Dries and Wilkie, this idea was captured by ultrapowers. Their construction is more general in the sense that the asymptotic cone exists for any metric space, whereas in Gromov's original definition, the asymptotic cone existed only for a rather restricted class of spaces. (shrink)

Kant's response to ‘Hume's problem’ in his analysis of the a priori structure of causality as law-governed succession in the Second Analogy of Experience has unquestionably overshadowed the account of simultaneity (Zugleichsein), which follows in the Third Analogy. The analysis of simultaneity in the first Critique relies entirely upon that of succession and is ultimately no more than a more complicated variant of the causal dependence of substances: two objects are experienced as simultaneous only when each of those objects grounds (...) some determination of the other, that is when they are reciprocally determined in dynamic community. By investigating Kant's remark in the third Critique that the experience of the sublime “makes simultaneity intuitable” this paper develops a Kantian analysis of simultaneity that is irreducible to the more prominent analysis of causal succession. This more robust account of simultaneity is then seen to play an essential role in the constitution of the objects of perception (and not only the regulation of their relations) as thematized in the Axioms of Intuition in the Critique of Pure Reason. (shrink)

Most commentators agree that (part of what) Kant means by characterizing the propositions of geometry as synthetic is that they are not true merely in virtue of logic or meaning, and that this characterization has something to do with his views about the construction of geometrical concepts in intuition. Many commentators regard construction in intuition as an essential part of geometrical proofs on Kant’s view. On this reading, the propositions of geometry are synthetic because the geometrical theorems cannot (...) be proved in purely conceptual or logical terms. Other commentators see the main role of pure intuition and the figures constructed in pure intuition in that they provide a model for Euclidean geometry. On views of this kind, the propositions of geometry are synthetic because the geometrical axioms are substantive truths about one of our forms of intuition. On the interpretation proposed in this essay, what Kant means by claiming that the propositions of geometry are synthetic is not only that the Euclidean axioms and theorems cannot be reduced to tautologies or logical truths, but also that they apply to really possible objects. Construction in intuition plays no essential role in (what we now call) ‘pure’ geometry on Kant’s view. But the fact that the concepts of geometry can be constructed in intuition is of crucial importance in the context of Kant’s transcendental philosophy of geometry, because, among other things, it allows him to explain how Euclidean geometry is possible as an a priori synthetic science in the sense just indicated. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual (...) generic extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

This paper offers a defense of Charles Parsons’ appeal to mathematical intuition as a fundamental factor in solving Benacerraf’s problem for a non-eliminative structuralist version of Platonism. The literature is replete with challenges to his well-known argument that mathematical intuition justifies our knowledge of the infinitude of the natural numbers, in particular his demonstration that any member of a Hilbertian stroke string ω-sequence has a successor. On Parsons’ Kantian approach, this amounts to demonstrating that for an “arbitrary” or (...) “vaguely represented” string of strokes, we can always “add” one more stroke. Critics have contested the cogency of a notion of an arbitrary object, our capacity to vaguely represent a definite object, and the role of spatial and temporal representation in the demonstration that we can “add” one more. The bulk of this paper is devoted to demonstrating how to meet all extant criticisms of his key argument. Critics have also suggested that Parsons’ whole approach is misbegotten because the appeal to mathematical intuition inevitably falls short of providing a complete solution to Benacerraf’s problem. Since the natural numbers are essentially and exclusively characterized by their structural properties, they cannot be identified with any particular model of arithmetic, and thus a notion of intuition will fail to capture the universality of arithmetic, its applicability to all entities. This paper also explains why we should not reject appeal to mathematical intuition even though it is not itself sufficient to fully “close the gap” on Benacerraf’s challenge. (shrink)

In both theoretical and applied modeling in behavioral sciences, it is common to choose a mathematical specification of functional form and distribution of unobservables on grounds of analytic convenience without support from explicit theoretical postulates. This article discusses the issue of deriving particular qualitative hypotheses about functional form restrictions in structural models from intuitive theoretical axioms. In particular, we focus on a family of postulates known as dimensional invariance. Subsequently, we discuss how specific qualitative postulates can be reformulated so (...) as to allow for conventional statistical hypothesis testing, and we also derive details of a particular likelihood ratio test procedure. An empirical application of the testing procedure is carried out, based on data from a Stated Preference survey. (shrink)

Peano's axiomatizations of geometry are abstract and non-intuitive in character, whereas Peano stresses his appeal to concrete spatial intuition in the choice of the axioms. This poses the problem of understanding the interrelationship between abstraction and intuition in his geometrical works. In this article I argue that axiomatization is, for Peano, a methodology to restructure geometry and isolate its organizing principles. The restructuring produces a more abstract presentation of geometry, which does not contradict its intuitive content but (...) only puts it into a particular form. (shrink)

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We provide a (...) representation theorem that connects the semantic conditions we impose on iterated revision and our additional syntactical properties. We show interesting similarities between our framework and that of Darwiche–Pearl (Artificial Intelligence 89:1–29 1997). In particular, we show that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2)). We present postulates for contraction, in the same spirit as the Darwiche–Pearl postulates for revision, and provide a theorem that connects our syntactic postulates with a set of semantic conditions. Lastly, we show a connection between the contraction postulates and a generalisation of the recovery axiom. (shrink)

In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms.2 and.3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of (...) class='Hi'>axioms in terms of interaction axioms in modal logic. We then apply the main results and methods of this theory to obtain specific results related to epistemic and doxastic logics. (shrink)

The aim of this article is to show that intuition plays no role in mathematics. That intuition plays a role in mathematics is mainly associated to the view that the method of mathematics is the axiomatic method. It is assumed that axioms are directly (Gödel) or indirectly (Hilbert) justified by intuition. This article argues that all attempts to justify axioms in terms of intuition fail. As an alternative, the article supports the view that the (...) method of mathematics is the analytic method, a method originally used by the mathematician Hippocrates of Chios and the physician Hippocrates of Cos, and first explicitly formulated by Plato. The article examines the main features of the analytic method, and argues that, while intuition plays an essential role in the axiomatic method, it plays no role in the analytic method, either in the discovery or in the justification of hypotheses. That the method of mathematics is the analytic method involves that mathematical knowledge is not absolutely certain but only plausible, but the article argues that this is the best we can achieve. (shrink)

often insisted existence in mathematics means logical consistency, and formal logic is the sole guarantor of rigor. The paper joins this to his view of intuition and his own mathematics. It looks at predicativity and the infinite, Poincaré's early endorsement of the axiom of choice, and Cantor's set theory versus Zermelo's axioms. Poincaré discussed constructivism sympathetically only once, a few months before his death, and conspicuously avoided committing himself. We end with Poincaré on Couturat, Russell, and Hilbert.

Charles Parsons has argued that we have the ability to apprehend, or "intuit", certain kinds of abstract objects; that among the objects we can intuit are some which form a model for arithmetic; and that our knowledge that the axioms of arithmetic are true in this model involves our intuition of these objects. I find a problem with Parson's claim that we know this model is infinite through intuition. Unless this problem can be resolved. I question whether (...) our knowledge that the arithmetical axioms are true can reasonably be called intuitive in the way Parsons intends. (shrink)

What counts as an intuitively plausible set theoretic content (notion, axiom or theorem) has been a matter of much debate in contemporary philosophy of mathematics. In this paper I develop a critical appraisal of the issue. I analyze first R. B. Jensen's positions on the epistemic status of the axiom of constructibility. I then formulate and discuss a view of intuitiveness in set theory that assumes it to hinge basically on mathematical success. At the same time, I present accounts of (...) set theoretic axioms and theorems formulated in non-strictly mathematical terms, e.g., by appealing to the iterative concept of set and/or to overall methodological principles, like unify and maximize, and investigate the relation of the latter to success in mathematics. (shrink)

The Archimedean Axiom is often held to be an intuitively obvious truth about the geometry of physical space. After a general discussion of the varieties of geometrical intuition that have been proposed, I single out one variety which we can plausibly be held to have and then argue that it does not underwrite the intuitive obviousness of the Archimedean Axiom. Generalizing that result, I conclude that the Axiom is not intuitively obvious.

This paper consists of three parts supplementing the papers of K. Hauser 2002 and D. Mumford 2000: There exist regular open sets of points in with paradoxical properties, which are constructed without using the axiom of choice or the continuum hypothesis. There exist canonical universes of sets in which one can define essentially all objects of mathematical analysis and in which all our intuitions about probabilities are true. Models satisfying the full axiom of choice cannot satisfy all those intuitions and (...) they violate them in a very similar way as those models which satisfy also the continuum hypothesis. (shrink)

Consider a sequence of outcomes of descending value, A > B > C >... > Z. According to Larry Temkin, there are reasons to deny the continuity axiom in certain ‘extreme’ cases, i.e. cases of triplets of outcomes A, B and Z, where A and B differ little in value, but B and Z differ greatly. But, Temkin argues, if we assume continuity for ‘easy’ cases, i.e. cases where the loss is small, we can derive continuity for the ‘extreme’ case (...) by applying the axiom of substitution and the axiom of transitivity. The rejection of continuity for ‘extreme’ cases therefore renders the triad of continuity in ‘easy’ cases, the axiom of substitution and the axiom of transitivity inconsistent.As shown by Arrhenius and Rabinowitz, Temkin's argument is flawed. I present a result which is stronger than their alternative proof of an inconsistency. However, this result is not quite what Temkin intends, because it only refers to an ordinal ranking of the outcomes in the sequence, whereas Temkin appeals to intuitions about the size of gains and losses. Against this background, it is argued that Temkin's trilemma never gets off the ground. This is because Temkin appeals to two mutually inconsistent conceptions of aggregation of value. Once these are clearly separated, it will transpire, in connection with each of them, that one of the principles to be rejected does not appear plausible. Hence, there is nothing surprising or challenging about the result; it is merely a corollary to Expected Utility Theory. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They (...) are postulated to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Intuitive theology.--The theology of the Hebrews.--Christian theology.--Christian belief.

Sidgwick famously claimed that an argument in favour of utilitarianism might be provided by demonstrating that a set of defensible philosophical intuitions undergird it. This paper focuses on those philosophical intuitions. It aims to show which specific intuitions Sidgwick endorsed, and to shed light on their mutual connections. It argues against many rival interpretations that Sidgwick maintained that six philosophical intuitions constitute the self-evident grounds for utilitarianism, and that those intuitions appear to be specifications of a negative principle of universalization (...) (according to which differential treatments must be based on reasonable grounds alone). In addition, this paper attempts to show how the intuitions function in the overall argument for utilitarianism. The suggestion is that the intuitions are the main positive part of the argument for the view, which includes Sidgwick's rejection of common-sense morality and its philosophical counterpart, dogmatic intuitionism. The paper concludes by arguing that some of Sidgwick's intuitions fail to meet the conditions for self-evidence which Sidgwick himself established and applied to the rules of common-sense morality. (shrink)

Merleau-Ponty's «Phenomenology of Perception» suggests perception to be the primary level of the giveness of the world. Perception appears as always an incomplete synthesis of the plural, bringing together bodily and material aspects. Such the simplest interpretation of perception as rendering a contact within the dyad «body-world» is a preliminary axiom for explaining the rest of the process of noematic sense formation. At the same time, Merleau-Ponty’s theoretical intuitions clearly presuppose more, and perception is also thought of as the final (...) point where sense is already given by some way. Thus, in Phenomenology, the second interpretation of perception presumes it to be sense-giving accompanied by the tacit cogito. Merleau-Ponty suggests that these interpretations are compatible with each other, but the transition between them seems really problematic. In the research author shos that the limit of the initial synthesis of perception - some sense of the perceived (exemplyfing meanings as «this horse», «the green density that rushed towards me») - is unattainable from within perception itself and by its means. Perception is itself mediated by other faculties, such as memory, reflection, and imagination. Argumentation for this thesis is carried out in several ways; the relations in the perception/imagination pair show us the most characteristic case, where Merleau-Ponty, judging by later works, himself comes close to recognizing the limitations of the hypothesis of «the world of perception», to the need for a phenomenological development of the topic of faculties. Based on the application of the phenomenological method and the analysis of the conceptual constructions of Merleau-Ponty, we can conclude the following: «the world of perception» does not exist, but the phenomenology of faculties is demanded. (shrink)

In theCritique of Pure Reason,Kant argues for two principles that concern magnitudes. The first is the principle that ‘All intuitions are extensive magnitudes,’ which appears in the Axioms of Intuition ; the second is the principle that ‘In all appearances the real, which is an object of sensation, has an intensive magnitude, that is, a degree,’ which appears in the Anticipations of Perception. A circle drawn in geometry and the space occupied by an object such as a book (...) are paradigm examples of extensive magnitudes, while the intensity of a light is a paradigm example of an intensive magnitude. These principles justify and explain the possibility of applying mathematics to objects of experience. The Axioms principle also explains the possibility of any mathematical cognition at all. (shrink)

This paper addresses a number of closely related questions concerning Kant's model of intentionality, and his conceptions of unity and of magnitude [Gröβe]. These questions are important because they shed light on three issues which are central to the Critical system, and which connect directly to the recent analytic literature on perception: the issues are conceptualism, the status of the imagination, and perceptual atomism. In Section 1, I provide a sketch of the exegetical and philosophical problems raised by Kant's views (...) on these issues. I then develop, in Section 2, a detailed analysis of Kant's theory of perception as elaborated in both the Critique of Pure Reason and the Critique of Judgment; I show how this analysis provides a preliminary framework for resolving the difficulties raised in Section 1. In Section 3, I extend my analysis of Kant's position by considering a specific test case: the Axioms of Intuition. I contend that one way to make sense of Kant's argument is by juxtaposing it with Russell's response to Bradley's regress; I focus in particular on the concept of ‘unity’. Finally, I offer, in Section 4, a philosophical assessment of the position attributed to Kant in Sections 2 and 3. I argue that, while Kant's account has significant strengths, a number of key areas remain underdeveloped; I suggest that the phenomenological tradition may be read as attempting to fill precisely those gaps. (shrink)

In 1870, Hermann von Helmholtz criticized the Kantian conception of geometrical axioms as a priori synthetic judgments grounded in spatial intuition. However, during his dispute with Albrecht Krause (Kant und Helmholtz über den Ursprung und die Bedeutung der Raumanschauung und der geometrischen Axiome. Lahr, Schauenburg, 1878), Helmholtz maintained that space can be transcendental without the axioms being so. In this paper, I will analyze Helmholtz’s claim in connection with his theory of measurement. Helmholtz uses a Kantian argument (...) that can be summarized as follows: mathematical structures that can be defined independently of the objects we experience are necessary for judgments about magnitudes to be generally valid. I suggest that space is conceived by Helmholtz as one such structure. I will analyze his argument in its most detailed version, which is found in Helmholtz (Zählen und Messen, erkenntnistheoretisch betrachtet 1887. In: Schriften zur Erkenntnistheorie. Springer, Berlin, 1921, 70–97). In support of my view, I will consider alternative formulations of the same argument by Ernst Cassirer and Otto Hölder. (shrink)

Historians of science have long considered the very idea of a law-governed universe to be the relic of a bygone intellectual culture that took it largely for granted that a divine lawmaker existed. Similarly, many philosophers of science today insist that the notion of a law of nature is fraught with implausibly theological assumptions, preferring instead to treat them as theoretical axioms in an optimal description of nature's regularities, or else as robust patterns of causal connections or causal powers (...) whose status can be reconciled to the stringent demands of metaphysical naturalism. Yet the metaphor of lawhood has proven more difficult to dislodge than the theistic commitments it once presupposed, not least because it preserves the widespread intuition that the task of scientific inquiry is not to stipulate the difference between a lawful and an accidental regularity in nature, but to discover it. Taking its cue from the repeated failure to find naturalistic alternatives to divine lawmaking, this book undertakes a retrieval and reappraisal of a high-scholastic philosophy of nature that grounds lawlike regularities in the conceptual and causal powers of God and, having done so, concludes that the metaphysical framework of classical theism yields a more powerful and parsimonious explanation of the rhythms and patterns of the natural world than its secular rivals. (shrink)

A number of philosophers have attempted to solve the problem of null-probability possible events in Bayesian epistemology by proposing that there are infinitesimal probabilities. Hájek and Easwaran have argued that because there is no way to specify a particular hyperreal extension of the real numbers, solutions to the regularity problem involving infinitesimals, or at least hyperreal infinitesimals, involve an unsatisfactory ineffability or arbitrariness. The arguments depend on the alleged impossibility of picking out a particular hyperreal extension of the real numbers (...) and/or of a particular value within such an extension due to the use of the Axiom of Choice. However, it is false that the Axiom of Choice precludes a specification of a hyperreal extension—such an extension can indeed be specified. Moreover, for all we know, it is possible to explicitly specify particular infinitesimals within such an extension. Nonetheless, I prove that because any regular probability measure that has infinitesimal values can be replaced by one that has all the same intuitive features but other infinitesimal values, the heart of the arbitrariness objection remains. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and (...) relation of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier. (shrink)

I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set that is (...) bigger than it—that can arise from Cantor’s account if the Axiom of Choice is false, illuminates the debate over whether the Axiom of Choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

:This paper explores the foundations of the theory of exploitation as the unequal exchange of labour. The key intuitions behind all of the main approaches to UEL exploitation are explicitly analysed as a series of formal axioms in a general economic environment. Then, a single domain condition calledLabour Exploitationis formulated, which summarizes the foundations of UEL exploitation theory, defines the basic domain of all UEL exploitation forms, and identifies the formal and theoretical framework for the analysis of the appropriate (...) definition of exploitation. (shrink)

The Shapley value is the unique value defined on the class of cooperative games in characteristic function form which satisfies certain intuitively reasonable axioms. Alternatively, the Banzhaf value is the unique value satisfying a different set of axioms. The main drawback of the latter value is that it does not satisfy the efficiency axiom, so that the sum of the values assigned to the players does not need to be equal to the worth of the grand coalition. By (...) definition, the normalized Banzhaf value satisfies the efficiency axiom, but not the usual axiom of additivity. (shrink)

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of mathematics. Readers are (...) introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)

Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove (...) each of the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?". (shrink)