Easy Ontologists, most notably Thomasson (2015), argue that ontological questions are shallow. They think that these questions can either be answered by using our ordinary conceptual competence—of course tables exist!—or are meaningless, or else should be answered through conceptual re-engineering. Ontology thus is “easy”, requiring no distinctively metaphysical investigation. This paper raises a two-stage objection to Easy Ontology. We first argue that questions concerning which entities exist are inextricably bound up with “ontological category questions”, which are questions concerning the identity (...) of and differences between kinds of entities. We then argue that ontological category questions do not have trivial answers, are meaningful, and cannot be answered through conceptual re-engineering. Easy Ontology hence does not constitute a comprehensive ontological methodology. While some of ontology might be easy, category questions form a central part of ontology and are not answered easily. (shrink)

Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable accordingly. On the other hand, the Adoption Problem aims to show that there is something special about logic that sets it apart from scientific theories, such that it cannot be adopted in the way the anti-exceptionalist proposes. In this paper I assess the damage the Adoption Problem (...) causes for anti-exceptionalism, and show that it is also problematic for exceptionalist positions too. My diagnosis of why the Adoption Problem affects both positions is that the self-governance of basic logical rules of inference prevents them from being adoptable, regardless of whether logic is exceptional or not. (shrink)

This paper reflects on metametaphysics and as such develops a metametameta-physical view: that quietist metametaphysics requires dialetheism, and in turn a paraconsistent logic. I demonstrate this using Carnap’s metametaphysical position in his 'Empiricism, Semantics and Ontology' as an example, with regard to how it exhibits self-reference and results in inconsistency. I show how applying Carnap’s position to itself produces a dilemma, both horns of which lead to a contradiction. Such inconsistency commonly arises from meta-theories with global scope, as the 'meta' (...) approach aims to transcend the scope of that which it is theorizing about, whilst the global nature will place itself back within the scope of that which it is theorizing about, which together result in the theory referring to itself whilst refuting itself. I argue that any global metametaphysical theory that draws a limit to thought will face self-reference problems leading to contradictory realms. My conclusion is conditional: If we want to meta-philosophize in such a way and treat quietist meta-theories as being true, then we need to be dialetheist and utilize a paraconsistent logic in order to accommodate the contradictions that result from such theorizing. (shrink)

ABSTRACTIn the target article ‘If-Thenism’, Stephen Yablo develops a novel form of if-thenism, that appeals to the notion of logical subtraction. In this commentary, I explore the limits of Yablo's proposed subtraction procedure, by leaning on an analogy with photographic subtraction. In particular, I will argue that there will be cases when there's nothing interesting left after the subtraction and, as a consequence, there are serious limits to the applicability of the subtraction procedure.

To solve the referential sub-problem of negative existentials one must explain why we interpret uses of, e.g., ‘Sherlock Holmes doesn’t exist’ as saying something coherent and intuitively true, even though the speaker purports to refer to something. Pragmatic Meinongism solves this problem by allowing ‘does not exist’ to be pragmatically modulated to express an inclusive sense under which it can be satisfied by something. I establish three points in defense of pragmatic Meinongism: it is superior to Russell-inspired solutions; it is (...) supported by independent evidence of pragmatic modulation; and it requires no dubious ontological commitments. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

In this articleIconsider what it would take to combine a certain kind of mathematicalPlatonism with serious presentism.Iargue 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)

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

This thesis is an exercise in comparative metaontology. I am centrally concerned with how one might choose between competing metaontological theories. To make my project tractable, I compare two contemporary metaontological approaches dominant in the literature: neo-Quineanism (N-Q) and neo-Aristotelianism (N-A). Peter van Inwagen, a representative of N-Q, claims that ontological inquiry should be conducted in the quantifier-variable idiom of first-order predicate logic; to know what exists, or what a theory says exists, we read our commitments off the regimented sentences (...) that we affirm as true. E.J. Lowe, a representative of N-A objects to N-Q and claims that ontology should be done directly; that it is a mostly a priori activity which is the indispensable intellectual foundation for all rational inquiry. Both metaontological accounts are questionable and there seems to be no decisive way to choose between them. I claim, however, that considerations concerning the explanatory nature of ontology is a key and under-studied factor with respect to ontological method, pointing a way to a possible candidate for metaontological theory choice. I conclude that van Inwagen’s N-Q metaontology is wanting in many respects and further, that he does not provide adequate reasons to dispense with explanation as a feature of ontological inquiry. While explanatory considerations are central to Lowe’s N-A metaontology, I claim that the best that can be hoped for with his particular approach is a form of explanatory antirealism. (shrink)

