Brouwer's papers after 1945 are characterized by a technique known as the method of the creating subject. It has been supposed that the method was radically new in his work, since Brouwer seems to introduce an idealized mathematician into his mathematical practice. A newly opened source, the unpublished text of a lecture of Brouwer from 1934, fully supports the conclusions of our analysis that: - There is no idealized mathematician involved in the method;- The method was not new at all;- (...) Brouwer uses an incomplete sequence, also known as choice sequence, in this method, which is special. The method does not take its place in the standard works on choice sequences. (shrink)

Hedonism claims that all and only pleasure is intrinsically good. One worry about Hedonism focuses on the “only” part: Are there not things other than pleasure, such as personal projects and relationships, that are intrinsically good? If so, it can be objected that Hedonism is incomplete. In this paper, I defend Hedonism against this objection by arguing for a distinction between goodness and desirability that understands “desirability” as a deontic concept, in terms of “reason to desire”, but goodness as (...) an evaluative concept. Based on this distinction, I attempt to show that Hedonists should accept that things other than pleasure, such as personal projects and relationships, are desirable for their own sakes but deny that these things are intrinsically good. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue that, within the (...) constraints of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

Abstract:Can the claim "Sherlock Holmes is a detective" be true if no object exists that has this property? Is it true that he is a fictional character and that he does not exist? My answers are based on Alexius Meinong's theory of objects. In contrast to other Meinongians, I argue that employing other possible worlds poses ontological problems and that existence is not a property of objects. Since we think of objects by means of only some, but (...) not all, of their properties, incomplete objects function as auxiliaries. Holmes can thus be both, detective and fictional character, while not existing. (shrink)

This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show (...) its serious implications, but the aim here is not to solve these problems. The flaw is not special to quantum mechanics: it is a general feature traced to extensionality, and demonstrated through a simple example in classical physics. It is proposed that this defect can be overcome by extending to an intensional semantics, but this involves extending the usual formalism of physics. A detailed proposal for such an extension is given in Part 2. (shrink)

The search for moral objectivity has been constant throughout the history of philosophy, although interpretations of the nature and scope of objectivity have varied. One aim of the pursuit of moral objectivity has been the demonstration of what may be termed its epistemological thesis, that is, the claim that the truth of assertions of the goodness or rightness of moral acts is as legitimate, reliable, or valid as the truth of assertions involving other forms of human knowledge, such as common (...) sense, practical expertise, science, or mathematics. Another aim of the quest for moral objectivity may be termed its pragmatic formulation ; this refers to the development of a method or procedure that will mediate among conflicting moral views in order to realize a convergence or justified agreement about warranted or true moral conclusions. In the ethical theories of Aristotle, David Hume, and John Dewey, theories that represent three of the four variants of ethical naturalism that are surveyed in this essay, the epistemological thesis and the pragmatic formulation are integrated or combined. The distinction between these two elements is significant for the present essay, however, since I want to show that linguistic naturalism, the fourth variant I shall examine, has provided a demonstration of the epistemological thesis about moral knowledge, even if the pragmatic formulation has not been successfully realized. (shrink)

The search for moral objectivity has been constant throughout the history of philosophy, although interpretations of the nature and scope of objectivity have varied. One aim of the pursuit of moral objectivity has been the demonstration of what may be termed its epistemological thesis, that is, the claim that the truth of assertions of the goodness or rightness of moral acts is as legitimate, reliable, or valid as the truth of assertions involving other forms of human knowledge, such as common (...) sense, practical expertise, science, or mathematics. Another aim of the quest for moral objectivity may be termed its pragmatic formulation ; this refers to the development of a method or procedure that will mediate among conflicting moral views in order to realize a convergence or justified agreement about warranted or true moral conclusions. In the ethical theories of Aristotle, David Hume, and John Dewey, theories that represent three of the four variants of ethical naturalism that are surveyed in this essay, the epistemological thesis and the pragmatic formulation are integrated or combined. The distinction between these two elements is significant for the present essay, however, since I want to show that linguistic naturalism, the fourth variant I shall examine, has provided a demonstration of the epistemological thesis about moral knowledge, even if the pragmatic formulation has not been successfully realized. (shrink)

