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)

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

In the standard approach to quantum mechanics, closed subspaces of a Hilbert space represent propositions. In the operational approach, closed subspaces are replaced by effects that represent a mathematical counterpart for properties which can be measured in a physical system. Effects are a proper generalization of closed subspaces. Effects determine a Brouwer-Zadeh poset which is not a lattice. However, such a poset can be embedded in a complete Brouwer-Zadeh lattice. From an intuitive point of view, one can say that these (...) structures represent a natural logical abstraction from the structure of propositions of a quantum system. The logic that arises in this way is Brouwer-Zadeh logic. This paper shows that such a logic can be characterized by means of an algebraic and a Kripkean semantics. Finally, a strong completeness theorem for BZL is proved. (shrink)

Counterfactual analysis of causation between particular events, combined with standard semantics for counterfactual conditionals, cannot express the idea that the cause is sufficient for the effect. Several authors have suggested that a more complex pattern of nested counterfactual conditionals is a better candidate for expressing the idea of causal connection. The most systematic account is developed by Kadri Vihvelin. She argues that a complex pattern of causal dependence, expressed by embedded conditionals, covers all the cases of causation and still yields (...) an account of causal asymmetry. But the new account relies heavily on the use of backtracking conditionals, and no criterion is given for their evaluation. I will try to show that Vihvelin’s proposal is not superior to the standard account because it overlooks the disadvantages of a liberal theory of causal relata. (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)

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)

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)

Kant’s Critique of Pure Reason contains an original and powerful semantics of singular cognitive reference which has important implications for epistemology and for philosophy of science. Here I argue that Kant’s semantics directly and strongly supports Newton’s Rule 4 of Philosophy in ways which support Newton’s realism about gravitational force. I begin with Newton’s Rule 4 of Philosophy and its role in Newton’s justification of realism about gravitational force (§2). Next I briefly summarize Kant’s semantics of singular cognitive reference (§3), (...) and then show that it is embedded in and strongly supports Newton’s Rule 4, and that it rules out not only Cartesian physics (per Harper) but also Cartesian, infallibilist presumptions about empirical justification generally (§4). This result exposes a key fallacy in Bas van Fraassen’s original argument for his anti-realist Constructive Empiricism (§5). (shrink)

Expressivism faces four distinct problems when evaluative sentences are embedded in unassertive contexts like: If lying is wrong, getting someone to lie is wrong, Lying is wrong, so Getting someone to lie is wrong. The initial problem is to show that expressivism is compatible with - being valid. The basic problem is for expressivists to explain why evaluative instances of modus ponens are valid. The deeper problem is to explain why a particular argument like - is valid. The deepest problem (...) is to explain the meanings of evaluative conditionals like . Expressivists can solve the initial and basic problems simply by acknowledging that evaluative sentences have minimal truth aptness, but the deeper and deepest problems require more. The deepest problem cannot be solved even with the semantics of Gibbard and Blackburn, as is shown by an extension of Dreier’s hiyo argument. (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)

This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by (...) formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np (num: sg & pers: 3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete. (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)

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)

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)

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)

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)

Sentence comprehension involves maintaining and continuously integrating linguistic information and, thus, makes demands on working memory. Past research has demonstrated that semantic WM, but not phonological WM, is critical for integrating word meanings across some distance and resolving semantic interference in sentence comprehension. Here, we examined the relation between phonological and semantic WM and the comprehension of center-embedded relative clause sentences, often argued to make heavy demands on WM. Additionally, we examined the relation between phonological and (...) class='Hi'>semantic WM and the comprehension of transitive and dative active and passive sentences, which may also draw on WM resources depending on the number of propositions that must be maintained and the difficulty of processing passive clauses. In a large sample of individuals with aphasia, we assessed whether comprehension performance on more complex vs. simpler active-passive or embedded relative clause sentences would be predicted by semantic but not phonological WM when controlling for single word comprehension. For performance on the active-passive comprehension task, we found that semantic WM, but not phonological WM, predicted comprehension of dative sentences when controlling for comprehension of transitive sentences. We also found that phonological WM, but not semantic WM, predicted mean comprehension for reversible active-passive sentences when controlling for trials with lexical distractors. On the relative clause comprehension task, consistent with prior results, we found that semantic WM, but not phonological WM, predicted comprehension of object relative clause sentences and relative clause sentences with a passive construction. However, both phonological WM and semantic WM predicted mean comprehension across all relative clause types for reversible trials when controlling for trials with lexical distractors. While we found evidence of semantic WM’s role in comprehension, we also observed unpredicted relations between phonological WM and comprehension in some conditions. Post-hoc analyses provided preliminary evidence that phonological WM maintains a backup phonological representation of the sentence that may be accessed when sentence comprehension processing is less efficient. Future work should investigate possible roles that phonological WM may play across sentence types. (shrink)

