Why are diagrams sometimes so useful, while other times unhelpful and even misguiding? There are systematic reasons for this. Drawing on modern research in logic, Artificial Intelligence, cognitive psychology, and graphic design, "Semantic Properties of Diagrams and their Cognitive Potentials" shows that diagrams' cognitive functions are rooted in the characteristic ways they carry information about their targets. The analysis leads to an answer for the deeper question of What makes a diagram a diagram?, which is of crucial importance (...) to the foundation of a collective science of diagrams. ". (shrink)

This chapter defends the property dualism argument. The term “semantic premise” mentioned is used to refers to an assumption identified by Brian Loar that antiphysicalist arguments, such as the property dualism argument, tacitly assume that a statement of property identity that links conceptually independent concepts is true only if at least one concept picks out the property it refers to by connoting a contingent property of that property. It is argued that, the property that does the work in explaining (...) the possibility of a posteriori identities need not be a first-order property of the referent in question. On his view, the property dualism argument requires only a weaker semantic premise, which allows that the property in question be a higher order property. A refined version of the property dualism argument is formulated, which uses the weaker premise, and defends the argument against various objections. (shrink)

Dretske has argued that, unlike the content of beliefs and desires, the contents of innate representations cannot in principle play a role in the causal explanation of an individual's behavior. I examine this "asymmetry" and against it, I argue that the content of innate mental representations too can play a causal role in the explanation of behavior.

I will investigate the auditory illusion of continuity, which is the phenomenon of auditory occlusion in which we are able to hear a sound as continuous even though it has been masked by another sound. This phenomenon seems to have a perceptual nature when it occurs in the context of everyday sounds, while it seems to have a cognitive nature when it occurs in the context of speech sounds. This difference has the following consequences: (1) We need to have a (...) differentiated approach to the study of this phenomenon; (2) the perceptual explanation of the phenomenon involving everyday sounds indicates that everyday sounds can be auditorily perceived; and (3) the cognitive explanation of the phenomenon involving speech sounds suggests, instead, that semantic properties cannot be auditorily perceived. From (2) and (3) it follows that while we have a good argument for the rich view when focusing on everyday sounds, we seem to lack an analogous argument to support the rich view in the context of speech sounds. Thus, I will suggest a new argument for the view that we do not hear semantic properties, as language understanding seems to be primarily a cognitive ability. (shrink)

In (1b), for the most part induces a so-called Quantificational Variability Effect (QVE) on the NP the linguists from the East Coast, yielding roughly the interpretation ‘most of the linguists from the East Coast came to NELS’. We claim that the two constructions above differ in the domain where they apply, producing similar but not identical quantificational interpretations over the NP. In particular, we argue that most of the NPs applies to the nominal domain, while for the most part applies (...) to the verbal domain. Our claim is based on two sets of novel semantic data. First, we show that the distribution of most of the NPs is parallel to that of all the NPs in terms of its selective compatibility with collective predicates. To account for this data, we extend Brisson’s (1998, 2003) analysis of all the NPs to most of the NPs, concluding that most is an ∃-quantifier introducing a group of a certain proportion. Second, we show that, when for the most part gives rise to a QVE on a definite NP, the collective interpretation is not available. We develop a semantic analysis of for the most part as a verbal modifier that explains the lack of collective readings and that extends to interpretations other than QVE. The structure of the paper is as follows: in section 2, we introduce some general background on events and distributivity that are relevant to the current paper. In section 3, we propose the analysis of most of the NPs, followed by the analysis of for the most part in section 4. Section 5 concludes the paper and discusses further issues. (shrink)

The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical (...) class='Hi'>properties by constructing models. By using these relationships, he showed Kripke completeness and subformula property. However, his method is difficult to apply to inference rules for the sequent calculi for K4.3, KD4.3, and S4.3. Lookinglosely at Takano's proof, we nd that his method can be modied to construct nite models based on the sequent calculus for K4.3, if the calculus has and all the applications of the inference rules are acceptable. Similarly, we can apply our results to the calculi for KD4.3 and S4.3. This leads not only to Kripke completeness and subformula property, but also to finite model property of these logics simultaneously. (shrink)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably construed, in accordance (...) with an abundant or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

