In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence (...) semantics. (shrink)

In the course of proving a tenability result about the probabilities of conditionals, van Fraassen (1976) introduced a semantics for conditionals based on ω-sequences of worlds, which amounts to a particularly simple special case of ordering semantics for conditionals. On that semantics, ‘If p, then q’ is true at an ω-sequence just in case q is true at the first tail of the sequence where p is true (if such a tail exists). This approach has (...) become increasingly popular in recent years. However, its logic has never been explored. We axiomatize the logic of ω-sequence semantics, showing that it is the result of adding two new axioms to Stalnaker’s logic C2: one, Flattening, which is prima facie attractive, and, and a second, Sequentiality, which is complex and difficult to assess, but, we argue, likely invalid. But we also show that when sequence semantics is generalized from ω-sequences to arbitrary (transfinite) ordinal sequences, the result is a more attractive logic that adds only Flattening to C2. We also explore the logics of a few other interesting restrictions of ordinal sequence semantics. Finally, we address the question of whether sequence semantics is motivated by probabilistic considerations, answering, pace van Fraassen, in the negative. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings (...) true. This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

Cet article présente le contexte général ayant conduit à l’élaboration du Corpus de français parlé au Québec (CFPQ) et les principes méthodologiques ayant présidé à sa confection. Il illustre ensuite l’intérêt que représente cette ressource documentaire pour l’étude de la langue parlée en contexte informel par le biais d’un examen lexico-sémantique de la séquence je sais pas. L’intérêt pour cette séquence vient d’abord d’un constat : celle-ci est particulièrement fréquente dans le corpus pris comme cible. En effet, elle y occupe (...) le premier rang, en terme de fréquence, pour ce qui concerne la présence de trois unités graphiques figurant en contiguïté. Ce constat oriente vers l’idée selon laquelle son degré d’« entrenchment » (c’est-à-dire d’enracinement) doit être grand, qu’elle a toute chance d’être mémorisée en bloc dans un certain nombre de contextes, à la manière des séquences complexes ou expressions (semi-)figées. L’attention se focalise sur des exemples où je sais pas agit à titre d’expression verbale, puis d’expression discursive. (shrink)

This chapter contains sections titled: Introduction Semantic Paradoxes: Some Proposals Sets and Extensions Three Paradoxes A Contextual Approach A Singularity Proposal Universality.

We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also indicate that some independent (...) quantifiers can be regarded as dependent quantifiers of indeterminate sequence, using the interjunction connective in partial logic. We conclude our paper by indicating some further research in a more general setting. (shrink)

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is not (...) informative, we add ????(????|(????∨????))>0 as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the assigned (precise or interval-valued) probabilities to the sequence of conditional events (????|????,~????|????,????|(????∨????)) to the conclusion ~????|???? . Thereby, we give a probabilistic meaning to the other syllogisms of Figure II. Moreover, our semantics also allows for generalizing the traditional syllogisms to new ones involving generalized quantifiers (like Most S are P) and syllogisms in terms of defaults and negated defaults. (shrink)

Folklore has it that Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. While recent discussions for or against the lore have focussed on Sobel sequences involving counterfactuals, this paper draws attention to the fact that indicative Sobel sequences are just as felicitous as are their counterfactual cousins. The fact, or so I shall argue here, disrupts the folklore: given minimal assumptions about the semantics and pragmatics of indicative conditionals, a textbook variably strict analysis (...) fails to predict that indicative Sobel sequences are felicitous. The correct lesson to draw from Sobel sequences is that their felicity challenges classical implementations of the variably strict and of the plainly strict analysis alike. In response to this challenge I develop a dynamic strict analysis of conditionals that handles indicative Sobel sequences with grace while preserving intuitive constraints on the semantics and pragmatics of their members. A discussion of how such an analysis may handle the challenge from reverse Sobel sequences is provided. (shrink)

