Predication is a central theme in Arabic logic that has undergone significant semantic transformation throughout history. This article explores the evolution of predication's scope and meaning across four successive stages. Rather than pinpointing specific historical moments—given that these transitions lack clearly defined beginnings or endings—the focus is on key propositions that enrich our understanding of predication, drawing on the classifications of thinkers such as Abū Naṣr al-Fārābī (d. 950), Athīr al-Dīn al-Abharī (d. 1262-65), Mullā Ṣadrā (d. 1635), and Muhammad Ḥusayn (...) Ṭabātabāʾī (d. 1981). The transition from the first to the second stage is characterized by the acceptance of natural propositions (ṭabīʿīya), while subsequent stages involve essential primary (dhātī awwalī) and stronger/weaker (ḥaqīqa-raqīqa) propositions. This progression illustrates a shift from expressing the properties of external objects to articulating the properties of concepts, ultimately culminating in the expression of identity between concepts and external entities. The four stages can be summarized as follows: (1) First-order predication; (2) Second-order predication; (3) Second-order identity; (4) First-order identity. (shrink)

Hans-Georg Gadamer argues that language is the medium of all understanding and thus that it is the medium through which we can reach understanding with one another. Yet many today are sceptical of this claim and worry that Gadamerian hermeneutics ignores at its own peril the limits of the particular discourses that people utilize to reach understanding with one another. I argue here that this criticism rests on the assumption that, for Gadamer, it is the semantic features of a language (...) alone that allow it to function as the medium for shared understanding. I argue that focusing solely on semantic agreement as the source of understanding ignores the role that mutual recognition plays in allowing language to serve as a medium for shared understanding. I turn to discussions in several of Gadamer’s later essays to examine how he conceives of the mutual recognition that is essential for communicative understanding. (shrink)

Overview CHARLES E. CATON The part of philosophy known as the philosophy of language, which includes and is sometimes identified with the part known as ...

This self-contained introduction to natural language semantics addresses the majortheoretical questions in the field. The authors introduce the systematic study of linguistic meaningthrough a sequence of formal tools and their linguistic applications. Starting with propositionalconnectives and truth conditions, the book moves to quantification and binding, intensionality andtense, and so on. To set their approach in a broader perspective, the authors also explore theinteraction of meaning with context and use (the semantics-pragmatics interface) and address some ofthe foundational questions, especially (...) in connection with cognition in general. They also introducea few of the most accessible and interesting ideas from recent research to give the reader a bit ofthe flavor of current work in semantics. The organization of this new edition is modular; after theintroductory chapters, the remaining material can be covered in flexible order. The book presupposesno background in formal logic (an appendix introduces the basic notions of set theory) and only aminimal acquaintance with linguistics. This edition includes a substantial amount of completely newmaterial and has been not only updated but redesigned throughout to enhance itsuser-friendliness. (shrink)

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music (...) class='Hi'>semantics is that it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

This book investigates context-sensitivity in natural language by examining the meaning and use of a target class of theoretically recalcitrant expressions. These expressions-including epistemic vocabulary, normative and evaluative vocabulary, and vague language -exhibit systematic differences from paradigm context-sensitive expressions in their discourse dynamics and embedding properties. Many researchers have responded by rethinking the nature of linguistic meaning and communication. Drawing on general insights about the role of context in interpretation and collaborative action, Silk develops an improved contextualist theory of CR-expressions (...) within the classical truth-conditional paradigm: Discourse Contextualism. The aim of Discourse Contextualism is to derive the distinctive linguistic behavior of a CR-expression from a particular contextualist interpretation of an independently motivated formal semantics, along with general principles of interpretation and conversation. It is shown how in using CR-expressions, speakers can exploit their mutual grammatical and world knowledge, and general pragmatic reasoning skills, to coordinate their attitudes and negotiate about how the context should evolve. The book focuses primarily on developing a Discourse Contextualist semantics and pragmatics for epistemic modals. The Discourse Contextualist framework is also applied to other categories of epistemic vocabulary, normative and evaluative vocabulary, and vague adjectives. The similarities/differences among these expressions, and among context-sensitive expressions more generally, have been underexplored. The development of Discourse Contextualism in this book sheds light on general features of meaning and communication, and the variety of ways in which context affects and is affected by uses of language. Discourse Contextualism provides a fruitful framework for theorizing about various broader issues in philosophy, linguistics, and cognitive science. (shrink)

We give a precis of our book Insensitive Semantics.

W. Labov's & T. Labov's findings concerning their child grammar acquisition ("Learning the Syntax of Questions" in Recent Advances in the Psychology of Language, Campbell, R. & Smith, P. Eds, New York: Plenum Press, 1978) are interpreted in terms of different semantics of why & other wh-questions. Z. Dubiel.

