We consider the problem of semantic opposition; in particular, theproblem of determining adjective-verb opposition for transitive changeof state verbs and adjectivally modified grammatical objects. Semanticopposition problems of this type are a sub-case of the classic FrameProblem; the well-known problem of knowing what is preserved orchanged in the world as a result of some action or event. Bydefinition, grammatical objects of change of state verbs undergomodification. In cases where the object is adjectivally modified, theproblem reduces to determining whether the property (...) denoted by theadjective still holds true after the event denoted by the verb. Inthis paper, we evaluate the efficacy of WordNet, a network of conceptsorganized around linguistically relevant semantic relations includingantonymy, for this task. Test examples are drawn from the linguisticliterature. Results are analyzed in detail with a view towardsproviding feedback on the concept of a network as an appropriate modelof semantic relations for problems in semantic inference. (shrink)

. In this paper we present a proposal that (i) could validate more relations in the square than those allowed by classical logic (ii) without a modification of canonical notation neither of current symbolization of categorical statements though (iii) with a different but reliable semantics.

This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a combinatorial technique for representing the formulas that appear in a logical diagram, while logic-sensitivity entails that such a diagram may depend, not only on the formulas involved, but also on the logic with respect to which they are interpreted. These two topics have already been studied extensively in logical geometry, and are thus well-understood by themselves. However, the precise details of their (...) interplay turn out to be far more complicated. In particular, the paper describes an elegant and natural interaction between bitstrings and logic-sensitivity, which makes perfect sense when bitstrings are viewed as purely combinatorial entities. However, when we view bitstrings as semantically meaningful entities (which is actually the standard perspective, cf. the term ‘bitstring semantics’!), this interaction does not seem to have a full and equally natural counterpart. The paper describes some attempts to address this situation, but all of them are ultimately found wanting. For now, it thus remains an open problem to capture this interaction between bitstrings and logic-sensitivity from a semantic (rather than merely a combinatorial) perspective. (shrink)

This book studies Chinese opposites. It uses a large corpus to trace the behavior of opposite pairings’ co-occurrence, focusing on the following questions: In what types of constructions, from window-size restricted and bi-syllabic to quad-syllabic, will the opposite pairings appear together? And, on a larger scale, i.e. in constrained-free contexts, in which syntactic frames will the opposite pairings appear together? The data suggests aspects that have been ignored by previous theoretical studies, such as the ordering rules in co-occurrent pairings, the (...) differences between the three main sub-types of opposites in discourse function distributions. The author also considers the features of this Chinese study and compares it to similar studies of English and Japanese. In all, it offers a practical view of how opposites are used in a certain language as a response to the puzzles lingering in theoretical fields. This study appeals to linguists, computational linguists and language-lovers. With numerous tables, illustrations and examples, it is easy to read but also encourages readers to link their personal instincts with the results from a large corpus to experience the beauty of language as a shared human resource. (shrink)

The Vienna Circle’s relations to Polish Semantics comprise a rather large spectrum that reaches from Camap’s whole-hearted reception, Gödel’s partial anticipation that Neurath would completely reject semantics. According to Neurath, semantics was of no help for the empiricist program of the Vienna Circle. Quite the contrary, Neurath seems to have regarded Tarski as a sort of evil genius who led astray his closest philosophical friend Carnap, seducing him to leave the path of empiricist virtue and to become addicted to the (...) vice of Aristotelian metaphysics. (shrink)

Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth (...) are idiomaticity, lexical ambiguity, synonymy, hierarchical relations such as hyponymy and meronymy, and various types of oppositeness. Syntagmatic relations are also treated in some detail. The discussions are richly illustrated by examples drawn almost entirely from English. Although a familiarity with traditional grammar is assumed, readers with no technical linguistic background will find the exposition always accessible. All readers with an interest in semantics will find in this original text not only essential background but a stimulating new perspective on the field. (shrink)

