In recent discussions concerning the definition of argument, it has been maintained that the word ‘argument’ exhibits the process-product ambiguity, or an act/object ambigu-ity. Drawing on literature on lexical ambiguity we argue that ‘argument’ is not ambiguous. The term ‘argu-ment’ refers to an object, not to a speech act. We also examine some of the important implications of our argument by considering the question: what sort of abstract objects are arguments?

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, when (...) philosophical aesthetics tends toward insularity, we shouldn’t be surprised to find standard art-ontological categories incongruous with those standardly employed in contemporary metaphysics. Of course, when contemporary metaphysics tends to ignore aesthetic and art theoretic concerns, perhaps we likewise shouldn’t be surprised to find the climate of contemporary metaphysics inhospitable for a theory of art. While this may seem to suggest at least a prima facie tension between our basic art theoretic commitments considered from within philosophical aesthetics and our standard ontological commitments considered from without, I think any perceived tension or antagonism largely due to metaphysicians and aestheticians (at least implicitly) assuming there to be but two available methodological positions with respect to the relationship between contemporary metaphysics and philosophical aesthetics (in the relevant overlap areas). I call these two opposing views the Deference View and the Independence View. I argue that either view looks to lead to what I call the Paradox of Standards. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract (...) away all existent entities, including the mind of the thinker, the resulting situation that we usually call “nothing would, by its very nature, be the whole amount, or entirety, of the situation. It completely defines the situation. The inherent nature of “nothing” is that it’s everything. Is there anything else besides that “nothing”? No. It is “nothing”, and this “nothing” is it, the all. A whole amount/entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in “nothing”? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow “nothing” to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the idea that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

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

This thesis provides an account of acquaintance with abstract objects. The notion of acquaintance is integral to theorising on reference and singular thought, since it is generally taken to be the relation that must exist between a subject and an object, in order for the subject to refer to, and entertain singular thoughts about the object. The most common way of understanding acquaintance is as a form of causal connection. However, this implies a problem. We seem to be able to (...) refer and have singular thoughts about abstract objects. But given that abstract objects are causally inert, this would mean that we are unable to become acquainted with them. This problem shall be the focus of this thesis. I first argue that these traditional causal interpretations of acquaintance are lacking. Instead, I show that acquaintance is dependent to some degree on factors internal to the subject, namely the skills that they possess. From doctors to sommeliers to mathematicians (and possibly even philosophers!) – these subjects seem to succeed in becoming acquainted with certain objects precisely in virtue of their respective skills. Thus, building off from Evans’ The Varieties of Reference, I present a novel account of acquaintance, which I term as Skill-based Acquaintance (SBA). On SBA, a subject is said to be acquainted with an object when they possess discriminating knowledge of that object, gained through the use of their capacities and skills. The SBA account is applied to virtual (Ch.3), fictional (Ch.4), and mathematical objects (Ch.5), as well as God (Ch.6). SBA is successful in explaining how subjects can indeed become acquainted with these problematic categories of objects - some of which are abstract – thus being able to refer and entertain singular thoughts about them. Overall, then, SBA is shown to have greater explanatory power than competing accounts and should thus be preferred. (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)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Defenders of the enhanced indispensability argument argue that the most effective route to platonism is via the explanatory role of mathematical posits in science. Various compelling cases of mathematical explanation in science have been proposed, but a satisfactory general philosophical account of such explanations is lacking. In this paper, I lay out the framework for such an account based on the notion of “the mathematical stance.” This is developed by analogy with Dennett’s well-known concept of “the intentional stance.” Roughly, adopting (...) the mathematical stance towards a particular physical phenomenon involves treating it as an abstract mathematical structure for the purposes of prediction and explanation. Interestingly, Dennett himself frequently draws analogies between his intentional stance towards beliefs and desires and scientists’ stance towards centers of gravity. I explore the theoretical role played by centers of gravity within science and discuss how an indispensabilist platonist ought to categorize the ontological status of this type of posit. I conclude with some thoughts on how an approach based on the mathematical stance might be developed into a more general philosophical account of the application of mathematics in science. (shrink)

Virtually everyone who has advanced an ontology of art has accepted a constraint to the effect that claims about ontology should cohere with the sort of appreciative claims made about artworks within a mature and reflective version of critical practice. I argue that such a constraint, which I agree is appropriate, rules out a one-size-fits-all ontology of contemporary visual art (and thus of visual art in general). Mature critical practice with respect to contemporary art accords artists a significant degree of (...) stipulative authority regarding the features and boundaries of their works. This results in ontological variation among visual artworks. Any claim to the effect that all works belong to the same ontological category will thus come out false or uninformative. Interesting, substantive claims about ontological status can be made only in relation to specific works; that is, we must consider the ontological status of each contemporary artwork individually. The only general ontological claim that can be made about visual artworks (and also about artworks in other forms) is that they belong to the sort of thing that artists create. But this is not a substantive ontological claim. (shrink)