The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendumP occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, they (...) develop in this book one general theory of definitions based on revision sequences, namely, ordinal-length iterations of the operator which is induced by the definition of the predicate. Gupta-Belnap’s approach to circular definitions has been criticised, among others, by D. Martin and V. McGee. Their criticisms point to the logical complexity of revision sequences, to their relations with ordinary mathematical practice, and to their merits relative to alternative approaches. I will present an alternative general theory of definitions, based on a combination of supervaluation and ω-length revision, which aims to address some criticisms raised against revision sequences, while preserving the philosophical and mathematical core of revision. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, (...) and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

When searching for concepts in memory—as in the verbal fluency task of naming all the animals one can think of—people appear to explore internal mental representations in much the same way that animals forage in physical space: searching locally within patches of information before transitioning globally between patches. However, the definition of the patches being searched in mental space is not well specified. Do we search by activating explicit predefined categories and recall items from within that category, or do we (...) activate and recall a connected sequence of individual items without using categorical information, with each item recalled leading to the retrieval of an associated item in a stream, or both? Using semantic representations in a search of associative memory framework and data from the animal fluency task, we tested competing hypotheses based on associative and categorical search models. Associative, but not categorical, patch transitions took longer to make than position-matched productions, suggesting that categorical transitions were not true transitions. There was also clear evidence of associative search even within categorical patch boundaries. Furthermore, most individuals' behavior was best explained by an associative search model without the addition of categorical information. Thus, our results support a search process that does not use categorical information, but for which patch boundaries shift with each recall and local search is well described by a random walk in semantic space, with switches to new regions of the semantic space when the current region is depleted. (shrink)

Searching through semantic memory may involve the use of several retrieval cues. In a verbal fluency task, the set of available cues is limited and every candidate word is a target. Individuals exhibit clustering behavior as predicted by optimal foraging theory. In another semantic search task, the remote associates task, three cues are presented and a single target word has to be found. Whereas the task has been widely studied as a task of creativity or insight problem solving, in this (...) article, the RAT is treated as a semantic retrieval task and assessed from the perspective of information foraging theory. Experiments are presented that address the superadditive combination of cues and the anti-clustering behavior in the recall sequence. A new type of search behavior in the RAT is put forward that involves maximizing the difference in activation between target and distractors. This type of search is advantageous when the target is weak and cue patches are contaminated with strong competitors. (shrink)

In 1972,Ernst Ulrich and Christine von Weizs ¨acker introduced the concept of pragmatic information with three desiderata:(i) Pragmatic information should assess the impact of a message upon its receiver;(ii)Pragmatic information should vanish in the limits of complete (non-interpretable)'novelty 'and complete 'confirmation';(iii)Pragmatic information should exhibit non-classical properties since novelty and confirmation behave similarly to Fourier pairs of complementary operators in quantum mechanics. It will be shown how these three desiderata can be naturally fulfilled within the framework of Gardenfors' dynamic semantics (...) of Bayesian belief models.(i)The meaning of a message is its impact upon the epistemic states of a cognitive agent. A pragmatic information measure can then be quanti .ed by the average information gain for the transition from a prior to a posterior state.(ii)Total novelty can be represented by the identical proposition, total con- .rmation by the logical consequence of propositions. In both cases, pragmatic information vanishes.(iii)For operators that are neither idempotent nor commuting, novelty and confirmation relative to a message sequence can be defined within Gardenfors' theory of belief revisions.The proposed approach is consistent with measures of relevance derived from statistical decision theory and it contains Bar-Hillel 's and Carnap's theory of semantic information as a special case. (shrink)

The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.

Recent studies of semantic memory have investigated two theories of optimal search adopted from the animal foraging literature: Lévy flights and marginal value theorem. Each theory makes different simplifying assumptions and addresses different findings in search behaviors. In this study, an experiment is conducted to test whether clustering in semantic memory may play a role in evidence for both theories. Labeled magnets and a whiteboard were used to elicit spatial representations of semantic knowledge about animals. Category recall sequences from a (...) separate experiment were used to trace search paths over the spatial representations of animal knowledge. Results showed that spatial distances between animal names arranged on the whiteboard were correlated with inter-response intervals during category recall, and distributions of both dependent measures approximated inverse power laws associated with Lévy flights. In addition, IRIs were relatively shorter when paths first entered animal clusters, and longer when they exited clusters, which is consistent with marginal value theorem. In conclusion, area-restricted searches over clustered semantic spaces may account for two different patterns of results interpreted as supporting two different theories of optimal memory foraging. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, (...) and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