This paper discusses knowledge of opposites. In particular, attention is given to the linguistic notion of antonymy and how it represents oppositional relations that are commonly found in perception. The paper draws upon the long history of work on the formalisation of antonymy in linguistics and formal semantics, and also upon work on the perception of opposites in psychology, and an assessment is made of the main approaches. Treatments of these phenomena in linguistics and psychology posit that the principles of (...) minimal difference and invariance are centrally important. It will be suggested that the standard approach employing meaning postulates fails to capture the relevant notion of antonymy, in part because it is not informed by these principles, and in part due to a number of other problems with this kind of approach, many of which may be overcome by building in the central principles from the beginning. The paper also discusses the issue of whether we can know that opposites necessarily exclude each other and, if so, how. This issue is intertwined with what is known as the colour incompatibility problem that Wittgenstein wrangled with at various times during his life. The paper assesses various solutions to these problems including an approach that was first put forward by Jerrold J. Katz. The relation between this approach and the theory of determinables and determinates is also examined. A further development upon this approach is proposed and then applied to the case of the formalisation of antonymy. It is argued that this approach avoids the problems suffered by the main approaches discussed earlier in the paper. (shrink)

A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by (...) means of a non-Fregean semantics that redefines the logical values of various sorts of sentences. A num- ber of topics are then addressed in the light of this algebraic semantics, namely: how to construct value-functional operators for any logical opposition, beyond the classical case of contradiction; Blanché's "closure problem", i.e., how to find a complete structure connecting the sixteen binary sentences with one another. All of this is meant to devise an abstract theory of opposition: it encompasses the relation of consequence as subalternation, while relying upon the use of a primary "proto- negation" that turns any relatum into an opposite. This results in sentential negations that proceed as intensional operators, while negation is broadly viewed as a difference-forming operator without special constraints on it. (shrink)

A logical theory of oppositions deals with the relation between propositions and their truth values. On the basis of a formal semantics that proceeds by means of questions-answers, three theses are claimed in the following: (1) the concept of opposition usually refers to incompatibility, but our logical analysis focusses upon a broader relation of difference; (2) more generally, opposition has to do with negativity; our semantics accounts for it through opposite-forming operators; (3) subalternation is a particular case of non-contradiction (...) expressing an “opposition of an opposition”; it is not a proper opposition, accordingly, but its very meaning depends upon the latter. There is not only one but rather a number of expressions for negativity and the paper presents a detailed analysis of these "floating" expressions in a twofold sense of the word: floating quantification is closely related to the logical operations of sentential negation and denial; to what extent natural languages do not clearly express the meaning of a negative thought will be exemplified. L'objectif du texte qui suit est double : non seulement proposer une analyse logique du concept d'opposition, susceptible d'apporter de la précision à cette notion tout aussi vague que courante ; mais aussi, proposer une explication des différentes façons dont la négation se manifeste dans les langues naturelles, en particulier dans notre modèle local de la langue française. Tandis que la communauté des linguistes propose couramment une distinction entre une négation logique et une négation linguistique, l'article qui suit a la prétention d'une explication unifiée de la négation, c'est-à-dire un cadre théorique commun dans lequel ces deux aspects de l'opérateur de négation apparaissent comme des cas particuliers aux significations distinctes. Il n'y aurait donc pas une négation logique, d'un côté, et une négation linguistique ou "métalinguistique", de l'autre. Une approche structurelle des expressions négatives devrait apporter un éclairage sur ce point, par le biais d'une analyse algébrique de la signification en termes de questions-réponses. Mais revenons pour commencer sur l'origine philosophique du concept d'opposition, avant d'en exposer les propriétés logiques par la suite et les expressions linguistiques pour conclure. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925–1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of (...) logical positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925-1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of (...) logical positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

