This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

The issue of reduction of propositions to sets of possible worlds is addressed. It is shown that, under some natural assumptions, there always exist recursive propositions, i.e. decidable sets of possible worlds, which are not assigned to any sentence of a language. Some consequences of this result are discussed.

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

Events have played a central role in a number of recent philosophical analyses. In general, there are two different sorts of arguments that might be offered in favour of an event analysis: first, it might be held that the constructions being analyzed contain certain nominals which intuitively refer to events, and further that any satisfactory analysis must respect these intuitions; second, it might be argued that quite aside from our intuitions, the concept of an event — perhaps as a purely (...) technical device — permits the solution of philosophical problems implicit in alternative non-event analyses.I wish to argue that both the above sorts of arguments fail. First, I argue that our intuitions about the reference on nominals are inconsistent, varying from context to context, so that the various sorts of event analyses cannot be talking about a single category of entities. (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)

This paper is about the semantic analysis of referentially opaque verbs like seek and owe that give rise to nonspecific readings. It is argued that Montague's categorization (based on earlier work by Quine) of opaque verbs as properties of quantifiers runs into two serious difficulties: the first problem is that it does not work with opaque verbs like resemble that resist any lexical decomposition of the seek ap try to find kind; the second one is that it wrongly predicts de (...) dicto (i.e. narrow scope) readings due to quantified noun phrases in the object positions of such verbs. It is shown that both difficulties can be overcome by an analysis of opaque verbs as operating on properties. This is a strongly modified version of a paper entitled lsquoDo We Bear Attitudes towards Quantifiers?rsquo that I have presented at conferences in Gosen (Gesellschaft für Sprachwissenschaft), Ithaca (SALT I), and Konstanz (Lexikon). I owe a special debt to Hans Kamp and Arnim von Stechow for shaping my views on the subject of this paper during the past ten years or so. Comments from and discussions with the following friends and colleagues have also led to considerable improvements: Heinrich Beck, Steve Berman, David Dowty, Veerle van Geenhoven, Fritz Hamm, Irene Heim, Wolfgang Klein, Angelika Kratzer, Michael Morreau, Barbara Partee, Mats Rooth, Roger Schwarzschild, Wolfgang Sternefeld, Emil Weydert, Henk Zeevat, and three referees. (shrink)

Events are center stage in several fields of psychological research. There is a long tradition in the study of event perception, event recognition, event memory, event conceptualization and segmentation. There are studies devoted to the description of events in language and to their representation in the brain. There are also metapsychological studies aimed at assessing the nature of mental events or the grounding of intentional action. Outside psychology, the notion of an event plays a prominent role in various areas of (...) philosophy as well as in such diverse disciplines as linguistics, probability theory, artifical intelligence, physics, and�of course� history. This plethora of concerns and applications is indicative of the prima facie centrality of the notion of an event in our conceptual scheme, but it also gives rise to some important methodological questions. Can we identify a core notion that is preserved across disciplines? Does this notion, or some such notion, correspond to the pre-theoretical conception countenanced by common sense? Does it correspond to a genuine metaphysical category? (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Polarity phenomena in language are pervasive and quite diverse. A quite familiar polarity item (PI) is any. Any a PI because it exhibits limited distribution: it is ungrammatical in positive sentences, but becomes fine with negation, in questions, with modal verbs, and in the scope of downward entailing quantifiers like few.

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

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)

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)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

An important divide in the free will literature—one that is arguably almost as common as the distinction between compatibilism and incompatibilism—concerns the distinction between event and substance causation. As the story typically goes, event-causalists maintain that an action is free only if it is caused by appropriate mental events, and agent-causalists maintain that an action is free only if it is caused directly by a substance (the agent). This paper argues that this dichotomy is a false one. It does this (...) by introducing a new view called Causal Pluralism, which maintains that free will is compatible with both event and substance causation. Furthermore, it is argued that agent-causalists have good reason to adopt Causal Pluralism, and also that that the view has interesting implications for the free will dialectic. (shrink)

Zurvanism was an ancient variant of Zoroastrianism. According to Zurvanism, the great powers of good and evil, Ahura Mazda and Angra Mainyu, were the sons of a greater god Zurvan, associated with time. According to Eudemus of Rhodes, some Persian thinkers, presumably Zurvanists, took there to be three great principles underlying the world: light, darkness, and greatest of all time (or perhaps, according to Eudemus, space). This paper explores what metaphysics might underlie these doctrines, and what contemporary options we have (...) for making sense of a metaphysics where time is the ultimate principle. Among the options explored is the option that despite appearance many of the entities of the concrete world are identical to stretches of time, or are somehow aspects of stretches of time; that they include times as parts, or are included in times as parts; that they are somehow properties of time; or hylomorphic compounds of which time is the matter; that the world is somehow a mixture of time, light, and dark; or that somehow the ends or teloi of everyday objects and processes are to be found among good, evil, and time. (shrink)

I shall refine in this article Jaegwon Kim's theory of events by appealing to modes, i.e., particular properties that also depend on their 'bearers' for their identity. Events will turn out to be occurrent modes, i.e., relational modes having further modes and times as their relata. In Section 1 I shall briefly present Kim's theory and some difficulties that affect it. In Section 2, after having made some preliminary assumptions on modes and universals, I shall introduce occurrent modes. In Section (...) 3 I shall show how my theory can deal with the difficulties discussed in Section 1. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction and Identity. These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds (...) that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic, designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed. (shrink)

