This is the first part of a two-tier overview article on fundamentality in metaphysics and the philosophy of physics. It provides an introduction to the notion of fundamentality in metaphysics, as well as to several related concepts. The key issues in the contemporary debate on the topic are summarised, making systematic reference to the most relevant literature. In particular, various ways in which the fundamental entities and the fundamental structure of reality may be conceived are illustrated and discussed. A final (...) brief section looks at the methodological issue of naturalism, paving the way for the survey of fundamentality in the philosophy of physics, which is carried out in the second part. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

The paper is concerned with the way in which “ontology” and “realism” are to be interpreted and applied so as to give us a deeper philosophical understanding of mathematical theories and practice. Rather than argue for or against some particular realistic position, I shall be concerned with possible coherent positions, their strengths and weaknesses. I shall also discuss related but different aspects of these problems. The terms in the title are the common thread that connects the various sections.

Prima facie it would seem that the traditional scholastic debates about entia rationis (“beings of reason”) may be easily brought into dialogue with debates about nonexistent objects in contemporary analytical metaphysics. It turns out, however, that the scholastic debates about beings of reason are placed within a very different ontological framework or paradigm, so that bringing scholastic and analytical authors into common discussion about this topic is not trivial. In this paper I make the first step toward establishing such discussion (...) by describing the ontological framework presupposed by the scholastic debates about beings of reason, and by identifying the roles that beings of reason were supposed to play in it. (shrink)

The naturalized metaphysics promoted by Ladyman and Ross, among others, is often described as (neo)-Quinean metaphysics. This association with Quine's naturalism can, however, give a misleading impression of the aims and commitments of this kind of naturalized metaphysics. Contrary to Quine, these naturalized metaphysicians endorse metaphysical realism and offer wholesale arguments in favor of the epistemic standing of science-based metaphysics. Accordingly, this naturalized metaphysics comes closer to Roy Wood Sellars's evolutionary naturalism, especially since the theory of evolution is central to (...) the criticism that naturalized metaphysics levels at nonnaturalized metaphysics. The paper argues that Sellars's naturalism is furthermore helpful (1) for explicating the naturalism of naturalized metaphysics, (2) for theorizing a more general naturalist basis for naturalized metaphysics, and (3) for suggesting where naturalized metaphysics is perhaps not naturalist enough, especially when it comes to considering the implications of the theory of evolution for its positive program. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

This paper outlines an account of numbers based on the numerical equivalence schema (NES), which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly (...) parallels the minimalist (deflationary) account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

According to standard Creationism about fictional characters, each fictional character is created by its single author independently, or created by its co-authors cooperatively, or created by its independent authors independently. I argue that standard Creationism faces the Creator-Determining Problem. I propose a non-standard form of Creationism, i.e., Conjunctive Creationism, according to which each fictional character is conjunctively created. I argue that Conjunctive Creationism does not face the Creator-Determining Problem. By responding to four potential worries, I provide a further defense. My (...) conclusion is that Conjunctive Creationism is a more promising form of Creationism.Selon la norme du créationnisme concernant les personnages fictifs, chaque personnage est soit créé indépendamment par son seul auteur, soit créé par ses co-auteurs en collaboration, soit encore créé indépendamment par ses auteurs indépendants. Cette norme doit cependant faire face au problème de l’identification du créateur. Pour éviter ce problème, je propose d’adopter le créationnisme conjonctif, selon lequel chaque personnage est créé conjointement. Je défends cette proposition en répondant à quatre inquiétudes potentielles. Je conclus que le créationnisme conjonctif est une forme plus prometteuse du créationnisme. (shrink)

In The Metaphysics of Truth, Doug Edwards offers a sustained case against deflationism about truth and in favour of his preferred pluralist theory of truth. Here, I take up three of the main components of that case. The first is Edwards' account of the distinctive metaphysical commitments of deflationism. His views about this issue have changed over the past few years, and I detail these changes as well as a concern for the views that he develops in the book. Second, (...) I take up the argument that Edwards offers for thinking that deflationism is, in a certain sense, internally unstable. I explain why this argument is inconclusive, outlining three responses to it on behalf of the deflationist. Third, I consider Edwards' novel argument for truth pluralism, which acts as an indirect argument against deflationism. After sorting out some interpretive nuances related to the use of definite descriptions in this argument, I show how the deflationist can resist it. Having responded to Edwards' critique of deflationism, I close by briefly explaining why I take the methodology of deflationism to be especially promising, insofar as it underscores the significance of empirically-informed inquiry about truth. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

While the concept event has been an important tool in our thinking about causation and action, the concept process has not been appealed to so readily. However, recently, several philosophers have...

The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is the (...) correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties). (shrink)

On one influential view, metaphysical fundamentality can be understood in terms of joint‐carving. Ted Sider has recently argued that (i) some first order quantifier is joint‐carving, and (ii) modal notions are not joint‐carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that (i) some first order quantifier is (...) joint‐carving, and (iii) intensional notions are not joint‐carving. Another result due to Koslow entails that (i) and (iii) are also incompatible. I will argue that this second result is inconclusive. Nevertheless, (iii) is incompatible with another tenet of Sider's metaphysics, namely that (iv) ‘being joint‐carving’ is itself joint‐carving. In order to resolve the inconsistency, I will tentatively argue that condition (iv) should be renounced. (shrink)

