The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To (...) able to allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

In a series of papers, Bence Nanay has recently put forward and defended a new theory of function, which he calls the ‘Modal Theory of Function’. In this article, I critically address this theory and argue that it fails to fulfill some key desiderata that a satisfactory theory of function must comply with. As a result, I conclude that, whatever property Nanay’s notion of function refers to, it is not the property (...) having the function that is standardly attributed in science. (shrink)

Philosophers and psychologists widely hold that artifact categories – just like biological categories – are individuated by their function. But recent empirical findings in psychology question this assumption. My proposal is to suggest a way of squaring these findings with the central role function should play in individuating artifact categories. But in order to do so, we need to give up on the standard account of artifact function, according to which function is fixed by design, and (...) replace it with a more context-sensitive account, according to which function attributions depend on the explanatory context and, as a result, categorization also depends on the explanatory context, just as the empirical findings from psychology suggest. I argue that the recent ‘modal theory of function’ originally proposed to explain biological function, is capable of providing such an account of artifact function. (shrink)

I clarify some of the details of the modal theory of function I outlined in Nanay (2010): (a) I explicate what it means that the function of a token biological trait is fixed by modal facts; (b) I address an objection to my trait type individuation argument against etiological function and (c) I examine the consequences of replacing the etiological theory of function with a modal theory for the prospects of (...) using the concept of biological function to explain mental content. (shrink)

In ‘A modal theory of function’, I gave an argument against all existing theories of function and outlined a new theory. Karen Neander and Alex Rosenberg argue against both my negative and my positive claim. My aim here is not merely to defend my account from their objections, but to (a) very briefly point out that the new account of etiological function they propose in response to my criticism cannot avoid the circularity worry either (...) and, more importantly, to (b) highlight, and attempt to make precise, an important feature of my modal theory that may have been understated in the original paper – that function attributions depend on the explanatory project at hand. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation (...) extends this intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term (...) with respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim (...) and has the effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our (...) interpretation extends this intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. Our interpretation—which we claim is ultimately compatible with Lorentz invariance—reformulates wave-function collapse in terms of an underlying interpolating dynamics, makes it possible to derive the Born rule from deeper principles, and resolves several open questions regarding ontological stability and dynamics. (shrink)

Indispensability arguments are used as a way of working out what there is: our best science tells us what things there are. Some philosophers think that indispensability arguments can be used to show that we should be committed to the existence of mathematical objects (numbers, functions, sets). Do indispensability arguments also deliver conclusions about the modal properties of these mathematical entities? Colyvan (in Leng, Paseau, Potter (eds) Mathematical knowledge, OUP, Oxford, 109-122, 2007) and Hartry Field (Realism, mathematics and modality, (...) Blackwell, Oxford, 1989) each suggest that a consequence of the empirical methodology of indispensability arguments is that the resulting mathematical objects can only be said to exist (or not exist) contingently. Kristie Miller has argued that this line of thought doesn’t work (Miller in Erkenntnis, 77 (3), 335-359, 2012). Miller argues that indispensability arguments are in direct tension with contingentism about mathematical objects, and that they cannot tell us about the modal status of mathematical objects. I argue that Miller’s argument is crucially imprecise, and that the best way of making it clearer no longer shows that the indispensability strategy collapses or is unstable if it delivers contingentist conclusions about what there is. (shrink)

Naturalistic teleological accounts of mental content rely on an etiological theory of function. Nanay has raised a new objection to an etiological theory, and proposed an alternative theory of function that attributes modal force to claims about function. The aim of this paper is both to defend and to cast a new light on an etiological theory of function. I argue against Nanay’s “trait type individuation objection,” suggesting that an etiological (...) class='Hi'>theory also attributes modal force to claims about function. An etiological theory of function can be thought to analyze claims about function with modal force, not relying on any theory of counterfactuals. (shrink)

This paper replies to Nanay’s response to my recent paper. My suggestions are the following. First, “should” or “ought” does not need to be deontic. Second, etiological theories of function, like provability logic, do not need to attribute modal force to their explanans. Third, the explanans of the homological account of trait type individuation does not appeal to a trait’s etiological function, that is, what a trait should or ought to do. Finally, my reference to Cummins’s notion (...) of function was intended to note that the homological account is permitted to use this non-etiological notion of function. (shrink)

