Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely (...) immune to metamathematical challenges. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears (...) to think that all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

In the 1980s, Putnam famously launched a series of model-theoretic attacks on Metaphysical Realism, aimed at establishing a dilemma for the view and ultimately leading to its dismissal. The present work evaluates whether adopting the Causal Theory of Reference saves Realism from Putnam's attacks. As it turns out, the outcome of the analysis revolves around two questions: (a) whether language has an intended reference relation with the world, or in model-theoretic terms, whether theories have an (...) intended model; and (b) if this is the case, what fixes such a relation or model. Putnam dashed any realist hopes with his infamous Just-More-Theory Manœuvre, which however is not uncontroversial, and has been criticized by many as question-begging. Ultimately, though, the present work concludes that Putnam has successfully established his dilemma, and that Metaphysical Realism is hardly tenable. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, (...) or certain aspects thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

In this article, I have two aims. Firstly, I argue that Hilary Putnam's model theoretic indeterminacy argument against external realism and Saul Kripke's so-called Kripkensteinian argument against semantic realism have the same dialectical structure and the same conclusion---both force the opponent to face the same dilemma. Namely: either adopt meaning minimalism or postulate unobservable semantic facts. Secondly, I analyze more closely the first horn of the dilemma---meaning minimalism. This is the position according to which there (...) are no truth conditions for meaning-ascriptions. It has been suggested that this position is incoherent. However, I argue that there is a coherent option available for the meaning minimalist. As Crispin Wright has proposed, a coherent meaning minimalist has to adopt a structured truth-predicate with at least two levels: one is a minimal or a deflationary truth-predicate for a semantic discourse and the other, more substantial or objective truth-predicate for discourses like natural sciences. Subsequently, this leads to a position close to Huw Price's global expressivism. Thus, the ultimate dilemma that Putnam's and the Kripkensteinian argument establish is the following choice: either meaning minimalism with a structured two-level truth-predicate or robust realism regarding meaning. (shrink)

The model-theoretic argument known as Putnam´s paradox threatens our notion of truth with triviality: Almost any world can satisfy almost any theory. Formal argument and intuition are at odds. David Lewis devised a solution according to which the very stucture of the world fixes how it is to be divided into elite classes which determine the reference of any true theory. Three claims are defended: Firstly, Lewis´ proposal must be completed by an account of successful referential (...) intentions. Secondly, contrary to Catherine Elgin´s criticism of Lewis, natural properties corresponding to elite classes may play a role in sound scientific inquiry. Thirdly, despite Bas van Fraassen´s objection that the sceptic cannot consistently maintain doubts about reference, there is a promising sceptical strategy of exploiting Putnam´s results which is answered by Lewis´ account. (shrink)

Failure to recognize the "realistic" motivations for Putnam's commitment to internal realism has led to a widely shared misunderstanding of Putnam's arguments against metaphysical realism. Realist critics of these arguments frequently offer rebuttals that fail to confront his arguments. Simply put, Putnam's arguments --the brains in a vat argument as well as the model-theoretic argument -- are "reductios" that are intended to show that "metaphysical realism itself is not sufficiently realistic". If that claim (...) can be substantiated then Putnam can go on to argue that his own view is, by comparison, more realistic than metaphysical realism. (shrink)

In this article I am interpreting Friedrich Nietzsche's piece of writing "How the "True World" finally became a fable - The History of an Error" in the context of 20th-century analytical philosophy of language. In particular, I am going to argue that the main theme in this text - the issue of abolishing "the true world" - can be interpreted as Hilary Putnam's model-theoretic arguments against external realism and Saul Kripke's Wittgensteinian arguments against truth-conditional meaning theories. Interpreting (...) this Nietzsche's text with the help of these arguments gives rise to two options determining Nietzsche's own position. The perspective of Putnam's argument seems to push Nietzsche to the quietist camp - the view that significant metaphysical debate between external realism and its opposite is impossible or inexpressible. On the other hand, the Kripkensteinian perspective gives us reasons to interpret Nietzsche as an adherer of the pragmatic account of semantics, which explains meaning through the use of language. (shrink)

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which (...) the green-hypothesis is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (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)