Both formal semantics and cognitive semantics are the source of important insights about language. By developing precise statements of the rules of meaning in fragmentary, abstract languages, formalists have been able to offer perspicuous accounts of how we might come to know such rules and use them to communicate with others. Conversely, by charting the overall landscape of interpretations, cognitivists have documented how closely interpretations draw on the commonsense knowledge that lets us make our way in the world. There is (...) no opposition between these insights. Sooner or later we will have a semantics that responds to both. However, developing such a semantics is profoundly difficult, because there are certain tensions to be overcome in reconciling the two perspectives. For one thing, the overall landscape of meaning does seem to be characterized by a much richer ontology and more dynamic categories than are exhibited by the fragments typically studied in the formal tradition. One sign of strain is the recent tendency to talk of “procedural”, “non-compositional”, or “computational” semantics, as in Hamm, Kamp and van Lambalgen 2006, hereafter HK&vL. We think such locutions can serve as useful reminders to keep semantics fixed on the central question of how language allows us to share information that some have and others need to get. However, there is some danger that formalists will merely by put off by an idea that, taken literally, may not be such a good one. In this short article, we want to explore and defend the traditional realist view attributed by HK&vL to Lewis among others. In fact, this view offers a well-developed, extremely straightforward and robust account of the relation between semantics and cognition. Moreover, while the realist view has ways of accommodating the representationalist insights of DRT (Lewis 1979; Thomason 1990; Stalnaker 1998), it remains unclear how “computational” semantics can account for the key data for the realist view: cases where we judge interlocutors to be ignorant about aspects of meaning in their native language (Kripke 1972; Putnam 1975; Stalnaker 1979; Williamson 1994).. (shrink)

The article considers regional issues of the Kazakh transtoposystem. There are a number of problematic issues related to cross-border Kazakh toponymy. The article analyzes only one aspect – the status of binary names in the cross-border toposystem. The goal is to study how obvious the binary opposition is there, considering the etymology of toponyms based on semantic opposition. The toposystem of the Northern and Western regions bordering Russia was used as the empirical material for the study. According to the (...) border administrative-regional division, a number of districts of such regions of the country as North Kazakhstan, Pavlodar, Kostanay, Western Kazakhstan, Aktobe, and Atyrau border with Russia. In the article, a series of binary names along the toponyms of this cross-border zone is formed. In particular, Úlken-Kіshі (Big-Small), Aq-Qara (Black-White), Qara-Sary (Black-Yellow), Jaqsy-Jaman (Good-Bad), Jyly-Sýyq (Warm-Cold), and Ashy-Tushy (Bitter-Fresh) are analyzed. The difference between toponymic binary names and lexical antonyms is considered. We discuss the fact that the contradiction in lexical antonyms is clearly expressed, but in binary opposition along toponyms, the contradiction may not be complete. It is reported that the contradiction of toponyms is recognized only in the toponymic context, and sometimes it is even possible to form a related pair, rather than a semantic contradiction. (shrink)

Holistic theories of meaning have, at least since Dummett’s Frege: The Philosophy of language, been assumed to be problematic from the perspective of the incremental nature of natural language learning. In this essay I argue that the general relationship between holism and language learning is in fact the opposite of that claimed by Dummett. It is only given a particular form of language learning, and a particular form of holism, that there is a problem at all; in general, for all (...) forms of holism, and irrespective of how language learning is understood, semantic holism is conducive to language learning. The paper has three main parts. In the first, I demonstrate with the use of a simple formal system, that the form of holism that generates the problem that Dummett draws attention to is really decomposable into three distinct components, each of which is necessary for the problem to arise. In the second part, I demonstrate that even Dummett’s strong form of holism is compatible with one natural way in which to understand the incremental nature of language learning. In the third part, I outline the reasons why all forms of holism are conducive to language learning and offer two ways in which this general fact can be spelled out precisely. I end the paper by addressing some possible objections, and in doing so I draw attention to some affinities between semantic holism and the principle of compositionality, a semantic principle which has long been assumed to be conducive to language learning. (shrink)