This paper investigates the semantic bases of class membership in the noun class system of Gújjolaay Eegimaa (Eegimaa henceforth), a Niger-Congo and Atlantic language of the BAK group spoken in Southern Senegal. The question of whether semantic principles underlie the overt classification of nouns in Niger-Congo languages is a controversial one. There is a common perception of Niger-Congo noun class systems as being mainly semantically arbitrary. The goal of the present paper is to show that physical properties (...) and culture-specific factors are central principles of semantic categorisation in the Eegimaa noun class system. I argue that the Eegimaa overt grammatical classification of nouns into classes is a semantic categorisation system whereby categories are structured according to prototypicality, family resemblance, metaphorical and metonymic extensions and chaining processes, as argued within the framework of Cognitive Linguistics. I show that the categorisation of entities in the Eegimaa nominal classification system productively makes use of physical properties such as shape as well as using culture-specific, less productive parameters for the semantic categorisation of entities denoted by nouns. The analysis proposed here also shows that the cases of multiple morphosyntactic classifications of nouns reflect multiple conceptual categorisation strategies. A detailed examination of the formal and semantic instances of multiple classification reveals the existence of conceptual correlations between the physical properties and the culture-specific semantic parameters of categorisation used in the Eegimaa noun class system. (shrink)

This book explores a key issue in linguistic theory, the systematic variation in form between semantic equivalents across languages. Two contrasting views of the role of lexical meaning in the analysis of such variation can be found in the literature: (i) uniformity, whereby lexical meaning is universal, and variation arises from idiosyncratic differences in the inventory and phonological shape of language-particular functional material, and (ii) transparency, whereby systematic variation in form arises from systematic variation in the meaning of basic (...) lexical items. (shrink)

A uniform analysis is offered for the source of the locations specified by all references in English to spatial properties including location and movement. This source is argued to be the location of events and states of affairs. These locations are specified by sets showing spaces momentarily occupied. Descriptions of motion are accounted for through a variety of ways of referencing these sets. Some classes of simple clauses are identified as requiring semantic analysis involving multiple events and states (...) of affairs. This importantly allows spatial references to be associated with different events and states of affairs. Identification of object location is accounted for by use of extra inference rules or meaning postulates. A number of other explanations are suggested for more limited and derivative phenomena. The analysis is developed within a Case-like notation presented in the first-order predicate calculus. It is supported by an extensive analysis of spatial reference phenomena and by identification of ancillary benefits. (shrink)

Even the most Parmenidean-minded of people recognize that quotidian objects somehow undergo change. This claim, nonetheless, is as clearly intuitive as it is apparently incompatible with one of our most widely believed logical principles, namely, Leibniz's Law. This paper focuses briefly on the metaphysical issue underlying this alleged incompatibility in order to provide elements for exploring its semantical counterpart: the analysis of the logical form of sentences attributing complementary temporal properties to current objects. Four analyses are presented, and the (...) ability of each to account for the linguistic data is explained. The semantical issue is preceded by some introductory remarks on the role of temporal references in the evaluation of declarative sentences. (shrink)

We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.

We compared the ability of three different contextual models of lexical semantic memory and of a simple associative model to predict the properties of semantic networks derived from word association norms. None of the semantic models were able to accurately predict all of the network properties. All three contextual models over-predicted clustering in the norms, whereas the associative model under-predicted clustering. Only a hybrid model that assumed that some of the responses were based on a (...) contextual model and others on an associative network successfully predicted all of the network properties and predicted a word's top five associates as well as or better than the better of the two constituent models. The results suggest that participants switch between a contextual representation and an associative network when generating free associations. We discuss the role that each of these representations may play in lexical semantic memory. Concordant with recent multicomponent theories of semantic memory, the associative network may encode coordinate relations between concepts, and contextual representations may be used to process information about more abstract concepts. (shrink)

Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meaning in terms of undifferentiated bags of words or topical dimensions. This has led some to question their psychological plausibility (Murphy, 2002;Schunn, 1999). We present here a fully automatic method for extracting a structured and comprehensive set of concept descriptions directly from an English part‐of‐speech‐tagged corpus. Concepts are characterized by weighted properties, enriched with concept–property types that approximate (...) classical relations such as hypernymy and function. Our model outperforms comparable algorithms in cognitive tasks pertaining not only to concept‐internal structures (discovering properties of concepts, grouping properties by property type) but also to inter‐concept relations (clustering into superordinates), suggesting the empirical validity of the property‐based approach. (shrink)

Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meaning in terms of undifferentiated bags of words or topical dimensions. This has led some to question their psychological plausibility (Murphy, 2002;Schunn, 1999). We present here a fully automatic method for extracting a structured and comprehensive set of concept descriptions directly from an English part‐of‐speech‐tagged corpus. Concepts are characterized by weighted properties, enriched with concept–property types that approximate (...) classical relations such as hypernymy and function. Our model outperforms comparable algorithms in cognitive tasks pertaining not only to concept‐internal structures (discovering properties of concepts, grouping properties by property type) but also to inter‐concept relations (clustering into superordinates), suggesting the empirical validity of the property‐based approach. (shrink)

