The pathology of validity

Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read’s results and show that this inconsistency is but one half of a larger problem. Like the concept of truth, validity is infected with what we call semantic pathology, a condition that actually gives rise to two symptoms: inconsistency and indeterminacy. After sketching the basic ideas behind semantic pathology and explaining how it manifests both symptoms in the concept of truth, we present cases that establish the indeterminacy of validity and that link this indeterminacy with the concept’s inconsistency. Our conclusion is that an adequate treatment of the semantic pathology thus revealed must deal with both of its symptoms. Further, it must extend to the occurrences of this condition elsewhere: in the concept of truth, in the other central semantic notions, and even in certain philosophical concepts outside semantics.     

Quantification in English is Inherently Sortal

Within Linguistics the semantic analysis of natural languages (English, Swahili, for example) has drawn extensively on semantical concepts first formulated and studied within classical logic, principally first order logic. Nowhere has this contribution been more substantive than in the domain of quantification and variable binding. As studies of these notions in natural language have developed they have taken on a life of their own, resulting in refinements and generalizations of the classical quantifiers as well as the discovery of new types of quantification which exceed the expressive capacity of the classical quantifiers. We refer the reader to Keenan and Westerståhl (1997) for an overview of results in this area. Here, we focus on one property of quantification in natural language—its inherently sortal nature—which distinguishes it from quantification in classical logic.     

Knowledge and deductive closure

The question whether epistemological concepts are closed under deduction is an important one since many skeptical arguments depend on closure. Such skepticism can be avoided if closure is not true of knowledge (or justification). This response to skepticism is rejected by Peter Klein and others. Klein argues that closure is true, and that far from providing the skeptic with a powerful weapon for undermining our knowledge, it provides a tool for attacking the skeptic directly. This paper examines various arguments in favor of closure and Klein's attempted use of closure to refute skepticism. Such a refutation of skepticism is mistaken. But the closure principle is in any case false, so the skepticism that depends on it is undermined. The appeal of the closure principle derives from a failure to recognize an important feature of our epistemological concepts, namely, their context relativity.     

Talking about emotions: Semantics,culture, and cognition

Abstract

The author argues that the so-called “basic emotions”, such as happiness, fear or anger, are in fact cultural artifacts of the English language, just as the Ilongot concept of liget, or the Ifaluk concept of song, are the cultural artifacts of Ilongot and Ifaluk. It is therefore as inappropriate to talk about human emotions in general in terms of happiness, fear, or anger as it would be to talk about them in terms of liget or song. However, this does not mean that we cannot penetrate into the emotional world of speakers of languages other than our own. Nor does it mean that there cannot be any universal human emotions. Universality of emotions is an open issue which requires further investigation. For this further investigation to be fully productive, it has to be undertaken from a universal, language and culture-independent perspective; and it has to be carried out in a universalist framework that is language and culture-independent. The author proposes for this purpose the “natural semantic metalanguage” based on universal (or near-universal) semantic primitives (or near-primitives), developed over two decades by herself and colleagues, and she argues that the use of this metalanguage facilitates such a perspective and offers such a framework.     

Transmission arguments against knowledge closure are still fallacious

Transmission arguments against closure of knowledge base the case against closure on the premise that a necessary condition for knowledge is not closed. Warfield argues that this kind of argument is fallacious whereas Brueckner, Murphy and Yan try to rescue it. According to them, the transmission argument is no longer fallacious once an implicit assumption is made explicit. I defend Warfield’s objection by arguing that the various proposals for the unstated assumption either do not avoid the fallacy or turn the central premise of the transmission argument, namely that a necessary condition is not closed, into a redundant and superfluous premise. I conclude that Warfield’s advice is still to be heeded: Arguments against closure must not rely essentially on the premise that a necessary condition for knowledge is not closed.     

How game-theoretical semantics works: Classical first-order logic

The structure of strategies for semantical games is studied by means of a new formalism developed for the purpose. Rigorous definitions of strategy, winning strategy, truth, and falsity are presented. Non-contradiction and bivalence are demonstrated for the truth-definition. The problem of the justification of deduction is examined from this perspective. The rules of a natural deduction system are justified: they are seen to guarantee existence of a winning strategy for the defender in the semantical game for the conclusion, given winning strategies for that player in the games for the premises. Finally, it is shown how semantical games and the truth-definition can be given for languages lacking individual constants. *** DIRECT SUPPORT *** AZ902009 00003     