This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory are (...) discussed. (shrink)

The purpose of this paper is to discuss two phenomena related to the semantics of definite descriptions: that of incomplete uses of descriptions, and that of the underdetermination of referential uses of descriptions. The Russellian theorist has a way of accounting for incomplete uses of descriptions by appealing to an account of quantifier domain restriction, such as the one proposed in Stanley and Szabó (2000a). But, I argue, the Russellian is not the only one in a position to (...) appeal to such an account of incomplete uses of descriptions. Proponents of other theories, such as the Fregean, which does not treat descriptions as quantifiers, might benefit from this account of domain restriction. In the second part of the paper I discuss referential uses of incomplete definite descriptions. Relative to such uses, Wettstein (1981) and others have argued that the Russellian theory faces a problem of underdetermination of semantic content. Neale (2004) has replied to this objection showing why it does not pose a threat to the Russellian theory. Again, I argue that not only the Russellian, but also the Fregean can subscribe to Neale’s (2004) suggestion. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the (...) unificationist “explicit” approach given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

Incomplete Archaeologies takes a familiar archaeological concept--assemblages--and reconsiders such groupings, collections and sets of things from the perspective of the work required to assemble them. The discussions presented here engage with the practices of collection, construction, performance and creation in the past (and present) which constitute the things and groups of things studied by archaeologists--and examine as well how these things and thing-groups are dismantled, rearranged, and even destroyed, only to be rebuilt and recreated. The ultimate aim is to (...) reassert an awareness of the incompleteness of assemblage, and thus the importance of practices of assembling (whether they seem at first creative or destructive) for understanding social life in the past as well as the present. The individual chapters represent critical engagements with this aim by archaeologists presenting a broad scope of case studies from Eurasia and the Mediterranean. Case studies include discussions of mortuary practice from numerous angles, the sociopolitics of metallurgy, human-animal relationships, landscape and memory, the assembly of political subjectivity and the curation of sovereignty. These studies emphasise the incomplete and ongoing nature of social action in the past, and stress the critical significance of a deeper understanding of formation processes as well as contextual archaeologies to practices of archaeology, museology, art history, and other related disciplines. Contributors challenge archaeologists and others to think past the objects in the assemblage to the practices of assembling, enabling us to consider not only plural modes of interacting with and perceiving things, spaces, human bodies and temporalities in the past, but also to perhaps discover alternate modes of framing these interactions and relationships in our analyses. Ultimately then, Incomplete Archaeologies takes aim at the perceived totality not only of assemblages of artefacts on shelves and desks, but also that of some of archaeology's seeming-seamless epistemological objects"--From publisher's website. (shrink)

Incomplete Archaeologies takes a familiar archaeological concept--assemblages--and reconsiders such groupings, collections and sets of things from the perspective of the work required to assemble them. The discussions presented here engage with the practices of collection, construction, performance and creation in the past (and present) which constitute the things and groups of things studied by archaeologists--and examine as well how these things and thing-groups are dismantled, rearranged, and even destroyed, only to be rebuilt and recreated. The ultimate aim is to (...) reassert an awareness of the incompleteness of assemblage, and thus the importance of practices of assembling (whether they seem at first creative or destructive) for understanding social life in the past as well as the present. The individual chapters represent critical engagements with this aim by archaeologists presenting a broad scope of case studies from Eurasia and the Mediterranean. Case studies include discussions of mortuary practice from numerous angles, the sociopolitics of metallurgy, human-animal relationships, landscape and memory, the assembly of political subjectivity and the curation of sovereignty. These studies emphasise the incomplete and ongoing nature of social action in the past, and stress the critical significance of a deeper understanding of formation processes as well as contextual archaeologies to practices of archaeology, museology, art history, and other related disciplines. Contributors challenge archaeologists and others to think past the objects in the assemblage to the practices of assembling, enabling us to consider not only plural modes of interacting with and perceiving things, spaces, human bodies and temporalities in the past, but also to perhaps discover alternate modes of framing these interactions and relationships in our analyses. Ultimately then, Incomplete Archaeologies takes aim at the perceived totality not only of assemblages of artefacts on shelves and desks, but also that of some of archaeology's seeming-seamless epistemological objects"--From publisher's website. (shrink)