Logics of discrete time are, in Arthur Prior’s words, “applicable in limited fields of discourse in which we are concerned with what happens in a sequence of discrete states,” independent of “any serious metaphysical assumption that time is discrete.” This insight is applied to natural language semantics, a widespread assumption in which is that time is, as is the real line, dense. “Limited fields of discourse” are construed as finite sets of temporal propositions, inducing bounded notions of temporal (...) granularity that can be refined to expand the discourse. The construal is developed in line with Prior’s view of what is “metaphysically fundamental”. (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)

The Hungarian Nominal Functional Sequence combines the methods of syntactic cartography with evidence from compositional semantics in a comprehensive exploration of the structure of Noun Phrases. Proceeding from the lexical core to the top of DP, it uses Hungarian as a window on the underlying universal functional hierarchy of Noun Phrases, but it also regularly complements and supports the analysis with cross-linguistic evidence. The book works out a minimal map of the extended NP in the sense that the (...) proposed hierarchy only has projections which host overt material and it does not draw on semantically empty word order projections. Topics which receive special attention include the syntax of classifiers, demonstratives, proper names, possessive NPs and plural pronouns. (shrink)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I (...) want to do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

Semantics traditionally focuses on linguistic meaning. In recent years, the Super Linguistics movement has tried to broaden the scope of inquiry in various directions, including an extension of semantics to talk about the meaning of pictures. There are close similarities between the interpretation of language and of pictures. Most fundamentally, pictures, like utterances, can be either true or false of a given state of affairs, and hence both express propositions (Zimmermann, 2016; Greenberg, 2013; Abusch, 2015). Moreover, sequences of (...) pictures, like sequences of utterances, can be used to tell stories. Wordless picture books, comics, and film are cases in point. In this paper I pick up the project of providing a dynamic semantic account of pictorial story-telling, started by Abusch (2012) and continued by Abusch & Rooth (2017); Maier & Bimpikou (2019); Fernando (2020). More specifically, I propose here a semantics of speech and thought bubbles by adding event reference to PicDRT. To get there I first review the projection-based semantics for pictures (section 1), noting the fundamental distinction between symbolic and iconic meaning that makes speech bubbles especially interesting (section 2). I then review the dynamic PicDRT framework for pictorial narratives (section 3), add events (section 4), and propose an account of speech bubbles as quotational event modification (section 5). I end with a brief look at other conventional, symbolic enrichments in comics (section 6). (shrink)

This paper explores the diachronic development of the English adverb again. A compositional semantic analysis of its grammar at various stages is provided. It is argued that this analysis must consist of a staging of first a lexical and then a structural change, in order to adequately model the sequence of individual developmental steps observed in the historical corpus data, and that it provides an insight into pathways of semantic change in general.

This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as F-logics, for those proved decidable using a filtration method, and U-logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also examine some extensions of the U-logics where the method fails and infinite sequences of worlds can be generated.

A major challenge for semantic video segmentation is how to exploit the spatiotemporal information and produce consistent results for a video sequence. Many previous works utilize the precomputed optical flow to warp the feature maps across adjacent frames. However, the imprecise optical flow and the warping operation without any learnable parameters may not achieve accurate feature warping and only bring a slight improvement. In this paper, we propose a novel framework named Dynamic Warping Network to adaptively warp the interframe (...) features for improving the accuracy of warping-based models. Firstly, we design a flow refinement module to optimize the precomputed optical flow. Then, we propose a flow-guided convolution to achieve the adaptive feature warping based on the refined optical flow. Furthermore, we introduce the temporal consistency loss including the feature consistency loss and prediction consistency loss to explicitly supervise the warped features instead of simple feature propagation and fusion, which guarantees the temporal consistency of video segmentation. Note that our DWNet adopts extra constraints to improve the temporal consistency in the training phase, while no additional calculation and postprocessing are required during inference. Extensive experiments show that our DWNet can achieve consistent improvement over various strong baselines and achieves state-of-the-art accuracy on the Cityscapes and CamVid benchmark datasets. (shrink)

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