The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, (...) the paraconsistent and paracomplete logics M3, M3veto and C3 are described. The distinction of designated and non-designated values is not used, and instead, the consequence relation is defined as a preservation of the minimum truth-value of the implying set of sentences. The consequence and opposition relations of the logics described are compared, and an ordering of the logics with respect to their opposition relations is established. (shrink)

A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous interpretation of (...) assertoric sentences in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

Research on the semantics of spatial markers in French is known mainly through Vandeloise’s work on static prepositions. However, interest in the expression of space in French goes back to the mid-1970s and focused first on verbs denoting changes in space, whose syntactic properties were related to specific semantic distinctions, such as the opposition between “movement” and “displacement”. This volume provides an overview of recent studies on the semantics of dynamic space in Fr...

Research from psychology, neurobiology and behavioral economics indicates that a binary view of motivation, based on approach and avoidance, may be too reductive. Instead, a literature review suggests that at least seven distinct motives are likely to affect human decisions: “consumption/resource seeking,” “care,” “affiliation,” “achievement,” “status-power,” “threat approach” (or anger), and “threat avoidance” (or fear). To explore the conceptual distinctness and relatedness of these motives, we conducted a semantic categorization task. Here, participants were to assign provided words to one (...) of the motives. By applying principal component analysis to the categorization assignments we represent the semantic inter-relations of these motives on a two-dimensional space, a “semantic atlas.” This atlas suggests that, while care and affiliation are conceptually close, affiliation is closer to threat avoidance (or fear); opposite to these motives we find achievement, consumption and power, with the latter lying closer to threat approach (or anger). In a second study, we asked participants to rate how well the motive-specific words obtained in the first study described their currently experienced feelings. We find that semantically close motives are also more likely to be experienced together, that is, we replicate most of the semantic relations in the “subjective atlas.” We discuss our findings in comparison to other multi-dimensional models of motivation, which show clear similarities. In addition to these motivational atlases, we provide a database of motive-specific words, together with the valence and arousal scores. These can be used for future research on the influence of motives on decision making. (shrink)

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

The semantics/pragmatics distinction was once considered central to the philosophy of language, but recently the distinction’s viability and importance have been challenged. In opposition to the growing movement away from the distinction, I argue that we really do need it, and that we can draw the distinction sharply if we draw it in terms of the distinction between non-mental and mental phenomena. On my view, semantic facts arise from context-independent meaning, compositional rules, and non-mental elements of context, whereas pragmatic (...) facts are a matter of speakers’ mental states and hearers’ inferences about them. I argue for this treatment of the distinction by comparing it to some other extant treatments (in terms of “what is said,” and in terms of the involvement of context) and then defending it against several challenges. Two of the challenges relate to possible intrusion of mental phenomena into semantics, and the third has to do with possible over-restriction of the domain of pragmatics. (shrink)

We present the results of four experiments concerning the evaluation people make of sentences involving “many”, showing that two sentences of the form “many As are Bs” vs. “many As are Cs” need not be equivalent when evaluated relative to a background in which B and C have the same cardinality and proportion to A, but in which B and C are predicates with opposite semantic and affective values. The data provide evidence that subjects lower the standard relevant to (...) ascribe “many” for the more negative predicate, and that judgments involving “many” are sensitive to moral considerations, namely to expectations involving a representation of the desirability as opposed to the mere probability of an outcome. We relate the results to similar semantic asymmetries discussed in the psychological literature, in particular to the Knobe effect and to framing effects. (shrink)

It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will be reviewed.

This book explores how some word meanings are paradigmatically related to each other, for example, as opposites or synonyms, and how they relate to the mental organization of our vocabularies. Traditional approaches claim that such relationships are part of our lexical knowledge (our "dictionary" of mentally stored words) but Lynne Murphy argues that lexical relationships actually constitute our "metalinguistic" knowledge. The book draws on a century of previous research, including word association experiments, child language, and the use of synonyms and (...) antonyms in text. (shrink)