Richard Dagger (in this issue) provides perhaps the most persuasive version of a ‘fair play’ theory of criminal punishment, grounded in an attractive liberal republican political theory. But, I argue, his version of the theory still faces serious objections: that its explanation of why some central mala in se are properly criminalised is still distorting, despite his appeal to the burdens of ‘general compliance’; and that it cannot adequately explain (as it should explain) the differential seriousness and wrongfulness of different (...) kinds of crime. (shrink)

Like Heisenberg’s uncertainty principle, Gödel’s incompleteness theorem has captured the public imagination, supposedly demonstrating that there are absolute limits to what can be known. More specifically, it is thought to tell us that there are mathematical truths which can never be proved. These are among the many misconceptions and misuses of Gödel’s theorem and its consequences. Incompleteness has been held to show, for example, that there cannot be a Theory of Everything, the so-called holy grail of modern physics. Some philosophers (...) and mathematicians say it proves that minds can’t be modelled by machines, while others argue that they can be modelled but that Gödel’s theorem shows we can’t know it. Postmodernists have claimed to find support in it for the view that objective truth is chimerical. And in the Bibliography of Christianity and Mathematics (yes, there is such a publication) it is asserted that ‘theologians can be comforted in their failure to systematize revealed truth because mathematicians cannot grasp all mathematical truths in their systems either.’ Not only that, the incompleteness theorem is held to imply the existence of God, since only He can decide all truths. Even Rebecca Goldstein’s book, whose laudable aim is to provide non-technical expositions of the incompleteness theorems (there are two) for a general audience and place them in their historical and biographical context, makes extravagant claims and distorts their significance. As Goldstein sees it, Gödel’s theorems are ‘the most prolix theorems in the history of mathematics’ and address themselves ‘to the central question of the humanities – ‘what is it to be human?’ – since they involve ‘such vast and messy areas as the nature of truth and knowledge and certainty’. Unfortunately, these weighty claims disintegrate under closer examination, while the book as a whole is marred by a number of disturbing conceptual and historical errors. On the face of it, Goldstein would appear to have been an ideal choice to present Gödel’s work: she received a PhD in Philosophy from Princeton University in 1977 and since then has taught philosophy of science and philosophy of mind at several.... (shrink)

ABSTRACT In this paper, we show that Kant’s complex concept of an “intuitive understanding”, which operates in his work as a tool for defining the peculiar character of our understanding, is critically absorbed by Hegel’s concept of “objective thought.” By means of this concept, Hegel first rejects the representational conception of thought that is implied by the Kantian concept of an intuitive understanding and, second, he proposes a way of comprehending thought that allows a new conception of the relationship between (...) the subject and reality. (shrink)

Frege seems committed to the thesis that the senses of the fundamental notions of arithmetic remain stable and are stably grasped by thinkers throughout history. Fully competent practitioners grasp those senses clearly and distinctly, while uncertain practitioners see them, the very same senses, “as if through a mist”. There is thus a common object of the understanding apprehended to a greater or lesser degree by thinkers of diverging conceptual competence. Frege takes the thesis to be a condition for the possibility (...) of the rational intelligibility of mathematical practice. I argue however that the idea that senses could be grasped as a matter of degree is in tension with the constitutive theses that Frege held with regard to sense. Given those theses, there can in fact be no such thing as misty grasp of sense, since any uncertainty as to the logical features of a given sense will entail that one is getting hold of a different sense or of no sense at all. I consider various ways of resolving the tension and conclude that Frege’s thesis cannot be defended if we take it to be a thesis about our competence with concepts. This leaves unresolved what I call the problem of normative guidance, that is, the problem of explaining how the fundamental notions of logic and arithmetic can provide inferential guidance to thinkers. (shrink)

