In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories (...) as linguistic systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred (...) ones. A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

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

Jerrold J. Katz often explained his semantic theory by way of an analogy with physical atomism and an attendant analogy with chemistry. In this chapter, I track the origin and uses of these analogies by Katz, both in explaining and defending his decompositional semantic theory, through the various phases of his work throughout his career.

The examination of "Taiwanese Philosophy" is intricately influenced by the complex meanings of its terms4, fostering a range of interpretations and understandings that play a crucial role in the methodological discussions on how Taiwanese philosophical ideas are analyzed and developed. I highlight that the conventional approaches to interpreting "Taiwanese Philosophy" are mainly divided into two models: the PIT framework, signifying "Philosophical activities in Taiwan," and the TP framework, indicating "Taiwanese Philosophy noted for its unique subjectivity" (see Hung (...) & Gao 2018)5. In the early twentieth century, Mou Zongsan's emergence of New Confucianism shaped the academic reception towards the PIT model and elicited critiques of the TP perspective. This trend guided scholars in Chinese philosophy towards the CPIT (Chinese Philosophy in Taiwan) approach for deciphering "Taiwanese Philosophy," typically viewing it as a form of "Chinese philosophical endeavors in Taiwan." The prevailing contemporary academic opinion posits that initial supporters of New Confucianism failed to recognize Taiwanese philosophy’s unique characteristics and position following colonialism, reducing it to the CPIT model. This stance places "Taiwanese Philosophy" within the broader realm of Chinese Philosophy, highlighting the hierarchical differences between Chinese and Taiwanese philosophical traditions, which later drew substantial critique from supporters of Western liberalism and decolonization efforts. Recently, the importance of "Taiwanese Philosophy" and "Taiwanese Theory" has been increasingly acknowledged, with a growing agreement that "Taiwanese Philosophy," ideally interpreted through the TP model6, mirrors Taiwan's collective ethos and academic value rather than the more exhaustive PIT classification, which encompasses diverse philosophical lineages. Proponents of TP recognize the historical importance of the PIT model in documenting the evolution of Taiwanese Philosophy but strongly dispute its completeness for grasping the essence of "Taiwanese Philosophy." I intend to argue that, notwithstanding the recent criticisms against the PIT approach, revisiting PIT with the aid of extensive textual collections, cultural archives, and the study of intellectual history might offer a solid basis for a deeper appreciation of TP. It will explore how the PIT model can lead to significant misunderstandings by introducing two main biases: the belief that PIT sufficiently encapsulates "Taiwanese Philosophy," and the limitation of PIT to a mere geographical context. In addressing these biases, I offer a potential amicable reinterpretation and reassess the critical elements for a metaphysical description of the subjectivity emphasized in TP. -/- Keywords: Optimal interpretation of Taiwanese Philosophy, Subjectivity and Agency, Genealogy of Knowledge, Methodology of Constructing Theories, Characteristics of Regional Philosophy. (shrink)

Truthmaker semantics is a recent development in formal and philosophical semantics, with similar motivation and scope to possible worlds semantics. The technical background is rather different, however, and results in a more fine-grained hyperintensional notion of content, allowing us to distinguish between classically equivalent propositions. After briefly introducing the main ideas, this entry will describe the technical apparatus of state spaces and the central notions of content and partial content. It will then outline applications of truthmaker (...) class='Hi'>semantics in language, logic, and other areas of philosophy. (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)

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...) entail each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

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

Externalism is widely endorsed within contemporary philosophy of mind and language. Despite this, it is far from clear how the externalist thesis should be construed and, indeed, why we should accept it. In this entry I distinguish and examine three central types of externalism: what I call foundational externalism, externalist semantics, and psychological externalism. I suggest that the most plausible version of externalism is not in fact a very radical thesis and does not have any terribly interesting implications (...) for philosophy of mind, whereas the more radical and interesting versions of externalism are quite difficult to support. (shrink)

