The notion of cognitive act is of importance for an epistemology that is apt for constructive type theory, and for epistemology in general. Instead of taking knowledge attributions as the primary use of the verb 'to know' that needs to be given an account of, and understanding a first-person knowledge claim as a special case of knowledge attribution, the account of knowledge that is given here understands first-person knowledge claims as the primary use of the verb 'to know'. This means (...) that a cognitive act is an act that counts as cognitive from a first-person point of view. The method of linguistic phenomenology is used to explain or elucidate our epistemic notions. One of the advantages of the theory is that an answer can be given to some of the problems in modern epistemology, such as the Gettier problem. (shrink)

Sosa takes epistemic normativity to be kind of performance normativity: a belief is correct because a believer sets a positive value to truth as an aim and performs aptly and adroitly. I object to this teleological picture that beliefs are not performances, and that epistemic reasons or beliefs cannot be balanced against practical reasons. Although the picture fits the nature of inquiry, it does not fit the normative nature of believing, which has to be conceived along distinct lines.

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

There has been relatively little discussion, in contemporary philosophy of mind, of the active aspects of perceptual processes. This essay presents and offers some preliminary development of a view about what it is for an agent to watch a particular material object throughout a period of time. On this view, watching is a kind of perceptual activity distinguished by a distinctive epistemic role. The essay presents a puzzle about watching an object that arises through elementary reflection on the consequences of (...) two apparent truths about watching an object throughout a period of time. It proposes that the puzzle can be resolved by a view according to which for an agent to watch an object throughout a period of time is for that agent to maintain visual awareness of that object with the aim of perceptually knowing what that object is doing. The essay goes on to make some further suggestions about how the apparatus developed in connection with the notion of watching may enable us to offer related explanations of other kinds of perceptual activity. It proposes that a useful distinction can be drawn between perceptual activities like watching which have as their aim knowledge of what an object is doing and activities like looking or visually scrutinizing which have as their aims knowledge of the states or conditions of the objects of perceptual awareness. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

In this paper, we show how the problem of accounting for the semanticsof temporal preposition phrases (tPPs) leads us to some surprisinginsights into the semantics of temporal expressions ingeneral. Specifically, we argue that a systematic treatment of EnglishtPPs is greatly facilitated if we endow our meaning assignments with context variables, a device which allows a tPP to restrict domainsof quantification arising elsewhere in a sentence. We observe that theuse of context variables implies that tPPs can modify expressions intwo ways, and (...) we use this observation to predict the behaviour of tPPswhose complements are themselves modified by other tPPs. (shrink)

The primary theoretical focus of this paper is on Free Choice uses of any, in particular on two phenomena that have remained largely unstudied. One involves the ability of any phrases to occur in affirmative episodic statements when aided by suitable noun modifiers. The other involves the difference between modals of necessity and possibility with respect to licensing of any. The central thesis advanced here is that FC any is a universal determiner whose domain of quantification is not a set (...) of particular individuals but the set of possible individuals of the relevant kind. In a theory of genericity utilizing situations, an any phrase can be seen as having a universal quantifier binding the situation variable of the common noun. This inherent genericity is argued to be at the heart of the intuition that any statements support counterfactual inferences and do not involve existential commitments. A conflict in presuppositions is shown to account for the incompatibility of unmodified any phrases in affirmative episodic statements and the crucial role played by modification in ameliorating this clash is explicated. In the case of modals of necessity, the interaction between the universal force of any and the particular modal base is shown to be crucial. In view of these facts it is argued that FC any is not directly licensed by modal or generic operators as generally assumed but that its felicitous use is sensitive to the pragmatics of epistemic modality. Turning to its polarity sensitive uses, language internal as well as crosslinguistic evidence is presented to distinguish it from FC any in having the existential quantificational force typical of indefinites. The paper concludes by suggesting that the common tie between them is that they both occur in statements that apply to a class of entities, rather than to particular members of the class. (shrink)

The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.