Various semantics for studying the square of opposition have been proposed recently. So far, only [14] studied a probabilistic version of the square where the sentences were interpreted by (negated) defaults. We extend this work by interpreting sentences by imprecise (set-valued) probability assessments on a sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square in terms of acceptability and show how to construct probabilistic versions of the square (...) of opposition by forming suitable tripartitions. Finally, as an application, we present a new square involving generalized quantifiers. (shrink)

This paper uses the distribution and interpretation of antonymous adjectives in comparative constructions as an empirical basis to argue that abstract representations of measurement, or ‘degrees’, must be modeled as intervals on a scale, rather than as points, as commonly assumed. I begin by demonstrating that the facts in this domain must be accounted for in terms of the interaction of the semantics of adjectival polarity and the semantics of the comparative, rather than principles governing the (overt) expression of particular (...) types of adjectives in comparatives. I then show that a principled account of the full range of data under consideration can be constructed within a model in which degrees are formalized as intervals on a scale and adjectival polarity is characterized in terms of two structurally distinct and complementary sorts of `positive' and `negative' degrees. (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. I (...) will conclude with some consideration on scope interactions between quantifiers. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square and of the hexagon in terms of acceptability. Then, we show how to construct probabilistic versions of the square and of the hexagon of opposition by forming suitable tripartitions of the (...) set of all coherent assessments. Finally, as an application, we present new versions of the square and of the hexagon involving generalized quantifiers. (shrink)

The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic (...) semantics of terms: Bit-CL, in which any ordered objects are identified by characteristic bitstrings. Then, a number of objections to Bit-CL are answered to, and the process of inference is explained in this new logical framework. (shrink)

The present article is the third part of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In Part I (Picazo 2021), the discussion was set out by examining a number of typical traces of Platonism in semantic theory since Frege. In Part II (Picazo 2021a), additional illustrations of such traces were provided, taken from a collection of recent commissioned essays on the philosophy of language (Schantz 2012). The present part (...) is devoted to providing yet additional illustrations of such traces, taken from a collection of classic essays on the subject: the book Modern Philosophy of Language, edited by Maria Baghramian in 1998. We shall, thus, describe a number of examples in which the influence of semantic Platonism on these essays can be felt. Prominent among these examples are the confusion between sentences and propositions (and related confusions), the avoidant attitude with respect to basic aspects of linguistic meaning, the overuse of analytic methodology for semantic research, the adoption of a background Platonic metaphysics of meanings and the overreaction against semantic Platonism and germane views, witnessing an inverse influence (‘by opposition’) from these views. (shrink)

Quine’s arguments in the final two sections of “Two Dogmas of Empiricism” bring semantic and epistemic concerns into spectacular collision. Many have thought that the arguments succeed in irreparably smashing a conception of a distinctively analytic and a priori philosophy to pieces. In Constructing the World, David Chalmers argues that much of this distinctively analytical and a priori conception of philosophy can be reconstructed, with Quine’s criticisms leaving little lasting damage. I agree with Chalmers that Quine’s arguments do not (...) have the lasting damage some take them to have. However, I do not think that Chalmers has succeeded in explaining why. The core of Chalmers’s error lies in the rational dispositionalism that forms the metasemantics of his Carnapian intensionalism. Responding to Quine requires recognizing conceptions of both concepts and epistemic normativity that go beyond the opposition between irrationality and conceptual change that Chalmers brings to bear on Quine. I explain this expanded conception of concepts and epistemic normativity in terms of another fundamental aim of Constructing the World, namely that of providing an account of Fregean sense, or more generally of defending what Chalmers calls epistemological semantics. (shrink)