Within contemporary philosophy of mind, it is taken for granted that externalist accounts of meaning and mental content are, in principle, orthogonal to the matter of whether cognition itself is bound within the biological brain or whether it can constitutively include parts of the world. Accordingly, Clark and Chalmers (1998) distinguish these varieties of externalism as ‘passive’ and ‘active’ respectively. The aim here is to suggest that we should resist the received way of thinking about these dividing lines. With (...) reference to Brandom’s (1994; 2000; 2008) broad semantic inferentialism, we show that a theory of meaning can be at the same time a variety of active externalism. While we grant that supporters of other varieties of content externalism (e.g., Putnam 1975 and Burge 1986) can deny active externalism, this is not an option for semantic inferentialists: On this latter view, the role of the environment (both in its social and natural form) is not ‘passive’ in the sense assumed by the alternative approaches to content externalism. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we (...) briefly survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of (...) maps and the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (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.

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth-values do not supervene on (...) semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition. (shrink)

Paleolinguistics (or linguistic paleontology) is a scientific discipline that combines the methodology of historical linguistics with archaeological insights. Specifically, paleolinguists aim to reconstruct the linguistic expression of a particular archeological culture. In this paper I deal with the methodology of paleolinguistics since this has recently come under the scrutiny of philosophersfor instance, Mallory (2020) has argued that tools of the philosophy of language can be employed for charting the space of legitimate use of paleolinguistics, most notably the position of (...) semantic internalism. Specifically, in his view, linguistic reconstructions of the Proto-Indo-European lexicon express Sinn or sense, whereas the proto-lexicon is best understood as a model of conceptual capabilities of a particular historical community. I want to show that one can consider semantic externalism as a more fruitful alternative. In other words, I propose to see the proto lexicon as a model that shows a feedback loop between speakers’ conceptual capabilities and scaffolding of these capabilities through speakers’ interaction with the environment. I show that the process of scaffolding can be mediated by cognitive fossils which, in turn, forges a tighter methodological link between paleolinguistics, archaeology, and the study of human cognition. (shrink)

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. (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)

One aim of this essay is to contribute to understanding aesthetic communication—the process by which agents aim to convey thoughts and transmit knowledge about aesthetic matters to others. Our focus will be on the use of aesthetic adjectives in aesthetic communication. Although theorists working on the semantics of adjectives have developed sophisticated theories about gradable adjectives, they have tended to avoid studying aesthetic adjectives—the class of adjectives that play a central role in expressing aesthetic evaluations. And despite the wealth (...) of attention paid to aesthetic adjectives by philosophical aestheticians, they have paid little attention to contemporary linguistic theories of adjectives. We take our work to be a first step in remedying these lacunae. In this paper, we present four experiments that examine one aspect of how aesthetic adjectives ordinarily function: the context-sensitivity of their application standards. Our results present a prima facie empirical challenge to a common distinction between relative and absolute gradable adjectives because aesthetic adjectives are found to behave differently from both. Our results thus also constitute a prima facie vindication of some philosophical aestheticians’ contention that aesthetic adjectives constitute a particularly interesting segment of natural language, even if the boundaries of this segment might turn out to be different from what they had in mind. (shrink)

This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whetherWittgenstein’s later work provides an alternative approach that is able to avoid these issues.

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

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

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)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism (...) is a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

How a Semantic Search Algorithm for unedited sources may look. - The basics for the Philosophy Dictionary of Arguments.

This paper rejects the imposition of "semantic innocence" as a constraint on semantic theories. In particular, it argues that recent attempts to justify the imposition of "semantic innocence" as a constraint on semantic theories fail.

According to Conceptual Role Semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses appealed (...) to are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy and in cognitive science. The source of the view is Wittgenstein and Sellars, but the source in contemporary philosophy is a series of papers by Harman and Field. Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke. In cognitive science, they include Woods and Miller and Johnson-Laird. (shrink)

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)