Scholars concerned with the foundations of quantum mechanics (QM) usually think that contextuality (hence nonobjectivity of physical properties, which implies numerous problems and paradoxes) is an unavoidable feature of QM which directly follows from the mathematical apparatus of QM. Based on some previous papers on this issue, we criticize this view and supply a new informal presentation of the extended semantic realism (ESR) model which embodies the formalism of QM into a broader mathematical formalism and reinterprets quantum probabilities as (...) conditional on detection rather than absolute. Because of this reinterpretation a hidden variables theory can be constructed which justifies the assumptions introduced in the ESR model and proves its objectivity. When applied to special cases the ESR model settles long-standing conflicts (it reconciles Bell’s inequalities with QM), provides a general framework in which previous results obtained by other authors (as local interpretations of the GHZ experiment) are recovered and explained, and supports an interpretation of quantum logic which avoids the introduction of the problematic notion of quantum truth. (shrink)

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)

Non-cognitivism is an approach to metaphor that denies the existence of any metaphorical meanings. A metaphor’s only meaning is its literal meaning. The interpretation of metaphor, on this approach, does not consist in metaphorical contents being communicated by being either semantically encoded or pragmatically communicated. Rather, metaphor operates in an entirely non-linguistic way that does not require the postulation of such meanings. Metaphors cause people to see connections, even to grasp new thoughts, but they do not do so by meaning (...) those thoughts or connections. Non-cognitivism faces a stern challenge from the problem of embedding: metaphors embedded in propositional attitude reports seem to require metaphorical meanings in their truth conditions. In this paper, we argue that existing attempts to solve this problem for non-cognitivism have been unsuccessful. We then offer a new solution that differentiates two scope readings of embedded metaphors and explains each in turn. The paper thus suggests that non-cognitivism has enough rescores to account for embedded metaphors. (shrink)

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.

1 INTIMACY Among Descartes's most and consequential achievements has been his of the mental as an independent ontological domain. By taking the mind as a substance, with cognitions as its modes, he accorded them a status as self-standing and determinate on their own, without essential regard to other entities. Only with this metaphysical conception in place, could the idea of solipsism-the idea of an intact ego existing with nothing else in the universe-so much as make sense. And behind that engine (...) have trailed the sorry boxcars of hyperbolic doubt. the mind-body problem, the problem of the external world, the problem of other minds, and so on. -/- Although the assumptions have been under fire, off and on. at least since Hegel-including with renewed intensity in recent years … the Cartesian separation that is still so pervasive as to be almost invisible. In particular, inter-relationist accounts retain a principled distinction between the mental and the corporeal-a distinction that is reflected in contrasts like semantics versus syntax, the space of reasons versus the space of causes, or the intentional versus the physical. (Notice that each of these contrasts can be heard either as higher versus lower’ level" or as inner versus outer 'sphere‘.) The contrary of this separation-or battery of separations-is not inter-relationist holism but something that I would like to call the intimacy of the mind's embodiment and embeddedness in the world. The term 'intimacy' is meant to suggest more than just necessary interrelation or interdependence but a kind of commingling or integralness of mind, body,and world-that is, to undermine their very distinctness. The challenge is as much to spell out what this could mean as to make a case for it. Indeed, no sooner does such a possibility seem intelligible at all, than ways bring out its plausibility and significance turn up everywhere. -/- There is little original in what follows. The strategy will be to bring some well known principles of systems analysis to bear on the mind- body-world 'system' in a way that refocuses questions of division and unity, and then to canvas a selection of investigations and proposals - some fairly recent, others not-in the light of this new focus. The hope is that these superficially disparate ideas, none of them new, will seem to converge around the theme of intimacy in a way that illuminates and supports them all. Sorting and and aligning issues in this manner has sometimes been discussed under titles like 'embedded computation’ and 'situated cognition'. (shrink)

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)

