Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find (...) limitations in our finitary tool, which is our complete language. (shrink)

The small improvement argument has been said to establish that the standard weak preference or value relation can be incomplete. We first show that the argument is one of three possible ‘small amendment arguments’, each of which would yield the same conclusion. Generalizing the analysis thus, we subsequently present a strong and a weak version of small amendment arguments and derive the exact rationality conditions under which they reveal incompleteness. The results show that the arguments (in any (...) of their variants) need not reveal a problem for the possibility of rational choice. In fact, it can be argued that they only reveal such a problem if the underlying relation is complete rather than incomplete. (shrink)

C. Stephen Layman contends that an argument supporting theism over naturalism can be constructed based on three defensible, non–question-begging premises about the moral order. Previous critics of Layman’s argument have challenged the truth of these premises. We stipulate them arguendo but go on to show that there is a deeper problem: a fourth premise introduced to complete the argument—the “completion premise,” as we call it—is true only if we assume that God exists or we concede that there (...) is no afterlife. We close with suggestions for how Layman’s argument must be strengthened to meet with dialectical success. (shrink)

Luck egalitarianism makes a fundamental distinction between inequalities for which agents are responsible and inequalities stemming from luck. I give several reasons to find luck egalitarianism a compelling view of distributive justice. I then argue that it is an incomplete theory of equality. Luck egalitarianism lacks the normative resources to achieve its ends. It is unable to specify the prior conditions under which persons are situated equivalently such that their choices can bear this tremendous weight. This means that luck egalitarians (...) need to become pluralists who understand equality not merely in terms of choice, luck, and responsibility. After developing my critical argument that luck egalitarianism is incomplete, I sketch a strategy for rehabilitating and filling out the theory. (shrink)

In this paper, I accomplish a conceptual task and a historical task. The conceptual task is to argue that (1) Einstein’s Principle of Separability (henceforth “separability”) is not a supervenience principle and that (2) separability and entanglement are compatible. I support (1) by showing that the conclusion of Einstein’s incompleteness argument would still follow even if one assumes that the state of a composite system does not supervene on the states of the subsystems, and by showing that what (...) Einstein says in “Quantum Mechanics and Reality” (1948) strongly suggests that separability is not a principle about how subsystem states relate to the state of composite systems. I support (2) by showing that if separability was incompatible with entanglement, then Einstein’s argument would be incoherent in a trivial way. Thus, by arguing for (1) and (2) I directly challenge what has been, and still is, a very common reading of separability. The historical task is to offer the first detailed review of the different ways in which separability has been defined by physicists and philosophers in the last 60 years. Among other things, such a review distinguishes three different definitions of the principle, and shows that since the 1990s and up until the present date, it became standard to take separability (as presented by Einstein) to be a supervenience principle. (shrink)

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether (...) the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

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)

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...) relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal (...) logic in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set (...) theory. Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