This paper is concerned with representations of belief by means of nonadditive probabilities of the Dempster-Shafer (DS) type. After surveying some foundational issues and results in the D.S. theory, including Suppes's related contributions, the paper proceeds to analyze the connection of the D.S. theory with some of the work currently pursued in epistemic logic. A preliminary investigation of the modal logic of belief functions à la Shafer is made. There it is shown that the Alchourrron-Gärdenfors-Makinson (A.G.M.) logic (...) of belief change is closely related to the D.S. theory. The final section compares the critique of Bayesianism which underlies the present paper with some important objections raised by Suppes against this doctrine. -/- . (shrink)

Advocates of Expressivism about basically any kind of language are best-served by abandoning a traditional content-centric approach to semantic theorizing, in favor of an update-centric or dynamic approach (or so this paper argues). The type of dynamic approach developed here — in contrast to the content-centric approach — is argued to yield canonical, if not strictly classical, "explanations" of the core semantic properties of the connectives. (The cases on which I focus most here are negation and disjunction.) I end the (...) paper by describing a distinctive sense in which mental states might play a fundamental role in the practice of semantic theorizing (as I understand it), and I connect this to a distinctive account of the pragmatic function of, e.g., a normatively laden claim in discourse. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...) models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on (...) discrimination. Safety in contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social cognitive (...) and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

Theories of function are conventionally divided up into historical and ahistorical ones. Proponents of ahistorical theories often cite the ahistoricity of their accounts as a major virtue. Here, I argue that none of the mainstream “ahistorical” accounts are actually ahistorical. All of them embed, implicitly or explicitly, an appeal to history. In Boorse’s goal-contribution account, history is latent in the idea of statistical-typicality. In the propensity theory, history is implicit in the idea of a species’ natural habitat. In (...) the causal role theory, history is required for making sense of dysfunction. I elaborate some consequences for the functions debate. (shrink)

I present and defend the generalized selected effects theory (GSE) of function. According to GSE, the function of a trait consists in the activity that contributed to its bearer’s differential reproduction, or differential retention, within a population. Unlike the traditional selected effects (SE) theory, it does not require that the functional trait helped its bearer reproduce; differential retention is enough. Although the core theory has been presented previously, I go significantly beyond those presentations by providing (...) a new argument for GSE and defending it from a recent objection. I also sketch its implications for teleosemantics and philosophy of medicine. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity (...) axioms and raise some questions about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? (...) There are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

In recent work, Amie Thomasson has defended what she calls normativism about metaphysical modality. She claims that discourse about metaphysical modality primarily serves a non-descriptive function, and builds a theory of such discourse around this claim. In this text, I critically discuss Thomasson’s view. Chief among the problems I go on to discuss is that Thomasson’s account of the meanings of modal expressions does not solve the problems she intends it to solve (among them solving the Frege-Geach (...) problem), that there is no significant ordinary practice of making metaphysically modal claims in the first place, and that the general problem she identifies and seeks to solve goes beyond discourse about metaphysical modality so a theory focused on metaphysical modal discourse is not general enough to deal with the problem. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have (...) shown remarkable comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In the light of Halliday's Ideational Grammatical Metaphor, Rhetoric and Critical Discourse Analysis, the major objectives of this study are to investigate and analyze Barack Obama's 2012 five speeches, which amount to 19383 words, from the point of frequency and functions of Nominalization, Rhetorical strategies, Passivization and Modality, in which we can grasp the effective and dominant principles and tropes utilized in political discourse. Fairclough’s Critical Discourse Analysis frameworks based on a Hallidayan perspective are used to depict the orator’s deft (...) and clever use of these strategies in the speeches which are bound up with his overall political purposes. The results represent that nominalization, parallelism, unification strategies and modality have dominated in his speeches. There are some antithesis, expletive devices as well as passive voices in these texts. Accordingly, in terms of nominalization, some implications are drawn for political writing and reading, for translators and instructors entailed in reading and writing pedagogy. (shrink)

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The second argument, (...) deriving from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