According to Greimas, the semiotic square is far more than a heuristic for semantic and literary analysis. It represents the generative “deep structure” of human culture and cognition which “define the fundamental mode of existence of an individual or of a society, and subsequently the conditions of existence of semiotic objects” (Greimas & Rastier 1968: 48). The potential truth of this hypothesis, much less the conditions and implications of taking it seriously (as a truth claim), have received little attention (...) in the literature. In response, this paper traces the history and development of the logical square of opposition from Aristotle to Greimas and beyond, to propose that the relations modelled in these diagrams are embodied relations rooted in gestalt memories of kinesthesia and proprioception from which we derive basic structural awareness of opposition and contrast such as verticality, bilaterality, transversality, markedness and analogy. To make this argument, the paper draws on findings in the phenomenology of movement (Sheets-Johnstone 2011a, 2011b, 2012, Pelkey 2014), recent developments in the analysis of logical opposition (Beziau & Payette 2008), recent scholarship in (post)Greimasian semiotics (Corso 2014, Broden 2000) and prescient insights from Greimas himself (esp. 1968, 1984). The argument of the paper is further supported through a visual and textual content analysis of a popular music video, both to highlight relationships between the semiotic square and mundane cultural ideologies and to show how these relationships might be traced to the marked symmetries of bodily movement. In addition to illustrating the enduring relevance of Greimasean thought, the paper further illustrates the neglected relevance that embodied chiasmus holds for developments in anthropology, linguistics and the other cognitive sciences. (shrink)

The aim of this study is to reveal the role of religious, political and cultural factors on the way of understanding the concept of Ahl al-ḥaqq, one of the most important theopolitical concepts of Islamic thought, and to identify the projections of the semantic traansformatinon that concept of Ahl al-ḥaqq has experienced. In the comparative study with the group of "Ahl al-Shirk", "Ahl al-Kitāb", "Ahl al-Bid'at" and "Ahl al-Hawā", it has been determined that the concept of Ahl al-Haq has (...) a multi-layered spectrum of meaning. A number of critical periods can be mentioned in the formation of this multi-layered meaning structure. The first of these periods is the founding period in which a conception is constructed through the description of the superstitious actions of the "Ahl al-Shirk" and "Ahl al-Kitâb" groups in belief and practice, even though the term "Ahl al-haqq" is not mentioned in the Qur’ān. In this context, it can be said that all Muslims who confess and recite the shahada or the word tawhid with the intention of illa'l-haqq in faith and deeds are included in the category of Ahl al-haqq. After the first semantic period in which the opposition between Islam and un-Islam was decisive, the socio-political issues that emerged among Muslims moved the debate on who could be included in the scope of Ahl al-haqq to the intra-Islamic plane. In the second semantic period, in which every sect considered itself to be right, the scope of Ahl al-Haq was mostly described through the nass-centered references of the Salafiyya and the superstitious practices in belief and practice of Muslims included in the Ahl al-Bid'at category. The third semantic period was shaped relatively by the encounter with philosophical traditions. This is the period in which theologians defending the Islamic faith tried to keep dynamic the outward/objective epistemological aspect of the concept. In the fourth semantic period, which coincided with post-modernism, Ahl al-Haq returned to the socio-political meaning of the opposition between Islam and un-Islam in the founding period as an anti-imperial attitude against colonization activities. As a result, considering all these definitions, it is concluded at the present time that, it would be more accurate that the concept of Ahl al-Haq is better defined to include all Muslims who have accepted the principles of Islamic belief and declared their adherence to the Qur’ān and Sunna. (shrink)

Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Patel and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Patel and Groen analyzed the linear dimension of cardiologists' discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of two of their pothophysiological protocols is done using structural semantic techniques from Lemieux and Bordage where the vertical dimension (...) of the discourses is analyzed, that is, the levels of meaning or semantic axes. Contrary to Patel and Groen's position, making an accurate diagnosis is not explained in terms of pure forward reasoning through networks of causal rules, but by means of networks of semantic qualities abstracted from the symptoms and signs. The semantic qualities operate in the clinician's mind in terms of binary oppositions (e.g., sudden-gradual, unilateral-bilateral) whereby each pair of properties constitutes a semantic axis (e.g., sudden-gradual). The successful diagnosticians are those who use the most diversified and pertinent set of semantic axes and, therefore, have a deeper representation of the problem. (shrink)

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

Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for (...) the categorical statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation. (shrink)