Through the reconstruction of Leibniz's theory of the degrees of knowledge, this e-book investigates and explores the intrinsic relationship of imagination with space and time. The inquiry into this relationship defines the logic of imagination that characterizes both human and non-human animals, albeit differently, making them two different species of imaginative animals. -/- Lucia Oliveri explains how the emergence of language in human animals goes hand in hand with the emergence of thought and a different form of rationality constituted by (...) logical inferences based on identity and contradiction, principles that are out of reach of the imagination. The e-book concludes that the presence of innate principles in human animals transforms the way in which they sense-perceive the world, thereby constantly increasing the distinction between human and non-human animals. -/- Keywords: human and non-human animals, Leibniz and Locke on ideas, Leibniz on bodies, Leibniz on conceivability, Leibniz on degrees of knowledge, Leibniz on degrees of perception, Leibniz on innate ideas, Leibniz on modality, Leibniz on similarity and congruence, Leibniz on space and time, Leibniz’s philosophy of language, theory of types. (shrink)

This paper aims to present and evaluate Brentano’s account of the individuation of mental acts. In his early works, Brentano assimilated mental acts to tropes; however, he encountered difficulties in explaining their individuation, since the usual solutions for the individuation of tropes were not readily applicable to his theory of mental acts. In a later period, Brentano introduced into his psychology what he called the “soul”, and this allowed him to explain the individuation of mental acts. Finally, after his “reistic” (...) turn, he excluded mental acts from his ontology, for he rejected abstracta of any kind, including abstract particulars, and admitted only things, or res (in Latin), that is, concrete particulars; in his late philosophy, there are no “thinkings”, but only “thinkers”. However, he still needed to explain what individuates different thinkers, and this was again the soul. In the conclusion, the paper critically compares the different theoretical options considered by Brentano. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