This is the Introduction to Etienne Balibar's book Identity and Difference: John Locke and the Invention of Consciousness. It begins with a brief reprise of Balibar’s main argument concerning Locke’s role in the ‘invention of consciousness’ and draws out the most important aspects of Balibar’s multi-faceted interpretation of Locke on personal identity. After a condensed overview of the main trends in the mainstream interpretation and criticism of Locke’s argument, focusing in particular on the two major objections that continue to be (...) leveled against Locke’s account, it then relocates Locke’s argument and Balibar’s interpretation of it within the context of recent work on the philosophical history of the concept of the subject. This new context for the interpretation of Locke allows us both to understand the dogged persistence of the main criticisms of Locke – from the earliest to some of his most recent ‘analytical’ critics – in a new way and to form of a connection between this part of the Essay Concerning Human Understanding and Locke’s political philosophy. (shrink)

Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel's theorems without getting mired in syntactic or (...) computational details. One of the most important of these efforts was made by Löb [8] in connection with his analysis of sentences asserting their own provability. Löb formulated three conditions, on the provability predicate in a formal system which are jointly sufficient to yield the Gödel's second incompleteness theorem for it. A key role in Löb's analysis is played by what later became known as the diagonalization or fixed point property of formal systems, a property which had already, in essence, been exploited by Gödel in his original proofs of the incompleteness theorems. The fixed point property plays a central role in Lawvere's [7] category-theoretic account of incompleteness phenomena. (shrink)

Although eye tracking has been used extensively to assess cognitions for static stimuli, recent research suggests that the link between gaze and cognition may be more tenuous for dynamic stimuli such as videos. Part of the difficulty in convincingly linking gaze with cognition is that in dynamic stimuli, gaze position is strongly influenced by exogenous cues such as object motion. However, tests of the gaze‐cognition link in dynamic stimuli have been done on only a limited range of stimuli often characterized (...) by highly organized motion. Also, analyses of cognitive contrasts between participants have been mostly been limited to categorical contrasts among small numbers of participants that may have limited the power to observe more subtle influences. We, therefore, tested for cognitive influences on gaze for screen‐captured instructional videos, the contents of which participants were tested on. Between‐participant scanpath similarity predicted between‐participant similarity in responses on test questions, but with imperfect consistency across videos. We also observed that basic gaze parameters and measures of attention to centers of interest only inconsistently predicted learning, and that correlations between gaze and centers of interest defined by other‐participant gaze and cursor movement did not predict learning. It, therefore, appears that the search for eye movement indices of cognition during dynamic naturalistic stimuli may be fruitful, but we also agree that the tyranny of dynamic stimuli is real, and that links between eye movements and cognition are highly dependent on task and stimulus properties. (shrink)

Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language (typically, that of arithmetic) within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel’s theorems without getting (...) mired in syntactic or computational details. One of the most important of these efforts was made by Löb [8] in connection with his analysis of sentences asserting their own provability. Löb formulated three conditions (now known as the Hilbert-Bernays-Löb derivability conditions), on the provability predicate in a formal system which are jointly sufficient to yield the Gödel’s second incompleteness theorem for it. A key role in Löb’s analysis is played by (a special case of) what later became known as the diagonalization or fixed point property of formal systems, a property which had already, in essence, been exploited by Gödel in his original proofs of the incompleteness theorems. The fixed point property plays a central role in Lawvere’s [7] category-theoretic account of incompleteness phenomena (see also [10]). Incompleteness theorems have also been subjected to intensive investigation within the framework of modal logic (see, e.g.[4], [5]). In this formulation the modal operator takes up the role previously played by the provability predicate, and the derivability conditions on the latter are translated into algebraic conditions (the so-called GL, i.e., Gödel–Löb, conditions) on the former. My purpose here is to present a framework for incompleteness phenomena, fully compatible with intuitionistic or constructive principles, in which the idea of a coding system is retained, only in a 2 simple, but very general form, a form wholly free of syntactical notions. As codes we shall take the elements of an arbitrary given nonempty set, possibly, but not necessarily, the set of natural numbers.. (shrink)

Modal fictionalists face a problem that arises due to their possible-world story being incomplete in the sense that certain relevant claims are neither true nor false according to it. It has recently been suggested that this incompleteness problem generalises to other brands of fictionalism, such as fictionalism about composite or mathematical objects. In this paper, I argue that these fictionalist positions are particularly threatened by a generalised incompleteness problem since they cannot emulate the modal fictionalists’ most attractive response. (...) I then defend mathematical and compositional fictionalism by showing that the reasons for which the incompleteness problem has been thought to affect them are mistaken. This leads to the question of whether there are other fictionalist positions to which the problem does in fact generalise. I give a general account of the features of a fictionalist position that generate the incompleteness problem and argue that whenever a fictionalist position does exemplify these features then the problem can be addressed in analogy to the modal fictionalists’ preferred response. (shrink)