This paper is a review of words and their meanings in the field of technology studies, and an analysis the semantics of an idealistic international technology-related social movement that flourished briefly during the second half of the twentieth century. Sloppy nomenclature employed by proponents and observers of the movement led to people with opposite views appearing to agree (and vice versa), with the consequence that the movement’s valuable policy insights exerted only marginal influence on mainstream technology policy. I conclude that (...) poor technological semantics may undermine effective technological practice. Suggestions for a constructive technological nomenclature are presented. (shrink)

This paper is concerned with removing the identity schema from the axiomatic basis of deontic conditionals. This is in order to allow a stipulated ideal to be contrary or opposite in nature to the fact it is predicated upon. It is desirable, or so it is argued, to retain the order-theoretic orientation of preferential semantics towards the analysis of deontic conditionals, more specifically of maximality semantics in the tradition from Bengt Hansson. So understood, the problem involves abstracting away the settledness (...) assumption that is built in to maximality semantics. This is the assumption that what is optimal given ϕ is that which all the best ϕ-states have in common, notably ϕ itself. We propose a solution based on a strict and finite preference relation over which deontic conditionals are evaluated by letting ϕ-states evolve freely, as fate or fortune would have it, into different possibly ensuing optima that may but need not be ϕ-states themselves. The result is a deontic conditional that does not have identity. This new conditional is shown to be a proper generalization of the Hansson conditional. Hansson’s conditional can be recovered in the new idiom as a special case. Indeed, the new semantics is general enough to cover several apparently very different conceptions of deontic conditionality. For instance, the input/output logic known as basic output is a sublogic of the new system. This is somewhat surprising and suggests that there may yet be unity to be had in the field of deontic logic. (shrink)

Traditional theories of sarcasm treat it as a case of a speaker's meaning the opposite of what she says. Recently, 'expressivists' have argued that sarcasm is not a type of speaker meaning at all, but merely the expression of a dissociative attitude toward an evoked thought or perspective. I argue that we should analyze sarcasm in terms of meaning inversion, as the traditional theory does; but that we need to construe 'meaning' more broadly, to include illocutionary force and evaluative attitudes (...) as well as propositional content. I distinguish four subclasses of sarcasm, individuated in terms of the target of inversion. Three of these classes raise serious challenges for a standard implicature analysis. (shrink)

This chapter begins with an examination of Michael Dummett's influential treatment of the issues, which couples an attempt to identify a common form exemplified by a large, if not exhaustive, range of R/AR disputes with important arguments against a realist position about meaning which ‐ if they are sound. It also examines Dummett's diagnosis of what is at stake in those disputes is correct ‐ promise to resolve the issue in the anti‐realist's favor, not only in the theory of meaning (...) itself, but across the board. The chapter surveys the principal negative arguments, advanced by Dummett and others, for semantic anti‐realism. It explains the arguments on R/AR disputes more generally, and reviews doubts about the adequacy of Dummett's general conception of their common form. It reviews other ways in which the anti‐realist case may be prosecuted. It concludes with a brief examination of the new perspective on R/AR disputes advocated in recent work by Wright. (shrink)