We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We greatly extend past work in natural logic, which has focused solely on semantic containment and monotonicity, to incorporate both semantic exclusion and implicativity. Our system decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical entailment relation for each edit using a statistical (...) classifier; propagates these relations upward through a syntax tree according to semantic properties of intermediate nodes; and composes the resulting entailment relations across the edit sequence. We evaluate our system on the FraCaS test suite, and achieve a 27% reduction in error from previous work. We also show that hybridizing an existing RTE system with our natural logic system yields significant gains on the RTE3 test suite. (shrink)

Modal logic has been used to analyze potential infinity and potentialism more generally. However, the standard analysis breaks down in cases of divergent possibilities, where there are two or more possibilities that can be individually realized but which are jointly incompatible. This paper has three aims. First, using the intuitionistic theory of choice sequences, we motivate the need for a modal analysis of divergent potentialism and explain the challenges this involves. Then, using Beth–Kripke semantics for intuitionistic logic, we overcome (...) those challenges. Finally, we apply our modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms. (shrink)

What is central to the progression of a sequence is the idea of succession, which is fundamentally a temporal notion. In Kant's ontology numbers are not objects but rules (schemata) for representing the magnitude of a quantum. The magnitude of a discrete quantum 11...11 is determined by a counting procedure, an operation which can be understood as a mapping from the ordinals to the cardinals. All empirical models for numbers isomorphic to 11...11 must conform to the transcendental determination of (...) time-order. Kant's transcendental model for number entails a procedural semantics in which the semantic value of the number-concept is defined in terms of temporal procedures. A number is constructible if and only if it can be schematized in a procedural form. This representability condition explains how an arbitrarily large number is representable and why Kant thinks that arithmetical statements are synthetic and not analytic. (shrink)

I suggest that the core ideas of Kit Fine’s Semantic Relationism are the notion of semantic requirement and the notion of manifest consequence, the non-classical logical relation associated with semantic requirement. Surrounding this core are novel “relational” systems of coordinated sequences of expressions, relational (as opposed to intrinsic) semantic values, coordinated propositions, and coordinated content. I take Fine to take the periphery to be reducible to the core (but see below). I will make some primarily exegetical remarks about the two (...) core ideas, and then make more critical remarks about the periphery. I should say that I find the book, as a whole, illuminating and, for the most part, convincing. I hesitantly suggest that the core constitutes an important and novel model for thinking about semantics (and representation in general), while the periphery might result from an attempt to force the new model into the old mold. (shrink)

This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the (...) compatibility [Vereinbarkeit] relation implicated in Husserl's notorious doctrine of impossible meanings, the essay introduces a compatibility restriction on relations to formulate Husserl's distinction between singular [einheitliche] and plural [mehrheitliche] objects, using plural relating moments to define first-order versions of Husserl's notions of relation complexes (i.e. Sachverhalte), abstracta of n-ary relation complexes, categorial relations, abstract eide as unifications of categorial relations, semantic domains as completions of abstract eide, and material regions as semantic domains which are compatibility upper bounds of categorial relations. These concepts will enable the formal dependence-ontological noetic semantics for two-valued, first-order modal languages introduced in the sequel Two-Valued Logics of Intentionality, the third essay in the sequence. (shrink)