Some philosophers of fiction – most famously Jerold Levinson1 - have tried to argue that fictional narrators can never be identified with real authors. This argument relies on the claim that narration involves genuine assertion (not just the pretense of assertion that lacks truthfulness) and that real authors are not in a position to assert anything about beings on the fictional plain - given that they don’t rationally believe in their existence. This debate on the status of narrators depends on (...) the idea that fictional beings and beings in the real worlds reside, as it were, at different levels. The assumption that there is a gap separating the levels of fiction and reality serves as a rationale for the claim that real authors could not possibly be en rapport with the fictional characters that they create (e.g. entertain beliefs about them, etc.). (shrink)

Millikan’s (1984. Language, Thought, and Other Biological Categories: New Foundations for Realism. MIT Press) selected effects theory of functions states that functions are effects for which the ancestors of a trait were selected for. As the function is an effect a thing’s ancestors produced, only things that are reproductions in some sense can have functions. Against this reproduction requirement, Garson (2019. What Biological Functions Are and Why They Matter. Cambridge University Press) argues that not only processes of differential (...) reproduction but also processes of differential persistence can lead to new functions. Since such “persistence functions” have the same explanatory power as traditional selected effects functions, selected effects theorists should include them in their theory. In this paper, I will defend Millikan’s theory against this argument. I will show that the proponents of the generalized theory have yet to provide a working notion of populations that avoids a liberality problem. Further, I will argue that persistence functions are at best a marginal case of functions due to their restricted explanatory power. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been (...) combined with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

This article introduces a special issue on mechanisms in language evolution research. It describes processes relevant for the emergence of protolanguage and the transition thereof to modern language. Protolanguage is one of the key terms in the field of language evolution, used to designate a hypothesised intermediate stage in the emergence of language present in extinct hominins: qualitatively different from non-human primate communication in possessing some, but not all, of the features that characterise modern language. Much debate in language evolution (...) focuses on the exact delineation of these features, as well as the means whereby the transitions occurred: first from non-human primate communication systems to protolanguage, and then from protolanguage to modern language. In what follows, we first propose a comprehensive typology of protolanguage debates, taking into account the postulated structural organisation of protolanguage, its functions, and its communicative modality. This makes it possible to show how a specific focus on mechanisms and processes deemed relevant for the emergence of these features allows us to assess the explanatory scope of the existing theories of protolanguage. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist theories are unable to account for (...) the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

The cognitive experience view of thought holds that the content of thought is determined by its cognitive-phenomenal character. Adam Pautz argues that the cognitive experience view is extensionally inadequate: it entails the possibility of mix-and-match cases, where the cognitive-phenomenal properties that determine thought content are combined with different sensory-phenomenal and functional properties. Because mix-and-match cases are metaphysically impossible, Pautz argues, the cognitive experience view should be rejected. This paper defends the cognitive experience view from Pautz’s argument. I build on resources (...) in the philosophy of mind literature to show that cognitive-phenomenal properties are modally independent from sensory-phenomenal and functional properties. The result is that mix-and-match cases, though modally remote, are metaphysically possible. The possibility of mix-and-match cases allows us to move from defensive posture to a critical one: it poses problems for any theory of content that imposes rationality constraints, including Pautz’s positive view, phenomenal functionalism. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the (...) philosophy of mind, Bayesian perceptual psychology, and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

The goal of this essay is to put forward an original theory of artifact function, which takes on board the results of the debate on the notion of biological function and also accommodates the distinctive aspects of artifacts. More precisely, the paper develops and defends the Dual-Aspect Theory, which is a monist account according to which an artifact’s function depends on intentional and reproductive aspects. It is argued that this approach meets a set of theoretical (...) and meta-theoretical desiderata and is superior to alternative views. (shrink)

The debate on the notion of function has been historically dominated by dispositional and etiological accounts, but recently a third contender has gained prominence: the organizational account. This original theory of function is intended to offer an alternative account based on the notion of self-maintaining system. However, there is a set of cases where organizational accounts seem to generate counterintuitive results. These cases involve cross-generational traits, that is, traits that do not contribute in any relevant way to (...) the self-maintenance of the organism carrying them, but instead have very important effects on organisms that belong to the next generation. We argue that any plausible solution to the problem of cross-generational traits shows that the organizational account just is a version of the etiological theory and, furthermore, that it does not provide any substantive advantage over standard etiological theories of function. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