This is an unpublished piece from July 1998. It discusses the use of semantic notions such as reference in the Canberra Plan, the question whether this use creates a problematic circularity if the Canberra Plan is applied to the semantic notions themselves, and the relation of this question to Putnam’s model-theoretic argument. I used some of the ideas in later papers such as (Price 2004, 2009) and (Menzies & Price, 2009), but the bulk of discussion of the (...) relation of my concern to Putnam’s argument (and to responses to Putnam by others) never made it into print. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

The primary justification for mathematical structuralism is its capacity to explain two observations about mathematical objects, typically natural numbers. Non-eliminative structuralism attributes these features to the particular ontology of mathematics. I argue that attributing the features to an ontology of structural objects conflicts with claims often made by structuralists to the effect that their structuralist theses are versions of Quine’s ontological relativity or Putnam’s internal realism. I describe and argue for an alternative explanation for these features which instead explains the (...) attributes them to the mathematical practice of representing numbers using more concrete tokens, such as sets, strokes and so on. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the (...) sets of all the sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (...) (in arbitrary Henkin models). The domains of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of (...) Putnam’s most enduring contributions to the realism/antirealism debate: his discussions of brains-in-vats, of Skolem’s Paradox, and of permutations. In all three cases, we have an argument which does not merely defeat the sceptic; it also shows us that we must reject some prima facie plausible philosophical picture. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In (...) his interpretation of philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used (...) the latter model to argue that time travelers can change the past within such model. We show a way to debunk Loss’s argument, so that the general tenet about the impossibility of changing the past within B-theoretical models is maintained. (shrink)

The paper presents two objections against Putnam’s Twin Earth argument, which was intended to secure semantic externalism. I first claim that Putnam’s reasoning rests on two assumptions and then try to show why these assumptions are contentious. The first objection is that, given what we know about science, it is unlikely that there are any natural-kind terms whose extension is codetermined by a small set of microstructures required by Putnam’s indexical account of extension determination. The second objection is that (...) there may not be a plausible concept of a speech community whose adoption would classify Oscar and Twin Oscar as members of different speech communities and, at the same time, render Oscar and Twin Oscar as being in the same psychological state. I contend that Putnam’s argument fails because both objections are justified. (shrink)

The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict (...) the necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz's original account. (shrink)

Are we perhaps in the "matrix", or anyway, victims of perfect and permanent computer simulation? No. The most convincing—and shortest—version of Putnam's argument against the possibility of our eternal envattment is due to Crispin Wright (1994). It avoids most of the misunderstandings that have been elicited by Putnam's original presentation of the argument in "Reason, Truth and History" (1981). But it is still open to the charge of question-begging. True enough, the premisses of the argument (...) (disquotation and externalism) can be formulated and defended without presupposing external objects whose existence appears doubtful in the light of the very skeptical scenario which Putnam wants to repudiate. However, the argument is only valid if we add an extra premiss as to the existence of some external objects. In order to avoid circularity, we should run the argument with external objects which must exist even if we are brains in a vat, e.g. with computers rather than with trees. As long as the skeptic is engaged in a discussion of the brain-in-a-vat scenario, she should neither deny the existence of computers nor the existence of causal relations; for if she does, she is in fact denying that we are brains in a vat. (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)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text (...) we assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel (...) argument, from a simpler model-theoretic result. (shrink)