The old Bohr–Einstein debate about the completeness of quantum mechanics (QM) was held on an ontological ground. The completeness problem becomes more tractable, however, if it is preliminarily discussed from a semantic viewpoint. Indeed every physical theory adopts, explicitly or not, a truth theory for its observative language, in terms of which the notions of semantic objectivity and semantic completeness of the physical theory can be introduced and inquired. In particular, standard QM adopts a verificationist theory of (...) truth that implies its semantic nonobjectivity; moreover, we show in this paper that standard QM is semantically complete, which matches Bohr's thesis. On the other hand, one of the authors has provided a Semantic Realism (or SR) interpretation of QM that adopts a Tarskian theory of truth as correspondence for the observative language of QM (which was previously mantained to be impossible); according to this interpretation QM is semantically objective, yet incomplete, which matches EPR's thesis. Thus, standard QM and the SR interpretation of QM come to opposite conclusions. These can be reconciled within an integrationist perspective that interpretes non-Tarskian theories of truth as theories of metalinguistic concepts different from truth. (shrink)

Can an appeal to the difference between contrary and contradictory statements, generated by a non-uniform behaviour of negation, deal adequately with paradoxical cases like the sorites or the liar? This paper offers a negative answer to the question. This is done by considering alternative ways of trying to construe and justify in a useful way (in this context) the distinction between contraries and contradictories by appealing to the behaviour of negation only. There are mainly two ways to try to do (...) so: i) by considering differences in the scope of negation, ii) by considering the possibility that negation is semantically ambiguous. Both alternatives are shown to be inapt to handle the problematic cases. In each case, it is shown that the available alternatives for motivating or grounding the distinction, in a way useful to deal with the paradoxes, are either inapplicable, or produce new versions of the paradoxes, or both. (shrink)

The article contains a review of the main arguments proposed by the philosophers of late structuralism against Edmund Husserl’s phenomenology, particularly, his theses on semantics. Polemics against the Husserlian conception of semantics are grounded in the structuralists’ opposition to the various theses of Husserl’s phenomenologies. Initially, it was an attempt at combining the logical and linguistic theses of Husserlian phenomenology with the structuralist theses proposed by Ferdinand de Saussure, as known from late works by Maurice Merleau-Ponty. In the 1960s, it (...) was an attempt at challenging the status of subjectivity – the subject, including the transcendental ego and the role of consciousness. Simultaneously, it is a polemic against essentialism, in regard to ontological, epistemological and anthropological theses. In the article, I focus on the polemics of the thinkers that reformulated Saussure’s theses, against Husserlian semantics which they considered in reference to the broad understanding of a sign, exceeding the sign of language. (shrink)

In the realm of meaning, what territory belongs to pragmatics, and what to semantics? The paper defends the primacy of semantics; it is semanticist rather than pragmaticist. The vehicle of content is primarily semantic, and is run by its ‘semantic engine’ so to speak. But what about problematic examples? Some authors proposes an extreme pan-semanticist answer: their semantic content is complete, since it relies on the convention pointing to what speaker “has in mind”. The semantic vehicle (...) is complete, pragmatics offers just lining and paint. The opposite extreme is Bach’s proposal that semantics encompasses only the “skeleton”, often not truth-conditional.The present paper defends an intermediate semanticist position: semantic content provides the guidance to truth-conditions, the rest is pragmatics. Call this “the guidance view”. In terms of vehicle metaphor, semantic content provides and directs the main force, it is the powertrain of the vehicle. The paper assumes that anaphora is semantic, shows that anaphora guides the hearer in determining the truth-conditional content, and argues that most problematic cases are anaphora-like: this concludes the defense of our guidance view. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

Meaning seems to shift from context to context; how do we know when someone says "grab a chair" that an ottoman or orange crate will do, but when someone says "let's buy a chair," they won't? In Plastic Glasses and Church Fathers, Kronenfeld offers a theory that explains both the usefulness of language's variability of reference and the mechanisms which enable us to understand each other in spite of the variability. Kronenfeld's theory, rooted in the tradition of ethnoscience (or cognitive (...) anthropology), accomplishes three things. First, it distinguishes prototypic referents from extended referents. Second, it describes the various bases of semantic extensions. Finally it details how we use the situational context of usage, the linguistic context of opposition and inclusion, and the conceptual context of knowledge about the world to interpret communicative events. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.