Ever since Machery et al. first decided to test whether non-philosophers assign reference in accordance with the causal-historical account, the reference of proper names has been tested by means of setups modelled on Kripke’s Gödel and Jonah cases. Over the years, the use of these setups as a means to test theories of reference has attracted much criticism. However, previous follow-up studies have supposedly accounted for these criticisms, for the most part without changing the original outcome. We conducted experiments suggesting (...) that participants’ responses in these setups never tracked what they are supposed to track. In our study, we tested the setup itself by using analogues of different setups modelled on Kripke’s Gödel and Jonah cases. Instead of proper names, our analogues featured terms for which we have independent reason to believe that the causal-historical account is not true. The analogues elicited large proportions of supposed causal-historical responses. (shrink)

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.

This book presents the Proceedings of the Second International Colloquium on Cognitive Science, held at San Sebastian in May, 1991, to discuss from an interdisciplinary point of view topics which are at the intersection of philosophy and cognitive science. With a total of eleven papers from leading scholars in the field, the volume provides many different theoretical approaches to the study of Categories, Consciousness and Reasoning. The book is addressed to researchers, specialists, advanced students and scholars in the fields (...) of epistemology, philosophy of mind, psychology, semantics, logic and artificial intelligence. (shrink)

The work explains a unifying pluralist account of truth that combines representative truth-concern approaches in Chinese philosophy to posit one foundation of the various movements of thought in Chinese philosophy that pursue “how things are.” Mou contributes a unique, Eastern view to contemporary exploration of the philosophical issue of truth.

A number of authors have argued that the fact that certain indexicals depend for their reference-determination on the speaker’s referential intentions demonstrates the inadequacy of associating such expressions with functions from contexts to referents (characters). By distinguishing between different uses to which the notion of context is put in these argument, I show that this line of argument fails. In the course of doing so, I develop a way of incorporating the role played by intentions into a character-based semantics (...) for indexicals and I argue that the framework I prefer is superior to an alternative which has been proposed by others. (shrink)

Truth and Meaning is a classic collection of original essays on fundamental questions in the philosophy of language.

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions (...) that denote functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. (...) The paper will show that abstract states as the entities described by (most) stative verbs are incompatible with Neo-Davidsonian event semantics and proposes a decompositional analysis of stative verbs that may be able to overcome the difficulty. The paper will argue that in addition to Davidsonian events, the semantics of adverbials requires events as truthmakers as well as actions as more complex entities sharply distinguished from events. The paper will also argue that the verbal domain of events sides with mass nouns rather than dividing into mass and count, unlike event nouns. (shrink)

This paper gives a semantic analysis of 'completion-related verbs of absence' such as 'lack' and 'be missing' in English. The analysis is based on the notion of a conceptual (integrated or ideal) whole, the notion of a variable object and its variable parts, and an ontology of 'lacks' as entities whose satisfaction involves parts. The semantics will be embedded into that of object-based truthmaker semantics of modals (Moltmann 2008, 2024).

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist (...) account of meaning gives centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

When speakers utter conflicting moral sentences, it seems clear that they disagree. It has often been suggested that the fact that the speakers disagree gives us evidence for a claim about the semantics of the sentences they are uttering. Specifically, it has been suggested that the existence of the disagreement gives us reason to infer that there must be an incompatibility between the contents of these sentences. This inference then plays a key role in a now-standard argument against certain (...) theories in moral semantics. In this paper, we introduce new evidence that bears on this debate. We show that there are moral conflict cases in which people are inclined to say both that the two speakers disagree and that it is not the case at least one of them must be saying something incorrect. We then explore how we might understand such disagreements. As a proof of concept, we sketch an account of the concept of disagreement and an independently motivated theory of moral semantics which, together, explain the possibility of such cases. (shrink)

In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order (...) extensional language; (D2) T does not require quantification over intensional entities­i.e., meanings, propositions, properties, relations, or the like­in its treatment of opaque contexts; (D3) T captures the entailment relations that hold in virtue of form between sentences in the language for which it is a theory; (D4) T has a finite number of axioms. If the approach outlined here is correct, it resolves a longstanding complex of problems in metaphysics, the philosophy of mind and the philosophy of language. (shrink)

According to one traditional view, empirical science is necessarily preceded by philosophical analysis. Yet the relevance of philosophy is often doubted by those engaged in empirical sciences. I argue that these doubts can be substantiated by two theoretical problems that the traditional conception of philosophy is bound to face. First, there is a strong normative etiology to philosophical problems, theories, and notions that is difficult to reconcile with descriptive empirical study. Second, conceptual analysis (a role that is typically (...) assigned to philosophy) seems to lose its object of study if it is granted that terms do not have purely conceptual meanings detached from their actual use in empirical sciences. These problems are particularly acute to the current naturalistic philosophy of science. I suggest a more concrete integration of philosophy and the sciences as a possible way of making philosophy of science have more impact. (shrink)

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, (...) unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect. (shrink)

The fundamental, irreplaceable exposition of general semantics. In this work Korzybski developed important lines of formulating neglected by subsequent authors. A must-have for the student of general semantics interested in the original formulations of Alfred Korzybski. The sixth edition of Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics includes a new preface by Lance Strate, President of the Institute of General Semantics.

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role (...) in analyzing matters of cognitive significance and/or context-dependence. (shrink)

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation (...) of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists. (shrink)

