The paper discusses three different ways of explaining the referential stability of concepts of physics. In order to be successful, an approach to referential stability has to provide resources to understand what constitutes the difference between the birth of a new concept with a history of its own, and an innovative step occurring within the lifetime of a persisting concept with stable reference. According to Theodore Arabatzis' 'biographical' approach (Representing Electrons 2006), the historical continuity of representations of the electron manifests (...) itself by the numerical stability of experimental parameters like the charge-to-mass ratio, and the continued acceptance of earlier experiments as manifestations of electron properties. I argue, against Arabatzis' approach, that the stability of experimental parameters justifies the assumption that there exists a chain of representations of a unique theoretical entity only if this stability occurs against the background of evidence for theoretical continuity. The Bain/Norton approach proposes to add exactly this element to the picture, but fails to reach its aim by focusing on formal similarities of Hamiltonians as an indicator of theoretical continuity. I shall argue that theoretical continuity has to be demonstrated rather on the level of particular solutions. This task is accomplished by the semantic embedding approach by means of defining a co-reference criterion for theoretical terms requiring the existence of semantic embedding relations between the terms that occur in particular solutions of different theories. (shrink)

This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of their own. I conclude (...) by considering how a modified Gricean model can explain that irony embeds qua implicature. This leads us to prefer a local implicature model. This has important consequences for how we draw the semantics/pragmatics distinction. (shrink)

This study examines whether embedding predicates’ semantic type affects the acceptability of internally headed relative clauses (IHRCs) in Korean. Existing studies on Korean IHRCs have primarily focused on their highly limited distribution, employing three research approaches to understand their restricted use: (i) explaining their formal restrictions using a set of rules; (ii) describing how they are used with naturally occurring data; (iii) refuting their existence as an independent construction in Korean by providing alternative explanations for how the interpretation of (...) IHRCs is construed. Although these approaches have significantly enhanced the understanding of the use of IHRCs in Korean, whether a specific semantic type of embedding predicates renders an IHRC construal in a more acceptable manner has not been explored. To address this research gap, we conducted an acceptability judgment task. The results showed significantly higher acceptability, compared to the control condition, for predicates implying physical contact between entities but not for those that do not. This finding may indicate that Korean IHRCs serve as an example of a partially productive or verb-class-specific construction. This study contributes to the understanding of partial productivity or local generalization in language use and the interaction between a human and an object. (shrink)

Our paper addresses the following question: Is there a general characterization, for all predicates P that take both declarative and interrogative complements , of the meaning of the P-interrogative clause construction in terms of the meaning of the P-declarative clause construction? On our account, if P is a responsive predicate and Q a question embedded under P, then the meaning of ‘P + Q’ is, informally, “to be in the relation expressed by P to some potential complete answer to Q”. (...) We show that this rule allows us to derive veridical and non-veridical readings of embedded questions, depending on whether the embedding verb is veridical or not, and provide novel empirical evidence supporting the generalization. We then enrich our basic proposal to account for the presuppositions induced by the embedding verbs, as well as for the generation of intermediate exhaustive readings of embedded questions. (shrink)

Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > (Q > R) is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should (...) be understood as showing that the example is an exception to Lewis’s Time’s Arrow requirements. (shrink)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.

This volume presents studies on pronouns in embedded contexts, and offers fundamental insights into this central area of research. Much of the recent research on pronouns has shown that embedded environments, such as clausal complements of attitude predicates, provide a window into the nature of pronouns. Pronouns in such environments not only exhibit familiar distinctions such as that between bound and referential pronouns; if they refer to the attitude holder, they also participate in a broader range of phenomena, e.g., distinguishing (...) between a de se reading and a de re reading. Topics covered include: the semantics of attitude reports that contain pronominal elements, the semantics of pronominal features and their connection to indexicality, new insights in the connection of pronominal typology and logophoricity or anti-logophoricity, and finally, the localization of embedded pronouns within a bigger picture involving the nature of perspective and the analysis of quasi-pronominal phenomena such as sequence of tense. (shrink)

We propose a novel semantic analysis of the verb to know that takes the idea of question orientation of interrogative-embedding predicates to the limit. The new analysis conceptualizes knowledge as a judgment about an ability to answer questions and not as a sort of belief. This way the fact that the argument of to know is a question becomes crucial for the analysis of what knowledge is. The proposal naturally derives the different exhaustive interpretations of embedded questions from an (...) interaction between the lexical semantics of the embedding predicates and a novel pragmatic principle. It also offers an explanation for several puzzles about question embedding under to know and seems easily extendable to other question-embedding verbs. (shrink)

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. (...) Forces are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

