One of the central issues in linguistics is whether or not language should be considered a self-contained, autonomous formal system, essentially reducible to the syntactic algorithms of meaning construction (as Chomskyan grammar would have it), or a holistic-functional system serving the means of expressing pre-organized intentional contents and thus accessible with respect to features and structures pertaining to other cognitive subsystems or to human experience as such (as Cognitive Linguistics would have it). The latter claim depends critically on the (...) existence of principles governing the composition of semantic contents. Husserl''s fourth Logical Investigation is well known as a genuine precursor for Chomskyan grammar. However, I will establish the heterogeneous character of the Investigation and show that the whole first part of it is devoted to the exposition of a semantic combinatorial system cognate to the one elaborated within Cognitive Linguistics. I will thus show how theoretical results in linguistics may serve to corroborate and shed light on those parts of Husserl''s Fourth Investigation that have traditionally been dismissed as vague or simply ignored. (shrink)

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to (...) mean what they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

The article is devoted to the description of the differences in the conceptualization of space observed in informants, large language models and computer vision models capable of generating a text describing what they “saw”. We use the concept of a cognitive agent and substantiate the distinction between “natural vs artificial cognitive agent”: the first is understood as a person, the second is an AI model capable of making decisions and performing tasks adequately in a given situation. The aim of the (...) study is to compare the ways of understanding the location of an object in space in natural cognitive agents and artificial cognitive agents of two types: large language models and models created for Image to Text task. The main methods are the method of linguistic experiment and the method of semantic description based on the theory of topological semantics by L. Talmi. As an incentive material, six paintings from the collection of the State Hermitage Museum were used, divided into three groups: portraits, monofigure paintings on mythological or religious themes, and multifigure compositions. The participants of the experiments were: 63 informants (Mean age = 19.1, 48 females, 15 males), 5 LLMs, 6 Image to Text models based on computer vision technology and capable of generating descriptions of recognized images in English. Using the typology of configurational topological schemes and “figure – background” type schemes, we compared the ways of understanding space that the models rely on. As a result, we have formulated a number of conclusions, the most important of which is that natural cognitive agents differ from artificial cognitive agents in its ability to integrate the process of conceptualization of an object in space into other cognitive processes: entity recognition and categorization, attention mechanisms, awareness of cause-and-effect relationships. Artificial cognitive agents are only learning such integrativity and mutual coordination, for example, when generative models conceptualize those objects in which they are not sure, since these are products of hallucination, as objects with fuzzy boundaries, and Image to Text models combine into a single heterogeneous human object and the most striking original detail of its environment, because they “believe” that this is the most important thing for description tasks. (shrink)

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

Jackendoff (1987, 1990) has brought up various problems with the current use of thematic roles (Kiparsky, 1987; Bresnan & Kanerva, 1989 and references cited therein) and suggested a different way of thinking of thematic roles as structural configurations in his semantic Lexical Conceptual Structures (LCSs). Conversely, Joshi (1989) has claimed that Jackendoff’s LCSs alone are insufficient, and that an analysis of certain facts in Marathi additionally requires the existence of a level of predicate-argument structure (PAS). Below we will mention (...) a few of Jackendoff’s arguments against the current conception of thematic roles. We will then look at Joshi’s arguments about the necessity of a level of PAS in addition to LCS and conclude that providing Jackendoff’s LCSs are integrated into a suitable syntactic theory, neither of her points are problematic to Jackendoff.1 From there we will go on to re-examine some of the facts of Marathi, and show that certain facts that have merely been stipulated or left unanalyzed when using thematic roles, receive a rather elegant treatment when described via a combination of their syntax and LCS. (shrink)

What is the nature of lexical meanings such that they can both compose with others and also appear boundless? We investigate this question by examining the compositional properties of for-time adverbial as in “Ana jumped for an hour.” At issue is the source of the associated iterative reading which lacks overt morphophonological support, yet, the iteration is not disconnected from the lexical meanings in the sentence. This suggests an analysis whereby the iterative reading is the result of the interaction between (...) lexical meanings under a specific compositional configuration. We test the predictions of two competing accounts: Mismatch-and-Repair and Partition-Measure. They differ in their assumptions about lexical meanings: assumptions that have implications for the possible compositional mechanisms that each can invoke. Mismatch-and-Repair assumes that lexical meaning representations are discrete, separate from the conceptual system from which they originally emerged and brought into sentence meaning through syntactic composition. Partition-Measure assumes that lexical meanings are contextually salient conceptual structures substantially indistinguishable from the conceptual system that they inhabit. During comprehension, lexical meanings construe a conceptual representation, in parallel, morphosyntactic and morphophonological composition as determined by the lexical items involved in the sentence. Whereas both hypotheses capture the observed cost in the punctual predicate plus for-time adverbial composition (e.g., jump (vs. swim) for an hour), their predictions differ regarding iteration with durative predicates; for example, swim for a year (vs. for an hour). Mismatch-and-Repair predicts contrasting processing profiles and nonoverlapping activation patterns along punctuality differences. Partition-Measure predicts overlapping processing and cortical distribution profiles, along the presence of iterativity. Results from a self-paced reading and an functional Magnetic Resonance Imaging (fMRI) studies bear out the predictions of the Partition-Measure account, supporting a view of linguistic meaning composition in line with an architecture of language whereby combinatoriality and generativity are distributed, carried out in parallel across linguistic and nonlinguistic subsystems. (shrink)