Stephen Yablo has argued that ascriptions of belief and knowledge are sensitive to _subject matter_ and that theorising in such terms may help resolve philosophical questions about the semantics of such ascriptions. _Truthmaker semantics_ offers a way of theorising about subject matters. My main aim in this paper is to investigate what a semantics for knowledge or belief ascriptions might look like within truthmaker semantics. I then discuss what the resulting account might have to say about the (...) problem of logical omniscience, the nature of concepts, and rational belief. (shrink)

When William of Ockham lectured on Lombard's "Sentences" in 1317-1319, he articulated a new theory of knowledge.

As part of a recent attempt to extend the methods of formal semantics beyond language, it has been claimed that music has an abstract truth-conditional semantics, albeit one that has more in common with iconic semantics than with standard compositional semantics. After summarizing this approach and addressing a common objection, we argue that music semantics should be enriched in three directions by incorporating insights of other areas of Super Semantics. First, it has been claimed (...) by Abusch 2013 that visual narratives make use of discourse referents akin to those we find in language. We argue that a similar conclusion extends to music, and we highlight it by investigating ways in which orchestration and dance may make cross-referential dependencies more explicit. Second, we show that by bringing music semantics closer to the semantics of visual narratives, we can give an account of the semantics of mixed visual and musical sequences. Third, it has been claimed that co-speech gestures trigger characteristic conditionalized presuppositions, called ‘cosuppositions’, and that their semantic status derives from their parasitic character relative to words. We argue that the same conclusion extends to some instances of film and cartoon music: it may trigger cosuppositions that can be revealed by embedding film excerpts or gifs in sentences so as to test presupposition projection. We further argue that under special discourse conditions, pro-speech gestures and pro-speech music alike can trigger cosuppositions as well. These results suggest that new insights can be gained not just by extending the methods of semantics to new objects, but also by drawing new connections among them. (shrink)

This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives, whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an (...) unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language. (shrink)

This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a (...) &"subatomic&" level&-that is, a level below the one most theories accept as basic or &"atomic&"&-Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. His articulation of underlying event theory explains a wide variety of apparently diverse semantic characteristics of natural language, and his development of the theory shows the importance of seeing the distinction between events and states. Parsons demonstrates that verbs, also, indicate kinds of actions rather than specific, individual actions. Verb phrases, too, he argues, depend on modifiers to make their function and meaning in a sentence specific. An appendix gives many of the details needed to formalize the theory discussed in the body of the text and provides a series of templates that permit the generation of atomic formulas of English. (shrink)

A provocative ontological-cum-semantic position asserting that the right ontology is austere in its exclusion of numerous common-sense and scientific posits and that many statements employing such posits are nonetheless true. The authors of Austere Realism describe and defend a provocative ontological-cum-semantic position, asserting that the right ontology is minimal or austere, in that it excludes numerous common-sense posits, and that statements employing such posits are nonetheless true, when truth is understood to be semantic correctness under contextually operative semantic standards. Terence (...) Horgan and Matjaz Potrc argue that austere realism emerges naturally from consideration of the deep problems within the naive common-sense approach to truth and ontology. They offer an account of truth that confronts these deep internal problems and is independently plausible: contextual semantics, which asserts that truth is semantically correct affirmability. Under contextual semantics, much ordinary and scientific thought and discourse is true because its truth is indirect correspondence to the world. After offering further arguments for austere realism and addressing objections to it, Horgan and Potrc consider various alternative austere ontologies. They advance a specific version they call "blobjectivism"--the view that the right ontology includes only one concrete particular, the entire cosmos, which, although it has enormous local spatiotemporal variability, does not have any proper parts. The arguments in Austere Realism are powerfully made and concisely and lucidly set out. The authors' contentions and their methodological approach--products of a decade-long collaboration--will generate lively debate among scholars in metaphysics, ontology, and philosophy. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided (...) by situation semantics has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

Assume that the only thing before you is a statue made of some alloy. Call those who think that there is one thing before you in such a case monists. Call those who think there are at least two things before you in such a case pluralists. The most common arguments for pluralism run as follows. The statue is claimed to have some property P that the piece of alloy lacks (or vice versa), and hence it is concluded that they (...) are distinct. Most often, the predicates employed in such arguments to express the crucial property are predicates expressing ‘temporal properties’, such as existing at a certain time; or ‘modal properties’, such as possibly being spherical; or ‘constitution properties’, such as being made of a certain sort of material. In a recent paper, Kit Fine has noted that such predicates suffer from various defects that make it possible for the monist to plausibly resist the relevant versions of the pluralist's arguments. For this reason, Fine considers a number of predicates that do not suffer from these defects, and constructs new versions of the above argument using them. Fine argues that any attempt on the monist's part to resist his versions of the argument force the monist to adopt implausible positions in the philosophy of language. As against this, I argue that the monist has perfectly plausible responses to Fine's arguments that require the monist to adopt only quite reasonable positions in the philosophy of language. (shrink)