In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for (...) an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't (...) make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various (...) roles in conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought (...) to be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and (...) degrees is considerably more marginal than generally held. (shrink)

Using the method of Descriptive Experience Sampling, some subjects report experiences of thinking that do not involve words or any other symbols [Hurlburt, R. T., and C. L. Heavey. 2006. Exploring Inner Experience. Amsterdam: John Benjamins; Hurlburt, R. T., and S. A. Akhter. 2008. “Unsymbolized Thinking.” Consciousness and Cognition 17 : 1364–1374]. Even though the possibility of this unsymbolized thinking has consequences for the debate on the phenomenological status of cognitive states, the phenomenon is still insufficiently examined. This paper analyzes (...) the main properties of unsymbolized thinking and advances an explanation of its origin. According to our analysis, unsymbolized thoughts appear as propositional states, that is, they are experienced as compositional conceptual phenomena, with semantic and syntactic features analogous to those of the contents of utterances. Based on this characterization, we hypothesize that UT is continuous with the activity of inner speech, in particular, it i... (shrink)

This paper explores some ways how perceptual-cognitive accounts of anorexia can benefit from philosophy. The first section focuses on the three dimensions of anorexia most open to a contribution from philosophy: the dimensions of language, perception and cognition. In the second section, I offer a brief overview of what philosophy has to say regarding these dimensions, especially as they relate to two crucial issues: introspection and meaning. I draw from current philosophy of language, especially from the arguments against using internal (...) perception as a model for the way we express our own bodily states. I draw also from current philosophy of interpretation, especially from debates concerning the criteria for handling dialogical misunderstanding. I use these insights to expose some dangers in assuming and working with oversimplified accounts of introspection and meaning. I then suggest refined and updated accounts and examine their applicability and usefulness in the diagnosis and treatment of anorexia. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are (...) discussed, and a prototype natural-language-understanding system is presented as an illustration. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of (...) “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