This paper shows how proof nets can be used to formalize the notion of incomplete dependency used in psycholinguistic theories of the unacceptability of center embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incremental semantic interpretation.

This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificational) argument dependencies are operator-variable dependencies. The interesting twist the paper offers is to eliminate the need for syntax that serves to enforce what the operator-variable dependencies are. Instead the role of ensuring grammatical and generally unambiguous forms is taken up by semantics imposing what are dependency requirements for any interpretation to go through at (...) evaluation time. With this viewpoint there emerges an essential need for localities as the hiding of (embedded) expression material, together with a (limited) form of garbage collection to release grammatical resources used in the current locality for reuse in subsequent localities. (shrink)

Sentences with disjunction in the scope of a universal quantifier, Every A is P or Q, tend to give rise to distributive inferences that each of the disjuncts holds of at least one individual in the domain of the quantifier, Some A is P & Some A is Q. These inferences are standardly derived as an entailment of the meaning of the sentence together with the scalar implicature that it is not the case that either disjunct holds of every individual (...) in the domain of the quantifier, \Every A is P &\Every A is Q. As we show, this derivation faces a challenge in that distributive inferences may obtain in the absence of plain negated inferences. We address this challenge by showing that on particular assumptions about alternatives, a derivation of distributive inferences as scalar implicatures can be maintained without in fact necessitating plain negated inferences. These assumptions accord naturally with the grammatical approach to scalar implicatures. We also present experimental data that suggest that plain negated inferences are not only unnecessary for deriving distributive inferences, but might in fact be unavailable. (shrink)

Multiplex networks have been widely used in information diffusion, social networks, transport, and biology multiomics. They contain multiple types of relations between nodes, in which each type of the relation is intuitively modeled as one layer. In the real world, the formation of a type of relations may only depend on some attribute elements of nodes. Most existing multiplex network embedding methods only focus on intralayer and interlayer structural information while neglecting this dependence between node attributes and the topology (...) of each layer. Attributes that are irrelevant to the network structure could affect the embedding quality of multiplex networks. To address this problem, we propose a novel multiplex network embedding model with high-order node dependence, called HMNE. HMNE simultaneously considers three properties: intralayer high-order proximity of nodes, interlayer dependence in respect of nodes, and the dependence between node attributes and the topology of each layer. In the intralayer embedding phase, we present a symmetric graph convolution-deconvolution model to embed high-order proximity information as the intralayer embedding of nodes in an unsupervised manner. In the interlayer embedding phase, we estimate the local structural complementarity of nodes as an embedding constraint of interlayer dependence. Through these two phases, we can achieve the disentangled representation of node attributes, which can be treated as fined-grained semantic dependence on the topology of each layer. In the restructure phase of node attributes, we perform a linear fusion of attribute disentangled representations for each node as a reconstruction of original attributes. Extensive experiments have been conducted on six real-world networks. The experimental results demonstrate that the proposed model outperforms the state-of-the-art methods in cross-domain link prediction and shared community detection tasks. (shrink)

This papers presents a compositional semantic analysis of interrogatives clauses in LTAG (Lexicalized Tree Adjoining Grammar) that captures the scopal properties of wh- and nonwh-quantificational elements. It is shown that the present approach derives the correct semantics for examples claimed to be problematic for LTAG semantic approaches based on the derivation tree. The paper further provides an LTAG semantic derivation of interrogative clauses under question embedding verbs.

Semantic memory encompasses one's knowledge about the world. Distributional semantic models, which construct vector spaces with embedded words, are a proposed framework for understanding the representational structure of human semantic knowledge. Unlike some classic semantic models, distributional semantic models lack a mechanism for specifying the properties of concepts, which raises questions regarding their utility for a general theory of semantic knowledge. Here, we develop a computational model of a binary semantic classification task, in (...) which participants judged target words for the referent's size or animacy. We created a family of models, evaluating multiple distributional semantic models, and mechanisms for performing the classification. The most successful model constructed two composite representations for each extreme of the decision axis (e.g., one averaging together representations of characteristically big things and another of characteristically small things). Next, the target item was compared to each composite representation, allowing the model to classify more than 1,500 words with human‐range performance and to predict response times. We propose that when making a decision on a binary semantic classification task, humans use task prompts to retrieve instances representative of the extremes on that semantic dimension and compare the probe to those instances. This proposal is consistent with the principles of the instance theory of semantic memory. (shrink)