In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of (...) the paper we look for conservative extensions of having such properties. (shrink)

Previous studies of the lexical psycholinguistic properties in second language production have assessed the degree of an LPP dimension of an L2 corpus by computing the mean ratings of unique content words in the corpus for that dimension, without considering the possibility that learners at different proficiency levels may perceive the degree of that dimension of the same words differently. This study extended a dynamic semantic similarity algorithm to estimate the degree of five different LPP dimensions of several (...) sub-corpora of the Education First-Cambridge Open Language Database representing L2 English learners at different proficiency levels. Our findings provide initial evidence for the validity of the algorithm for assessing the LPPs in L2 production and contribute useful insights into between-proficiency relationships and cross-proficiency differences in the LPPs in L2 production as well as the relationships among different LPP dimensions. (shrink)

In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation (...) property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic. (shrink)

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms . We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical (...) real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants. (shrink)

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every possible (...) world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (shrink)

It is common belief that semantic properties supervene on non-semantic properties: no two possible worlds can be non-semantic duplicates and fail to be semantic duplicates. The view enjoys somewhat of an orthodoxy status in contemporary philosophy of language and metaphysics, and is often assumed without argument. Yet, work by Stephen Kearns and Ofra Magidor has claimed that it is vulnerable to a variant of the classical arguments against the supervenience of the phenomenal on the (...) physical. This paper does three things: it clarifies what semantic supervenience is about, it responds to the objections that have been leveled against it, and provides a new battery of arguments in its favor. I argue that the thesis of semantic supervenience is safe from classical anti-supervenience arguments, and show that its rejection generates unwelcome consequences. I conclude that there are substantial reasons to embrace the received wisdom: semantic properties supervene. (shrink)

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from (...) recent proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

This volume is a comprehensive, up-to-date, and readable introduction to linguistic meaning. While partial to conceptual and typological approaches, the book also presents results from formal approaches. Throughout, the focus is on grammatical meaning -- the way languages delineate universal semantic space and encode it in grammatical form. Subjects covered by the author include: the domain of linguistic semantics and the basic tools, assumptions, and issues of semantic analysis; semantic properties of entities, events, and thematic roles; (...) language and space; tense, aspect, and the internal structure and temporal ordering of events; modality, negation, and the epistemology of the speaker; and modification and attribution. In contrast to most current treatments of semantics, this book is accessible to the beginning student of semantics and linguistics and also useful to the advanced practitioner. A textbook and reference work in a single volume, it can be used in a number of disciplines: psychology, computer science, and anthropology as well as linguistics. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes (...) it canonically serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel (...) class='Hi'>semantic account of plurals which dispenses with plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

An analysis of the structural properties of collections or pluralities, homogeneous objects like water, and the semantics and philosophy of events.

Semantic normativism, which is the view that semantic properties/concepts are some kind of normative properties/concepts, has become increasingly influential in contemporary meta-semantics. In this paper, I aim to argue that semantic normativism has difficulty accommodating the causal efficacy of semantic properties. In specific, I raise an exclusion problem for semantic normativism, inspired by the exclusion problem in the philosophy of mind. Moreover, I attempt to show that the exclusion problem for semantic (...) normativism is peculiarly troublesome: while we can solve mental-physical exclusion by adopting the so-called ‘autonomy approach’, a similar autonomy solution to semantic exclusion is implausible if semantic properties are understood as normative properties. (shrink)

We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in the existential fragment of second–order logic. Two arguments for this thesis are formulated. Firstly, we show that so–called Barwise's test of negation normality works properly only when assuming our main thesis. Secondly, we discuss the argument from practical computability for finite universes. Everyday language sentences are directly or indirectly verifiable. We show that in both cases they are bounded by (...) second–order existential properties. Moreover, there are known examples of everyday language sentences which are the most difficult in this class (NPTIME–complete). (shrink)