R.C. Pradhan claims in Language, Reality, and Transcendence that, in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Philosophical Investigations, “[i]n no case is Wittgenstein interested in the empirical facts regarding language, as for him philosophy does not undertake any scientific study of language” (Pradhan 2009, xiv). I consider Ludwig Wittgenstein’s purportedly anti-scientific and anti-empirical approach to language in light of advances by philosophers and linguists in the latter half of the 20th century. I distinguish between various ways of understanding Wittgenstein’s stance against (...) scientism. Due to the success of more recent work on language, I argue that Wittgenstein’s critique, as interpreted by Pradhan in Language, Reality, and Transcendence, does not undermine the formal study of language. Nevertheless, I argue, the contention of Wittgenstein and Pradhan that language, through grammar (in Wittgenstein’s sense), serves a variety of functions still sheds light on the differences in meaning across different discourses. I argue that a synthesis of Wittgenstein’s pluralist theory of meaning with elements of a theoretical study of language offers the best comprehensive account of natural language. I will argue that this conception of language is consistent with elements of Pradhan’s interpretation. As Pradhan notes, “The aim here is not to project one kind of grammatical determination but keep options open for many such grammatical determinations such that the grammatical nuances are not papered over in the name of the unity of grammar” (Pradhan 2009, 28). (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (shrink)

The most popular and influential strategies used against semantic externalism and the causal theory of reference are critically examined. It is argued that upon closer scrutiny, none of them emerges as truly convincing.

Consciousness may not only be a problem how to know the brain but also a problem how to understand what known. Understanding is always an ontological system created as the explanation of what known by us. And, if all brains, including human brains, may be defined as the mind, consciousness must be part of our understanding of the mind. The author argues that no mind may exist if not be a life or lives, no life may exist if not be (...) a mind or a part of it, and, if it is the mind that needs to be explained, it must finally and fundamentally be explained as a life or a living system. An ontological definition of life is proposed first in this article, which is also applicable to fields such as physics, biology, psychology, and sociology. Based on an analysis of two kinds of lives and their relationship with matter and energy, a living system is modeled as the organization of two system relations, which explains not only consciousness but also wakefulness, emotion, intelligence, language and mind-body relationship. And finally, a semantic theory is reached, which takes lives as the only meaning of all symmetrical and conservative changes, such as the location changes or form changes of consciousness, or the state changes of memories. The concept of life, the model of living systems and the semantic theory together provide a framework for us to understand what and how consciousness is, why there is consciousness, where and when consciousness occurs. (shrink)

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

Racial constructionists, anti-naturalists, and anti-realists have challenged users of the biological race concept to provide and defend, from the perspective of biology, biological philosophy, and ethics, a biologically informed concept of race. In this paper, an ontoepistemology of biology is developed. What it is, by this, to be "biological real" and "biologically meaningful" and to represent a "biological natural division" is explained. Early 18th century race concepts are discussed in detail and are shown to be both sensible and not greatly (...) dissimilar to modern concepts. A general biological race concept (GBRC) is developed. It is explained what the GBRC does and does not entail and how this concept unifies the plethora of specific ones, past and present. Other race concepts as developed in the philosophical literature are discussed in relation to the GBRC. The sense in which races are both real and natural is explained. Racial essentialism of the relational sort is shown to be coherent. Next, the GBRC is discussed in relation to anthropological discourse. Traditional human racial classifications are defended from common criticisms: historical incoherence, arbitrariness, cluster discordance, etc. Whether or not these traditional human races could qualify as taxa subspecies – or even species – is considered. It is argued that they could qualify as taxa subspecies by liberal readings of conventional standards. Further, it is pointed out that some species concepts potentially allow certain human populations to be designated as species. It is explained why, by conventional population genetic and statistical standards, genetic differences between major human racial groups are at least moderate. Behavioral genetic differences associated with human races are discussed in general and in specific. The matter of race differences in cognitive ability is briefly considered. Finally, the race concept is defended from various criticisms. First, logical and empirical critiques are dissected. These include: biological scientific, sociological, ontological, onto-epistemological, semantic, and teleological arguments. None are found to have any merit. Second, moral-based arguments are investigated in context to a general ethical frame and are counter-critiqued. Racial inequality, racial nepotism, and the “Racial Worldview" are discussed. What is dubbed the Anti-Racial Worldview is rejected on both empirical and moral grounds. Finally, an area of future investigation – the politics of the destruction of the race concept – is pointed to. (shrink)

The main goal of this paper is to show that there are many phenomena that pertain to the construction of truth-conditional compounds that follow characteristic patterns, and whose explanation requires appealing to knowledge structures organized in specific ways. We review a number of phenomena, ranging from non-homogenous modification and privative modification to polysemy and co-predication that indicate that knowledge structures do play a role in obtaining truth-conditions. After that, we show that several extant accounts that invoke rich lexical meanings to (...) explain such phenomena face problems related to inflexibility and lack of predictive power. We review different ways in which one might react to such problems as regards lexical meanings: go richer, go moderately richer, go thinner, and go moderately thinner. On the face of it, it looks like moderate positions are unstable, given the apparent lack of a clear cutoff point between the semantic and the conceptual, but also that a very thin view and a very rich view may turn out to be indistinguishable in the long run. As far as we can see, the most pressing open questions concern this last issue: can there be a principled semantic/world knowledge distinction? Where could it be drawn: at some upper level (e.g. enriched qualia structures) or at some basic level (e.g. constraints)? How do parsimony considerations affect these two different approaches? A thin meanings approach postulates intermediate representations whose role is not clear in the interpretive process, while a rich meanings approach to lexical meaning seems to duplicate representations: the same representations that are stored in the lexicon would form part of conceptual representations. Both types of parsimony problems would be solved by assuming a direct relation between word forms and (parts of) conceptual or world knowledge, leading to a view that has been attributed to Chomsky (e.g. by Katz 1980) in which there is just syntax and encyclopedic knowledge. (shrink)

One well-known objection to the traditional Lewis-Stalnaker semantics of counterfactuals is that it delivers counterintuitive semantic verdicts for many counterpossibles (counterfactuals with necessarily false antecedents). To remedy this problem, several authors have proposed extending the set of possible worlds by impossible worlds at which necessary falsehoods may be true. Linguistic ersatz theorists often construe impossible worlds as maximal, inconsistent sets of sentences in some sufficiently expressive language. However, in a recent paper, Bjerring (2014) argues that the “extended” Lewis-Stalnaker (...) class='Hi'>semantics delivers the wrong truth-values for many counterpossibles if impossible worlds are required to be maximal. To make room for non-maximal or partial impossible worlds, Bjerring considers two alternative world-ontologies: either (i) we construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences, or (ii) we construe them as (maximal or partial) inconsistent sets of sentences that are closed and consistent with respect to some non-classical logic. Bjerring raises an objection against (i), and suggests that we opt for (ii). In this paper, I argue, first, that Bjerring’s objection against (i) conflates two different conceptions of what it means for a logic to be true at a world. Second, I argue that (ii) imposes too strong constraints on what counts as an impossible world. I conclude that linguistic ersatzists should construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences. (shrink)

One may distinguish between three broad conceptions of linguistic meaning. One conception, which I will call “logical”, views meaning as given in reference (for words) and truth (for sentences). Another conception, the “monological” one, seeks meaning in the cognitive capacities of the single mind. A third, “dialogical”, conception attributes meaning to interaction between individuals and personal perspectives. In this chapter I directly contrast how well these three approaches deal with the evidence brought forth by fictive interaction. I examine instances of (...) fictive interaction and argue that intersubjectivity in these instances cannot be reduced to either referential-logical or individual-cognitive semantic notions. It follows that intersubjectivity must belong to the essence of linguistic meaning. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

This paper criticizes the assumptions behind Robert Brandom’s reading of Hegel’s Phenomenology, contending that Hegel’s concern with the rational structure of experience, his valorization of reflection over ordinary experience and his idea of the necessit y of progress in knowledge cannot be accommodated within the framework of semantic pragmatism. The central contentions are that Brandom’s pragmatism never comes to terms with Hegel’s idea of truth as a result, leading to a historicist distortion, and also that Brandom’s failure to deal with (...) Hegel’s distinction between natural consciousness and the phenomenological observer collapses Hegel’s phenomenology into a philosophy restricted to the level of natural consciousness. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. (...) We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that (...) all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

This paper shows that direct-object perceptual verbs, such as "hear", "smell", "taste", "feel", and "see", share a collection of distinctive semantic behaviors with depictive verbs, among which are "draw'', "paint", "sketch", and "sculpt". What explains these behaviors in the case of depictives is that they are causative verbs, and have lexical decompositions that involve the creation of concrete artistic artifacts, such as pictures, paintings, and sculptures. For instance, "draw a dog" means "draw a picture of a dog", where the latter (...) occurrence of "draw" denotes a creative activity. While perceptual verbs are not obviously causatives, they have analogous decompositions involving noun phrases that denote modality-specific sense-objects, such as a sounds, smells, flavors, touches, and sights. Thus, "hear a trumpet" means "hear the sound of a trumpet", and the same holds, mutatis mutandis, for verbs denoting the other sensory modes. If we take this analogy at face value, our perceptual reports will commit us to a form of the sense-datum theory of perception. While the analogy can be resisted, resistance requires taking on unexpected commitments. (shrink)

a review of Keenan, ed. *Formal Semantics of Natural Language*.

A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all (...) semantic concepts as being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...) that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their (...) semantics. This paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