This thesis argues for two main points concerning the philosophy of natural language semantics. Firstly, that the objects of assertion are distinct from the entities appealed to in the compositional rules of natural language semantics. Secondly, natural languages contain context-shifting operators known as "monsters". In fact, it will be shown that these theses are simply two sides of the same coin.

This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows (...) how to integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is (...) developed, based on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

We start with the ambition -- dating back to the early days of the semantic web -- of assembling a significant portion human knowledge into a contradiction-free form using semantic web technology. We argue that this would not be desirable, because there are concepts, known as essentially contested concepts, whose definitions are contentious due to deep-seated ethical disagreements. Further, we argue that the ninetenth century hermeneutical tradition has a great deal to say, both about the ambition, and about why it (...) fails. We conclude with some remarks about statistics. (shrink)

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...) way we categorize the many and the much. (shrink)

The Rigidity Thesis states that no rigid term can have the same semantic content as a nonrigid one. Drawing on Dummett (1973; 1991), Evans (1979; 1982), and Lewis (1980), Stanley (1997a; 1997b; 2002) rejects the thesis since it relies on an illicit identification of compositional semantic content and the content of assertion (henceforth, assertoric content). I argue that Stanley’s critique of the Rigidity Thesis fails since it places constraints on assertoric content that cannot be satisfied by any plausible notion of (...) content appropriately related to compositional semantic content. For similar reasons, I also challenge a recent two-dimensionalist defense of Stanley by Ninan (2012). The moral is far-reaching: any theory that invokes a distinction between semantic and assertoric contents is unsatisfactory unless it can plausibly explain the connection between them. (shrink)

This chapter examines the “externalist” claim that semantics should include theorizing about representational relations among linguistic expressions and (purported) aspects of the world. After disentangling our main topic from other strands in the larger set of externalist-internalist debates, arguments both for and against this claim are discussed. It is argued, among other things, that the fortunes of this externalist claim are bound up with contentious issues concerning the semantics-pragmatics border.

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not (...) mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

For many years I have maintained that I learned to philosophize by translating Francisco Suárez’s Metaphysical Disputation V from Latin into English. This surely is a claim that must sound extraordinary to the members of this audience or even to most twentieth century philosophers. Who reads Suárez these days? And what could I learn from a sixteenth century scholastic writer that would help me in the twentieth century? I would certainly be surprised if one were to find any references to (...) some of Suárez’s works in any of the works of twentieth-century major philosophers. One of the reasons for my claim is the great difficulty I had in figuring out what Suárez’s text means and how to render it understandable to English readers. Translating the text forced me to think in ways that were quite different from those I was used to think in Spanish, my native tongue, or English, my adoptive tongue. In fact, the translation I produced after having completed many drafts continued, and still continues to this day, to appear to me unsatisfactory, and that dissatisfaction was the key to understanding things I had understood very differently before. I hope to make clear why in what follows. The thesis that I defend is that semantic equivalence between texts of philosophy in different languages is difficult, if not impossible in some cases, to achieve and, therefore, that it is a mistake to restrict doing analytic philosophy to English, as Gustavo Rodríguez-Pereyra argues we should do in a recent article (2013). (shrink)

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for (...) a particular kind of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)