In his twelfth century alaṃkāraśāstra, the Candrāloka, Jayadeva Pīyūṣavarṣa reverses the sequence of topics found in Mammaṭa’s Kāvyapr-akāśa, an earlier and immensely popular work. With such a structural revisionism, Jayadeva asserts the autonomy of his own work and puts forth an ambitious critique of earlier approaches to literary analysis. Jayadeva investigates the technical and aesthetic components of poetry in the first part of the Candrāloka, prior to his formal semantic investigations in the latter half of the text, thus suggesting (...) that aesthetic evaluations of poetry beneficially inform scientific investigations of language. Jayadeva’s organization of his chapters on the semantic operations, moreover, intimates that the study of suggestive and metaphoric functions of language clarifies our understanding of denotation, which is conventionally understood to be the primary and direct path of verbal designation. (shrink)

Objective. Study of the validity and reliability of the discourse approach for the psycholinguistic understanding of the nature, structure, and features of the linguistic consciousness functioning. -/- Materials & Methods. This paper analyzes artificial neural network models built on the corpus of texts, which were obtained in the process of experimental research of the coronavirus quarantine concept as a new category of linguistic consciousness. The methodology of feedforward artificial neural networks (multilayer perceptron) was used in order to assess the possibility (...) of predicting the leading texts semantics based on the discourses ranks and their place in the respective linear sequence. Same baseline parameters were used to predict respondents' self-assessments of changes in their psychological well-being and in daily life routine during the quarantine, as well as to predict their preferences of the quarantine strategies. The study relied on basic ideas about discourse as a meaning constituted by the dispersion of other meanings (Foucault). The same dispersion mechanism realizes itself in interdiscourse interaction, forming a discursive formation at a higher level. The method of T-units (Hunt) was used to identify and count discourses in the texts. The ranking of discourses was provided based on the criterion of their semantic-syntactic autonomy. -/- Results. The conducted neural network modeling revealed a high accuracy in predicting the work of the linguistic consciousness functions associated with retrospective self-assessment and anticipatory imagination of the respondents. Another result of this modeling is a partial confirmation of the assumption concerning existence a relationship between the structural parameters of the discursive field (the rank of the discourses and their place in the respective linear sequence) and the leading semantics of the text. -/- Conclusions. A discourse approach to the study of linguistic consciousness, understanding of its structure and functioning features seems to be reasonably appropriate. The implementation of the approach presupposes the need to form a base of linguistic corpora with the inclusion in each text markup of such parameters as: the presence of specific discourses, their ranks, positions in the linear sequence of discourses. (shrink)

This paper delves into the temporal interpretation of fronting constructions in English, a topic that has received limited attention in the literature on tense semantics. It presents new empirical findings revealing that specific fronting configurations, involving present tense morphology in a complement CP under a matrix past tense, can yield a theoretically unexpected simultaneous interpretation. A novel theoretical framework for understanding English tense is proposed, which accounts for the temporal interpretation of both fronting and non-fronting versions of attitude reports. (...) The framework introduces a null simultaneous tense as a replacement for the conventional indexical present and the Sequence-of-Tense (SOT) _de se_ tense. It is argued that in complement CPs the null simultaneous tense, as well as past tense, can be anchored either to the attitude time or to the utterance time. In either case, each tense receives a _de re_ interpretation. Moreover, the paper contends that evidence from fronting constructions supports Kratzer’s (Proceedings of semantics and linguistic theory 8, pp. 92–110, 1998 ) proposal that the transmission of temporal features (as part of the mechanism of SOT) occurs at PF. Finally, the proposed revision of the English tense system contributes to a more unified cross-linguistic perspective on tense. It is demonstrated how the temporal readings of attitude reports arising in such non-SOT languages as Russian, Japanese, and Hebrew can be captured within the system developed for English, with known contrasts attributed to the absence of Feature Transmission in those languages. Further known and new data from English, Modern Greek, and German are examined, revealing variations in SOT effects across SOT languages. These data are used as additional evidence supporting the claim that cross-linguistic variation in the interpretation of complement tense stems solely from differences in Feature Transmission. Regarding the semantic profile of tenses, it can be considered largely invariant. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that (...) in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