If what we want from moral inquiry were the obtainment of objective moral truths, as moral realism claims it is, then there would be nothing morally unsatisfactory or lacking in a situation, in which we somehow had access to all moral truths, and were fundamentally finished with morality. In fact, that seems to be the realists’ conception of moral heaven. In this essay, however, I argue that some sort of moral wakefulness – that is, always paying attention to the subtleties (...) of life and people, and never taking for granted what their moral significance can possibly be – is an essential moral value, and, therefore, moral realism, which promotes a moral ideal that allows such moral lethargy and inattentiveness is morally objectionable. (shrink)

A common objection to Russell's theory of descriptions concerns incomplete definite descriptions: uses of (for example) ‘the book is overdue’ in contexts where there is clearly more than one book. Many contemporary Russellians hold that such utterances will invariably convey a contextually determined complete proposition, for example, that the book in your briefcase is overdue. But according to the objection this gets things wrong: typically, when a speaker utters such a sentence, no facts about the context or the speaker's (...) communicative intentions single out a particular description-theoretic proposition as the proposition expressed. However, this is an objection only if it is assumed that successful linguistic communication requires the hearer to identify a proposition uniquely intended by the speaker. We argue that this assumption is mistaken. On our view, no proposition, descriptive or referential, is uniquely intended in such a context; thus, no proposition can nor need be identified as the proposition expressed. One significant upshot is that, once the aforementioned assumption is rejected, incompleteness no longer poses a threat to Russell's theory of descriptions. (shrink)

Gödel’s first incompleteness result from 1931 states that there are true assertions about the natural numbers which do not follow from the Peano axioms. Since 1931 many researchers have been looking for natural examples of such assertions and breakthroughs were obtained in the seventies by Jeff Paris [Some independence results for Peano arithmetic. J. Symbolic Logic 43 725–731] , Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977] and Laurie Kirby [L. Kirby, Jeff Paris, Accessible independence results for Peano Arithmetic, Bull. of (...) the LMS 14 285–293]) and Harvey Friedman [S.G. Simpson, Non-provability of certain combinatorial properties of finite trees, in: Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland, Amsterdam, 1985, pp. 87–117; R. Smith, The consistency strength of some finite forms of the Higman and Kruskal theorems, in: Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland, Amsterdam, 1985, pp. 119–136] who produced the first mathematically interesting independence results in Ramsey theory and well-order and well-quasi-order theory .In this article we investigate Friedman-style principles of combinatorial well-foundedness for the ordinals below ε0. These principles state that there is a uniform bound on the length of decreasing sequences of ordinals which satisfy an elementary recursive growth rate condition with respect to their Gödel numbers.For these independence principles we classify their phase transitions, i.e. we classify exactly the bounding conditions which lead from provability to unprovability in the induced combinatorial well-foundedness principles.As Gödel numbering for ordinals we choose the one which is induced naturally from Gödel’s coding of finite sequences from his classical 1931 paper on his incompleteness results.This choice makes the investigation highly non-trivial but rewarding and we succeed in our objectives by using an intricate and surprising interplay between analytic combinatorics and the theory of descent recursive functions. For obtaining the required bounds on count functions for ordinals we use a classical 1961 Tauberian theorem of Parameswaran which apparently is far remote from Gödel’s theorem. (shrink)

The paper argues that the naturalised version of semantic inferentialism advanced by Jaroslav Peregrin faces a problem which, following Michael Devitt, I call the incompleteness problem. The main issue has to do with how, according to inferentialism, language is connected to the world. My main claim is that Peregrin’s Protagorean account of correctness is in tension with the idea, made also by Robert Brandom, that language is embodied in the world analogically to how physical objects are embodied in games (...) like football. Against this, I show the two are in fact importantly disanalogical. To solve the incompleteness problem, I argue that naturalised inferentialism should learn the central lessons of semantic externalism, namely that the connection between language and the world must be fundamentally external to the mind, or in Peregrin’s case, to the society of normative attitudes. (shrink)