ABSTRACTWide-ranging semantic flexibility is often considered a magic cure for contextualism to account for all kinds of troubling data. In particular, it seems to offer a way to account for our intuitions regarding embedded perspectival sentences. As has been pointed out by Lasersohn [2009. “Relative Truth, Speaker Commitment, and Control of Implicit Arguments.” Synthese 166 : 359â374], however, the semantic flexibility does not present a remedy for all kinds of embeddings. In particular, it seems ineffective when it (...) comes to embeddings under operators with truth evaluative adverbs such as ‘correctly believes that’ and ‘incorrectly believes that’ and under factive verbs. This paper takes a closer look at the problematic embedding data with respect to predicates of personal taste. It argues that there is indeed no semantic solution for contextualism but a pragmatic way out. (shrink)

It is shown that a set of semi-recursive logics, including many fragments of CL, can be embedded within CL in an interesting way. A logic belongs to the set iff it has a certain type of semantics, called nice semantics. The set includes many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with respect to (...) CL are turned into partial decision methods that are goal directed with respect to the embedded logics. (shrink)

The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of (...) semantic automata in linguistic theory and offer new empirical predictions for sentence processing with embedded quantifiers. (shrink)

The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of (...) semantic automata in linguistic theory and offer new empirical predictions for sentence processing with embedded quantifiers. (shrink)

This paper introduces a universal Meta-Language framework that integrates human, mathematical, programming, and animal languages across time. Each linguistic unit (word) is modeled as a topological knot with a fingerprint and an associated Seifert surface, embedded within a cryptographically committed graph. Using zero-knowledge proofs (ZKPs), we demonstrate that every word either reaches a designated conceptual region or faces extinction. Leveraging Zeckendorf's theorem, we establish that embedding matrices derived from Seifert surfaces can be uniquely represented in Fibonacci dimensions, providing a structured (...) and scalable growth pattern for semantic embeddings. Additionally, we present a new theorem on Meta-Language Completeness & Byzantine Resolution, asserting that practical completeness of a language requires a Byzantine-resilient consensus mechanism enacted in response to endogenous linguistic desire. -/- To make the dense interplay of topology, cryptography, and linguistics more accessible, we include step-by-step examples (e.g., modeling "love" as a trefoil knot) and simple visualizations throughout. (shrink)

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide a (...) semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave ‘classically’ when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising (...) the target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, comparatives, (...) and many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content of restrictions (...) to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)

We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to (...) linguistic phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

I plot accounts of slurs on a [semanticist – non-semanticist] spectrum, and then I give some original arguments in favor of semanticist approaches. Two core, related pro-semanticist considerations which animate this work are: first, that the pejorative dimension of a slur is non-cancellable; and, second, that ignorance of the pejorative dimension should be counted as ignorance of literal, linguistic meaning, as opposed to a mistake about conditions for appropriate usage. I bolster these considerations via cases in which slurs are embedded (...) within complex constructions, in which cases the pejorative dimension of a slur gets ensnared within the compositional semantic machinery. (shrink)

An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees with multiple distinct ordering relations between them. The theoretical motivation is to demonstrate that many-valued logics, like other non-classical logics, can be elegantly modeled (and even combined) as fragments of classical higher-order logic. Equally relevant are the pragmatic aspects of the presented approach: interactive and automated reasoning in many-valued (...) logics, which have broad applications in computer science, artificial intelligence, linguistics, philosophy and mathematics, become readily enabled with state of the art reasoning tools for classical higher-order logic. (shrink)

The goal of this paper is to offer a compositional semantics for subjunctive and indicative will conditionals, and to derive the projection properties of the types of conditionals we consider and in particular those of counterfactual conditionals. It is argued that subjunctive conditionals are "bare" conditional embedded under temporal and aspectural operators, which constrain the interpretation of the modal operators in the embedded conditional. Furthermore, it is argued that a theory of presupposition projection à la Heim together with the present (...) proposal about their logical form explains the projection facts. (shrink)