This paper argues that multiple coordinations like tall, thin and happy are interpreted in a “flat” iterative process, but using “nested” recursive application of binary coordination operators in the compositional meaning derivation. Ample motivation for flat interpretation is shown by contrasting such coordinations with nested, syntactically ambiguous, coordinate structures like tall and thin and happy. However, new evidence coming from type shifting and predicate distribution with verb phrases show motivation for an independent hierarchical ingredient in the compositional semantics of multiple (...) coordination with no parallel hierarchy in the syntax. This establishes a contrast between operations at the syntax-semantics interface and compositional semantic mechanisms. At the same time, such evidence motivate the treatment of operations like type shifting and distributivity as purely semantic. (shrink)

We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the (...) semantics of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism. (shrink)

The issue of words combinations draws attention of linguists starting from the second half of the XX c. until the present day. This study is focused on the research of semantic mechanisms of unusually combined lexemes and unexpected collocations in English postmodern short-short stories. Reconsideration of the literary past and ironic view on traditional poetic canons are reflected in postmodern literary texts due to the principles of postmodern poetics. Being distinctive feature of postmodern literature in general, uncertainty creates multiplicity (...) of meanings of entire literary text, as well as separate unexpected collocations, by means of unusually combined lexemes. The aim of the study is to elaborate the phenomenon of valence violation, created by unusually combined lexemes and unexpected collocations in English postmodern short-short stories. To achieve this goal, it is necessary to define the notion of valence and lexeme compatibility, to identify types of valence violation in lexemes combinations, and to provide their possible interpretation. Functioning in English postmodern short-short stories such language units widen boundaries of their usage and their combinatorial profile. Unusually combined lexemes focus the reader’s attention and provoke a cognitive mechanism of continuous searching for a hidden meaning of unexpected collocations and the general message of a literary text. In this research unusually combined lexemes are regarded as special markers of postmodern short-short story genre for which violation of text structure, violation of usual relations between lexemes in logic, semantic and syntactic aspects are quite common. (shrink)

This paper aims to provide a foundation for studying the interplay between emoji and linguistic (natural language) expressions; it does so by proposing a formal semantic classification of emoji-text combinations, focusing on two core sets of emoji: face emoji and activity emoji. Based on different data sources (introspective intuitions, naturalistic Twitter examples, and experimental evidence), we argue that activity emoji (case study I) are essentially event descriptions that serve as separate discourse units (similar to free adjuncts) and connect to (...) the accompanying (linguistic) text by virtue of suitable discourse relations. By contrast, face emoji (case study II) are expressive elements that are anchored to an attitude holder and comment on a proposition provided by the accompanying text. We provide further evidence for the distinct behavior of face emoji and activity emoji by looking at their scopal behavior with respect to linguistically-expressed negation. In particular, we probe interactions of emoji and texts that contain clausal negation, and conclude that both face emoji and activity emoji generally do not scope under negation. However, the appearance of such a scope relation arises with activity emoji when the emoji are connected to the accompanying text by virtue of an Explanation discourse relation. With face emoji, scopal interactions seem to appear in cases where the default interpretation would result in a discourse contribution that is pragmatically infelicitous, and also in cases that involve a specialized emoji-repetition construction where a repeated alternation of face emoji with words assumes a scope-marking role. (shrink)

This paper argues that superiority comparatives in Mandarin Chinese are all phrasal comparatives that can be directly interpreted, and makes a new suggestion of taking the bǐ-phrase (‘compare-phrase’) to be an adjunct and one constituent, but with bǐ-shells. This syntactic analysis allows one to combine into one phrase various compared constituents that would otherwise not be analyzed as forming a phrase by themselves. Semantically, in extension of work by Heim as well as Bhatt and Takahashi, bǐ is taken to (...) compare two sequences of arguments of a gradable predicate along the dimension given by that predicate. It is also suggested that comparatives across languages may be subject to three parameters: (i) argument-dependent comparison vs. non-argument dependent comparison, (ii) phrasal comparison vs. clausal comparison, and (iii) monoadic comparison vs. dyadic comparison. (shrink)