The utopian character of modern scientific theories, with the human nature as a subject, is an inevitable consequence of the presence of an imperative component of transdisciplinary human dimensional scientific knowledge. Its social function is the adaptation of the descriptive component of the theory to the given socio-cultural type that simplifies the passage of the process of social verification of the theory. The genesis of bioethics can be seen as one of the basic premises for the actualization of the anthropic (...) principle of ontology, which thus acquires the axiological and epistemological sense. (shrink)

In the not-too-distant past, vision was often said to involve three levels of processing: a low level concerned with descriptions of the geometric and photometric properties of the image, a high level concerned with abstract knowledge of the physical and semantic properties of the world, and a middle level concerned with anything not handled by the other two. The negative definition of mid-level vision contained in this description reflected a rather large gap in our understanding of visual processing: How could (...) the here-and-now descriptions of the low levels combine with the enduring knowledge of the high levels to produce our perception of the surrounding world? A number of experimental and theoretical efforts have been made over the past few decades to solve this "mid-level crisis". One of the more recent of these is based on the phenomenon of change blindness—the difficulty in seeing a large change in a scene when the transients accompanying that change no longer convey information about its location (Rensink, O'Regan, & Clark, 1997; Rensink, 2000a). Phenomenologically, this effect is quite striking: the change typically is not seen for several seconds, after which it suddenly snaps into awareness. During the time the change remains "invisible", there is an apparent disconnection of the low-level descriptions (which respond to the change) from subjective visual experience (which does not). As such, this effect would seem to have the potential to help us understand how mid-level mechanisms might knit low- and high-level processes into a coherent representation of our surroundings. -/- It is argued here that this potential can indeed be realized, and that change blindness can teach us much about the nature of mid-level vision.3 A number of studies are first reviewed showing that the perception of a scene does not involve a steady buildup of detailed representation: rather, it is a dynamic process, with focused attention playing one of the main roles, viz., forming coherent object representations whenever needed. It is then argued that change blindness can also shed considerable light on the nature of focused attention itself, such as its speed, capacity, selectivity, and ability to bind together visual properties into coherent structures. (shrink)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper discusses (...) the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

In this article, I explore the consequences of two commonsensical premises in semantics and epistemology: (1) natural language is a complex system rooted in the communal life of human beings within a given environment; and (2) linguistic knowledge is essentially dependent on natural language. These premises lead me to emphasize the process-socio-environmental character of linguistic meaning and knowledge, from which I proceed to analyse a number of long-standing philosophical problems, attempting to throw new light upon them on these grounds. (...) In particular, I criticize the use of expressions such as ‘absolute truth’, ‘absolute existence’ and ‘the thing in itself’, arguing that they lead to what I call ‘the ultralinguistic paradox’ (a fatal antinomy). In the same way, I review a number of mainstream topics in philosophical semantics, epistemology and metaphysics, reformulating them in terms much more naturalistic – and less mysterious – than usual. (shrink)

Progress in philosophy is difficult to achieve because our methods are evidentially and rhetorically weak. In the last two decades, experimental philosophers have begun to employ the methods of the social sciences to address philosophical questions. However, the adequacy of these methods has been called into question by repeated failures of replication. Experimental philosophers need to incorporate more robust methods to achieve a multi-modal perspective. In this chapter, we describe and showcase cutting-edge methods for data-mining and visualization. Big data is (...) a useful investigatory tool for moral psychology, and it fits well with the Ramsification method the first author advances in a series of recent papers. The guiding insight of these papers is that we can infer the meaning and structure of concepts from patterns of assertions and inferential associations in natural language. (shrink)

The chapter outlines an abstract theoretical framework that is currently (re-)emerging in the course of a theoretical convergence of several disciplines. In the first section, the fundamental problem of perception theory is formulated, namely, the generation, by the perceptual system, of meaningful categories from physicogeometric energy patterns. In the second section, it deals with basic intuitions and assumptions underlying what can be regarded as the current Standard Model of Perceptual Psychology and points out why this model is profoundly inadequate for (...) dealing with the fundamental problem of perception theory. In the third section, it discusses a level of analysis that promises to be fruitful for dealing, in conformity with established procedures of the natural sciences, with the problem of perceptual “meaning” and the problem of what constitutes a “perceptual object.” In the fourth section, it outlines a theoretical perspective on basic principles of the perceptual system which centers on the notions of complex data types and conceptual forms, and draws an entirely different theoretical picture of the role of the sensory input than traditional accounts. The final section focusses on the issue of material qualities and discusses, within the general theoretical framework outlined, some observations and results on the perception of certain material properties, namely, lustrous and glassy appearances. (shrink)

The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.

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)