At the beginning of the twentieth century, the French philosopher of science Edmond Goblot wrote three prescient papers on function and teleology. He advanced the remarkable thesis that functions are, as a matter of conceptual analysis, selected effects. He also argued that “selection” must be understood broadly to include both evolutionary natural selection and intelligent design. Here, I do three things. First, I give an overview of Goblot’s thought. Second, I identify his core thesis about function. Third, I (...) argue that, despite its ingenuity, Goblot’s expansive construal of function cannot be right. Still, Goblot deserves long-overdue credit for his work. (shrink)

In our everyday discourse, most of us use modal statements to express possibility, necessity, or contingency. Logicians, linguists, and philosophers of language tend to use the possible world discourse to analyse the semantics of this kind of sentences. There is a disadvantage of this method: in the usual Quinean meta-ontology it commits the users to the existence of possible worlds. Even though there are many theories on metaphysics of these possible worlds, I will focus on the fictionalist approach, which (...) aims to suspend the undesired ontological commitment. Therefore it is an anti-realist theory. The fictionalist strategy is based on the idea that according to our common-sense ontology, fictions and fictional entities do not exist, and one can treat the possible world discourse as a fiction, and the possible worlds as fictional entities. However, in the last two decades, realist theories about fictions and fictional entities have arisen, especially the abstract artefact theory. In this paper I try to revise the fictionalist approach to modality by keeping the main idea that possible worlds are fictional entities, while accepting that fictional entities are abstract artefacts. The result is a new realist theory of modal fictionalism. (shrink)

Embodied cognitive theories predict that linguistic conceptual representations are grounded and continually represented in real world, sensorimotor experiences. However, there is an on-going debate on whether this also holds for abstract concepts. Grammar is the archetype of abstract knowledge, and therefore constitutes a test case against embodied theories of language representation. Former studies have largely focussed on lexical-level embodied representations. In the present study we take the grounding-by-modality idea a step further by using reaction time (RT) data from the linguistic (...) processing of nominal classifiers in Chinese. We take advantage of an independent body of research, which shows that attention in hand space is biased. Specifically, objects near the hand consistently yield shorter RTs as a function of readiness for action on graspable objects within reaching space, and the same biased attention inhibits attentional disengagement. We predicted that this attention bias would equally apply to the graspable object classifier but not to the big object classifier. Chinese speakers (N = 22) judged grammatical congruency of classifier-noun combinations in two conditions: graspable object classifier and big object classifier. We found that RTs for the graspable object classifier were significantly faster in congruent combinations, and significantly slower in incongruent combinations, than the big object classifier. There was no main effect on grammatical violations, but rather an interaction effect of classifier type. Thus, we demonstrate here grammatical category- specific effects pertaining to the semantic content and by extension the visual and tactile modality of acquisition underlying the acquisition of these categories. We conclude that abstract grammatical categories are subjected to the same mechanisms as general cognitive and neurophysiological processes and may therefore be grounded. (shrink)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive (...) science, we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this (...) paper, I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

Western science claims to provide unique, objective information about the world. This is supported by the observation that peoples across cultures will agree upon a common description of the physical world. Further, the use of scientific instruments and mathematics is claimed to enable the objectification of science. In this work, carried out by reviewing the scientific literature, the above claims are disputed systematically by evaluating the definition of physical reality and the scientific method, showing that empiricism relies ultimately upon the (...) human senses for the evaluation of scientific theories and that measuring instruments cannot replace the human sensory system. Nativist and constructivist theories of human sensory development are reviewed, and it is shown that nativist claims of core conceptual knowledge cannot be supported by the findings in the literature, which shows that perception does not simply arise from a process of maturation. Instead, sensory function requires a long process of learning through interactions with the environment. To more rigorously define physical reality and systematically evaluate the stability of perception, and thus the basis of empiricism, the development of the method of dimension analysis is reviewed. It is shown that this methodology, relied upon for the mathematical analysis of physical quantities, is itself based upon empiricism, and that all of physical reality can be described in terms of the three fundamental dimensions of mass, length and time. Hereafter the sensory modalities that inform us about these three dimensions are systematically evaluated. The following careful analysis of neuronal plasticity in these modalities shows that all the relevant senses acquire from the environment the capacity to apprehend physical reality. It is concluded that physical reality is acquired rather than given innately, and leads to the position that science cannot provide unique results. Rather, those it can provide are sufficient for a particular environmental setting. (shrink)