The aim of this study is to look at the the syntactic calculus of Bar-Hillel and Lambek, including semantic interpretation, from the point of view of constructive type theory. The syntactic calculus is given a formalization that makes it possible to implement it in a type-theoretical proof editor. Such an implementation combines formal syntax and formal semantics, and makes the type-theoretical tools of automatic and interactive reasoning available in grammar.In the formalization, the use of the dependent types (...) of constructive type theory is essential. Dependent types are already needed in the semantics of ordinary Lambek calculus. But they also suggest some natural extensions of the calculus, which are applied to the treatment of morphosyntactic dependencies and to an analysis of selectional restrictions. Finally, directed dependent function types are introduced, corresponding to the types of constructive type theory. (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)

The present article is devoted to a logical inquiry on the notions of permanence and termination, which play a central role in many areas of temporal reasoning. In the first part, we introduce a bimodal framework to represent these notions and provide a syntactic and semantic comparison with a monomodal framework representing the notion of future necessity. In the second part, we focus on the problem of defining synonymous logical systems over the two frameworks; as an example, we (...) provide an extended analysis of two systems, the monomodal K4 and the bimodal S4X. The third part of the article indicates possible developments of the proposed line of inquiry, such as finding a simple representation in the bimodal language of some interesting properties of time and identifying further pairs of synonymous systems. (shrink)

The SRL vs. ERL theory has shown that the combination of levels of student self-regulation and regulation from the teaching context produces linear effects on achievement emotions and coping strategies. However, a similar effect on stress factors and symptoms of university students has not yet been demonstrated. The aim of this study was to test this prediction. It was hypothesized that the level of student self-regulation (low/medium/high), in interaction with the level of external regulation from teaching (low/medium/high), would also (...) produce a linear effect on stress factors and symptoms of university students. A total of 527 undergraduate students completed validated questionnaires about self-regulation, regulatory teaching, stress factors and symptoms. Using an ex post facto design by selection, ANOVAs and MANOVAs (3 x 3; 5 x 1; 5 x 2) were carried out. The results confirmed that the level of self-regulation and the level of regulatory teaching jointly determined the level of stress factors and symptoms of university students. Once again, a five-level heuristic of possible combinations was configured to jointly determined university students’ level of academic stress. We concluded that the combination of different levels of student regulation levels and regulation from teaching process jointly determines university students’ level of academic stress. The implications for university students’ emotional health, stress prevention and well-being are established. (shrink)

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which (...) begins when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

According to the paradigm view in linguistics and philosophical semantics, it is lexical semantics plus the principle of compositionality that allows us to compute the meaning of an arbitrary sentence. The job of LS is to assign meaning to individual expressions, whereas PC says how to combine these individual meanings into larger ones. In this paper I argue that the pair LS + PC fails to account for the discourse-relevant meaning of normative ‘ought’. If my hypothesis is tenable, then the (...) failure of LS + CS extends to normative language in general. The reason I offer that this is so is that semantics for normative language is, in an important respect, a substantive semantics. The ‘substantive’ in question means that the meaning of normative vocabulary in use is driven by metanormative views associated with a particular normative concept. SS rejects the model LS + CS and replaces it with a discourse-relevant semantics built around an interactional principle that ascribes to a particular surface syntactical form of ‘ought’ sentences a logical form that represents its discourse-salient normative content. In the paper I shall sketch how SS works and why it is worth serious consideration. (shrink)

In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (ET) argument containing the verb phrase. Control theory accounts for the denotation of the RT argument, deriving the distinction between main clause and (...) subordinate clause tenses. The theory of covert movement is used to account for the independent/indexical interpretation of relative clause tenses, and for the correlation between independent tense interpretation and a de re construal of the relative clause. A theory of “past polarity”, based on traditional negative polarity theory, accounts both for the simultaneous “sequence of tense” construal of past tenses in subordinate clauses embedded within past tense contexts, and for the obligatory indexical/independent interpretation of present tense in a relative clause embedded within a past tense context. Combined with the copy theory of movement, the polarity theory also provides an account of the semantics of double access sentences, treating them as involving a special kind of reconstruction effect. (shrink)

This paper gives a uniform account of the meaning of generalizations with explicit exceptions that employ the prepositions “but”, “except”, and “except for”. Our theory is that exceptives depend on generalizations, which can but need not be universal, whose generality they limit, and some of whose exceptions they comment on. Every generalization intrinsically partitions its domain of applicability into regular cases, which are as it says to expect, and exceptions, which are not. A generalization’s exceptions are instances that falsify it (...) if sufficiently prevalent. These two facts underpin the meaning of exceptives as combining a _generality claim_ with an _exception claim_, giving correct truth conditions for the several ways the three exceptive prepositions are used, and significantly improving on existing semantic accounts in the literature. We support this by analyzing a wide range of examples. The analysis applies whether or not the phrase following the exceptive preposition is a DP, and whether or not the generalization is expressed with a quantifier. We further argue that these exceptive prepositions are synonymous, contrary to the widely held view that a difference in meaning explains their different syntactic distributions. (shrink)