In recent metaphysics, the questions of whether fictional entities exist, what their nature is, and how to explain truths of statements such as “Sherlock Holmes lives at 221B Baker Street” and “Holmes was created by Arthur Conan Doyle” have been subject to much debate. The main aim of my thesis is to wrestle with key proponents of the abstractionist view that fictional entities are abstract objects that exist (van Inwagen 1977, 2018, Thomasson 1999 and Salmon 1998) as well as Walton’s (...) (1990) pretense view, which denies the existence of such entities. In the process, I propose modifications to these views to deal with problems they face and show how the modifications better account for the philosophical data. -/- Key abstractionists (van Inwagen 1977, Thomasson 1999) make a strict distinction between discourse within fiction, in which statements about literary characters cannot be literally true, and discourse about fiction, as it occurs in literary criticism, where statements about fictional characters can be literally true. Fictional objects are postulated to account for the truth of the latter. This runs into trouble because statements thought to be literally true are not literal. (Yagisawa 2001, Friend 2002) I provide a uniform analysis to account for the truth of statements involving fictional characters by appealing to a presupposition involving a metaphor in both contexts. The presupposition is that there is an x such that x is fictional; x is likened to a real person; and x is and ought to be treated/counted as a real person for all relevant intents and purposes. -/- More generally, I adopt Everett and Schroeder’s (2015) realist view that fictional characters are ideas constituted by mental representations. This, to me, better accounts for how fictional characters are created within the world’s causal nexus (unlike non-spatiotemporal entities in abstractionism), among other things. One key challenge they face is to explain how ideas can possess properties such as being a detective. I present a fine-grained version of their view, according to which the mental representations constituting fictional entities encode mind-dependent properties. Moreover, I explain how reference to such representations is possible, using Bencivenga’s (1983) Neo-Kantian view of reference and Karttunen’s (1976) view on discourse referents. Finally, I suggest that the identity of fictional characters is interest-relative. The constant, and sometimes radical, change of properties that, fictional characters can undergo is taken to be a consequence of the fact that unified mental representations are bundles of simpler mental representations. As change occurs, simpler representations are replaced by others. -/- A key theme that runs through the thesis is that neither fictionality nor pretense is relevant to the semantics of fictional sentences—a claim bolstered by Matravers’ (2014) arguments. Whether or not my account works, this claim, as well as the new philosophical data I bring up, are some of the challenges I pose to the heart of established views. (shrink)

This is my second entry in Mental Fictionalism: Philosophical Explorations. It examines three meta-ontological deflationary approaches - frameworks, verbal disputes, and metalinguistic negotiation - and applies them to ontological debates in philosophy of mind. An intriguing consequence of this application is that it reveals a deep, systematic problem for mental deflationism – specifically, a problem of cognitive collapse. This is surprising. Cognitive collapse problems are usually reserved for serious ontological views such as eliminative materialism and mental fictionalism, not deflationism. This (...) paper investigates why deflationism about the mental is particularly problematic and provides an explanation as to why mental fictionalism is in principle better equipped to address collapsing problems than deflationism is. (shrink)

Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

This chapter argues that mental fictionalism can only be a successful account of our ordinary folk-psychological practices if it can in some way preserve its original function, namely its explanatory aspect. A too strong commitment to the explanatory role moves fictionalism unacceptably close to the realist or eliminativist interpretation of folk psychology. To avoid this, fictionalists must degrade or dispense with this explanatory role. This motivation behind the fictionalist movement seems to be rather similar to that of Sellars when he (...) came up with the Myth of Jones, his proto-theory of mental concepts. He was faced with the problem of preserving the explanatory status of mental concepts without turning them into proper theoretical entities. By introducing the Sellarsian proto-theory of concepts related to the mental and outlining its main points, this chapter aims to provide a critique of the two versions of mental fictionalism that are arguably the strongest: Adam Toon’s prop-oriented pretence theory and Tamás Demeter’s expressive storyism. (shrink)