A new theory that naturalizes biological function is explained and compared with earlier etiological and causal role theories. Etiological theories explain functions from how they are caused over their evolutionary history. Causal role theories analyze how functional mechanisms serve the current capacities of their containing system. The new proposal unifies the key notions of both kinds of theories, but goes beyond them by explaining how functions in an organism can exist as factors with autonomous causal efficacy. The goal-directedness (...) and normativity of functions exist in this strict sense as well. The theory depends on an internal physiological or neural process that mimics an organism’s fitness, and modulates the organism’s variability accordingly. The structure of the internal process can be subdivided into subprocesses that monitor specific functions in an organism. The theory matches well with each intuition on a previously published list of intuited ideas about biological functions, including intuitions that have posed difficulties for other theories. (shrink)

Fodor claims that cognitive modules can be thought of as constituting a psychological natural kind in virtue of their possession of most or all of nine specified properties. The challenge to this considered here comes from synaesthesia. Synaesthesia is a type of cross-modal association: input to one sensory modality reliably generates an additional sensory output that is usually generated by the input to a distinct sensory modality. The most common form of synaesthesia manifests Fodor's nine specified properties of modularity, (...) and hence, according to Segal (1997), it should be understood as involving an extra module. Many psychologists believe that synaesthesia involves a breakdown in modularity. After outlining how both theories can explain the manifestation of the nine alleged properties of modularity in synaesthesia, I discuss the two concepts of function which initially motivate the respective theories. I argue that only a teleological concept of function is properly able to adjudicate between the two theories. The upshot is a further application of so-called externalist considerations to mental phenomena. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints (...) are jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

Fürwahrhalten, or “holding-to-be-true”, is one of the most controversial concepts in Kant’s epistemology. Rarely mentioned in Kant’s edited works – where it is often used to describe moral faith – Fürwahrhalten has attracted the interest of Kant scholars only in recent years. The essay aims to shed light on some of the main issues that the notion of holding-to-be-true still rises, especially those concerning its origin and its theoretical function in the critical system. The book retraces the stages of (...) Kant’s reflection on this theme, starting from the precritical discussion with the main representatives of the German Enlightenment (Wolff, Knutzen, Baumgarten, Meier, and Crusius) to the definitive formulation of Fürwahrhalten after the publication of the Critique of Pure Reason. The analysis of Kant’s logical corpus has shown that, far from being a marginal concept of critical epistemology, Fürwahrhalten is the core of a systematic theory of certainty, that Kant develops in accordance with his doctrine of modality. This theory represents the arrival point of a long and troubled reflection, that led Kant to deeply rethink most of the traditional themes of eighteenth-century logic. (shrink)

Metaphysical dualities divorce humankind from its natural environment, dualities that can precipitate environmental disaster. Loyal Rue in Religion Is Not About God seeks to resolve the abstract modalities of religion and naturalism in a unified monistic ecocentric metaphysic characterized as religious naturalism. Rue puts forward proposals for a general naturalistic theory of religion, a theory that lays bare the structural and functional features of religious phenomena as the critical first step on the road to badly needed religion- science (...) realignment. Only then will humanity be equipped to address the environmental imperative. (shrink)

Sources for Stoicism present conflicting accounts of the Stoic principles. Some suggest that the principles are inseparable from each other. Others suggest that they are separable. To resolve this apparent interpretive dilemma, I distinguish between the functions of the principles and the bodies that realize those functions. Although the principles cannot separate when realizing their roles, the Stoic theory of blending entails that the bodies that realize those roles are physically separable. I present a strategy for further work on (...) the principles in light of this interpretation. (shrink)