I explain what Aristotle means when, after puzzling about the matter of motion in incomplete animals (those without sight, smell, hearing), he suggests in De Anima III 11.433b31–434a5 that just as incomplete animals are moved indeterminately, desire and phantasia are present in those animals, but present indeterminately. I argue that self-motion and its directing faculties in incomplete animals differ in degree but not in kind from those of complete animals. I examine how an object of desire differs (...) for an incomplete animal. Using a comparison with Aristotle’s account of recollection, especially in unfavorable circumstances, I describe indeterminate self-motion. Finally, I discuss implications for our understanding of Aristotle’s accounts of the faculties of the soul and incomplete animals. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

In addition to this being the centenary of Kurt Gödel’s birth, January marked 75 years since the publication (1931) of his stunning incompleteness theorems. Though widely known in one form or another by practicing mathematicians, and generally thought to say something fundamental about the limits and potentialities of mathematical knowledge, the actual importance of these results for mathematics is little understood. Nor is this an isolated example among famous results. For example, not long ago, Philip Davis wrote me about what (...) he calls The Paradox of Irrelevance: “There are many math problems that have achieved the cachet of tremendous significance, e.g. Fermat, 4 color, Kepler’s packing, Gödel, etc. Of Fermat, I have read: ‘the most famous math problem of all time.’ Of Gödel, I have read: ‘the most mathematically significant achievement of the 20th century.’ … Yet, these problems have engaged the attention of relatively few research mathematicians—even in pure math.” What accounts for this disconnect between fame and relevance? Before going into the question for Gödel’s theorems, it should be distinguished in one respect from the other examples mentioned, which in any case form quite a mixed bag. Namely, each of the Fermat, 4 color, and Kepler’s packing problems posed a stand-out challenge following extended efforts to settle them; meeting the challenge in each case required new ideas or approaches and intense work, obviously of different degrees. By contrast, Gödel’s theorems were simply unexpected, and their proofs, though requiring novel techniques, were not difficult on the scale of things. Setting that aside, my view of Gödel’s incompleteness theorems is that their relevance to mathematical logic (and its offspring in the theory of computation) is paramount; further, their philosophical relevance is significant, but in just what way is far from settled; and finally, their mathematical relevance outside of logic is very much unsubstantiated but is the object of ongoing, tantalizing efforts.. (shrink)

This paper recasts an old objection to the will theory in the light of recent attempts to defend that theory, notably by Nigel Simmonds and Hillel Steiner. It enlists the idea of duties of care—effectively restrictions over legal officials’ discretionary exercise of powers—to form a dilemma for such theorists: either legal officials’ discretion over powers is restricted by duties of care for the unempowerable, or it is not. If their discretion is unrestricted, then the will theory is insensitive to the (...) (values of the) lives of the unempowerable, in virtue of the fact that these lives are viewed as not meriting direct normative consideration. If, on the other hand, their discretion is restricted by duties of care, then the will theory has no argumentative resources within its conceptual apparatus to ascribe or justify them. It is therefore incomplete as a theory of rights. (shrink)

I explain what Aristotle means when, after puzzling about the matter of motion in incomplete animals (those without sight, smell, hearing), he suggests in De Anima III 11.433b31-434a5 that just as incomplete animals are moved indeterminately, desire and phantasia are present in those animals, but present indeterminately. I argue that self-motion and its directing faculties in incomplete animals differ in degree but not in kind from those of complete animals. I examine how an object of desire differs (...) for an incomplete animal. Using a comparison with Aristotle’s account of recollection, especially in unfavorable circumstances, I describe indeterminate self-motion. Finally, I discuss implications for our understanding of Aristotle’s accounts of the faculties of the soul and incomplete animals. (shrink)