Monism, characterized by Jonathan Schaffer as the thesis that the cosmos is the one and only basic actual concrete object, has been the subject of a great deal of recent interest. Spinoza is often taken, rightly, to be an important forebear. This article seeks to explain the distinctive content and basis of Spinoza’s monistic metaphysics and to compare it to contemporary Monism. It then argues that although Spinoza’s monistic metaphysics is not strictly a version of Monism as defined, it has (...) a number of theoretical advantages that make central aspects of it worthy of serious consideration. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (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 this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

Abstract artifacts such as musical works and fictional entities are human creations; they are intentional products of our actions and activities. One line of argument against abstract artifacts is that abstract objects are not the kind of objects that can be created. This is so, it is argued, because abstract objects are causally inert. Since creation requires being caused to exist, abstract objects cannot be created. One common way to refute this argument is to reject the causal inefficacy of abstracta. (...) I argue that creationists should rather reject the principle that creation requires causation. Creation, in my view, is a non-causal relation that can be explained using an appropriate notion of ontological dependence. The existence and the creation of abstract artifacts depend on certain individuals with appropriate intentions, along with events of a certain kind that include but are not limited to creations of certain concrete objects. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near East—fingers, tallies, tokens, (...) and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

As physical entities that translate symbols into physical actions, computers offer insights into the nature of meaning and agency. • Physical symbol systems, generically known as agents, link abstractions to material actions. The meaning of a symbol is defined as the physical actions an agent takes when the symbol is encountered. • An agent has autonomy when it has the power to select actions based on internal decision processes. Autonomy offers a partial escape from constraints imposed by direct physical influences (...) such as gravity and the transfer of momentum. Swimming upstream is an example. • Symbols are names that can designate other entities. It appears difficult to explain the use of names and symbols in terms of more primitive functionality. The ability to use names and symbols, i.e., symbol grounding, may be a fundamental cognitive building block. • The standard understanding of causality—wiggling X results in Y wiggling—applies to both physical causes (e.g., one billiard ball hitting another) and symbolic causes (e.g., a traffic light changing color). Because symbols are abstract, they cannot produce direct physical effects. For a symbol to be a cause requires that the affected entity determine its own response. This is called autonomous causality. • This analysis of meaning and autonomy offers new perspectives on free will. (shrink)

In this paper, I argue for what I call the extended existential passage hypothesis, which entails, for example, that even if reality contains nothing supernatural and if property dualism is true, then death is not the end of a person’s stream of consciousness, that is, a person’s stream of consciousness continues at the moment of death, devoid of his or her memories and personality traits, as the stream of consciousness of another person (or another being) who is conceived and gains (...) consciousness. I articulate two requirements of rational choice that follow from that hypothesis. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. What (...) follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

Przedmiotem artykułu jest status ontologiczny światów możliwych oraz niemożliwych. Zgodnie z jedną ze współczesnych wersji meinongianizmu, o ile świat aktualny jest przedmiotem istniejącym, o tyle światy czysto możliwe oraz niemożliwe uznawane są za przedmioty nieistniejące. Zwolennicy tego podejścia twierdzą ponadto, że światom nieaktualnym nie przysługuje żaden inny rodzaj istnienia.Celem artykułu jest wskazanie na problematyczne konsekwencje wspomnianego stanowiska oraz zarysowanie poglądu alternatywnego, który oparty jest na pluralizmie ontologicznym, tj. na poglądzie uznającym wielość rodzajów istnienia.

Discutindo acerca das centenas de detecções de planetas extrassolares, que supostamente aconteceram desde 1989 e que ele considera (incorretamente) como instâncias de observações, Peter Kosso disse, justamente, que segundo os parâmetros de Bas van Fraassen esses objetos celestes seriam observáveis. Ora, tais astros poderiam sem dúvida ser observados diretamente (sem a necessidade de instrumentos), nas condições apropriadas. Mas, acrescenta Kosso, “esse tipo de epistemologia externalista, que permite que a justificação se baseie em informação que não temos a disposição (nós não (...) estamos em condição de ver planetas extrassolares a olho nu [atualmente]), não ajuda a decidir quais particulares afirmações científicas garantem a crença” (Kosso 2006, 225, nota 1). Van Fraassen provavelmente incorre em uma petição de princípio não muito diferente daquelas que ele muitas vezes desmascarou em textos de autores realistas, quando apela para o fato de o objeto detectado ser observável, para atribuir o estatuto de ‘observação’ a uma certa detecção. O ponto é, mais uma vez, entender o que vale como observação, particularmente quando isso envolve o uso de algum instrumento. Endossar aquilo que Otávio Bueno chama de ‘padrão internalista’ parece garantir solidez à qualificação de determinadas ações como observações. Uma das principais consequências dessa adoção é que tal critério, não operando nenhuma distinção relevante entre detecções ‘diretas’ e detecções mediadas por instrumentos, permite que a linha que separa observáveis e inobserváveis seja traçada de maneira diferente de como van Fraassen acredita que deveria ser, abarcando, entre os observáveis, mais (tipos de) entidades do que esse parece estar disposto a admitir. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

From the point of view of Husserl's critique of empiricist theories of abstraction in the Logical Investigations, it seems that Brentano and most of his students would have endorsed the presupposition of Locke's theory of abstraction, which Husserl labels as the 'psychological hypostatization of the general'. For Husserl himself, but also for most of his followers, the motivation behind this critique is that the descriptive psychology of the school of Brentano leads to psychologism if one doesn't accept Platonic ideal objects. (...) In the following article, I argue that Husserl's critique doesn't do justice to the accounts of abstraction developed in the school of Brentano. I take here the particular case of Carl Stumpf, showing that not only does Husserl's accusation miss its target, but also that it attributes indirectly to Stumpf a position that he didn't defend. I suggest that even before the Logical Investigations, Stumpf formulated the basis of an account of abstraction in terms of generalization, an account which will later turn out to be in many ways compatible with Husserl's theory of Spezies in the Logical Investigations, and which provide a viable alternative both to Platonism and to empiricism, thereby calling for a reassessment of the positions on abstraction in the School of Brentano. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

In this paper I review three different positions on the wave function, namely: nomological realism, dispositionalism, and configuration space realism by regarding as essential their capacity to account for the world of our experience. I conclude that the first two positions are committed to regard the wave function as an abstract entity. The third position will be shown to be a merely speculative attempt to derive a primitive ontology from a reified mathematical space. Without entering any discussion about nominalism, I (...) conclude that an elimination of abstract entities from one’s ontology commits one to instrumentalism about the wave function, a position that therefore is not as unmotivated as it has seemed to be to many philosophers. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes to people (...) who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

Five experiments provide evidence for a class of ‘dual character concepts.’ Dual character concepts characterize their members in terms of both (a) a set of concrete features and (b) the abstract values that these features serve to realize. As such, these concepts provide two bases for evaluating category members and two different criteria for category membership. Experiment 1 provides support for the notion that dual character concepts have two bases for evaluation. Experiments 2-4 explore the claim that dual character concepts (...) have two different criteria for category membership. The results show that when an object possesses the appropriate concrete features, but does not fulfill the appropriate abstract value, it is judged to be a category member in one sense but not in another. Finally, Experiment 5 uses the theory developed here to construct artificial dual character concepts and examines whether participants react to these artificial concepts in the same way as naturally occurring dual character concepts. The present studies serve to define the nature of dual character concepts and distinguish them from other types of concepts (e.g., natural kind concepts), which share some, but not all of the properties of dual character concepts. More broadly, these phenomena suggest a normative dimension in everyday conceptual representation. (shrink)