I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

Ontological naturalism is the view that our best construal of what there is, is what science says there is. This paper argues that while such a doctrine is very appealing, unfortunately, determining what there is, is neither as simple, nor as straightforward, as ontological naturalism would have it seem. Determining what there is, it is claimed, involves three steps. First, one must decide which part of scientific discourse should be taken as true. One must then regiment that part of scientific (...) discourse, and finally, one has to apply a criterion for ontological commitment to that regimented discourse. This paper will concentrate on the first and third of these tasks. It is argued that resolving the tasks these steps put before us requires the employment of philosophical maneuvers, that is, maneuvers that neither originate within, nor are ratified by, the practice of science. But these are maneuvers that the ontological naturalist is not entitled to. Thus, ontological naturalism is not a feasible doctrine. (shrink)

The platonism/nominalism debate in the philosophy of mathematics concerns the question whether numbers and other mathematical objects exist. Platonists believe the answer to be in the positive, nominalists in the negative. According to non-factualists, the question is ‘moot’, in the sense that it lacks a correct answer. Elaborating on ideas from Stephen Yablo, this article articulates a non-factualist position in the philosophy of mathematics and shows how the case for non-factualism entails that standard arguments for rival positions fail. In particular, (...) showing how and why non-factualists reject nominalism illuminates the originality and interest of their position. (shrink)

Idealized scientific representations result from employing claims that we take to be false. It is not surprising, then, that idealizations are a prime example of allegedly inconsistent scientific representations. I argue that the claim that an idealization requires inconsistent beliefs is often incorrect and that it turns out that a more mathematical perspective allows us to understand how the idealization can be interpreted consistently. The main example discussed is the claim that models of ocean waves typically involve the false assumption (...) that the ocean is infinitely deep. While it is true that the variable associated with depth is often taken to infinity in the representation of ocean waves, I explain how this mathematical transformation of the original equations does not require the belief that the ocean being modeled is infinitely deep. More generally, as a mathematical representation is manipulated, some of its components are decoupled from their original physical interpretation. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having uses that are not ontologically committing, in addition to the usual commissive uses. (Consider, e.g., the Platonic and the neutral readings of ‘There is an even prime’.) In this paper, I identify five different noncommissive uses for ontic terms, and (by a kind of via negativa) attempt to define the commissive use, focusing on ‘actual’ as my example. The problem, however, is that the resulting definiens for the (...) commissive ‘actual’ is itself equivocal between a commissive and a noncommissive reading. I thus consider other proposals for defining the commissive use, including two proposals from David Lewis. However, each proposal is found to be equivocal in the same way—and eventually I argue that it is impossible to define an ontic term unequivocally. Even so, this is not meant to overshadow that we can understand an ontic term as univocally commissive, in certain conversational contexts. I close by illustrating the import of these observations for the Hirsch–Sider debate in metaontology. (shrink)