Computer science advocates institutional frameworks as an effective tool for modelling policies and reasoning about their interplay. In practice, the rules or policies, of which the institutional framework consists, are often specified using a formal language, which allows for the full verification and validation of the framework (e.g. the consistency of policies) and the interplay between the policies and actors (e.g. violations). However, when modelling large-scale realistic systems, with numerous decision-making entities, scalability and complexity issues arise making it possible only (...) to verify certain portions of the problem without reducing the scale. In the social sciences, agent-based modelling is a popular tool for analysing how entities interact within a system and react to the system properties. Agent-based modelling allows the specification of complex decision-making entities and experimentation with large numbers of different parameter sets for these entities in order to explore their effects on overall system performance. In this paper we describe how to achieve the best of both worlds, namely verification of a formal specification combined with the testing of large-scale systems with numerous different actor configurations. Hence, we offer an approach that allows for reasoning about policies, policy making and their consequences on a more comprehensive level than has been possible to date. We present the institutional agent-based model methodology to combine institutional frameworks with agent-based simulations). We furthermore present J-InstAL, a prototypical implementation of this methodology using the InstAL institutional framework whose specifications can be translated into a computational model under the answer set semantics, and an agent-based simulation based on the jason tool. Using a simplified contract enforcement example, we demonstrate the functionalities of this prototype and show how it can help to assess an appropriate fine level in case of contract violations. (shrink)

Semantic Compositionality is the principle that the meaning of a syntactically complex expression is a function only of the meanings of its syntactic components together with their syntactic mode of combination Various scholars have argued against this Principle in cluding the present author in earlier works One of these arguments was the Argument from Ambiguity which will be of concern in the present article Opposed to the considerations raised against the Principle are certain formal arguments that (...) purport to show that there is no empirical content to the Principle One of these formal ar guments makes use of the notion of free algebras The present article investigates the relationship between these two types of argument.. (shrink)

One of the central issues in modern linguistics has been the relationship between syntax and semantics. Within the framework of generative grammar, established by Chomsky in the early 1960s, it has been assumed that syntax is distinct from, and independent of, semantics. This premise has been challenged recently by Chomsky himself; he now proposes semantics, and in particular thematic roles, as the basis for generating syntactic structures. Yael Ravin argues that thematic roles are not valid semantic entities, and (...) that syntax and semantics are indeed autonomous and independent of one another. She advocates a Decompositional approach to lexical semantics, in the spirit of Katz's semantic theory. In the course of her argument she discusses theoretical issues such as indeterminacy and ambiguity, lexical configuration rules, and lexical projection, and analyses the semantic content of event concepts such as causation, action, and change. (shrink)

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) is proposed. An approximate idea of obtaining \(\textsf{G}(\textbf{C}+\textbf{J})\) is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas (...) do not satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system \(\mathbf {C+J}\) proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated with compositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom of interpretation in combination with (...) the parallel application of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic and syntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

ABSTRACT In several publications, François Recanati argues that time, world, location, and similar constituents are not arguments of the verb, although they do affect truth conditions. However, he points out that this fact does not decide the debate regarding whether these notions are represented as sentential operators variables bound by quantifiers, as both approaches can be made compatible with such non-arguments. He makes these points using philosophical arguments; in this paper I use linguistic evidence from a variety of languages. Specifically, (...) I demonstrate that time, world, location, and person behave syntactically and semantically the same across languages. Hence, either all are arguments, or neither are; and the evidence points to the latter position. The cross-linguistic data give rise to a generalization, which connects the availability of quantifying over times, worlds, locations, or persons with the availability of indexical expressions of the corresponding type. For example, a language that does not have temporal indexicals cannot have tense. I demonstrate that this generalization follows naturally from the quantifier approach, but would remain a mystery under the operator view. Therefore, the cross-linguistic evidence argues in the favor of the quantificational approach. (shrink)

Experimental research shows that human sentence processing uses information from different levels of linguistic analysis, for example, lexical and syntactic preferences as well as semantic plausibility. Existing computational models of human sentence processing, however, have focused primarily on lexico‐syntactic factors. Those models that do account for semantic plausibility effects lack a general model of human plausibility intuitions at the sentence level. Within a probabilistic framework, we propose a wide‐coverage model that both assigns thematic roles to verb–argument (...) pairs and determines a preferred interpretation by evaluating the plausibility of the resulting (verb, role, argument) triples. The model is trained on a corpus of role‐annotated language data. We also present a transparent integration of the semantic model with an incremental probabilistic parser. We demonstrate that both the semantic plausibility model and the combined syntax/semantics model predict judgment and reading time data from the experimental literature. (shrink)