In this paper, we study natural language constructions which were first examined by Barwise: The richer the country, the more powerful some of its officials. Guided by Barwise’s observations, we suggest that conceivable interpretations of such constructions express the existence of various similarities between partial orders such as homomorphism or embedding. Semantically, we interpret the constructions as polyadic generalized quantifiers restricted to finite models. We extend the results obtained by Barwise by showing that similarity quantifiers are not expressible in elementary (...) logic over finite models. We also investigate whether the proposed readings are sound from the cognitive perspective. We prove that almost all similarity quantifiers are intractable. This leads us to first-order variants, which only approximate the strong readings, but are cognitively more plausible. Driven by the question of ambiguity, we recall Barwise’s argumentation in favour of strong readings, enriching it with some arguments of our own. Given that Barwise-like sentences are indeed ambiguous, we use a generalized Strong Meaning Hypothesis to derive predictions for their verification. Finally, we propose a hypothesis according to which conflicting pressures of communication and cognition might give rise to an ambiguous construction, provided that different semantic variants of the construction withstand different pressures involved in its usage. (shrink)

This study investigates whether word embeddings -- language models that transform words into numerical vectors based on distributional patterns -- constitute genuine semantic representations grounded in structural reality, or merely sophisticated statistical artifacts. To address this fundamental question in computational linguistics and philosophy of mind, we developed a novel microsimulation methodology using a virtual `supermarket' with known spatial topology comprising four departments (fruit, vegetables, beverages, extras) across forty networked shelves. Computer simulations of 80,000 `shoppers' navigating this space generated (...) unique sentences from their shopping trajectories, creating a corpus where language users metaphorically `shop' for words during sentence formulation. -/- When the GloVe embedding algorithm was applied to this artificial corpus -- derived purely from distributional co-occurrence patterns without external semantic annotation -- the model successfully reconstructed the original (hidden) supermarket layout with remarkable fidelity, correctly identified departmental clusters, and preserved spatial relationships between products. Dimensionality reduction of the 50-dimensional embedding space revealed striking one-to-one correspondence with the ground-truth network topology across all product variants, demonstrating distributional robustness. -/- From a philosophical perspective, these findings contribute empirically to debates about statistical pattern recognition versus genuine semantic understanding. The successful structural recovery suggests the distributional hypothesis may capture more profound relational properties than critics acknowledge, though questions remain about whether such correspondence constitutes authentic grounding in real-world conceptual frameworks or sophisticated pattern matching disconnected from experiential meaning dimensions. -/- The theoretical framework draws upon Shannon's information theory and minimum description length principles, suggesting that optimal data compression underlying embedding generation may naturally align with discovering generative structures. This implies Occam's razor may operate as a computational pathway toward semantic representation, though whether this achieves genuine intentionality remains philosophically contested. These results have implications for contemporary debates about artificial intelligence, computational semantics, and machine understanding. (shrink)

The vocabulary for describing odors in English natural language is not well understood, as prior studies of odor descriptions have often relied on preselected descriptors and odor ratings. Here, we present a data-driven approach that automatically identifies English odor descriptors based on their degree of olfactory association, and derive their semantic organization from their distributions in natural texts, using a distributional-semantic language model. We identify 243 descriptors that are much more strongly associated with olfaction than English words in (...) general. We then derive the semantic organization of these olfactory descriptors, and find that it is captured by four clusters that we name Offensive, Malodorous, Fragrant, and Edible. The semantic space derived from our model primarily differentiates descriptors in terms of pleasantness and edibility along which our four clusters are positioned, and is similar to a space derived from perceptual data. The semantic organization of odor vocabulary can thus be mapped using natural language data (e.g., online text), without the limitations of odor-perceptual data and preselected descriptors. Our method may thus facilitate research on olfaction, a sensory system known to often elude verbal description. (shrink)

I here propose a hitherto unnoticed possibility of solving embedding problems for noncognitivist expressivists in metaethics by appeal to Conceptual Role Semantics. I show that claims from the latter as to what constitutes various concepts can be used to define functions from states expressed by atomic sentences to states expressed by complex sentences, thereby allowing an expressivist semantics that satisfies a rather strict compositionality constraint. The proposal can be coupled with several different types of concept individuation claim, and is shown (...) to pave the way to novel accounts for, e.g., negation. (shrink)

In this paper, I address the idea that certain sentences suffer from what is generally called semantic unspecificity: their meaning is determinate, but their truth conditions are not. While there tends to be agreement on the idea that semantic unspecificity differs from phenomena such as ambiguity and vagueness, some theorists have defended an account which traces it to indexicality, broadly construed. Some authors have tried to vindicate the distinction between unspecificity and indexicality and, in this paper, I pursue (...) the same cause, but with a critical stance towards previously employed strategies. I urge that the central argument employed by Sainsbury to trace this difference fails suitably to set unspecificity apart from indexicality and I propose a new argument, which helps to trace this distinction more perspicuously. The argument is based on embeddings of indexical and unspecific expressions within modal operators and on the ways in which the truth conditions of utterances of the resulting, complex expressions are thereby affected. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that the (...) two-dimensional semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