Presumption is a complex concept in law, affecting the dialogue setting. However, it is not clear how presumptions work in everyday argumentation, in which the concept of “plausible argumentation” seems to encompass all kinds of inferences. By analyzing the legal notion of presumption, it appears that this type of reasoning combines argument schemes with reasoning from ignorance. Presumptive reasoning can be considered a particular form of reasoning, which needs positive or negative evidence to carry a probative weight on the (...) conclusion. For this reason, presumptions shift the burden of providing evidence or explanations onto the interlocutor. The latter can provide new information or fail to do so: whereas in the first case the new information rebuts the presumption, in the second case, the absence of information that the interlocutor could reasonably provide strengthen the conclusion of the presumptive reasoning. In both cases the result of the presumption is to strengthen the conclusion of the reasoning from lack of evidence. As shown in the legal cases, the effect of presumption is to shift the burden of proof to the interlocutor; however, the shift a presumption effects is only the shift of the evidential burden, or the burden of completing the incomplete knowledge from which the conclusion was drawn. The burden of persuasion remains on the proponent of the presumption. On the contrary, reasoning from definition in law is a conclusive proof, and shifts to the other party the burden to prove the contrary. This crucial difference can be applied to everyday argumentation: natural arguments can be divided into dialectical and presumptive arguments, leading to conclusions materially different in strength. -/- . (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...) to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Few have discussed Rawls's arguments for the value of democracy. This is because his arguments, as arguments that the principle of equal basic liberty should include democratic liberties, are incomplete. Rawls says little about the inclusion of political liberties of a democratic sort – such as the right to vote – among the basic liberties. And, at times, what he does say is unconvincing. My aim is to complete and, where they fail, to reconceive Rawls's arguments and to show that (...) a principle requiring equal political liberty and its fair value is an appropriate component of his theory of justice. (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

In The Rationality of Induction, David Stove presents an argument against scepticism about inductive inference—where, for Stove, inductive inference is inference from the observed to the unobserved. Let U be a finite collection of n particulars such that each member of U either has property F-ness or does not. If s is a natural number less than n, define an s-fold sample of U as s observations of distinct members of U each either having F-ness or not having F-ness. (...) Let pU denote the proportion of members of U that are Fs and, if S is an s-fold sample of U, let pS denote the proportion of members of S that are Fs. Call S representative if and only if |pS – pU|<0.01. Stove‘s argument against inductive scepticism is built on the following statistical fact: -/- As s gets larger the proportion of all possible s-fold samples of U that are representative gets closer to 1 (regardless of the size of U or of the value of pU). -/- In this essay I subject Stove‘s argument to thorough scrutiny. I show that the argument – as it stands – is incomplete, and I illuminate the issues involved in trying to fill the gaps. Along the way I demonstrate that one of the commonest objects to Stove‘s argument misses the point. -/- . (shrink)

Despite the vast literature on Rawls's work, few have discussed his arguments for the value of democracy. When his arguments have been discussed, they have received staunch criticism. Some critics have charged that Rawls's arguments are not deeply democratic. Others have gone further, claiming that Rawls's arguments denigrate democracy. These criticisms are unsurprising, since Rawls's arguments, as arguments that the principle of equal basic liberty needs to include democratic liberties, are incomplete. In contrast to his trenchant remarks about core civil (...) liberties, Rawls does not say much about the inclusion of political liberties of a democratic sort – such as the right to vote – among the basic liberties. -/- In this paper, I complete some of Rawls's arguments and show that he has grounds for including political liberties, particularly those of a democratic nature, in the principle of equal basic liberty. In doing so, I make some beginning steps toward illustrating the genuinely democratic nature of Rawls's arguments. Rawls believes that a few different arguments can be given for democratic institutions and that these arguments work together to support the value of democracy. In this paper, I focus on Rawls's arguments relating to self-respect. I focus on this set of arguments because they are among the strongest of Rawls's arguments for equal political liberty and its fair value. (shrink)

Quantum theory offers mathematical descriptions of measurable phenomena with great facility and accuracy, but it provides absolutely no understanding of why any particular quantum outcome is observed. It is the province of genuine explanations to tell us how things actually work—that is, why such descriptions hold and why such predictions are true. Quantum theory is long on the what, both mathematically and observationally, but almost completely silent on the how and the why. What is even more interesting is that, in (...) some sense, this state of affairs seems to be a necessary consequence of the empirical adequacy of quantum descriptions. One of the most noteworthy achievements of quantum theory is the accurate prediction of phenomena that, on pain of experimental contradiction, have no physical explanation. It is the purpose of this essay to make clear why quantum mechanics and quantum field theory are complete physical descriptions that describe the metaphysical incompleteness of the physical world, then to press the negative implications of this fact for naturalistic metaphysics. (shrink)

In support of a lean and humble anthropology I discuss six key articles that provide indirect arguments for humility. In summary, these articles teach us that the terms of a discussion may be flawed and cannot be resolved by agreeing shared meanings (Gallie); we must accept limits on what we can know (Nagel); depictions, visual representations are potentially confusing, forms of translation across media types are ubiquitous; (Wolf); portraits are exemplary performances of the self, even the most casual depictions are (...) of the act of posing; (Berger); varying meanings may be associated with a single item, which may convey different things to different people in different places and at different times (Miller and Woodward); and that accounts of a social group and its ideas must encompass vagueness and inconsistency rather than present a misleading coherence and consistency (Favret-Saada). Together these provide reasons for developing a humble anthropology, one that recognizes its incompleteness and revisability. Keywords: Humility, sparsity, meaning, vagueness. (shrink)

Ignited by Einstein and Bohr a century ago, the philosophical struggle about Reality is yet unfinished, with no signs of a swift resolution. Despite vast technological progress fueled by the iconic Einstein/Podolsky/Rosen paper (EPR) [1] [2] [3], the intricate link between ontic and epistemic aspects of Quantum Theory (QT) has greatly hindered our grip on Reality and further progress in physical theory. Fallacies concealed by tortuous logical negations made EPR comprehension much harder than it could have been had Einstein written (...) it himself in German. EPR is plagued with preconceptions about what a physical property is, the 'Uncertainty Principle', and the Principle of Locality. Numerous interpretations of QT vis à vis Reality exist and are keenly disputed [4] [5] [6] [7] [8] [9] [10] [11]. This is the first of a series of articles arguing for a novel physical interpretation I call ‘The Ontic Probability Interpretation’ (TOPI). A gradual explanation of TOPI is given intertwined with a meticulous logico-philosophical scrutiny of EPR, with Part I focusing on the meaning of Einstein’s ‘incompleteness’ claim for QT: a conceptual confusion, a preconception about Reality, and a flawed dichotomy are shown to be severe obstacles for the EPR argument to succeed. Part II completes the analysis, proving EPR claim of ‘incompleteness’ for QT is fallacious [12]. Part III further develops TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [13]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [14]. (shrink)

After identifying in Part I [1] a conceptual confusion (TCC), a Reality preconception (TRP1), and a fallacious dichotomy (TFD), the famous EPR/EPRB [2] [3] [4] [5] [6] argument for correlated ‘particles’ is now studied in the light of the Ontic Probability Interpretation of Quantum Theory (QT/TOPI). Another Reality preconception (TRP2) is found, showing that EPR used and ignored QT predictions in a single paralogism. Employing TFD and TRP2, EPR unveiled a contradiction veiled in its premises. By removing nonlocality from (...) QT’s Ontology [1] by fiat, EPR preordained its incompleteness. The Petitio Principii fallacy was at work from the outset. Einstein surmised the proper solution to his incompleteness/nonlocality dilemma in 1949 [7], but never abandoned his philosophical stance [8]. It is concluded that there are no definitions of Reality: we have to accept that Reality may not conform to our prejudices and, if an otherwise successful theory predicts what we do not believe in, no gedankenexperiment will help because our biases may slither through. Only actual experiments could assist in solving Einstein’s dilemma, as has been proven in the last 50 years. Notwithstanding, EPR is one of the most influential papers in history and has immensely sparked both conceptual and technological progress. Part III of this series further develops QT/TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [9]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [10]. (shrink)

Storrs McCall continues the tradition of Lucas and Penrose in an attempt to refute mechanism by appealing to Gödel’s incompleteness theorem. That is, McCall argues that Gödel’s theorem “reveals a sharp dividing line between human and machine thinking”. According to McCall, “[h]uman beings are familiar with the distinction between truth and theoremhood, but Turing machines cannot look beyond their own output”. However, although McCall’s argumentation is slightly more sophisticated than the earlier Gödelian anti-mechanist arguments, in the end it fails (...) badly, as it is at odds with the logical facts. (shrink)

The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet been used or (...) were neglected in past discussions. (shrink)

Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.

In Zettel, Wittgenstein considered a modified version of Cantor’s diagonal argument. According to Wittgenstein, Cantor’s number, different with other numbers, is defined based on a countable set. If Cantor’s number belongs to the countable set, the definition of Cantor’s number become incomplete. Therefore, Cantor’s number is not a number at all in this context. We can see some examples in the form of recursive functions. The definition "f(a)=f(a)" can not decide anything about the value of f(a). The definiton is (...) incomplete. The definition of "f(a)=1+f(a)" can not decide anything about the value of f(a) too. The definiton is incomplete.<br><br>According to Wittgenstein, the contradiction, in Cantor's proof, originates from the hidden presumption that the definition of Cantor’s number is complete. The contradiction shows that the definition of Cantor’s number is incomplete. <br><br>According to Wittgenstein’s analysis, Cantor’s diagonal argument is invalid. But different with Intuitionistic analysis, Wittgenstein did not reject other parts of classical mathematics. Wittgenstein did not reject definitions using self-reference, but showed that this kind of definitions is incomplete.<br><br>Based on Thomson’s diagonal lemma, there is a close relation between a majority of paradoxes and Cantor’s diagonal argument. Therefore, Wittgenstein’s analysis on Cantor’s diagonal argument can be applied to provide a unified solution to paradoxes. (shrink)

Our objectives in this paper are, first, to identify several puzzling aspects of the “Trilemma Argument” of Section 6 against the Sense Datum Theory; second, to resolve these puzzles by reconstructing the Trilemma Argument; third to point to a distinction Sellars makes between two versions of the Sense Datum Theory, the “nominalist” version and the “realist” version; fourth, to reconstruct Sellars’s arguments against both; and, finally, to find in an earlier paper, “Is There a Synthetic A Priori?” that (...) his argument against the second version, assumed but not actually given in EPM, is against property realism and depends on taking language expressing propositional perception as fundamental and language expressing non-propositional perception as incomplete and derivative from the former. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are (...) predicates in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

The viewpoint that consciousness, including feeling, could be fully expressed by a computational device is known as strong artificial intelligence or strong AI. Here I offer a defense of strong AI based on machine-state functionalism at the quantum level, or quantum-state functionalism. I consider arguments against strong AI, then summarize some counterarguments I find compelling, including Torkel Franzén’s work which challenges Roger Penrose’s claim, based on Gödel incompleteness, that mathematicians have nonalgorithmic levels of “certainty.” Some consequences of strong AI (...) are then considered. A resolution is offered of some problems including John Searle’s Chinese Room problem and the problem of consciousness propagation under isomorphism. (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 the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the (...) connection between Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

Frank Jackson’s knowledge argument (KA) aims to prove, by means of a thought experiment concerning the hypothetical scientist Mary, that conscious experiences have non-physical properties, called qualia. Mary has complete scientific knowledge of colours and colour vision without having had any colour experience. The central intuition in the KA is that, by seeing colours, Mary will learn what it is like to have colour experiences. Therefore, her scientific knowledge is incomplete, and conscious experiences have qualia. In this paper I (...) consider an objection to the KA raised by Daniel Dennett. He maintains that the KA is vitiated by Jackson’s account of Mary’s scientific knowledge. While endorsing this criticism, I will defend the plausibility and relevance of the type of strategy involved in the KA by offering an account of Mary’s scientific knowledge. This account involves formulating a reasonable and not immediately false version of the physicalist thesis with regard to colour experiences. Whether this version of the KA is successful against this type of physicalism is not investigated here. (shrink)

Arguments for handgun ownership typically appeal to handguns’ value as an effective means of self-protection. Against this, critics argue that private ownership of handguns leads to more social harm than it prevents. Both sides make powerful arguments, and in the absence of a reasonable consensus regarding the merits of gun ownership, David DeGrazia proposes two gun control policies that ‘reasonable disputants on both sides of the issue have principled reasons to accept.’ These policies hinge on his claim that ‘an even-handed (...) examination of the available evidence casts considerable doubt on the thesis that handgun ownership enables more adequate self-defense and physical security in the home.’ We challenge DeGrazia’s ‘moderate gun control’ policies on both philosophical and empirical grounds. Philosophically, we show that the arguments he gives in support of his proposed gun-control measures are too narrow and incomplete to warrant his conclusions about what kind of gun control there ought to be, even if he is right about the empirical evidence. Empirically, we argue that a truly even-handed examination of the evidence makes DeGrazia’s claim that gun ownership is on average self-defeating much less plausible than he supposes. Our conclusion is that DeGrazia has failed to establish his claim that gun ownership is self-defeating and therefore has no case for the gun-control policies he suggests. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples (...) such as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

Despite its enormous popularity, Russell’s theory of definite descriptions has received various criticisms. Two of the most important objections against this theory are those arising from the Argument from Incompleteness and the Argument from Donnellan’s Distinction. According to the former although a speaker may say something true by assertively uttering a sentence containing an incomplete description , on the Russellian analysis such a sentence expresses a false proposition; so, Russell’s theory cannot adequately deal with such sentences. According (...) to the latter objection a descriptive sentence is actually ambiguous—it expresses a general proposition when the description contained in it is used attributively, and a singular proposition when the description in question is used referentially; Russell’s theory is inadequate as it fails to capture this ambiguity and offers an analysis according to which a descriptive sentence expresses only a general proposition. These objections are examined in the present dissertation. It is shown here that these objections arise from: (i) ignoring the distinction between the meaning of a sentence and the assertions made by using it, (ii) the failure to distinguish between the semantic meaning of a sentence and the pragmatic meaning with which it is used on a particular occasion. To make the distinction mentioned in (i), a significant part of Scott Soames’ theory concerning meaning and assertions has been adopted in this dissertation; and, to make the distinction mentioned in (ii), a test, namely the cancellability test, and two Distinguishing Criteria, namely DC-1 and DC-2, have been developed here. It has been argued here that if we properly make the relevant distinctions, then we will find that: (a) the phenomenon cited by the Argument from Incompleteness can be well explained keeping the Russellian analysis of descriptive sentences intact, (b) the phenomenon arising from the Argument from Donnellan’s Distinction raises an issue of pragmatics and is irrelevant to Russell’s semantic analysis of descriptive sentences. So, none of the above criticisms poses a genuine threat to Russell’s theory of definite descriptions; his theory actually provides, to a large extent, a correct semantic analysis of descriptive sentences. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this (...) paper. The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

Wiggins’ (2012) argument against propositional accounts of knowing how is based on a development of some considerations taken from Aristotle’s Nicomachean Ethics. Aristotle argued that the knowledge needed for participation in an ethos cannot be codified in propositional form so as to let it be imparted to someone who did not already have it. This is because any putative codification would be incomplete, and require that knowledge in order to extend it to novel cases. On a reasonable interpretation of (...) his argument, Wiggins claims that the same goes for practical knowledge in general, and that this shows that a propositional view of knowing how is incorrect. This paper shows that this argument is unsound. (shrink)

The mind-body problem is one of the important topics in philosophy of mind and cognitive science. Following the analytical tradition of linguistic and logical analysis, we focus on two aspects of the mind- body problem: one is around Gödel's incompleteness theorem, and the other is on cognitive logic, especially on the question of whether Epistemological Arithmetic and machines are private. In the former case, in response to the popular view that the Gödel Incompleteness Theorem supports dualism in the (...) mind-body problem, H. Putnam constructs a counter-argument that defends the computationalist agenda: the equivalence of mind and Turing machine. In this regard, the paper discusses Putnam's line of analysis and then argues that it is unsound. In the latter case, the paper examines in detail the cognitive form of the expression of privateness and concludes, together with recent results in EA, that the existence of privateness in Turing machines is logically untenable and, therefore, we argue that the mind is not equivalent to a machine in terms of cognitive ability and privateness, i.e., the computationalist agenda is not valid. (shrink)

The principal argument suggested here is that we are all morally embedded selves: We have no control over the abilities that make us moral agents nor can we control the degree to which we have these abilities; in other words, we are not responsible for our good or bad qualities as moral agents. This, I believe, calls for the adoption of embedded compatibilism (EC). According to EC, people have control over their conduct; this control, however, is embedded within prerequisites, (...) which they cannot control and hence are not responsible for having or lacking. On the one hand, EC enables us to explain why a lack of control at the ultimate level does not eliminate moral judgment altogether. However on the other hand, EC ought to change our understanding of moral responsibility; interalia, it supports a hybrid notion of punishment, indicates the incomplete nature of guilt and reintroduces the problem of moral luck. (shrink)

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

It has recently been remarked that the argument for physicalism from the causal closure of the physical is incomplete. It is only effective against mental causation manifested in the action of putative mental forces that lead to acceleration of particles in the nervous system. Based on consideration of anomalous, physically unaccounted-for correlations of neural events, I argue that irreducible mental causation whose nature is at least prima facie probabilistic is conceivable. The manifestation of such causation should be accompanied by (...) a local violation of the Second Law of thermodynamics. I claim that mental causation can be viewed as the disposition of mental states to alter the state probability distribution within the nervous system, with no violation of the conservation laws. If confirmed by neurophysical research, it would indicate a kind of causal homogeneity of the world. Causation would manifest probabilistically in both quantum mechanical and psychophysical systems, and the dynamics of both would be determined by the temporal evolution of the corresponding system state function. Finally, I contend that a probabilistic account of mental causation can consistently explain the character of selectional states that ensure the uniformity of causal patterns, as well as the fact that different physical realizers of a mental property cause the same physical effects in different contexts. (shrink)

Robustly realistic metaphysical readings of Kant’s mature views have become popular in recent years, largely because of the apparent coherence of applying unschematized categories like that of causation to things in themselves. There is, however, an overlooked problem that arises even for robust realist readings that privilege unschematized categories. The problem is that Kant provides all the elements for what is now called a ‘debunking explanation’ of metaphysical representations of things in themselves. His account of the categories as arising from (...) mere forms of judgment, and being applied primarily for the unity of consciousness, is detached from the issue of whether there are causes among things in themselves. This detachment seems to imply that it would be a huge coincidence if unschematized categories corresponded to any such causes. After making this argument, using the category of causation as my central case, I consider three potential responses: that Kant’s account implicitly appeals to things in themselves’ causation, that Kant has a separate account of non-coincidental representation, and that Kant’s account is merely incomplete in a way that poses no debunking threat. None of these responses, I argue, are successful, so I conclude that either robustly realistic metaphysical readings are mistaken, or there is internal incoherence in Kant’s views. (shrink)

In this essay, I argue for the rejection of Vihvelin's ‘Three-fold Classification’ , a nonstandard taxonomy of free-will compatibilism, incompatibilism, and impossibilism. Vihvelin is right that the standard taxonomy of these views is inadequate, and that a new taxonomy is needed to clarify the free-will debate. Significantly, Vihvelin notes that the standard formal definition of ‘incompatibilism’ does not capture the historically popular view that deterministic laws pose a threat to free will. Vihvelin's proposed solution is to redefine ‘incompatibilism.’ However, Vihvelin's (...) formal definition of ‘incompatibilism’ is flawed according to her own arguments. In addition, Vihvelin's characterization of ‘compatibilism’ is incomplete, and at least two important free-will views are missing from her proposed taxonomy. Given the problems with Vihvelin's arguments for 3-FC, her novel view of the dialectic between the major free-will views lacks support. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

Gödel's incompleteness theorems establish the stunning result that mathematics cannot be fully formalized and, further, that any formal system containing a modicum of number or set theory cannot establish its own consistency. Wilfried Sieg and Clinton Field, in their paper Automated Search for Gödel's Proofs, presented automated proofs of Gödel's theorems at an abstract axiomatic level; they used an appropriate expansion of the strategic considerations that guide the search of the automated theorem prover AProS. The representability conditions that allow (...) the syntactic notions of the metalanguage to be represented inside the object language were taken as axioms in the automated proofs. The concrete task I am taking on in this project is to extend the search by formally verifying these conditions. Using a formal metatheory defined in the language of binary trees, the syntactic objects of the metatheory lend themselves naturally to a direct encoding in Zermelo's theory of sets. The metatheoretic notions can then be inductively defined and shown to be representable in the object-theory using appropriate inductive arguments. Formal verification of the representability conditions is the first step towards an automated proof thereof which, in turn, brings the automated verification of Gödel's theorems one step closer to completion. (shrink)

Feminist standpoint theory is a variety of feminist epistemology that has been active since the 1980s. Its two central tenets are (1) that knowledge is necessarily situated within a socio-political context, and (2) that certain socio-political positions or standpoints are epistemically privileged when it comes to “reveal[ing] the truth of social reality” (Hekman 1997). Over the course of its history, standpoint theory has encountered a number of problems which have revealed divisions among its supporters over certain fundamental philosophical commitments. In (...) this paper, I sketch out a phenomenological account of perception that can begin to address these problems, drawn largely from Maurice Merleau-Ponty’s Phenomenology of Perception. There are two major issues that I believe a Merleau-Pontyan view of perception can help alleviate. One is that there has never been a thorough articulation of a theory of perception underlying standpoint theory’s central claims. This is surprising, since arguments in favor of standpoint theory often emphasize that occupying a certain standpoint enables one to see the world differently (see Hartsock 1983, among others). The other problem is the complex tension between standpoint theory’s two central theses. Positing that knowledge is necessarily situated seems to make it difficult to account for one single reality about which some particular group could be epistemically privileged (Hekman 1997). Merleau-Ponty can help us resolve these issues by providing an account of perspectival perception wherein a multiplicity of different perceptual standpoints all nonetheless put us in touch with a single "external" world. Merleau-Ponty’s account also explains how it could be that some standpoints are better than others when it comes to accessing certain features of this world. For Merleau-Ponty, it is not a problem if each perspective is incomplete, partial, or even apparently conflicting with other perspectives. The proliferation of standpoints need not lead us into an unacceptably relativistic framework, as long as we are able to conceive of each of these standpoints as giving whoever occupies it access to some particular aspect of a singular, real, shared world. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there (...) are vague predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

Illusionists claim that phenomenal consciousness does not exist, but merely seems to exist. Most debates concerning illusionism focus on whether or not it is true—whether phenomenal consciousness really is an illusion. Here I want to tackle a different question: assuming illusionism is true, what kind of illusion is the illusion of phenomenality? Is it a “rich” illusion—the cognitively impenetrable activation of an incorrect representation—or a “sparse” illusion—the cognitively impenetrable activation of an incomplete representation, which leads to drawing incorrect judgments? I (...) present this distinction and I classify the most influential illusionist theories along this line of divide. I then offer an argument against the accounts of the illusion of phenomenality in terms of sparse illusion. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of (...) proof, and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)