Semantic externalism Are the meanings of natural kind words, such as “water” or “tiger,” in the head or in the world? This question is pressing and controversial in contemporary philosophy. The nature of the meaning related to propositional contents and words of the natural kind raises a fundamental disagreement between two groups of philosophers: defenders of internalism and defenders of externalism. The two groups differ on how to define meaning. Internalists say that meaning is determined entirely by aspects that (...) are internal to the speaker, and mental contents are semantic contents that are in our minds or heads, their slogan is “Meanings are in the head or brain.” Externalists say that meaning is determined, at least in part, by aspects that are external to the speaker, and that contents are linguistic signs and exist in the outside world, and their slogan is “Meanings do not exist only in the head.” In this article, I want to shed explanatory light on this disagreement by examining its origins, explaining some of the arguments in support of externalism, and demonstrating the impact of this disagreement on understanding the nature of meaning. This article addresses several topics: 1. Various types of externalism 2. Description theory and causal theory 3. Hillary Betnam and Twin Earth thought experiment 4. Tyler Berg and arthritis argument 5. Donald Davidson and perceptual externalism 6. Andy Clark and David Chalmers: active externalism -/- هل معانى ألفاظ النوع الطبيعى، مثل "ماء" أو "نمر"، فى الرأس أم فى العالم؟ هذا السؤال ملح ومثير للجدل فى الفلسفة المعاصرة. فطبيعة المعنى المتعلق بالمضامين القضوية وألفاظ النوع الطبيعى يثير خلافًا أساسيًّا بين فريقين من الفلاسفة هم أصحاب النزعة الداخلية internalism وأصحاب النزعة الخارجية externalism. ويختلف الفريقان على كيفية تحديد المعنى. يقول الداخليون إن المعنى يتحدد كلية عن طريق جوانب تكون داخلية للمتكلم، والمضامين العقلية هى مضامين دلالية تكون فى عقولنا أو رؤوسنا، وشعارهم هو "المعانى توجد في الرأس أو المخ". ويقول الخارجيون إن المعنى يتحدد فى جانب منه على الأقل عن طريق جوانب تكون خارجية للمتكلم، والمضامين هى إشارات لغوية وتوجد فى العالم الخارجى، وشعارهم هو "المعانى لا توجد فى الرأس فقط". وأريد فى هذه المقالة أن ألقى ضوءًا شارحًا على هذا الخلاف، وذلك من خلال النظر فى أصوله، وشرح بعض الحجج المؤيدة للنزعة الخارجية، وبيان أثر هذا الخلاف فى فهم طبيعة المعنى. وتعالج هذه المقالة عدة موضوعات هي: 1- صور منوعة من النزعة الخارجية 2- نظرية الوصف والنظرية السببية 3- هيلارى بتنام وتجربة فكر الأرض التوأم 4- تايلر بيرج وحجة التهاب المفاصل . (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens (...) simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

Hillary Putnam has famously argued that we can know that we are not brains in a vat because the hypothesis that we are is self-refuting. While Putnam's argument has generated interest primarily as a novel response to skepticism, his original use of the brain in a vat scenario was meant to illustrate a point about the "mind/world relationship." In particular, he intended it to be part of an argument against the coherence of metaphysical realism, and thus to be part of (...) a defense of his conception of truth as idealized rational acceptability. Putnam's conclusions about the scenario are, however, actually out of line with central and plausible aspects of his own account of the relationship between our minds and the world. Reflections on semantics give us no compelling reason to suppose that claims like "I am a brain in a vat" could not turn out to be true. (shrink)

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

Longstanding philosophical debate over the semantics of proper names has yet to examine the distinctive behavior of deadnames, names that have been rejected by their former bearers. The use of these names to deadname individuals is derogatory, but deadnaming derogates differently than other kinds of derogatory speech. This paper examines different accounts of this behavior, illustrates what going views of names will have to say to account for it, and articulates a novel version of predicativism that can give a (...) semantic explanation for this derogation. (shrink)

In this paper I adopt Kaplan’s framework for distinguishing between descriptive and expressive content. Racial slurs are an especially difficult challenge for truth-conditional semantics because of their projection behaviors. That is to say, the offensive content of slurs “scopes out” of logical operators. I argue that racial slurs express contempt and lack descriptive content, so that many sentences containing slurs are not truth apt. My theory accounts for the intuition of the ordinary speaker who refuses to assent to the (...) truth of a sentence containing a slur, but accepts the same statement made using a neutral counterpart of that slur. Weaknesses of rival theories are briefly discussed. (shrink)