This paper presents a precise semantics for incomplete predicates such as “ready”. Incomplete predicates have distinctive logical properties that a semantic theory needs to accommodate. For instance, “Tipper is ready” logically implies “Tipper is ready for something”, but “Tipper is ready for something” does not imply “Tipper is ready”. It is shown that several approaches to the semantics of incomplete predicates fail to accommodate these logical properties. The account offered here defines contexts as structures containing an element (...) called a proposition set, which contains atomic propositions and negations of atomic propositions. The condition under which “Tipper is ready” is true in a context is defined in terms of the contents of the proposition set for the context. On this account, the content of the context pertinent to a conversation must be determined not by what speakers have in mind but by relations of objective relevance. (shrink)

Meinong's object theory is primarily motivated by the needs of intentionality theory. I argue that Meinongian objects must be intensional entities if, as asked, they are to serve as the objects of thought in a purely object-theoretic account of intentionality. For Meinong, incomplete objects are the proper objects of thought. Complete objects are beyond our grasp; we apprehend them as best we can when we intend incomplete objects embedded in them. This yields, (...) on a semantic plane, an account of failures or substitutivity of identity in intentional contexts. And this, I argue, forces incomplete objects to be intensional, and so therefore are complete objects. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and (...) argue that Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

Meinong's object theory is primarily motivated by the needs of intentionality theory. I argue that Meinongian objects must be intensional entities if, as asked, they are to serve as the objects of thought in a purely object-theoretic account of intentionality. For Meinong, incomplete objects are the proper objects of thought. Complete objects are beyond our grasp; we apprehend them as best we can when we intend incomplete objects embedded in them. This yields, (...) on a semantic plane, an account of failures or substitutivity of identity in intentional contexts. And this, I argue, forces incomplete objects to be intensional, and so therefore are complete objects. (shrink)

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first that (...) G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

Theories of statistical testing may be seen as attempts to provide systematic means for evaluating scientific conjectures on the basis of incomplete or inaccurate observational data. The Neyman-Pearson Theory of Testing (NPT) has purported to provide an objective means for testing statistical hypotheses corresponding to scientific claims. Despite their widespread use in science, methods of NPT have themselves been accused of failing to be objective; and the purported objectivity of scientific claims based upon NPT has been called into question. (...) The purpose of this paper is first to clarify this question by examining the conceptions of (I) the function served by NPT in science, and (II) the requirements of an objective theory of statistics upon which attacks on NPT's objectivity are based. Our grounds for rejecting these conceptions suggest altered conceptions of (I) and (II) that might avoid such attacks. Second, we propose a reformulation of NPT, denoted by NPT*, based on these altered conceptions, and argue that it provides an objective theory of statistics. The crux of our argument is that by being able to objectively control error frequencies NPT* is able to objectively evaluate what has or has not been learned from the result of a statistical test. (shrink)

We study decision under uncertainty in an Anscombe–Aumann framework. Two binary relations characterize a decision-maker: one incomplete relation, reflecting her objective rationality, and a second complete relation, reflecting her subjective rationality. We require the latter to be an extension of the former. Our key axiom is a dominance condition. Our main theorem provides a representation of the two relations. The objectively rational relation has a Bewley-style multiple prior representation. Using this set of priors, we fully characterize the subjectively rational (...) relation in terms of the most optimistic and most pessimistic expected utilities. (shrink)

According to several commentators, Kurt Godel's incompleteness discoveries were assimilated promptly and almost without objection by his contemporaries - - a circumstance remarkable enough to call for explanation. Careful examination reveals, however, that there were doubters and critics, as well as defenders and rival claimants to priority. In particular, the reactions of Carnap, Bernays, Zermelo, Post, Finsler, and Russell, among others, are considered in detail. Documentary sources include unpublished correspondence from Godel's Nachlass.