Semantic information and the network theory of account

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained.     

A Dogma of Naturalism

One of the major historical effects of Quine's attacks upon the analytic‐ synthetic distinction has been to popularise the belief that philosophy is continuous with science. Currently, most philosophers believe that such continuity is an inevitable consequence of naturalism. This article argues that though Quine's semantic holism does imply that there is no sharp distinction between truths discoverable by scientific investigation and truths discoverable by philosophical investigation, it also implies that there is a perfectly sharp and natural distinction between natural science and naturalistic philosophy.     

Logical Properties of Warrant

Trenton Merricks argues that on any reasonable account, warrant must entailtruth. I demonstrate three theses about the properties ofwarrant: (1) Warrant is not unique;there are many properties that satisfy the definition of warrant. (2) Warrant need not entail truth; there are some warrant properties that entailtruthand others that do not. (3) Warrant need not be closed under entailment, even if knowledge is. If knowledge satisfies closure, then some warrant properties satisfy closure while others do not;if knowledge violates closure, then allwarrant properties violate closure.     

Epistemic closure, skepticism and defeasibility

Those of us who have followed Fred Dretske??s lead with regard to epistemic closure and its impact on skepticism have been half-wrong for the last four decades. But those who have opposed our Dretskean stance, contextualists in particular, have been just wrong. We have been half-right. Dretske rightly claimed that epistemic status is not closed under logical implication. Unlike the Dretskean cases, the new counterexamples to closure offered here render every form of contextualist pro-closure maneuvering useless. But there is a way of going wrong under Dretske??s lead. As the paper argues, Cartesian skepticism thrives on closure failure in a way that is yet to be acknowledged in the literature. The skeptic can make do with principles which are weaker than the familiar closure principles. But I will further claim that this is only a momentary reprieve for the skeptic. As it turns out, one of the weaker principles on which a skeptical modus tollens must rest can be shown false.     

Partial monotonicity and a new version of the Ramsey test

We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs.Finally, we have a new inconsistency result, which is dual to the Gärdenfors inconsistency results. Any elementary belief revision system that is consequentially correct must violate the Gärdenfors axiom of strong boundedness (K^*8), which we characterize as yet another monotonicity condition.This work was supported by the McDonnell Douglas Independent Research and Development program.     

Topological Separation Principles And Logical Theories

This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic and paraconsistentlogic in respect of the incompleteness and inconsistency of theories.Necessary and sufficient conditions which relate the T ₁-property to theproperties of logical theories, are obtained. The result is then extendedto Hausdorff and Normal spaces. In the final section these methods areused to vary the modelling conditions for identity.     

B-varieties with normal free algebras

The starting point for the investigation in this paper is the following McKinsey-Tarski's Theorem: if f and g are algebraic functions (of the same number of variables) in a topological Boolean algebra (TBA) and if C(f)C(g) vanishes identically, then either f or g vanishes identically. The present paper generalizes this theorem to B-algebras and shows that validity of that theorem in a variety of B-algebras (B-variety) generated by SCI _B -equations implies that its free Lindenbaum-Tarski's algebra is normal. This is important in the semantical analysis of SCI _B (the Boolean strengthening of the sentential calculus with identity, SCI) since normal B-algebras are just models of this logic. The rest part of the paper is concerned with relationships between some closure systems of filters, SCI _B -theories, B-varieties and closed sets of SCI _B -equations that have been derived both from the semantics of SCI _B and from the semantics of the usual equational logic.To the memory of Jerzy Supecki     

Building the perfect curse word: A psycholinguistic investigation of the form and meaning of taboo words

Taboo words represent a potent subset of natural language. It has been hypothesized that “tabooness” reflects an emergent property of negative valence and high physiological arousal of word referents. Many taboo words (e.g., dick, shit) are indeed consistent with this claim. Nevertheless, American English is also rife with negatively valenced, highly arousing words the usage of which is not socially condemned (e.g., cancer, abortion, welfare). We evaluated prediction of tabooness of single words and novel taboo compound words from a combination of phonological, lexical, and semantic variables (e.g., semantic category, word length). For single words, physiological arousal and emotional valence strongly predicted tabooness with additional moderating contributions from form (phonology) and meaning (semantic category). In Experiment 2, raters judged plausibility for combinations of common nouns with taboo words to form novel taboo compounds (e.g., shitgibbon). A mixture of formal (e.g., ratio of stop consonants, length) and semantic variables (e.g., ± receptacle, ± profession) predicted the quality of novel taboo compounding. Together, these studies provide complementary evidence for interactions between word form and meaning and an algorithmic prediction of tabooness in American English. We discuss applications for models of taboo word representation.

     