Humans are equipped with the remarkable ability to comprehend an infinite number of utterances. Relations between grammatical categories restrict the way words combine into phrases and sentences. How the brain recognizes different word combinations remains largely unknown, although this is a necessary condition for combinatorial unboundedness in language. Here, we used functional magnetic resonance imaging and multivariate pattern analysis to explore whether distinct neural populations of a known language network hub—Broca’s area—are specialized for recognizing distinct simple word combinations. The phrases (...) consisted of a noun (flag) occurring either with a content word, an adjective (green flag), or with a function word, a determiner (that flag). The key result is that the distribution of neural populations classifying word combination in Broca’s area seems sensitive to neuroanatomical subdivisions within this area, irrespective of task. The information patterns for adjective + noun were localized in its anterior part (BA45) whereas those for determiner + noun were localized in its posterior part (BA44). Our findings provide preliminary answers to the fundamental question of how lexical and grammatical category information interact during simple word combination, with the observation that Broca’s area is sensitive to the recognition of categorical relationships during combinatory processing, based on different demands placed on syntactic and semantic information. This supports the hypothesis that the combinatorial power of language consists of some neural computation capturing phrasal differences when processing linguistic input. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Can one combine Davidsonian semantics with a deflationary conception of truth? Williams argues, contra a common worry, that Davidsonian semantics does not require truth-talk to play an explanatory role. Horisk replies that, in any event, the expressive role of truth-talk that Williams emphasizes disqualifies deflationary accounts—at least extant varieties—from combination with Davidsonian semantics. She argues, in particular, that this is so for Quine's disquotationalism, Horwich's minimalism, and Brandom's prosententialism. I argue that Horisk fails to establish her claim in all (...) three cases. This involves clarifying Quine’s understanding of a purely referential occurrence; explaining how Davidsonians can avail themselves of a syntactic treatment of lexical ambiguity; and correcting a common misreading of Brandom (answering along the way an objection offered by Künne as well). (shrink)

The Principle of Semantic Compositionality (sometimes called Frege''s Principle) is the principle that the meaning of a (syntactically complex) whole is a function only of the meanings of its (syntactic) parts together with the manner in which these parts were combined. This principle has been extremely influential throughout the history of formal semantics; it has had a tremendous impact upon modern linguistics ever since Montague Grammars became known; and it has more recently shown up as a guiding principle (...) for a certain direction in cognitive science.Despite the fact that The Principle is vague or underspecified at a number of points — such as what meaning is, what counts as a part, what counts as a syntactic complex, what counts as combination — this has not stopped some people from viewing The Principle as obviously true, true almost by definition. And it has not stopped other people from viewing The Principle as false, almost pernicious in its effect. And some of these latter theorists think that it is an empirically false principle while others think of it as a methodologically wrong-headed way to proceed. (shrink)

Perceived size is a function of viewing distance, retinal images size, and various contextual cues such as linear perspective and the size and location of neighboring objects. Recently, we demonstrated that illusion magnitudes of classic visual size illusions may be greatly enhanced or reduced by adding dynamic elements. Specifically, a dynamic version of the Ebbinghaus illusion (classically considered a “size contrast” illusion) led to a greatly enhanced illusory effect, whereas a dynamic version of the Corridor illusion (a “size constancy” illusion) (...) led to a greatly diminished illusory effect. Although these differences may arise from the different processes underlying these illusions (size contrast vs. size constancy), the dynamic variants we tested in our previous work also differed in the nature of the dynamic elements; specifically, whereas the Dynamic Ebbinghaus included a moving target and inducers that changed size and position, the Dynamic Corridor only included a moving target on a static background. Here, we explore further dynamic versions of the Ebbinghaus illusion and the Corridor and Ponzo illusions by separately manipulating three types of dynamic elements: target motion, context translation, and dynamic changes in context. Across five experiments examining 21 dynamic illusory configurations, adding target motion or a dynamically changing context separately resulted in little-to-no illusory effect. In contrast, the combination of target motion and a dynamically changing context led to a robust size illusion, consistent with an interactive effect. However, illusory effects that exceeded the matched classic, static illusory configuration were only observed for the dynamic versions of the Ebbinghaus illusion and the Revealed Ponzo illusions, in which the contextual elements changed size. We conclude that the combination of target motion and a dynamically changing context are necessary to produce dynamic size illusions, but that enhancement above and beyond static illusions may be largely specific to size contrast effects. Our results have important implications for the integration of motion signals, a ubiquitous environmental stimulus, in the perception of object size. (shrink)

Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...) we introduce an analogue of Lawvere–Tierney topology and cotopology in the hyperdoctrinal setting, which gives a unifying perspective on different logical translations, in particular allowing for a uniform treatment of Girard’s exponential translation between linear and intuitionistic logics and of Kolmogorov’s double negation translation between intuitionistic and classical logics. In the hyerdoctrinal conception, type theories are categories, logics over type theories are functors, and logical translations between them, then, are natural transformations, in particular Lawvere–Tierney topologies and cotopologies on hyperdoctrines. The view of logical translations as hyperdoctrinal Lawvere–Tierney topologies and cotopologies has not been elucidated before, and may be seen as a novel contribution of the present work. From a broader perspective, this work may be regarded as taking first steps towards interplay between algebraic and categorical logics; it is, technically, a combination of substructural algebraic logic and hyperdoctrinal categorical logic, as the hyperdoctrinal completeness theorem is shown via the integration of the Lindenbaum–Tarski algebra construction with the syntactic category construction. As such this work lays a foundation for further interactions between algebraic and categorical logics. (shrink)