Philosophers have traditionally held that propositions mark the domain of rational thought and inference. Many philosophers have held that only conceptually sophisticated creatures like us could have propositional attitudes. But in recent decades, philosophers have adopted increasingly liberal views of propositional attitudes that encompass the mental states of various non-human animals. These views now sit alongside more traditional views within the philosophical mainstream. In this paper I argue that liberalized views of propositional attitudes are so liberal that they encompass states (...) of all sorts of apparently mindless systems like circadian clocks in plants. I begin by arguing that on the most well-developed and widely endorsed theories of underived representation in philosophy, circadian clocks qualify as representations. I then argue that standard reasons for thinking that perceptual states and pictures have propositional content carry over to circadian clocks. Finally, I argue that circadian representations in plants play the kind of functional role that is widely taken to be partly constitutive of belief-like attitudes. So according to mainstream theories of representation, propositions, and attitudes, plants have propositional attitudes. Yet on other more traditional views, this conclusion would seem absurd. So, contrary to appearances, there is no shared, stable understanding of what propositional attitudes are in contemporary philosophy. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

We offer an analysis of future morphemes as epistemic operators. The main empirical motivation comes from the fact that future morphemes have systematic purely epistemic readings—not only in Greek and Italian, but also in Dutch, German, and English will. The existence of epistemic readings suggests that the future expressions quantify over epistemic, not metaphysical alternatives. We provide a unified analysis for epistemic and predictive readings as epistemic necessity, and the shift between the two is determined compositionally by the lower tense. (...) Our account thus acknowledges a systematic interaction between modality and tense—but the future itself is a pure modal, not a mixed temporal/modal operator. We show that the modal base of the future is nonveridical, i.e. it includes p and ¬p worlds, parallel to epistemic modals such as must, and present arguments that future morphemes are a category that stands in between epistemic modals and predicates of personal taste. We identify, finally, a subclass of epistemic futures which are ratificational, and argue that will is a member of this class. (shrink)

Discussion of atomistic and monistic theses about abstract reality.

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

The dispute between the Fregean and the Neo-Meinongian approach to existence has become entrenched: it seems that nothing but intuitions may be relied upon to decide the issue. And since contemporary analytic philosophers clearly are inclined towards the intuitions that support Frege's approach, it looks as if Fregeanism has won the day. In this paper, however, I try to develop a compromise solution. This compromise consists in abandoning the assumption shared by both Fregeanism and Neo-Meinongianism, namely that the notion of (...) existence adds something to the content of a statement. To the contrary, we should think of existence as a redundant notion. In other words, I will argue that we should be deflationist about existence. Moreover, the kind of deflationism I propose relies on what I call the existence equivalence schema, a schema which follows the blueprint of the well-known truth equivalence schema. From such a perspective, we can say that Fregean philosophers rightly deny the status of a discriminating property to existence; and, conversely, Neo-Meinongians, too, rightly reject the view that existence is captured by quantification or expresses a universal property of objects. Finally, the argument that we should take a deflationist approach to existence builds upon an analysis of natural language (general) existential statements and their intuitive entailment-relations. (shrink)

Nominalizations of modal predicates have received little, if any, attention in the semantic or philosophical literature. This paper will argue that nominalizations of modal predicates require recognizing a novel ontological category of modal objects and it will outline a new semantics of modals based on modal objects.

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

The goal of this paper is to explore the presuppositionality of factive verbs, with special emphasis on the verbs know and regret. The hypothesis put forward here is that the factivity related to know and the factivity related to regret are two different phenomena, as the former is a semantic implication that is licensed by the conventional meaning of know, while the latter is a purely pragmatic phenomenon that arises conversationally. More specifically, it is argued that know is factive in (...) the sense that it both entails and presupposes p, while regret is factive in the sense that it only presupposes p. In a recent article, Hazlett, 497–522, 2010) shows with authentic examples how know is used non-factively in ordinary language, and he observes in these examples, as he says, “a threat to Factivity.” I argue that non-factive uses of factive verbs, such as know and regret, far from being a threat to factivity, show that, on the one hand, know is ambiguous between a factive and a non-factive sense; on the other hand, in the case of regret, the presupposition of factivity has to be intended as a merely pragmatic implication which can be suspended by the speaker herself. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)

This paper discusses the semantics of intensional transitive verbs such as 'need', 'want','recognize', 'find', and 'hire'. It proposes new linguistic criteria for intensionality and defends two semantic analyses for two different classes of intensional verbs. The paper also includes a systematic classification of intensional verbs according to the type of lexical meaning they involve.

Classical first-order logic can be extended in two different ways to serve as a foundation for mathematics: introduce higher orders, type theory, or introduce sets. As it happens, both approaches have natural analogs for quantified modal logics, both approaches date from the 1960’s, one is not very well-known, and the other is well-known as something else. I will present the basic semantic ideas of both higher order intensional logic, and intensional set theory. Before doing so, I’ll quickly sketch some necessary (...) background material from quantified modal logic. Except for standard material concerning propositional modal logics, the paper is essentially self-contained. (shrink)

The Reduction of the Possible to the Real. Modern philosophy cannot avoid dealing with possible worlds - neither in the field of intensional logic nor in other fields not directly connected with logical investigations. This paper attempts to develop a method to substitute possible worlds by the real world, referring to the works of Stig Kanger and Nino B. Cocchiarella. This is done by investigating the metaphorical and dynamical functions of natural languages. It is proved that this new technique is (...) adequate for use in the semantics of intensional languages. As an example a language is constructed, which is based on the aristotelian view of universal concepts. (shrink)

After reviewing some major features of theinteractions between Linguistics and Philosophyin recent years, I suggest that the depth and breadthof current inquiry into semanticshas brought this subject into contact both with questionsof the nature of linguistic competence and with modern andtraditional philosophical study of the nature ofour thoughts, and the problems of metaphysics.I see this development as promising for thefuture of both subjects.