Mental fictionalism is not the benign view that we may better understand the mind if we think of mental states as something like useful fictions, but the more radical view that mental states just are useful fictions. This paper argues that, if one were to treat mental states as a kind of fiction, the genre of fiction best suited to this purpose would be fantasy make-believe, in which magic is a central feature. After defending a promising fictionalist account of mental (...) discourse as a kind of prop-oriented make believe against recent criticism, the paper ultimately concludes that mental fictionalism faces further, potentially insurmountable, challenges. Most significantly, there is a problematic disanalogy between folk psychology and fiction: our mental state attributions aim to track truth, and this crucial aspect of our mental discourse cannot be captured if we interpret it as a kind of fictional discourse. For this and other reasons, the cost of adopting mental fictionalism likely outweighs its benefits. Whether or not these problems can be resolved, there is still much to be gained from taking mental fictionalism seriously: in doing so we may illuminate several important features of our own folk psychology that often go unnoticed. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic semantics of (...) terms: Bit-CL, in which any ordered objects are identified by characteristic bitstrings. Then, a number of objections to Bit-CL are answered to, and the process of inference is explained in this new logical framework. (shrink)

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

This thesis aims to bring methodological issues in the debate about the nature of fictional characters to the fore. I show how the arguments fictional realists have offered in favour of their views rely on crucial ‘metaontological’ assumptions about what ontological questions are and how they should be answered. In addition to casting doubt on some of the more orthodox approaches to ontological inquiry, my positive goal is to deploy an independently motivated metaontology to defend a novel version of fictional (...) anti-realism. On the view I develop and defend, the central task we face is that of explaining truths concerning fictional characters, where the relevant notion of explanation is distinctively metaphysical in character. Fictional anti-realism emerges as the plausible thesis that truths about fictional entities can be completely explained in terms of the existence and features of other things. (shrink)

Abstract: The 1960s saw the publication of many works in philosophy in which materialism (or physicalism) was a major theme even if not always endorsed. But how should we assess the ‘materialist sixties’? This paper argues that what is distinctive about the period is that it combines materialist metaphysics with materialist meta-philosophy, and, in so doing, solved a problem that dogged the discipline of philosophy since it assumed its modern form in the 19th century.

Does Carnap’s treatment of philosophical questions about existence, such as “Are there numbers?” and “Are there physical objects?”, depend on his analytic–synthetic distinction? If so, in what way? I answer these questions by clarifying, defending, and developing the reading of Carnap’s paper “Empiricism, Semantics, and Ontology” that W. V. Quine proposes, with little justification or explanation, in his paper “On Carnap’s Views on Ontology”. The primary methodological value of studying Quine’s reading of “Empiricism, Semantics, and Ontology” is that it prompts (...) us to look for, and helps us to see the significance of, passages by Carnap that reveal the logical foundations of his views on ontology. Guided in this way by Quine’s reading, I show that (1) in “Empiricism, Semantics, and Ontology” Carnap’s preferred treatment of philosophical questions relies on paraphrasing them so that their answers are immediately obvious elementary logical truths, and are therefore, by his standards, trivially analytic; and (2) in its most general form, Carnap’s treatment of philosophical questions about existence depends on his controversial view that the analytic truths of a language L may include sentences that are not elementary logical truths, but that are nevertheless, by Carnap’s standards, analytic-in-L simply because we have stipulated that they are to be among the “meaning postulates” of L. (shrink)