According to orthodoxy, the most fundamental kind of causation involves one event causing another event. I argue against this event‐causal view. Instead, the most fundamental kind of causation is thing causation, which involves a thing causing a thing to do something. Event causation is reducible to thing causation, but thing causation is not reducible to event causation, because event causation cannot accommodate cases of fine‐grained causation. I defend my view from objections, including C. D. Broad's influential “timing” argument, and I (...) conclude with implications for agent‐causal theories of free will. (shrink)

Linguistic data are commonly considered a defeasible source of evidence from which it is legitimate to draw philosophical hypotheses and conclusions. Traditionally epistemologists have relied almost exclusively on linguistic data from western languages, with a primary focus on contemporary English. However, in the last two decades there has been an increasing interest in cross-linguistic studies in epistemology. In this entry, we provide a brief overview of cross-linguistic data discussed by contemporary epistemologists and the philosophical debates they have generated.

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

ABSTRACT Our ascriptions of content to past utterances assign to them a level of conceptual continuity and determinacy that extends beyond what could be grounded in the usage up to their time of utterance. If one accepts such ascriptions, one can argue either that future use must be added to the grounding base, or that such cases show that meaning is not, ultimately, grounded in use. The following will defend the first option as the more promising of the two, though (...) this ultimately requires understanding the relation between use and meaning as ‘normative’ in two important ways. The first way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between actual and correct use. The second sort of normativity is unique to theories that extend the grounding base into the future. In particular, if meaning is partially a function of future use, we can see our commitment to the ‘determinacy’ of meaning as a practical commitment that structures our linguistic practices rather than a theoretical commitment that merely describes them. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that retains the (...) uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, as Burge noted, proper names can have predicative (...) uses. But the view that proper names are singular terms arguably does not have the resources to deal with Burge’s cases. In this paper I argue that the Predicate View of proper names is mistaken. I first argue against the syntactic evidence used to support the view and against the predicativist’s methodology of inferring a semantic account for proper names based on incomplete syntactic data. I also show that Predicativism can neither explain the behaviour of proper names in full generality, nor claim the fundamentality of predicative names. In developing my own view, however, I accept the insight that proper names in some sense express generality. Hence I propose that proper names—albeit fundamentally singular referential terms—express generality in two senses. First, by being used as predicates, since then they are true of many individuals; and second, by being referentially related to many individuals. I respond to the problem of multiple bearerhood by proposing that proper names are polyreferential, and also explain the behaviour of proper names in light of the wider phenomenon I called category change, and show how Polyreferentialism can account for all uses of proper names. (shrink)

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous cases all (...) involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

This paper provides a formal semantic analysis of past interpretation in Medumba, a graded tense language. Based on original fieldwork, the study explores the empirical behavior and meaning contribution of graded past morphemes in Medumba and relates these to the account of the phenomenon proposed in Cable for Gĩkũyũ. Investigation reveals that the behavior of Medumba gradedness markers differs from that of their Gĩkũyũ counterparts in meaningful ways and, more broadly, discourages an analysis as presuppositional eventuality or reference time modifiers. (...) Instead, the Medumba markers are most appropriately analyzed as quantificational tenses. It also turns out that Medumba, though belonging to the typological class of graded tense languages, shows intriguing similarities to genuinely tenseless languages in allowing for temporally unmarked sentences and exploiting aspectual and pragmatic cues for reference time resolution. The more general cross-linguistic implication of the study is that the set of languages often subsumed under the label “graded tense” does not in fact form a natural class and that more case-by-case research is needed to refine this category. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

This article examines the learning of a scientific procedure, and its connection to the greater scientific community through the notion of Wittgensteinian rules. The analysis reveals this connection by demonstrating that learning in interaction is largely grounded in rule-based community descriptions and judgments rather than any inner process. This same analysis also demonstrates that learning processes are particularly suited for such an analysis because rules and concomitant phenomena comprise a significant portion of any learning interaction. This analysis further reveals the (...) elucidating merit of Wittgensteinian rules, their relation to community and the concept of practice, and promotes the efficacy of participant-generated rule-formulations as analytic descriptors. (shrink)