Estimating word complexity is a well-established task in computer-assisted language learning. So far, however, complexity estimation has been largely limited to comprehension. This neglects words that are easy to comprehend, but hard to produce. We introduce semantic error prediction (SEP) as a novel task that assesses the production complexity of content words. Given the corrected version of a learner-produced text, a system has to predict which content words replace tokens from the original text. We present and analyse one example (...) of such a semantic error prediction dataset, which we generate from an error correction dataset. As neural baselines, we use BERT, RoBERTa, and LLAMA2 embeddings for SEP. We show that our models can already improve downstream applications, such as predicting essay vocabulary scores. (shrink)

Conditionals with conditional constituents pose challenges for _the Thesis_, the idea that the probability of a conditional is the corresponding conditional probability. This note is concerned with two proposals for overcoming those challenges, both inspired by early work of van Fraassen: the _Bernoulli Semantics_ associated with Stalnaker and Jeffrey, and augmented with a mechanism for obtaining “local probabilities” by Kaufmann; and a proposal by Bacon which I dub _Ordinal Semantics_. Despite differences in mathematical details and emphasis of presentation, both proposals (...) lend themselves for use as a basis for a modal-theoretic interpretation of embedded conditionals. The goal of this note is to compare the two frameworks by implementing a model for the interpretation of conditionals in each, based on the same underlying probability model for non-conditional sentences. I show that in the Ordinal model, certain sentences are assigned probabilities that do not accord with intuitions. This problem is familiar from the literature on Bernoulli models and can be addressed by introducing Kaufmann-style local probabilities into Ordinal models. I then show that Bernoulli Semantics has other limitations, in that it assigns probabilities in violation of the Thesis to certain very complex formulas. The upshot is that a fusion of the theories may be our best shot at getting the predictions right. (shrink)

This paper motivates and develops a novel semantics for several epistemic expressions, including possibility modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it assigns sets of probability spaces as sentential semantic values. I argue that what my theory lacks in conservatism is made up for by its strength. In particular, my semantics accounts for the distinctive behavior of nested epistemic modals, indicative conditionals embedded under probability operators, and instances of constructive (...) dilemma containing epistemic vocabulary. (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)

Legal decision prediction is a judicial assistance system that recommends the decision components, such as applicable statutes, prison, and penalty, by examining the given case document, named fact description. The worldwide judicial system is facing a pressing need for technical assistance that addresses the mounting backlog of cases across diverse courts. This paper explores deep learning techniques to create a decision support system that enhances the technical support for the judicial system by integrating artificial intelligence and ambient technologies. Most existing (...) works on the judicial system did not adequately concentrate on the semantics embedded in the fact description that impact the decision. The proposed framework provides the advantages of pre-trained transformers for understanding complex, unstructured, lengthy legal documents. The model draws the in-depth semantics of the given fact description at multiple levels, i.e., chunk and case document level, by following the divide and conquer approach. It creates a concise view of the given fact description using the multi-stage semantic learning framework as per the original court case document structure, then predicts the judgment. We tested the model’s performance on two Indian datasets and got promising results. The model achieved a 5.97% improvement on the Indian legal documents corpus dataset and reduced performance degradation with extended training epochs compared to existing approaches. It significantly decreased the code execution time, resulting in lower consumption of system resources like the GPU and memory. The model outperformed several baselines, with an improvement of 10.61% over the Indian legal statute identification dataset. (shrink)

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)

Speech acts have sometimes been considered as unembeddable, for principled reasons. In this paper, I argue that speech acts can be embedded under certain circumstances. In particular, I consider denegation and conjunction of speech acts, quantification into speech acts, conditionalization of speech acts, the embedding of speech acts by verbs like say and wonder, speechact-modifying adverbials like frankly, clauses commenting on speech acts, like certain uses of because-clauses, parentheticals, and appositive relative clauses. A crucial distinction is made between speech acts (...) and speech act potentials, linguistic objects that can be used to perform speech acts when applied in a specific communicative situation. I develop a semantic theory in which speech act potentials are captured as semantic functions that change a world-time index, reflecting the nature of speech acts as events that happen in the world. As index changers, speech act potentials become nearly regular semantic objects, with a proper semantic type on which other semantic objects can operate on. In this way, speech acts (or rather, speech-act potentials) become part of the recursive structure of language. (shrink)