This paper offers a critique of the Bayesian interpretation of quantum mechanics with particular focus on a paper by Caves, Fuchs, and Schack containing a critique of the “objective preparations view” or OPV. It also aims to carry the discussion beyond the hardened positions of Bayesians and proponents of the OPV. Several claims made by Caves et al. are rebutted, including the claim that different pure states may legitimately be assigned to the same system at the same time, and the (...) claim that the quantum nature of a preparation device cannot legitimately be ignored. Both Bayesians and proponents of the OPV regard the time dependence of a quantum state as the continuous dependence on time of an evolving state of some kind. This leads to a false dilemma: quantum states are either objective states of nature or subjective states of belief. In reality they are neither. The present paper views the aforesaid dependence as a dependence on the time of the measurement to whose possible outcomes the quantum state serves to assign probabilities. This makes it possible to recognize the full implications of the only testable feature of the theory, viz., the probabilities it assigns to measurement outcomes. Most important among these are the objective fuzziness of all relative positions and momenta and the consequent incomplete spatiotemporal differentiation of the physical world. The latter makes it possible to draw a clear distinction between the macroscopic and the microscopic. This in turn makes it possible to understand the special status of measurements in all standard formulations of the theory. Whereas Bayesians have written contemptuously about the “folly” of conjoining “objective” to “probability,” there are various reasons why quantum-mechanical probabilities can be considered objective, not least the fact that they are needed to quantify an objective fuzziness. But this cannot be appreciated without giving thought to the makeup of the world, which Bayesians refuse to do. Doing this on the basis of how quantum mechanics assigns probabilities, one finds that what constitutes the macroworld is a single Ultimate Reality, about which we know nothing, except that it manifests the macroworld or manifests itself as the macroworld. The so-called microworld is neither a world nor a part of any world but instead is instrumental in the manifestation of the macroworld. Quantum mechanics affords us a glimpse “behind” the manifested world, at stages in the process of manifestation, but it does not allow us to describe what lies “behind” the manifested world except in terms of the finished product—the manifested world, for without the manifested world there is nothing in whose terms we could describe its manifestation. (shrink)

In Clark (2000), Austen Clark argues convincingly that a widespread view of perception as a complicated kind of feature-extraction is incomplete. He argues that perception has another crucial representational ingredient: it must also involve the representation of "sensory individuals" that exemplify sensorily extracted features. Moreover, he contends, the best way of understanding sensory individuals takes them to be places in space surrounding the perceiver. In this paper, I'll agree with Clark's case for sensory individuals (.

According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and (...) MacFarlane to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (shrink)

This book is about an important issue which has arisen within two of the branches of physical science - namely thermodynamics and statistical mechanics - where the notion of entropy plays an essential role. A number of scientists and information theorists have maintained that entropy is a subjective concept and is a measure of human ignorance. Such a view, if it is valid, would create some profound philosophical problems and would tend to undermine the objectivity of the scientific enterprise. Whilst (...) the present volume is not a treatise on thermodynamics or statistical mechanics, all relevant steps in the building up of these disciplines are carefully scrutinised and it is concluded that the charge of subjectivity cannot be upheld. The widely adopted view that entropy is a measure of disorder, or of lack of information, is shown to be ambiguous, although it may be of use in certain contexts. (shrink)

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic (...) questions about the way we categorize the many and the much. (shrink)

Although our eyes receive incomplete and ambiguous information, our perceptual system is usually able to successfully construct a stable representation of the world. In the case of ambiguous figures, however, perception is unstable, spontaneously alternating between equally possible outcomes. The present study compared EEG responses to ambiguous figures and their unambiguous variants. We found that slight figural changes, which turn ambiguous figures into unambiguous ones, lead to a dramatic difference in an ERP (“event-related potential”) component at around 400 ms. (...) This result was obtained across two different categories of figures, namely the geometric Necker cube stimulus and the semantic Old/Young Woman face stimulus. Our results fit well into the Bayesian inference concept, which models the evaluation of a perceptual interpretation’s reliability for subsequent action planning. This process seems to be unconscious and the late.. (shrink)

It is usual to regard mathematical objects as entities that can be identified, characterized, and known in isolation. In this chapter, I propose a contrasting view according to which mathematical entities are structureless points or positions in structures that are not distinguishable or identifiable outside the structure. By analysing the various relations that can hold between patterns, like congruence, equivalence, mutual occurrence, I also account for the incompleteness of mathematical objects, for mathematics turns out to be a conglomeration (...) of theories, each dealing with its own structure and each forgoing identities leading outside its structure. My suggestion that mathematical objects are positions in structures or patterns is not intended as an ontological reduction, but rather as a way of viewing mathematical objects and theories that put the phenomena of multiple reductions and ontological and referential relativity in a clearer light. (shrink)