We argue that the pictorial nature of certain constructions in signs and in gestures explains surprising properties of their syntax. In several sign languages, the standard word order (e.g. SVO) gets turned into SOV (with preverbal arguments) when the predicate is a classifier, a distinguished construction with highly iconic properties (e.g. Pavlič, 2016). In silent gestures, participants also prefer an SOV order in extensional constructions, irrespective of the word order of the language they speak (Goldin-Meadow et al., 2008). But in (...) silent gestures and in Brazilian Sign Language (Libras), intensional constructions can override these SOV preferences, yielding SVO instead (Schouwstra & de Swart, 2014; Napoli et al., 2017). This distinction was argued to be due to iconicity: arguments are expressed before the verb if they correspond to entities that are present before the action, otherwise they follow the verb. While agreeing with this intuition, we propose that the extensional/intensional distinction is neither empirically nor theoretically appropriate. In new data from American Sign Language, we replicate the distinction among extensional classifier predicates: for _x ate up the ball_, the ball is typically seen before the eating and a preposed object is preferred; but for _x spit out the ball_, the ball is typically seen after the spitting and a postposed object is preferred, although both _eat up_ and _spit out_ are used extensionally. We extend this finding to data involving pro-speech (= speech-replacing) gestures embedded in French sentences. We argue for a Visibility Generalization according to which arguments appear before the verb if their denotations are typically visible before the action, and we develop a new formal account within a pictorial semantics for visual animations (inspired by Greenberg and Abusch). It derives the observed word order preferences, it explains how the semantics of classifier predicates combines iconic and conventional properties, and it makes a more general point: sign language semantics combines logical semantics with pictorial semantics. (shrink)

The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version (...) of the Lambek Calculus where we admit the empty sequence as the antecedent of a sequent is strongly complete w.r.t. those relational models whereW=U×U for some setU. We will also look into extendability of this completeness result to various fragments of Girard's Linear Logic as suggested in van Benthem (1991), p. 235, and investigate the connection between the Lambek Calculus and language models. (shrink)

The text considers the impossibility of abstracting away from the sense of formal con­structions in logical and mathematical researches. The validity of the application of the “formal methodology” is allowed only after some system of conventional notations and agreements has been accepted. The context determined by such agreements is called formal. A correlation of constructions and results obtained by formal methods within sev­eral formal contexts is impossible without a consideration of the various semantic aspects of the correlated formal constructions. The (...) author calls such correlations intercontextual. The paper examines two examples of such intercontextual comparisons to demonstrate the necessity of taking into account different semantic components of the compared for­mal constructions. In the context of these conclusions, the author raises the question of the structure and origin of some senses of the “symbols” used in formal constructions and of the “sequences of symbols” constructed from them. The author identifies three main sources of the semantic load carried by formal constructions. Firstly, these are the various aspects of semiotic usage: first of all, the general cultural and general profes­sional semiotic skills of the “interpreter”. Secondly, it is the sense given to formal con­structions by verbal comments, descriptions of the construction process and the associ­ated knowledge of the “interpreter”. Thirdly, these are the senses set by the formal con­structions themselves: at the stage of defining a formal language and at the stage of con­structing a formal deductive or semantic system. The author also considers the fallacy of the assumption of the existence of some universal “global intuition” associated with the very possibility of formal methodology. (shrink)

1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...

We define and prove a formal semantics divided into two complementary interacting components: the strictly linguistic semantics, we call linguistic agent, and the strictly logical and referential semantics, we call rational agent. This Linguistic \ Rational Agents’ Semantics applies to Deep Dependency trees or more generally, to discourses, i.e. sequences of DD-trees, and interprets them by functional structures we call Meaning Representation Structures, similar to the DRT, but interpreted very differently. LRA semantics incrementally interprets the (...) discourses by minimal finite models, called proto-models, in a monotonic logic of the LA and checks the proto-models with respect to the classical models of the RA. The proto-model is considered as the linguistic sense of the discourse. We define in full detail the LA which, as we believe, must be universal. On the other hand, we don’t propose a particular RA. We only define the scheme of interaction between the two agents and the stimuli of the RA used by the LA. After all, every discourse has in LRA semantics the single meaning and the single sense for every Rational Agent used to interact with the Linguistic Agent. (shrink)

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.