This paper aims to assess medieval terminism, particularly supposition theory, in the development of Aristotelian thought in the Latin West. The focus is on what the present author considers the gist of Aristotle’s strategy of argument, to wit conceptual focalization and categorization. This argumentative strategy is more interesting as it can be compared to the modern tool known as ‘scope distinction’.

This paper deals with the interpretation and distribution of universal Free Choice (FC) items, such as English FC any or Spanish cualquiera. Crosslinguistically, universal FC items can be characterized as follows. First, they have a restricted distribution. Second, they express freedom of choice: the sentence You can take any card conveys the information that the addressee is free to pick whichever card she chooses. Under standard assumptions, the truth conditions of sentences like You can take any card are taken to (...) be captured by formalizations in which a universal quantifier ranging over individuals has wide scope over the possibility modal. The crucial observation that informs the account in this paper is that this type of formalization cannot capture the freedom of choice component. I will argue that in order to derive the right interaction between possibility modals and FC items, we need to add an exclusiveness condition to the standard wide scope paraphrases. The same proposal that guarantees freedom of choice will automatically account for the distribution restrictions of FC items. The formal implementation of this proposal is cast in the Hamblin semantics proposed in Kratzer and Shimoyama (Indeterminate phrases: The view from Japanese, 2002). (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

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)

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)

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)

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)

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)

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)

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)

Summary Verbs of creation (create, make, paint) are not transparent. The object created does not exist during the event time but only thereafter. We may call this type of opacity temporal opacity. I is to be distinguished from modal opacity, which is found in verbs like owe or seek. (Dowty, 1979) offers two analyses of creation verbs. One analysis predicts that no object of the sort created exists before the time of the creation. The other analysis says that the object (...) exists throughout the act of creation. I investigate three theories: Theory I says that no object of the sort created and which is caused by the very act of creation exists before the creation. In this theory, verbs of creation must embed a property. Theory II can regard the indefinite object of a creation verb as a quantifier and gives it wide scope with respect to the verb. The theory has to make sure that the objects quantified over exist only after the event. While Theory I and II start from the assumption that the extension of all nouns depend on time, Theory III says that Individual Level predicates do not depend on time. This ontology will enable us to treat verbs of creation as first order relations. The theory will entail that a picture does not mean the same as there is a picture. The paper discusses various approaches to the problem: Krifka, Parsons, Landman, Kratzer and Zucchi. (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 general direction in which cognitive linguistics is heading at the turn of the century is outlined and a revised understanding of cognitive linguistics as a methodological paradigm is suggest. The goal of cognitive linguistics is defined as understanding what language is and what language does to ensure the predominance of homo sapiens as a biological species. This makes cognitive linguistics a biologically oriented empirical science.

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)

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the (...) speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems. (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)

English mass noun phrases & count noun phrases differ only minimally grammatically. The basis for the difference is ascribed to a difference in the features +/-CT. These features serve the morphosyntactic function of determining the available options for the assigment of grammatical number, itself determined by the features +/-PL: +CT places no restriction on the available options, while -CT, in the unmarked case, restricts the available options to -PL. They also serve the semantic function of determining the sort of denotation (...) associated with demonstrative & quantified noun phrases. The feature -CT requires that the associated denotation be the set whose sole member is the greatest aggregate of which the noun phrase or noun is true; the feature +CT requires that the associated denotation be the set whose members are all & only those minimal aggregates of which the noun phrase or noun is true. At the same time, neither mass NPs nor count NPs that are arguments of a predicate have their predicate evaluated with respect to their denotations. Rather, the predicate is evaluated with respect to an aggregation, a set of aggregates constructed from the denotation of the noun phrase that is an argument of the predicate. 3 Tables, 4 Figures, 74 References. AA. (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.

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)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (2001) and Elbourne (2005). Wolter (2006), however, has shown that complex demonstratives admit non-deictic interpretations only (...) when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (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.

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)

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)

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)

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)

For the framework of event causation—i.e. the framework according to which causation is a relation between events—absences or omissions pose a problem. Absences, it is generally agreed, are not events; so, under the framework of event causation, they cannot be causally related. But, as a matter of fact, absences are often taken to be causes or effects. The problem of absence causation is thus how to make sense of causation that apparently involves absences as causes or effects. In an influential (...) paper, Helen Beebee offers a partial solution to the problem by giving an account of causation by absence. I argue that Beebee's account can be extended to cover causation of absence as well. More importantly, I argue that the extended Beebeeian account calls for a major modification to David Lewis's theory of causal explanation, usually taken as standard. Compared to the standard theory, the.. (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.

In this paper I explore a famous part of Plato’s Theaetetus where Socrates develops various models of the mind (picturing it first as a wax tablet and then as an aviary full of specimen birds). These are to solve some puzzles about how it is possible to make a mistake. On my interpretation, defended here, the discussion of mistakes is no digression, but is part of the refutation of Theaetetus’s thesis that knowledge is “true doxa”. It reveals that false doxa (...) is possible only if there is a certain stock of abstract knowledge, conceptual knowledge, that is not awareness of the particular individual that is being described. The individual must be identified under some description, or seen as something of a certain kind. Error can only occur if the description applied misdescribes the situation, but then if it is to be applied falsely it must first have been known from somewhere else. So knowledge cannot be reduced to the application of descriptions to particulars, but is to be found in the prior possession of abstract descriptions that can be deployed in identifying particular individuals on the ground. (shrink)

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)

This paper explores the role of metonymy in determining a syntactic argument alternation (“conductor-vehiclealternation”) which occurs in English and Portuguese:o piloto acelerou a Ferrari“the driver speeded up the Ferrari”/a Ferrari acelerou“the Ferrari speeded up/sped away”. Since the verbs in theconductor-vehiclealternation haveconductorandvehiclearguments (controller and controlled entities), a metonymic process can occur, allowing thevehicleexpression to provide access to theconductorparticipant. To explain how metonymy allows a verb with two participants to be integrated into a construction with a single argument, we assume that metonymy (...) gathers information about both entities involved; thevehicleexpression provides mental access to bothvehicleandconductor(“fusion”). We also discuss cognitive and pragmatic factors involving the choice of a construction over another. Constructions withvehicleexpressions as subject are used when thevehicleis salient or theconductoris unknown. This also explains whydirigir“drive” does not alternate in Portuguese, contrarily to prediction and differently from Englishdrive. We provide a comparative account of the behavior of this verb in both languages.Dirigir, differently fromdrive, conceptualizes semantic components incompatible with a situation in which the agent/conductoris not salient or is unknown. This research adds to the ongoing body of literature on the role of metonymy in grammar and is a contribution to the understanding of the metonymic process, as a fusion, and also to argument alternation processes and lexical-constructional integration. (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)

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)

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)

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.