I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.

1. The primary evidence and motivation for externalism in the philosophy of mind is provided by the semantic facts that support direct reference theories of names, indexi- cal pronouns, and natural kind terms. But many externalists have forgotten their sem- antic roots, or so I shall contend here. I have become convinced of this by a common reaction among externalists to the main argument of my 1991 paper AAnti-Individual- ism and Privileged Access.@ In that argument, I concluded that externalism is (...) incompat- ible with the principle that we can have privileged, non-empirical knowledge of the contents of our own thoughts. The reaction in question amounts to a dismissive denial of one of my argument=s main premises. This premise, which I defended at length in the paper, is that an externalist thesis regarding a cognitive property should hold that possession of the property by a person _logically_, or _conceptually_, implies the existence of objects external to that person. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a (...) number of problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version defended by Carruthers. Finally, we sketch (...) a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.

The widely accepted two-dimensional circumplex model of emotions posits that most instances of human emotional experience can be understood within the two general dimensions of valence and activation. Currently, this model is facing some criticism, because complex emotions in particular are hard to define within only these two general dimensions. The present theory-driven study introduces an innovative analytical approach working in a way other than the conventional, two-dimensional paradigm. The main goal was to map and project semantic emotion space in (...) terms of mutual positions of various emotion prototypical categories. Participants (N = 187; 54.5% females) judged 16 discrete emotions in terms of valence, intensity, controllability and utility. The results revealed that these four dimensional input measures were uncorrelated. This implies that valence, intensity, controllability and utility represented clearly different qualities of discrete emotions in the judgments of the participants. Based on this data, we constructed a 3D hypercube-projection and compared it with various two-dimensional projections. This contrasting enabled us to detect several sources of bias when working with the traditional, two-dimensional analytical approach. Contrasting two-dimensional and three-dimensional projections revealed that the 2D models provided biased insights about how emotions are conceptually related to one another along multiple dimensions. The results of the present study point out the reductionist nature of the two-dimensional paradigm in the psychological theory of emotions and challenge the widely accepted circumplex model. (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the (...) nonsemantic sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

This paper will outline a novel semantics of verbs of saying and of quotation based on Austin’s (1962) distinction among levels of linguistic acts (illocutionary, locutionary, rhetic, phatic, and phonetic acts). It will propose a way of understanding the notion of a rhetic act and argue that it is well-reflected in the semantics of natural language. The paper will furthermore outline a novel, unified and compositional semantics of quotation which is guided by two ideas. First, quotations convey (...) properties related to lower-level (phonetic or phatic) linguistic acts; second, such meanings of quotations are strictly based on syntactic structure, namely a lower-level (phonetic, phonological or morpho-syntactic) structure as part of the syntactic structure that is input to semantic interpretation. Such lower-level linguistic structures will contribute properties of utterances, to the semantic composition of the sentence, in one way or another. (shrink)