This paper examines the stage-level/individual-level hypothesis (Kratzer 1989; Diesing 1988) from the point of view of modern Scottish Gaelic. This language exhibits two syntactically distinct predicational structures, and in particular, two distinct subject positions distinguishable on the basis of word order. While the distinction between the two positions can be shown to support the stage/individual-level hypothesis in one sense, the picture is muddied by the fact that many habitual or ‘characteristic’ sentences seem to be formed according to the stage-level subject (...) construction type.The solution proposed relies on two novel elements. First, it distinguishes the classical Davisonian event variable from the Kratzerian one hypothesized to be the hallmark of the stage-level sentence type. And secondly, it makes a strict logical separation between two types of generics: generics proper, which involve quantifying over an individual variable; and habituals, which only involve quantification over an event variable. These are represented by two distinct logical types which may nevertheless give rise to similar truth conditions in context.I show that the analysis can be made to account for tense interpretation, the scope of genericity, and the facts of syntactic complementation in Scottish Gaelic. To the extent that the solution is successful, it is evidence for a quite direct mapping between syntactic and semantic representations and for the important intuitions behind the initial Kratzer/Diesing stage vs. individual-level hypothesis. (shrink)

Grice observes that the primary discourse function of disjunction is the presentation of alternatives, each of which is relevant in the same way to a given topic. After a brief introduction , I offer in Chapter Two an account of Grice's observation and of further felicity conditions on disjunction, for example, the constraint against disjunctions in which one disjunct entails another. Using an enriched version of the Stalnakerian model of assertion, I define two constraints on information update--Relevant Informativity and Simplicity--and (...) show that these suffice to account for the observations. ;I then argue that the requirement to abide by Relevant Informativity and Simplicity provides a basis for an account of two further properties of disjunctive sentences: their presupposition projection properties and the possibility of anaphora between disjuncts. I argue that presuppositions project in disjunction except where projection would lead to infelicity of the kind characterized in Chapter Two. To state this account, a treatment of presupposition which allows projection to be sensitive to considerations of felicity is required. I show that the Stalnakerian view of presupposition, combined with Heim's notion of local accommodation, provides the necessary framework. ;Similarly, I argue that anaphora across disjunction is disallowed only when it leads to an infelicitous disjunction. In certain configurations, anaphora between disjuncts leads to entailment between disjuncts, which is ruled out independently. The account is given using a version of Neale's E-type analysis of unbound anaphora. I show that the analysis has further desirable consequences with respect to more complex examples of inter-disjunct anaphora. ;Throughout Chapters Three and Four, I contrast my own proposals with accounts given in the Dynamic Semantic literature, offering a critique of Dynamic Semantic approaches to the phenomena discussed. ;In Chapter Five, I examine anaphora between NPs contained inside a disjunction and a pronoun in a following sentence. I argue that these pronouns are also E-type, but show that these cases require a reformulation of the E-type analysis. I develop a new account in which the interpretation of E-type pronouns is derived compositionally from the content of the antecedent clause. (shrink)

We examine the interrelationships between analog computational modelling and analogue (physical) modelling. To this end, we attempt a regimentation of the informal distinction between analog and digital, which turns on the consideration of computing in a broader context. We argue that in doing so one comes to see that (scientific) computation is better conceptualised as an epistemic process relative to agents, wherein representations play a key role. We distinguish between two, conceptually distinct, kinds of representation that, we argue, are both (...) involved in each case of computing. Based on the semantic and syntactic properties of each of these representations, we put forward a new account of the distinction between analog and digital computing. We discuss how the developed account is able to explain various properties of different models of computation, and we finish by conceptually comparing analog computational modelling to analogue (scale) modelling. It is concluded that, contrary to the standard view, the two practices are orthogonal, differing both in their foundations and in the epistemic functions they fulfil. (shrink)