Ryle (1949, Chapter V) discusses a range of predicates which in different ways exemplify a property I shall call quasi-duality - they appear to report two actions or events in one predicate. Quasi-duality is the key property of predicates Ryle classed as achievements. Ryle's criteria for classification were not temporal or aspectual, and Vendler's subsequent adoption of the term achievement for the aktionsart of momentary events changes the term - Rylean achievements and Vendlerian achievements are in principle different classes. Nevertheless, (...) I shall argue in this paper that certain kinds of quasi-duality do have aspectual significance. This paper examines a number of quasi-dual predicates which are not generally discussed in the aktionsart literature, including break a promise, miscount, and cure the patient. Two types of quasi-dual predicates are identified and dubbed criterion predicates and causative upshot predicates. It is shown that both types of quasi-dual predicate lack process progressives, despite being durative, and it is argued that the lack of process progressives identifies these predicates as (aspectual) achievements. They are termed durative achievements to distinguish them from canonical, momentary achievements. It is argued that these predicates lack process progressives, and hence are achievements, because they express individual-level predicates on the event argument. A process progressive is stage-level for the event, and hence is incompatible with a predicate which is lexically individual-level for the event. (shrink)

A sentence in the Resultative perfect licenses two inferences: (a) the occurrence of an event (b) the state caused by this event obtains at evaluation time. In this paper I show that this use of the perfect is subject to a large number of distributional restrictions that all serve to highlight the result inference at the expense of the event inference. Nevertheless, only the event inference determines the truth conditions of this use of the perfect, the result inference being a (...) unique type of conventional implicature. I argue furthermore that, since the result state is singular, the event that causes it must also be singular, whereas the Experiential perfect is purely quantificational. But in out-of-the-blue contexts the past tense is also normally interpreted as singular. This leads to a certain amount of competition between the Resultative perfect and the past tense, and it is this competition, I suggest, that maintains the conventional (non-truth conditional) result state inference. (shrink)

Husserl’s transcendental reduction admits of two motivations: the general methodological ban on begging the question, and the principle that a typology of objects ought to be based on a typology of my ways of cognizing them. As Husserl’s ‘transcendental phenomenology’ agrees with the ‘linguistic phenomenology’ of many analytic philosophers in being at bottom an effort to understand what precisely we mean to say by asserting that there ‘exists’ a ‘consciousness-independent’ or ‘transcendent’ world, the ‘residue’ of transcendental reduction is my subjective (...) consciousness. My cognitive approaches to the latter and to that of somebody else are not only entirely different but ‘complementary’ in the sense of Bohr’s. In the course of searching for an identity criterion for temporal entities lacking a spatial localisation in the world, we can show that the allegedly noetic phenomenon of, say, my now seeing a cat is a noema, to wit, the cat-as-now-beingseen-by-me-in-such-and-such-a-manner. There is no sound base for postulating, over and above the noematic nature of my consciousness, a second, noetic, aspect thereof. (shrink)

Many contemporary proponents of hylomorphism endorse a version of hylomorphism according to which the form of a material object is a certain kind of complex relation or structure. Structural approaches to form, however, seem not to capture form’s traditional role as the guarantor of diachronic identity, since more “dynamically complex” material objects, such as living organisms, seem to undergo, and survive, various structural changes over the course of their existence. As a result, some contemporary hylomorphists have looked to alternative, non-structural (...) approaches to form. One of the leading non-structural approaches is the powers approach, according to which the form of a material object is a certain kind of power continuously activated in the object or in its material parts. In this paper, I begin by offering an overview and assessment of this powers approach to form. I argue that while the powers approach captures some crucial elements for understanding the nature of more dynamically complex material objects, when we press on the details of the view we find that it actually points to a related, but importantly distinct, third approach to understanding form, according to which the form of a material object is a certain kind of activity or process in which the material object or its parts are continuously engaged. I call this third approach “Hyloenergeism”. In the second half of the paper, I consider what such a view of material objects might look like and what its principal virtues might be. (shrink)