The Specificity of Sound Symbolic Correspondences in Spoken Language

Although language has long been regarded as a primarily arbitrary system, sound symbolism, or non‐arbitrary correspondences between the sound of a word and its meaning, also exists in natural language. Previous research suggests that listeners are sensitive to sound symbolism. However, little is known about the specificity of these mappings. This study investigated whether sound symbolic properties correspond to specific meanings, or whether these properties generalize across semantic dimensions. In three experiments, native English‐speaking adults heard sound symbolic foreign words for dimensional adjective pairs (big/small, round/pointy, fast/slow, moving/still) and for each foreign word, selected a translation among English antonyms that either matched or mismatched with the correct meaning dimension. Listeners agreed more reliably on the English translation for matched relative to mismatched dimensions, though reliable cross‐dimensional mappings did occur. These findings suggest that although sound symbolic properties generalize to meanings that may share overlapping semantic features, sound symbolic mappings offer semantic specificity.     

Against classical dialetheism

Dialetheism is the view that there are true contradictions. Classical dialetheism holds further the view that the law of excluded middle is indeed a logical law. Most famous dialetheists, such as G. Priest and J. Beall, are classical dialetheists; they take classical dialetheism to be the only plausible solution to the semantic paradoxes. The main contention of the paper is, however, that their views should be rejected. Based on inspecting Priest’s and Beall’s dialetheist theories from a special perspective, this paper contends that classical dialetheism has no natural and plausible way to assign truth values to various truth-ineliminable sentences, i.e., sentences whose truth-conditions essentially involve the property of being true. Several examples of such truth-ineliminable sentences are given in the paper, and two classical dialetheist strategies for assigning them truth values are inspected. This paper argues that none of these strategies is successful.     

Irigaray and Hölderlin on the relation between nature and culture

This paper explores the compatibility of Luce Irigaray's recent insistence on the need to revalue nature, and to recognise culture's natural roots, with her earlier advocacy of social transformation towards a culture of sexual difference. Prima facie, there is tension between Irigaray's political imperatives, for if culture really is continuous with nature, this implies that our existing, non-sexuate, culture is naturally grounded and unchallengeable. To dissolve this tension, Irigaray must conceive culture as having self-transformative agency without positioning culture as active vis-à-vis an inert and passive nature. I argue that Irigaray achieves this by conceiving culture to arise from a division internal to nature. She derives this idea from Hölderlin, who claims that nature originally divides itself into subjects and objects, and from Heidegger, who maintains that nature inflicts an originary violence upon itself. Critically reworking Hölderlin and Heidegger, Irigaray argues that male nature tends to turn against itself to generate an anti-natural, ecologically destructive, culture. She argues, however, that this tendency can be redirected and alleviated by the very cultural resources which male nature generates in dividing itself. Irigaray thus develops a unique way to advocate social change while recognising nature's profound impact and influence upon culture.     

First-Order Classical Modal Logic

The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like FOL + K)in terms of neighborhood frames with constant domains. The first order models we present permit the study of many epistemic modalities recently proposed in computer science as well as the development of adequate models for monadic operators of high probability. Models of this type are either difficult of impossible to build in terms of relational Kripkean semantics [40].We conclude by introducing general first order neighborhood frames with constant domains and we offer a general completeness result for the entire family of classical first order modal systems in terms of them, circumventing some well-known problems of propositional and first order neighborhood semantics (mainly the fact that many classical modal logics are incomplete with respect to an unmodified version of either neighborhood or relational frames). We argue that the semantical program that thus arises offers the first complete semantic unification of the family of classical first order modal logics.     

I—Must a Semantic Minimalist be a Semantic Internalist?

I aim to show that a semantic minimalist need not also be a semantic internalist. §I introduces minimalism and internalism and argues that there is a prima facie case for a minimalist being an internalist. §II sketches some positive arguments for internalism which, if successful, show that a minimalist must be an internalist. §III goes on to reject these arguments and contends that the prima facie case for uniting minimalism and internalism is also not compelling. §IV returns to an objection from §I and argues for a way to meet it which does not depend on giving up semantic externalism.