This paper discusses the semantically parenthetical use of clauseembedding verbs such as see, hear, think, believe, discover and know. When embedding verbs are used in this way, the embedded clause carries the main point of the utterance, while the main clause serves some discourse function. Frequently, this function is evidential, with the parenthetical verb carrying information about the source and reliability of the embedded claim, or about the speaker’s emotional orientation to it. Other functions of parenthetical uses of verbs are (...) discussed. (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).

This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate (...) quantification into belief-contexts. I close with skirmishes against the threat posed by the Liar Paradox. (shrink)

Fodor's and Pylyshyn's stand on systematicity in thought and language has been debated and criticized. Van Gelder and Niklasson, among others, have argued that Fodor and Pylyshyn offer no precise definition of systematicity. However, our concern here is with a learning based formulation of that concept. In particular, Hadley has proposed that a network exhibits strong semantic systematicity when, as a result of training, it can assign appropriate meaning representations to novel sentences (both simple and embedded) which contain words (...) in syntactic positions they did not occupy during training. The experience of researchers indicates that strong systematicity in any form is difficult to achieve in connectionist systems. Herein we describe a network which displays strong semantic systematicity in response to Hebbian, connectionist training. During training, two-thirds of all nouns are presented only in a single syntactic position (either as grammatical subject or object). Yet, during testing, the network correctly interprets thousands of sentences containing those nouns in novel positions. In addition, the network generalizes to novel levels of embedding. Successful training requires a, corpus of about 1000 sentences, and network training is quite rapid. The architecture and learning algorithms are purely connectionist, but ‘classical’ insights are discernible in one respect, viz, that complex semantic representations spatially contain their semantic constituents. However, in other important respects, the architecture is distinctly non-classical. (shrink)

In this article I offer a naturalistic defence of semantic externalism. I argue against the following: (1) arguments for externalism rest mainly on conceptual analysis; (2) the community conceptual norms relevant to individuation of propositional attitudes are quasi-analytic; (3) externalism raises serious questions about knowledge of propositional attitudes; and (4) externalism might be OK for “folk psychology” but not for cognitive science. The naturalist alternatives are as follows. (1) Community norms are not anything like a priori; sometimes they are (...) incoherent. (2) Often propositional attitudes lack determinate content: we do not know the content of thoughts or sentences because there is no fully definite content to be known. (3) Often achieving determinate content is a major socially mediated cognitive achievement that depends on just the factors of social and environmental embedding posited as individuative by externalists, so (4) externalism explains how people can, sometimes, come to have, and to know, determinate attitude contents. (5) Reference and content, for both thought and language, are determined by complex and messy dialectical relations involving many such environmental and social factors; consequently, determinate reference, truth-conditions, etc., are somewhat uncommon outcomes. (6) The basic semantic relation is (typically imperfect) socially mediated accommodation between perceptual, cognitive, linguistic, classificatory and inferential dispositions and relevant causal structures in the environment. (7) This accommodation explains how concepts, language, taxonomies, etc., contribute to individuals' rational inductive, explanatory and practical achievements. (8) So externally individuated propositional attitudes are required for cognitive science explanations of individual human rationality and its inductive and explanatory achievements. “Individual rationality ain't (entirely) in the individual head.”. (shrink)

Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin, Wolfram, Chaitin, Lloyd). In expanding its domains from abstract logical symbol manipulation to physical embedded and networked devices, computing goes beyond Church-Turing limit (Copeland, Siegelman, Burgin, Schachter). Computational processes are distributed, reactive, interactive, agent-based and concurrent. The main criterion of success of computation is not its termination, but the adequacy of its (...) response, its speed, generality and flexibility; adaptability, and tolerance to noise, error,faults, and damage. Interactive computing is a generalization of Turing computing, and it calls for new conceptualizations (Goldin, Wegner). In the info-computationalist framework, with computation seen as information processing, natural computation appears as the most suitable paradigm of computation and information semantics requires logical pluralism. (shrink)

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

Linguists have realised for some time that predicates of the 'know' and 'wonder' classes behave differently in semantic terms with respect to their interrogative complements, but have not so far fully understood how or why. This book seeks to explore and to provide solutions to this and to related problems in explaining the meaning and grammar of embedded interrogatives and the predicates that take interrogative complements (indirect questions and how their answers contribute to the meaning of expressions containing them).