Mental time travel and language enable us to go back and forth in time and to organize and express our personal experiences through time reference. People with Alzheimer’s disease have both mental time travel and time reference impairments, which can greatly impact their daily communication. Currently, little is known about the potential relationship between time conceptualization (i.e., mental time travel) and time reference difficulties in this disease. A systematic review of the literature was performed to determine if this link had (...) already been investigated. Only three articles integrated both time conceptualization and time reference measures. However, the link between the two was not systematically analyzed and interpreted. This review highlights the lack of research addressing the question of the influence of time conceptualization impairments in Alzheimer’s disease on other cognitive domains, and especially language. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)

Reverse Compositionality (RC) is the thesis that one understands a complex expression only if one understands its parts. I argue that this thesis is false for natural languages. I then argue that the phenomenon that motivates the thesis is more likely to be a fact about human sentence-processing than linguistic understanding per se. Finally, I argue that RC is not useful in the debates about prototype-style theories of concepts in which it figures heavily.

As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational language for mathematics. Using the new formulation of definite descriptions, opportunities (...) to express ‘the structure of’ within homotopy type theory are explored, and it is shown there is little or no need for this expression. (shrink)

Cet ouvrage est consacre a l'etude de la distinction linguistique entre noms massifs (lait, mobilier, desordre, amour...) et noms comptables (chat, equipe, combat, chose...). Les premiers sont normalement invariables, tandis que les seconds s'emploient librement au singulier et au pluriel. Apres avoir etabli qu'il s'agit bien d'une distinction morpho-syntaxique, l'ouvrage discute la possibilite de caracteriser semantiquement cette distinction. Les recherches existantes ne tiennent compte, essentiellement, que des noms s'appliquant au domaine materiel. Ce travail, au contraire, examine en detail aussi bien (...) les noms concrets qu'abstraits. Il propose de redefinir les proprietes souvent attribuees aux noms massifs (references distributive et cumulative), grace, notamment, a une nouvelle notion de partie. Concernant les noms comptables, il montre qu'aucune propriete purement semantique n'est necessaire pour qu'un nom soit de ce type. L'ouvrage se termine par l'analyse des conversions (emplois massifs des noms comptables, et vice versa), et du role qu'y jouent les facteurs pragmatiques. (shrink)

According to the Particularist Theory of Events, events are real things that have a spatiotemporal location. I argue that some events do not have a spatial location in the sense required by the theory. These events are ordinary, nonmental events like Smith’s investigating the murder and Carol’s putting her coat on the chair. I discuss the significance of these counterexamples for the theory.

Topics in Cognitive Science, Volume 13, Issue 1, Page 187-205, January 2021.

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

The paper investigates a light verb construction in Yiddish in which the light verb combines with a verbal stem to produce a special aspectual meaning, the exact nature of which depends on the event type denoted by the stem. Though the specific interpretations associated with the stem construction vary, I show that they have in common the property of denoting an event which is minimized in time. I analyze the semantics of the stem construction in terms of an aspectual operator (...) (located in an inflectional head) which modifies the properties of the event argument of the stem, yielding an appropriately truncated event in each case. (shrink)

What is the relation between the intentionality of states and attitudes which can miss their mark, such as belief and desire, and the intentionality of acts, states and attitudes which cannot miss their mark, such as the different types of knowledge and simple seeing? Two theories of the first type of intentionality, the theory of correctness conditions and the theory of satisfaction conditions, are compared. It is argued that knowledge always involves knowledge of formal objects such as facts and values, (...) that emotions are reactions to (apparently) known values and that beliefs are reactions to known or apparently known facts or to the objects of relational states. (shrink)

Events and situations are represented by strings of temporally ordered observations, on the basis of which the events and situations are recognized. Allen’s basic interval relations are derived from superposing strings that mark interval boundaries, and Kamp’s event structures are constructed as projective limits of strings. Observations are generalized to temporal propositions, leading to event-types that classify event-instances. Working with sets of strings built from temporal propositions, we obtain natural notions of bounded entailment from set inclusions. These inclusions are decidable (...) if the sets are accepted by finite automata. (shrink)

This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)