There is growing debate about what is the correct methodology for research in the ontology of artworks. In the first part of this essay, I introduce my view: I argue that semantic descriptivism is a semantic approach that has an impact on meta-ontological views and can be linked with a hermeneutic fictionalist proposal on the meta-ontology of artworks such as works of music. In the second part, I offer a synthetic presentation of the four main positive meta-ontological views that have (...) been defended in philosophical literature about artworks and of some criticisms that can be lodged against them: Amie Thomasson’s global descriptivism, Andrew Kania’s local descriptivism, Julian Dodd’s folk-theoretic modesty, and David Davies’ rational accountability view. In the conclusion, I show the advantages of my view. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...) = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

Mental fictionalism holds that folk psychology should be regarded as a kind of fiction. The present version gives a Lewisian prefix semantics for mentalistic discourse, where roughly, a mentalistic sentence “p” is true iff “p” is deducible from the folk psychological fiction. An eliminativist version of the view can seem self-refuting, but this charge is neutralized. Yet a different kind of “self-effacing” emerges: Mental fictionalism appears to be a mere “parasite” on a future science of cognition, without contributing anything substantial. (...) The paper then rebuts the objection, illustrating that prefix semantics resolves a lingering problem for eliminativism from Boghossian. The problem is that eliminativists seem unable to adopt realism about neuroscience, for such realism implies that neuroscientific statements *represent* reality accurately. However, a deflationary version of prefix semantics allows the eliminativist to draw an ontologically relevant distinction (roughly) between truths that have a story-telling prefix and those that do not. (Deflationism means there is no implication that the unprefixed sentences robustly represent reality.) The overarching lesson is that eliminativists need to approach to ontology carefully so to avoid self-refutation; however, prefix semantical mental fictionalism provides the resources for them to do so. (shrink)

Ontological expressivism is the view that ontological existence claims express non-cognitive mental states. I develop a version of ontological expressivism that is modeled after Gibbard’s (2003) norm-expressivism. I argue that, when speakers assess whether, say, composite objects exist, they rely on assumptions with regard to what is required for composition to occur. These assumptions guide their assessment, similar to how norms may guide the assessment of normative propositions. Against this backdrop, I argue that “some objects have parts”, uttered in the (...) context of an ontological disagreement, expresses a noncognitive disposition to assess the truth of propositions by using only rules of assessment according to which the proposition that some objects have parts is to be evaluated as true. (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)

Quantum mechanics is an area of Physics that deals with subatomic phenomena. It can be extracted from a vision of the physical world which contradicts many aspects of our everyday perception, prompting many philosophical debates and admitting different interpretations. Among the wide range of problems within the interpretation of quantum theory, there is the measurement problem. Some philosophical aspects of the problems concerning the notion of “measurement” in quantum mechanics are analyzed in order to identify how the problem arises in (...) discussions about the foundations of the interpretation of quantum theory and how it holds up even in the most recent interpretations, conflicting in various ways (including ontological) with a worldview that can be drawn from classical physics – assuming that it provides a worldview. Although Bohr has, on several occasions, addressed the measurement problem, he did not get to properly formulate a measurement theory. This was done by von Neumann, who presented an axiomatic formulation of a measurement theory along with a critique of the Bohrian model and, at the same time, an alternative grounded in the introduction of a dualistic notion of consciousness (nonphysical) with causal power in quantum measurement. It is precisely the introduction of the dualistic concept of consciousness within the scope of the concept of measurement that inserts into the philosophical discussion as an ontological problem insofar as it comes to the introduction of a new entity in the universe. The first subjetivistic interpretations, proposed by London and Bauer, are analysed, passing through the solipsistic difficulty to this subjectivist interpretations placed through Wigner’s work, up to the interpretations inspired by the late work of the physicist Erwin Schrödinger, which proposes a monistic interpretation of the notion of “consciousness”. Some distinct attitudes towards measuring the philosophical problems are outlined very briefly in the form of sampling, to illustrate the plural character of the proposals for interpretation of the term “measurement” in quantum mechanics. Although strictly speaking there is no “best” interpretation of quantum mechanics, it is suggested that the formulation of an ontology that takes into account quantum mechanics could help in understanding certain concepts, such as “measurement” or “consciousness” without that philosophical difficulties – as dualism – or paradoxical situations – such as solipsism – necessarily accompany them. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)