Wittgenstein once wrote, “a wheel that can be turned though nothing else moves with it, is not part of the mechanism,” and Nyberg’s explanation as to why Hilary Putnam’s answer to the question of whether we might intelligibly suppose ourselves to be “brains in a vat” is wrong takes us, by way of Wittgenstein’s statement, to the intersection of metaphysics and epistemology, i.e., to the very cornerstone of western philosophy, where we find, waiting for us, the absolute I of solipsism. (...) Yet, it is the solipsistic I which in its articulation most obviously violates the private language argument’s stricture against criterionless reference, though the solipsist has available a reply of sorts – the reply of silence, a complete silence which shrouds equally the blank slates of absolute solipsism and pure realism. Through silence, the I of solipsism becomes the eye of realism and, no longer visible even to itself, vanishes from the realm of analytic discourse, only to be reborn at the correspondent point of each successive incarnation of the paradigm. Other methods of philosophy must, thus, be adopted if we are ever to escape the analytic paradigm’s cyclic limits. It is here, at the point where analysis alone can carry us no further, that “Zen” transitions from an unusually-structured but still traditional philosophic essay into something else entirely, with the incorporation into its closing pages of 15 poetic pieces, each drawn from Nyberg’s 100, a longer text of philosophical poetry which takes up where “Zen” leaves off. [email protected] Iowa City, Iowa/Palo Alto, California/New York, New York/Los Angeles, California/Rapid City, South Dakota June 1982-January 2020 . (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and embedding, (...) deductive relations among mathematical structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

The paper has a twofold aim. On the one hand, it provides what appears to be the first game-theoretic modeling of Napoleon’s last campaign, which ended dramatically on 18 June 1815 at Waterloo. It is specifically concerned with the decision Napoleon made on 17 June 1815 to detach part of his army against the Prussians he had defeated, though not destroyed, on 16 June at Ligny. Military historians agree that this decision was crucial but disagree about whether it was (...) rational. Hypothesizing a zero-sum game between Napoleon and Blücher, and computing its solution, we show that it could have been a cautious strategy on the former's part to divide his army, a conclusion which runs counter to the charges of misjudgement commonly heard since Clausewitz. On the other hand, the paper addresses methodological issues. We defend its case study against the objections of irrelevance that have been raised elsewhere against “analytic narratives”, and conclude that military campaigns provide an opportunity for successful application of the formal theories of rational choice. Generalizing the argument, we finally investigate the conflict between narrative accounts – the historians' standard mode of expression – and mathematical modeling. (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency (...) criterion, including its relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)

In this paper, I consider Hilary Putnam’s argument for the prima facie acceptance of robotic consciousness as deserving the status of mind. I argue that such an extension of consciousness renders the category fundamentally unintelligible, and we should instead understand robots as integral products of an extended human consciousness. To this end, I propose a test from conceptual object permanence, which can be applied not just to robots, but to the innumerable artifacts of consciousness that texture our existences.

[...] I will only investigate [Austin's] claims as challenges to present-day model theoretic semantics. My main point will be to draw a sharp line between the semantic and pragmatic aspects of performatives and thereby discover a gap in Austin’s treatment. This will in my view naturally lead to the proposal in Section 2, that is, to treating performatives as denoting changes in intensional models. The rest of Section 2 will be concerned with the status of felicity conditions and (...) a tentative extension of Montague’s PTQ. (shrink)

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is (...) relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7). (shrink)

The arguments are exhibited in favour of the necessity to modify the history of the genesis and advancement of general relativity (GR). I demonstrate that the dynamic creation of GR had been continually governed by internal tensions between two research traditions, that of special relativity and Newton’s gravity. The encounter of the traditions and their interpenetration entailed construction of the hybrid domain at first with an irregular set of theoretical models. Step by step, on eliminating the contradictions between the models (...) contrived, the hybrid set was put into order. It is contended that the main reason of the GR victory over the rival programmes of Abraham and Nordström was a synthetic character of Einstein’s programme. Einstein had put forward as a basic synthetic principle the principle of equivalence that radically differed from that of rival approaches by its open, flexible and contra-ontological character. (shrink)

Tobias-Renstrøm and Køppe (2020) show the several conceptual limits that new materialism and postmodern subject models have for psychological theory and research. The present study continues in this discussion and argues that the applicability of the ideas of quantum-inspired new materialism depends on the theoretical perspectives that we consider for analysis: be it the first-person perspective referring to the subjective experience of a human subject, or the third-person perspective, in which a human subject is observed by an external observer. While (...) the arguments of new materialism are in accordance with the analysis of the act of observation performed by an external observer, some problems arise when trying to theoretically approach the first-person subjective experience of a human subject. For example, new materialism fails to explain why human minds can maintain the awareness of a subject’s identity throughout their lives and to recall the memories about their past personal experiences. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

Mayr’s proximate–ultimate distinction has received renewed interest in recent years. Here we discuss its role in arguments about the relevance of developmental to evolutionary biology. We show that two recent critiques of the proximate–ultimate distinction fail to explain why developmental processes in particular should be of interest to evolutionary biologists. We trace these failures to a common problem: both critiques take the proximate–ultimate distinction to neglect specific causal interactions in nature. We argue that this is implausible, and that the distinction (...) should instead be understood in the context of explanatory abstractions in complete causal models of evolutionary change. Once the debate is reframed in this way, the proximate–ultimate distinction’s role in arguments against the theoretical significance of evo-devo is seen to rely on a generally implicit premise: that the variation produced by development is abundant, small and undirected. We show that a “lean version” of the proximate–ultimate distinction can be maintained even when this isotropy assumption does not hold. Finally, we connect these considerations to biological practice. We show that the investigation of developmental constraints in evolutionary transitions has long relied on a methodology which foregrounds the explanatory role of developmental processes. It is, however, entirely compatible with the lean version of the proximate–ultimate distinction. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s (...) contention that such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Chemical visualizations and models are special kinds of situated, inductive arguments. In this paper, I examine several historical case studies—an archive of images from museums, special collections, and popular magazines—as examples of emergent practices of physical modeling as theoretical play which became the basis for molecular biology and structural chemistry. Specifically, I trace a legacy of visualization tools that starts with Archibald Scott Cooper and Friedrich Kekulé in the late 1800s, crystallizes as material manipulatives in Kekulé’s student Jacobus Henricus Van’t (...) Hoff and his folded paper “toys,” is legitimized in the California lab of Linus Pauling, and is glorified in the popular imaginary with James Watson and Francis Crick’s model of DNA. My tracing then follows several threads into contemporary modeling practices. I ultimately argue that modeling play, originally outside of the boundary of deductive, positivist science, is now an accepted mode of inductive reasoning in these related chemical fields. (shrink)

In this paper, I explore Sally Haslanger’s (2000) proposed approach to modelling gender which she intends to overcome several problems for such a project. I specifically focus on what Haslanger calls the normativity problem, in which definitions meant to overcome oppression only reinforce oppressive norms. I argue that the normativity problem is a serious one for defining gender and that Haslanger does not successfully overcome it with her definitions of man and woman. In §§1 and 2, I offer background for (...) and explain her account of the problem before offering my own formal reconstruction of it as what I call the normativity argument that (a) we ought not marginalise individuals in our defining of social categories, (b) definitions encouraging normative behaviour do this, and (c) any model of gender encourages such behaviour. In §3 I then give an account of her proposed definitions of man and woman along with her theoretical objections to the normativity argument—suggesting that only certain kinds of marginalisation are undesirable within the constraints of a particular feminist project and that her definitions do not encourage normative behaviour. I then offer my responses to her objections in §4, suggesting that her definitions are normative and do marginalise in a way incongruous even with her particular feminist project. Before concluding, I briefly discuss in §5 where my criticisms of Haslanger’s approach to defining gender fit into some existing criticisms, in order to give my position an even clearer shape. This paper concludes in §6 by sketching some possible ways forward in the philosophy of gender responding to this problem. (shrink)

In economics, thought experiments are frequently justified by the difficulty of conducting controlled experiments. They serve several functions, such as establishing causal facts, isolating tendencies, and allowing inferences from models to reality. In this paper, I argue that thought experiments served a further function in economics: facilitating the quantitative definition and measurement of the theoretical concept of utility, thereby bridging the gap between theory and statistical data. I support my argument by a case study, the “hypothetical experiments” of the (...) Norwegian economist Ragnar Frisch (1895-1973). Frisch aimed to eliminate introspection and a subjective concept of utility from economic reasoning. At the same time, he sought behavioral foundations for economic theory that enabled quantitative reasoning. By using thought experiments to justify his set of choice axioms and facilitating the operationalization of utility, Frisch circumvented the problem of observing utility via actual experiments without eliminating the concept of utility from economic theory altogether. As such, these experiments helped Frisch to empirically support the theory’s most important results, such as the laws of demand and supply, without the input of new empirical findings. I suggest that Frisch’s experiments fulfill the main characteristics of thought experiments. (shrink)

This paper aims both to tackle the technical issue of deciphering Hobbes’s derivation of the sine law of refraction and to throw some light to the broader issue of Hobbes’s mechanical philosophy. I start by recapitulating the polemics between Hobbes and Descartes concerning Descartes’ optics. I argue that, first, Hobbes’s criticisms do expose certain shortcomings of Descartes’ optics which presupposes a twofold distinction between real motion and inclination to motion, and between motion itself and determination of motion; second, Hobbes’s optical (...) theory presented in Tractatus Opticus I constitutes a more economical alternative, which eliminates the twofold distinction and only admits actual local motion, and Hobbes’s derivation of the sine law presented therein, which I call “the early model” and which was retained in Tractatus Opticus II and First Draught, is mathematically consistent and physically meaningful. These two points give Hobbes’s early optics some theoretical advantage over that of Descartes. However, an issue that has baffled commentators is that, in De Corpore Hobbes’s derivation of the sine law seems to be completely different from that presented in his earlier works, furthermore, it does not make any intuitive sense. I argue that the derivation of the sine law in De Corpore does make sense mathematically if we read it as a simplification of the early model, and Hobbes has already hinted toward it in the last proposition of Tractatus Opticus I. But now the question becomes, why does Hobbes take himself to be entitled to present this simplified, seemingly question-begging form without having presented all the previous results? My conjecture is that the switch from the early model to the late model is symptomatic of Hobbes’s changing views on the relation between physics and mathematics. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an (...) agent to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Block argues for a distinction between phenomenal consciousness [PC] and access consciousness [AC] on the basis of his ‘overflow’ argument. Some have thought that this distinction might limit the possibilities of studying consciousness, as it suggests the existence of conscious mental states whose contents can’t be reported. After distinguishing theoretically between PC and AC, I will summarise Block’s overflow argument for their factual distinction. Highlighting that Block makes two related but separate modal claims about the PC/AC distinction, I (...) will show that the arguments he offers at most support the weak claim that a subject S can have a mental state which is P-conscious but which isn’t A-conscious. But the assumptions on which his argument for the weak claim rest prevent any supporters of his argument from making the strong claim that an individual can have a mental state which is P-conscious but which can’t be A-conscious. And if the overflow argument can’t motivate this stronger claim then there’s no reason to think that any mental state which is P-conscious can’t be made A-conscious given the right circumstances. In which case, even if Block’s argument succeeds, there’s no reason to think that there are inherently inaccessible and thus unreportable conscious mental states. So fears about the limitations of the possibility of the study of consciousness due to the existence of such mental states on the basis of the overflow argument can be allayed. (shrink)

Contractarians aim to derive moral principles from the dictates of instrumental rationality alone. But it is well-known that contractarian moral theories struggle to identify normative principles that are both uniquely rational and morally compelling. Michael Moehler's recent book, *Minimal Morality* seeks to avoid these difficulties by developing a novel "two-level" social contract theory, which restricts the scope of contractarian morality to cases of deep and persistent moral disagreement. Yet Moehler remains ambitious, arguing that a restricted version of Kant's categorical imperative (...) is a uniquely rational principle of conflict resolution. We develop a formal model of Moehler's informal game-theoretic argument, which reconstructs a valid argument for Moehler's conclusion. This model, in turn, enables us to expose how a successful argument for Moehler's contractarian principle rests on assumptions that can only be justified by subtle yet significant departures from the standard conception of rationality. We thus extend our understanding of familiar contractarian difficulties by showing how they arise even if we restrict the scope of contractarian morality to a domain where its application seems both promising and necessary. We show that the problem lies not in contractarians' immodest ambitions but in the modest resources rationality can offer to satisfy them. (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)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics (...) ascribe to him. Contrary to appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, (...) is of a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

We proceed to describe a model for the formation and maintenance of polythematic delusions encountered in schizophrenia, which is in adequacy with Brendan Maher's account of delusions. Polythematic delusions are considered here as the conclusions of arguments triggered by apophenia that include some very common errors of reasoning such as post hoc fallacy and confirmation bias. We describe first the structure of reasoning which leads to delusions of reference, of telepathy and of influence, by distinguishing between the primary, secondary, (...) tertiary and quaternary types of delusional arguments. These four levels of arguments correspond to a stage the nature of which is respectively instantial, inductive, interpretative at a monothematic level and interpretative at a polythematic level. We also proceed to identify accurately the fallacious steps in the corresponding reasoning. We expose then the role of apophenia in the elaboration of delusional ideas. Lastly, we describe the role played by the hallucinations in the present model. (shrink)