Can scientific evidence prompt us to revise philosophical theories or folk theoretical accounts of phenomena of the mind? We will argue that it can—but only under the condition that they make a so-called ‘ontological commitment’ to something that is actually subject to empirical inquiry. In other words, scientific evidence pertaining to neuroanatomical structure or causal processes only has a refuting effect if philosophical theories and folk notions subscribe to either account. We will illustrate the importance of ‘ontological commitment’ with the (...) ‘neuroanatomical approach’ to amusement as proposed in a recent paper by Palencik :419–434, 2007). We will show that the scientific evidence presented in said neuroanatomical approach has no bearing on the conceptual issues, in that the philosophical theories and folk distinction that are criticized do not subscribe to any account of the underlying neuroanatomical structure or causal processes. Our suggestions in this paper are not limited to philosophical accounts of humor but apply to the relationship of philosophy, common sense and science in general. (shrink)

In this paper we aim to show an intrinsic contradiction of contemporary Metaphysical Realism by focusing on the relation between the subject and the object. Metaphysical Realism considers facts and objects as being empirical, and therefore they are considered in relation to the subject, while at the same time facts are assumed to belong to an autonomous and independent reality. However, if a real object is considered to be independent from the subject, once it enters in a relation with the (...) latter, a real object must undergo an intrinsic transformation. However, since an object cannot avoid this transformation then recovering the real or “absolute” object from the perceived object is not possible. In this way, the inherent contradiction of the “absolute” as being determined, i.e., defined by virtue of a limit, is revealed. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

Philosophers often aim to demonstrate that the things we ordinarily think and say can be reconciled with our considered beliefs about the world. To this end, many philosophers try to paraphrase ordinary language claims by finding equivalent sentences that are less misleading. For instance, though we know that there is no British family that is the average one, we want to say that the average British family has 1.8 children, and we might do that by paraphrasing this claim as: there (...) are nearly twice as many British children as British families. This article aims to introduce and distinguish different paraphrase strategies, sketch their role in metaphysical debates and highlight some crucial questions that proponents of such strategies face. (shrink)

This paper proposes a new reductive theory of modality, called the moodless theory of modality. This theory, and not modal realism, is the closest modal analogue of the tenseless theory of time. So, if the tenseless theory is true, and the temporality–modality analogy is good, it is the moodless theory that follows. I also argue that the moodless theory, considered on its own, is better than modal realism: arguments often thought to be decisive against modal realism are weak against it.

This paper characterizes two senses in which Hegel interpretations can be (anti-)metaphysical. It argues that Pippin's seminal work misreads Hegel’s Being Logic through reading it anti-metaphysically, in one of these senses. But it also suggests that Pippin’s recent work makes room for a metaphysical (in the corresponding sense) reinterpretation of the Being Logic. So it pushes, in the spirit of a friendly amendment, for a fuller such reinterpretation, one that nevertheless coheres with Pippin’s deep commitments about Hegel as a post-Kantian (...) philosopher, since the reading remains, in the relevant sense—now the other one—anti-metaphysical. (shrink)

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

Existentialist accounts maintain that visual phenomenal content takes the logical form of an existentially quantified sentence. These accounts do not make phenomenal content specific enough. Singularist accounts posit a singular content in which the seen object is a constituent. These accounts make phenomenal content too specific. My account gets the specificity of visual phenomenal content just right. My account begins with John Searle's suggestion that visual experience represents an object as seen, moves this relation outside the scope of the existential (...) quantifier and then replaces it with the relation of objects being ‘present as accessible’, as described by Alva Noë. (shrink)

This paper outlines an account of numbers based on the numerical equivalence schema, which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly parallels (...) the minimalist account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

It is well known that Niklas Luhmann’s theory of social systems is grounded in Spencer-Brown’s seminal Laws of Form (LoF) or ‘calculus of indications’. It is also known that the reception of the latter has been rather problematic. This article attempts to describe the construction of LoF, and confront it with Niklas Luhmann’s ontological and epistemological premises. I show how LoF must be considered a protologic, or research into the fundamentals of logical systems. The clue to its understanding is to (...) be found in its profoundly topological conception of common mathematics and (Boolean) algebra. Both are explained as direct offspring of their planar orientation. Self-reference is a justified instance of an extended, more intricate topological arrangement. Its consequences for ontology (non-identity) and epistemology (autology), I argue, have been adopted correctly by Niklas Luhmann. Separate sections are devoted to how Spencer-Brown’s notion of re-entry relates to Luhmann’s definition of system/environment, and to a comparison between Luhmann’s and Parsons’ functionalism. (shrink)