New propositional and first-order paraconsistent logics (called L ω and FL ω , respectively) are introduced as Gentzen-type sequent calculi with classical and paraconsistent negations. The embedding theorems of L ω and FL ω into propositional (first-order, respectively) classical logic are shown, and the completeness theorems with respect to simple semantics for L ω and FL ω are proved. The cut-elimination theorems for L ω and FL ω are shown using both syntactical ways via the embedding theorems and semantical ways (...) via the completeness theorems. (shrink)

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on (...) class='Hi'>semantic knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (shrink)

Much ado – and increased complexity – is generally the case when it comes to checking formally the (intended) meaning of programs, as formal semantics for programs are typically extrinsic to both them and the formal grammars that generate the programming languages in which they are written. The van Wijngaarden grammars, on the contrary, have an intrinsic semantics in the sense that their rules contain or express the (intended) meaning of the terminal strings generated by them. This intrinsicness allows for (...) preservation of meaning both in syntactic change and context-sensitive conditions. In order better to show the intrinsicness of the semantics of the van Wijngaarden grammars I contrast them with the attribute grammars, a frequent choice when the semantic analysis of programming languages is called for (e.g., in compilation). (shrink)

This book examines the hypothesis of "direct compositionality", which requires that semantic interpretation proceed in tandem with syntactic combination. Although associated with the dominant view in formal semantics of the 1970s and 1980s, the feasibility of direct compositionality remained unsettled, and more recently the discussion as to whether or not this view can be maintained has receded. The syntax-semantics interaction is now often seen as a process in which the syntax builds representations which, at the abstract level (...) of logical form, are sent for interpretation to the semantics component of the language faculty. In the first extended discussion of the hypothesis of direct compositionality for twenty years, this book considers whether its abandonment might have been premature and whether in fact direct compositionality is not after all a simpler and more effective conception of the grammar than the conventional account of the syntax-semantics interface in generative grammar. It contains contributions from both sides of the debate, locates the debate in the setting of a variety of formal theories, and draws on examples from a range of languages and a range of empirical phenomena. (shrink)

An important challenge in bilingualism research is to understand the mechanisms underlying sentence processing in a second language and whether they are comparable to those underlying native processing. Here, we focus on verb-particle constructions (VPCs) that are among the most difficult elements to acquire in L2 English. The verb and the particle form a unit, which often has a non-compositional meaning (e.g., look up or chew out), making the combined structure semantically opaque. However, bilinguals with higher levels of English proficiency (...) can develop a good knowledge of the semantic properties of verb-particle constructions (Blais and Gonnerman, 2013). A second difficulty is that in a sentence context, the particle can be shifted after the direct object of the verb, (e.g., The professor looked it up). The processing is more challenging when the object is long (e.g. The professor looked the student’s last name up.). This shifted structure favors syntactic processing at the expense of VPC semantic processing. We sought to determine whether or not bilinguals’ reading time (RT) patterns would be similar to those observed for native monolinguals (Gonnerman and Hayes, 2005) when reading VPCs in sentential contexts. French-English bilinguals were tested for English language proficiency, working memory and explicit VPC semantic knowledge. During a self-paced reading task, participants read 78 sentences with verb-particle constructions that varied according to parameters that influence native speakers’ reading dynamics: verb-particle transparency, particle adjacency and length of the object noun phrase (NP; 2, 3, or 5 words). RTs in a critical region that included verbs, NPs and particles were measured. Results revealed that RTs were modulated by participants’ English proficiency, with higher proficiency associated with shorter RTs. Examining participants’ explicit semantic knowledge of VPCs and working memory, only readers with more native-like knowledge of VPCs and a high working memory presented RT patterns that were similar to those of monolinguals. Therefore, given the necessary lexical and computational resources, bilingual processing of novel structures at the syntax-semantics interface follows the principles influencing native processing. The findings are in keeping with theories that postulate similar representations and processing in L1 and L2 modulated by processing difficulty. (shrink)

The paper deals with certain issues with which Olivecrona was mainly concerned in his Philosophy of Law, notably (i) his views about the logical or syntactical form of imperatives as used in the law, and (ii) his views on the semantics of imperatives in the law and on the question whether and to what extent the notions of truth and falsity are applicable to those imperatives at all. In the light of an important critical notice of Olivecrona's work by Marc-Wogau (...) (1940 ), we examine some textual evidence for attributing to Olivecrona a so-called Atheoretical Thesis to the effect that imperatives in the law are neither true nor false or lack truth-value altogether. We close the paper by commenting on the celebrated distinction due to Hedenius (1941 ) and further elaborated by Wedberg (1951 ) between genuine ("rule-stating") normative sentences in the law and spurious ones (stating merely that a given rule is (or is not) in force in a given society at a given time). Two interesting difficulties bound up with that distinction will be dealt with. By means of various quotations we try to capture something of the flavour characterizing the legal philosophical discussion in Sweden in the mid-twentieth century during la belle époque of Scandinavian Legal Realism of which Olivecrona was a typical representative. (shrink)