The indispensability argument is sometimes seen as weakened by its reliance on a controversial premise of confirmation holism. Recently, some philosophers working on the indispensability argument have developed versions of the argument which, they claim, do not rely on holism. Some of these writers even claim to have strengthened the argument by eliminating the controversial premise. I argue that the apparent removal of holism leaves a lacuna in the argument. Without the holistic premise, or some other premise which facilitates the (...) transfer of evidence to mathematical portions of scientific theories, the argument is implausible. (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on commitment to (...) individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

If there are no fictional characters, how do we explain thought and discourse apparently about them? If there are, what are they like? A growing number of philosophers claim that fictional characters are abstract objects akin to novels or plots. They argue that postulating characters provides the most straightforward explanation of our literary practices as well as a uniform account of discourse and thought about fiction. Anti-realists counter that postulation is neither necessary nor straightforward, and that the invocation of pretense (...) provides a better account of the same phenomena. I outline and assess these competing theories. (shrink)

One major difficulty confronting attempts to clarify the epistemological and ontological status of abstract objects is determining the sense, if any, in which such entities may be characterised as mind and language independent. Our contention is that the tolerant reductionist position of Michael Dummett can be strengthened by drawing on Husserl's mature account of the constitution of ideal objects and mathematical objectivity. According to the Husserlian position we advocate, abstract singular terms pick out weakly mind-independent sedimented meaning-contents. These meaning-contents serve (...) as the ‘thin’ referents of abstract singular terms, but are ultimately founded in prior acts of meaning-constitution. (shrink)

The prevailing approach to the problem of the ontological status of mathematical entities such as numbers and sets is to ask in what sense it is legitimate to ascribe a reference to abstract singular terms; those expressions of our language which, taken at face value, denote abstract objects. On the basis of this approach, neo‐Fregean Abstractionists such as Hale and Wright have argued that abstract singular terms may be taken to effect genuine reference towards objects, whereas nominalists such as Field (...) have asserted that these apparent ontological commitments should not be taken at face value. In this article I argue for an intermediate position which upholds the legitimacy of ascribing a reference to abstract singular terms in an attenuated sense relative to the more robust ascription of reference applicable to names denoting concrete entities. In so doing I seek to clear up some confusions regarding the ramifications of such a thin notion of reference for ontological claims about mathematical objects. (shrink)

After a brief presentation of Feynman diagrams, we criticizise the idea that Feynman diagrams can be considered to be pictures or depictions of actual physical processes. We then show that the best interpretation of the role they play in quantum field theory and quantum electrodynamics is captured by Hughes' Denotation, Deduction and Interpretation theory of models, where “models” are to be interpreted as inferential, non-representational devices constructed in given social contexts by the community of physicists.

This paper defends the Quine-Putnam mathematical indispensability argument against two objections raised by Penelope Maddy. The objections concern scientific practices regarding the development of the atomic theory and the role of applied mathematics in the continuum and infinity. I present two alternative accounts by Stephen Brush and Alan Chalmers on the atomic theory. I argue that these two theories are consistent with Quine’s theory of scientific confirmation. I advance some novel versions of the indispensability argument. I argue that these new (...) versions accommodate Maddy’s history of the atomic theory. Counter-examples are provided regarding the role of the mathematical continuum and mathematical infinity in science. (shrink)

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

The traditional formulation of the indispensability argument for the existence of mathematical entities (IA) has been criticised due to its reliance on confirmational holism. Recently a formulation of IA that works without appeal to confirmational holism has been defended. This recent formulation is meant to be superior to the traditional formulation in virtue of it not being subject to the kind of criticism that pertains to confirmational holism. I shall argue that a proponent of the version of IA that works (...) without appeal to confirmational holism will struggle to answer a challenge readily answered by proponents of a version of IA that does appeal to confirmational holism. This challenge is to explain why mathematics applied in falsified scientific theories is not considered to be falsified along with the rest of the theory. In cases where mathematics seemingly ought to be falsified it is saved from falsification, by a so called 'Euclidean rescue'. I consider a range of possible answers to this challenge and conclude that each answer fails. (shrink)

Perceptual experiences provide an important source of information about the world. It is clear that having the capacity of undergoing such experiences yields an evolutionary advantage. But why should humans have developed not only the ability of simply seeing, but also of seeing that something is thus and so? In this paper, I explore the significance of distinguishing perception from conception for the development of the kind of minds that creatures such as humans typically have. As will become clear, it (...) is crucial to pay careful attention to the different kinds of information that are involved in perceiving and conceiving (including the way such information is gathered and transmitted). By identifying such kinds of information and the role they play, we can then understand an important feature of why creatures like us have the kind of consciousness and mental processes we do. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

It has seemed, to many, that there is an important connection between the ways in which some theoretical posits explain our observations, and our reasons for being ontologically committed to those posits. One way to spell out this connection is in terms of what has become known as the explanatory criterion of ontological commitment. This is, roughly, the view that we ought to posit only those entities that are indispensable to our best explanations. Our primary aim is to argue that (...) the moral nonnaturalist places herself in an invidious position if she simply accepts that the nonnatural moral facts that she posits are not explanatory. Instead, we offer the nonnaturalist an alternative strategy for dealing with moral explanations. The strategy is to retain the explanatory criterion of ontological commitment and maintain that moral properties are, in fact, explanatory. The explanations they provide are not causal explanations; instead, moral properties make a non-causal difference to the physical facts. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

A feature of agnostic views—views that officially express ignorance about the existence of something —is that they are widely perceived to be epistemically more cautious than views that are committed to the entities in question. This is often seen as giving agnostics a debating advantage: all things being equal, fence-sitters have smaller argumentative burdens. Otávio Bueno argues in this way for what he calls “agnostic nominalism,” the view that we don’t know whether ontologically-independent Platonic objects exist. I show that agnostic (...) nominalism, so called, can be sustained only in ways that don’t give agnostic nominalists debating advantages: the position must either be deduced from antecedently-held broader sceptical assumptions or it requires manufacturing potential referents for one’s terms that artificially generate grounds for scepticism. Neither maneuver leads to an agnostic nominalism with a debating advantage over its nominalist opponents. (shrink)

Tim Crane (2011) characterizes the cognitive role of singular thought via singular mental files: the application of such files to more than one object is senseless. As many do, he thus stresses the contrast between ‘singular’ and ‘general’. I give a counterexample, plurally-directed singular thought, and I offer alternative characterizations of singular thought—better described as ‘objects-directed thought’—initially in terms of the defeasibility of the descriptions associated with one's thinking of an object, and then more broadly in terms of whether descriptions (...) of the object or description-independent epistemic routes to the object are primarily operative in an agent's thinking. (shrink)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

A normative constraint on theories about objects which we take to be real is explored: such theories are required to track the properties of the objects which they are theories of. Epistemic views in which observation (and generalizations of it) play a central role, and holist views which see epistemic virtues as applicable only to whole theories, are contrasted in the light of this constraint. It's argued that global-style epistemic virtues can't meet the constraint, although (certain) epistemic views within which (...) observation (and, more generally, thick epistemic access) are centralized do meet it. (shrink)

Philosophers are very fond of making non-factualist claims—claims to the effect that there is no fact of the matter as to whether something is the case. But can these claims be coherently stated in the context of classical logic? Some care is needed here, we argue, otherwise one ends up denying a tautology or embracing a contradiction. In the end, we think there are only two strategies available to someone who wants to be a non-factualist about something, and remain within (...) the province of classical logic. But one of these strategies is rather controversial, and the other requires substantially more work than is often supposed. Being a non-factualist is no easy business, and it may not be the most philosophically perspicuous way to go. (shrink)

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

Realism and anti-realism about a domain of thought are metaphysical theses that involve the natures of the truthmakers in that domain and the truthmaking relation that is operant in the domain. Truthmaker theory is not exclusive territory for realists: anti-realist views are also best understood in terms of how they understand truthmakers and truthmaking. In particular, I explore the possibility of projectivist truthmaking, and show how it makes sense of quasi-realism. In addition to critically examining some extant accounts of the (...) relationship between realism and truthmaking, I offer an account that best captures the nature of the various realism debates. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

The dissertation is in the format of a collection of several academic texts, composed of a two-part presentation and three papers on the topic of conceivability and the epistemology of modality. The presentation is composed of, first, a general introduction to conceivability theses and objections and, second, a discussion of two cases. Following the presentation, Asger provides three papers. The first paper, Pretense and Conceivability: A reply to Roca-Royes, presents a problem and a dilemma for Roca-Royes’ Non-Standard Dilemma for conceivability-based (...) epistemologies of de re modality in which she concludes that conceivability cannot be the whole story of our de re modal knowledge. The second paper, Conceivability Externalized, proposes an externalist conceivability-based epistemology of possibility inspired by Stalnaker. The third paper, Inconceivability as a Guide to Impossibility, considers inconceivability as an epistemic guide to impossibility, aiming to explore and add support to the underexplored thesis that one can justify beliefs about the impossibility of P on the basis of the inconceivability of P. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

This paper defends two claims about the criterion of commitment of W.V.O Quine. The first claim is that the criterion can be made extensional. The second is that a proper formulation becomes an analytic truth. We spend a few preliminary sections clarifying our intended notion of ontological commitment. We will not go very far in our investigation of the criterion if we do not distinguish the things a theory postulates, what its adherents, or anybody else, believe in, and which of (...) these entities we have compelling reasons to accept. A look at [Quine 1953] shows that the criterion concerned the postulation of entities by theories, but it is often misread as an attempt to say something about either or. The core of the paper is an exposition of two formulations of the criterion. I first state a schema improving on that of [Scheffler and Chomsky 1959]. The second formulation is a single principle and construes commitment as a relation between theories and predicates: ontological commitment to the entities that satisfy a given predicate. Both criteria are extensional and are formulated for constructional systems, in the sense of [Carnap 1928] and [Goodman 1951], rather than for theories construed as interpreted sets of sentences. This solves a problem raised by [Halvorson 2019]. Their analyticity is substantiated by showing that their most controversial consequences are instances of Tarski’s Convention. (shrink)

In this paper we argue that the different positions taken by Dyson and Feynman on Feynman diagrams’ representational role depend on different styles of scientific thinking. We begin by criticizing the idea that Feynman Diagrams can be considered to be pictures or depictions of actual physical processes. We then show that the best interpretation of the role they play in quantum field theory and quantum electrodynamics is captured by Hughes' Denotation, Deduction and Interpretation theory of models (DDI), where “models” are (...) to be interpreted as inferential, non-representational devices constructed in given social contexts by the community of physicists. (shrink)