The authors consider a recurring objection to fictional realism, the view that fictional characters are objects. The authors call this the counting objection. Russell presses a version of the objection against Meinong’s view. Everett presses a version of the objection against contemporary fictional realist views, as do Nolan and Sandgren. As the authors see it, the objection assumes that the fictional realist must provide criteria of identity for fictional characters, so its force depends on the plausibility of that assumption. Rather (...) than coming up with such criteria, a fictional realist might argue that the demand is misplaced. (shrink)

Social groups, including racial and gender groups and teams and committees, seem to play an important role in our world. This article examines key metaphysical questions regarding groups. I examine answers to the question ‘Do groups exist?’ I argue that worries about puzzles of composition, motivations to accept methodological individualism, and a rejection of Racialism support a negative answer to the question. An affirmative answer is supported by arguments that groups are efficacious, indispensible to our best theories, and accepted given (...) common sense. Then, I turn to an examination of the features of social groups. I argue that social groups can be divided into two sorts. Groups of Type 1 are organized social groups like courts and clubs. Groups of Type 2 are groups like Blacks, women, and lesbians. While groups of both sorts have some features in common, they also have marked differences in features. Finally, I turn to views of the nature of social groups. I argue that the difference in features provides evidence that social groups do not have a uniform nature. Teams and committees are structured wholes, while race and gender groups are social kinds. (shrink)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

The patent system appears to make three ontological assumptions often associated with scientific realism: there is a natural world that is independent of human knowledge and technology; invented products can be unobservable things; and invented products have causal powers. Although a straightforward reading of patent laws implies these ontological commitments, it is not at all clear that what the patent system has to say about the world has any bearing on issues of scientific realism. While realists might embrace the patent (...) system’s apparent ontology as providing additional support for their view, anti-realists could propose an alternative interpretation of patent law that does not involve realist ontological commitments. Thus, questions about the patent system’s ontology depend on whether one takes patent laws at face value or defends an interpretation of patent law motivated by philosophical theory. Philosophers of science should pay attention to the practice of patenting, even if they ultimately reject the patent system’s apparent ontology and offer an alternative interpretation. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet (...) simplement intentionnel. ABSTRACT: De se attitudes are generally regarded as being a proper part of de re attitudes. In this paper an alternative analysis that avoids ontological commitment to the self is proposed, based on the notion of de objecto attitudes. This proposal develops an idea from Hintikka’s second generation epistemic logic, which introduces a syntactic marker expressing independence relations between certain logical constants. According to this semantic account, the Self, as the denotation of ‘I’, is conceived of as a mere intentional object. (shrink)

Genia Schönbaumsfeld has recently argued for the view that our ordinary perceptual reasons provide support for heavyweight metaphysical and epistemological views, such as that there is a mind-independent physical world. Call this the Heavyweight Reasons Thesis. In this paper, I argue that we should reject the Heavyweight Reasons Thesis. I also argue that the rejection of the Heavyweight Reasons Thesis is compatible with the Factive Perceptual Reasons Thesis, the thesis that our perceptual reasons for our ordinary beliefs can be factive, (...) but that factive reasons aren’t necessarily better reasons than subjectively indiscriminable non-factive reasons. (shrink)

The paper argues that the view that the particular quantifier is ‘existentially loaded’ is a relatively new one historically and that it has become entrenched in modern philosophical logic for less than happy reasons.

The aim of this paper is to propose a new conceptualization of the distinction between realism and anti-realism about beliefs that is based on the division between natural and non-natural properties, as defined by Lewis. It will be argued that although the traditional form of anti-realism about beliefs, namely eliminative materialism, has failed, there is a possibility to reformulate the division in question. The background assumption of the proposal is the framework of deflationism about truth and existence: it will be (...) assumed that beliefs can be said to exist and their attributions can said to be true. The aim is to show that even when we buy into such assumptions we can meaningfully distinguish between the realist and anti-realist approach to belief. According to the proposal, the paradigmatic anti-realist view on beliefs should be seen as a conjunction of three claims: that belief attributions do not track objective similarities, that beliefs are not causally active, and that there is no viable way of naturalizing content. It will be shown that seeing the debate in the proposed way has important advantages as it allows the issue of belief realism to be made non-trivial and tractable, and it introduces theoretical unity into contemporary metaphysics of beliefs. (shrink)

In response to points raised by our critics in this book symposium, we offer some clarifications about how to understand the role of science in assessing the multiple realization thesis. We also consider the connection between functionalism and multiple realization in the contexts of both psychological and biological sciences.

Fifty years ago J. J. C. Smart published his pioneering paper, “Sensations and Brain Processes.” It is appropriate to mark the golden anniversary of Smart’s publication by considering how well his article has stood up, and how well the identity theory itself has fared. In this paper I first revisit Smart’s text, reflecting on how it has weathered the years. Then I consider the status of the identity theory in current philosophical thinking, taking into account the objections and replies that (...) Smart discussed as well as some that he did not anticipate. Finally, I offer a brief manifesto for the identity theory, providing a small list of the claims that I believe contemporary identity theorist should accept. As it turns out, these are more or less the ones that Smart defended fifty years ago. (shrink)