There is a class of expressions which are perceived as ‘ungrammatical’ not because they are syntactically ill-formed but because they have interpretations which are informationally trivial. Triviality-driven unacceptability constrains the distribution of determiners, modals, attitude verbs, exhaustifiers, approximatives, among many other classes of logical terms. At the same time, many superficial tautologies and contradictions—pre-theoretically, the clearest examples of trivial expressions—are judged to be perfectly acceptable. This paper discusses two promising yet fundamentally opposed attempts to model triviality-driven unacceptability without over-generating ‘ungrammaticality’ (...) judgments. One approach combines the ‘Logicality’ view that the language system includes a deductive-inferential system (DS) that automatically identifies and filters out expressions with trivial interpretations, with the hypothesis that the DS runs on ‘modulated logical forms’, i.e., structures where all content-based terms and variables are subject to meaning-modulation operations. The other approach downplays Logicality and tries to reduce triviality-driven unacceptability to familiar kinds of pragmatic infelicities. The Logicality-based approach, I argue, is superior to the most sophisticated attempts to treat triviality-driven unacceptability as a species of pragmatic infelicity. This result suggests that our purely linguistic and logical competences are deeply intertwined, and sheds new light on the division of labor between syntax, semantics and pragmatics. (shrink)

Since their introduction by Partee and Rooth (1983) into linguistic theory, type shifting principles have been extensively employed in various linguistic domains, including nominal predicates (Partee 1987), kind denoting NPs (Chierchia 1998), interrogatives (Groenendijk and Stokhof 1989), scrambled definites (De Hoop and Van der Does 1998) and plurals (Winter 2001,2002). Most of the accounts that use type shifting principles employ them as ``last resort'' mechanisms, which apply only when other compositional mechanisms fail. This failure is often sloppily referred to as (...) type mismatch . The motivation for introducing type mismatch into the compositional mechanism is twofold: on the one hand it allows lexical items to be assigned the minimal types that are needed for describing their denotation; on the other hand, it has been argued that the ``last resort'' strategy of type shifting prevents derivation of undesired meanings. The first goal of this paper is to define a simple notion of type mismatch, which will rather closely follow Partee and Rooth's original proposal but will be expressed within more familiar terms of categorial semantics. After introducing this implementation of traditional type mismatch, it will be argued that in fact, it covers only one possible kind of trigger for type shifting principles. Partee and Rooth's notion of mismatch is ``external'' in that the type of an expression is changed only when it combines with another type to which it cannot compose using the ``normal'' compositional mechanism. It will be argued that, within an appropriate type system, another notion of mismatch is also useful. This is the kind of mismatch in which the semantic type of an expression does not match its syntactic category. Two such cases will be explored: mismatch between morpho-syntactic number (singular or plural) and semantic number (a denotation ranging over atoms or sets), and mismatch between syntactic category (noun, DP, adjective etc.) and semantic role (predicate, quantifier, predicate modifier etc.).. (shrink)

Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...) formal-semantical) nature. In contrast, for Mill such a question is as valid as any other. These differing views have their consequences for contemporary erotetic logic. (shrink)

This article is concerned with the concept of ambiguity in argumentation. Ambiguity in linguistics lies on the coexistence of two possibly interpretations of an utterance, while the role of contextual factors and background/encyclopedic knowledge within a specific society seems to be crucial. From a systemic point of view, Halliday has proposed three main language functions (meta-functions): a) ideational function, b) interpersonal function, c) textual function. Language could reflect speaker’s experience of his external and internal world, interpersonal relationships and organization of (...) text, respectively. Lexico-grammatical choices under a micro-level perspective and context (the environment of language) may lead to inconsistent interpretations through semantic or syntactic ambiguities. In philosophy and argumentation logic, strategies of ambiguity have been investigated by Aristotle, since the first sophistic movement. In his Topics, Metaphysics and Rhetoric, has pointed out the notion of “τὸ διττῶς / διχῶς λεγόμενον”, meaning that a term can have different senses and double interpretation. In this paper we discuss how we reconstruct the meaning of an utterance in dialogue through the mechanism of interpretation and how we analyze and construe ambiguities, combining the insights of argumentation theory and text linguistics. Research results show that in case of misunderstanding, the “best interpretation” is the less defeasible one according to contextual presumptions. (shrink)