Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of (...) computing, I come to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new (...) proposal. Here, we develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

This article reviews eight proposed strategies for solving the Symbol Grounding Problem (SGP), which was given its classic formulation in Harnad (1990). After a concise introduction, we provide an analysis of the requirement that must be satisfied by any hypothesis seeking to solve the SGP, the zero semantical commitment condition. We then use it to assess the eight strategies, which are organised into three main approaches: representationalism, semi-representationalism and non-representationalism. The conclusion is that all the strategies are semantically (...) committed and hence that none of them provides a valid solution to the SGP, which remains an open problem. (shrink)

How can we capture the intuitive distinction between lying and misleading? According to a traditional view, the difference boils down to whether the speaker is saying (as opposed to implying) something that they believe to be false. This view is subject to known objections; to overcome them, an alternative view has emerged. For the alternative view, what matters is whether the speaker can consistently deny that they are committed to knowing the relevant proposition. We point out serious flaws for this (...) alternative view, and sketch a simpler alternative that incorporates key insights of the traditional view. (shrink)

When an activity is unwanted, administrators often adopt a zero tolerance policy towards that activity. The background assumption is that, by adopting a zero tolerance policy, one is doing everything that one can to reduce or eliminate the activity in question. Yet which policy best serves to reduce an unwanted behavior is always an empirical question. Thus, those who adopt a zero tolerance policy towards some behavior without first investigating and finding that they are in a set (...) of circumstances where that policy is the most cost-effective way of reducing or eliminating the undesirable behavior are committing the zero tolerance fallacy. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for (...) example, the semantic role of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical (...) discourse signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...) \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

In several recent contributions to the growing literature on slurs, Hedger draws upon Kaplan’s distinction between descriptive and expressive content to argue that slurs are expressions with purely expressive content. The distinction between descriptive and expressive content and the view that slurs are expressions with purely expressive content has been widely acknowledged in prior work, and Hedger aims to contribute to this tradition of scholarship by offering novel arguments in support of his ‘‘pure expressivist’’ account of slurs. But the account (...) that PE offers is explanatorily inadequate, resting on suspect a priori intuitions which also commit one to denying many basic facts about slurs, such as that slurs largely display systematic differential application and that slurs can be used non-offensively between in-group speakers. In this article I provide clear reasons for rejecting PE, arguing particularly against Hedger as one of PE’s most explicit and recent proponents. In showing that PE is inadequate in at least 11 ways, I argue in favor of a mixed or hybrid approach. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics (...) from an ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and information. (...) In response, normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (shrink)

Many normative judgments play a practical role in our thought. This paper concerns how their practical role is reflected in language. It is natural to wonder whether the phenomenon is semantic or pragmatic. The standard assumption in moral philosophy is that at least terms which can be used to express “thin” normative concepts – such as 'good', 'right', and 'ought' – are associated with certain practical roles somehow as a matter of meaning. But this view is rarely given explicit (...) defense or even articulation. I’ll consider several versions of the view, and argue that even the most promising among them are problematic. Terms like 'ought' are often used in ways where their customary practical role is absent. Such cases give us a choice: either offer some plausible explanation of why the relevant practical upshots don’t show up in these cases despite featuring in our semantic theory for these expressions, or else don’t build them into that theory. I argue that plausible explanations of the requisite sort aren’t forthcoming in either descriptive semantics or metasemantics for normative language. In closing I briefly consider the prospects for a pragmatic account of the phenomenon and some broader ramifications for metaethics and the philosophy of normativity. (shrink)

Deflationism is the view that certain metaphysical debates are defective, leaving it open whether the defect is best explained in semantic, conceptual, or epistemic terms. Local semantic deflationism is the thesis that familiar metaphysical debates, which appear to be about the existence and identity of material objects, are merely verbal. It’s a form of local deflationism because it restricts itself to one particular area of metaphysics. It’s a form of semantic deflationism because the defect it purports to (...) identify in these debates is explained in terms of the broadly semantic notion of a merely verbal disputation. Three questions about this thesis are asked and answered here. Does a commitment to the principle of interpretive charity support it? No. Does it avoid the problems that plagued Carnap? No. Does it support a linguistic turn with respect to questions about the nature of material things? No. The central take-home message is that local semantic deflationism is unstable: advocates of the view must admit that debates about material coincidence and identity are substantive. (shrink)

The paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, but (2) it is not (...) constitutive of the concept of a disposition that dispositions imply an ought, hence (3) no dispositional analysis of meaning can work. According to my alternative reading, the point of the argument is another one, namely that while (1) dispositionalism is committed to the thesis that speakers have non-inferential knowledge of their unmanifested linguistic dispositions, (2) speakers, as a matter of fact, do not have such a knowledge. A point that is in principle independent from the issue of the normativity of meaning. (shrink)

Contextualist accounts of “woman,” including Saul (2012), Diaz-Leon (2016), and Ichikawa (2020), aim to capture the variability of the meaning of the term, and do justice to the rights of trans women. I argue that (i) there is an internal tension between a contextualist stance and the commitment to trans-inclusive language, and that (ii) we should recognize and tackle the broader and deeper theoretical and practical difficulties implicit in the semantic debates, rather than collapsing them all into semantics. (...) Moving on, I sketch three strategies to help us advance feminist philosophical endeavors, including how attending to contextual matters can lead us to further reflect on the meta-contextual, such as our role in shaping contexts and whether the working of language is indicative of a larger oppressive social structure. (shrink)

It's widely accepted that social facts about an individual's linguistic community can affect both the reference of her words and the concepts those words express. Theorists sympathetic to the internalist tradition have sought to accommodate these social dependence phenomena without altering their core theoretical commitments by positing deferential reference-fixing criteria. In this paper, we sketch a different explanation of social dependence phenomena, according to which all concepts are individuated in part by causal-historical relations linking token elements of thought.

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not be (...) coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like. (shrink)

More than a century ago, G. E. Moore famously attempted to refute ethical naturalism by offering the so-called open question argument (OQA), also charging that all varieties of ethical naturalism commit the naturalistic fallacy. Although there is consensus that OQA and the naturalistic-fallacy charge both fail, OQA is sometimes vindicated, but only as an argument against naturalistic semantic analyses. The naturalistic-fallacy charge, by contrast, usually finds no takers at all. This paper provides new grounds for an OQA thus restricted. (...) But it aims chiefly at vindicating a version of the naturalistic fallacy, „the semantic-naturalist fallacy‟ (SNF), that we think defensible. We first argue that the openness of the question OQA raises against such analyses hinges on self-ascriptive, comparative judgments of content, which may be considered a priori warranted. We then provide independent reasons for the claim that the sort of mistake committed by naturalistic analyses in fact amounts to a pragmatic fallacy of a kind familiar in petitio principii and other forms of viciously circular inference. Of interest here are naturalistic analyses of ethical terms or concepts, not of properties. Our OQA (OQA*) raises an objection to the former. For no such semantic analyses can get off the ground unless moral terms are content-equivalent to purely descriptive terms, which amounts to saying that they must instantiate the same semantic types. Suppose „good‟ is the analysandum and „pleasure maximizing‟ the analysans (whichever purely descriptive term or terms would turn out to be the correct descriptive analysis of the target analysandum) of a certain semantic analysis. The claim that such terms are content-equivalent appears to be open to doubt on a priori grounds. After 1 all, whether one‟s own tokens of „good‟ and „pleasure maximizing‟ have/don‟t have the same content is a first-person, comparative judgment of content. Evaluating the proposed analysis requires, then, a self-ascriptive, comparative judgment of content.1 Judgments of this sort are thought to have a special epistemic status, since they seem grounded in neither evidence nor inference.. (shrink)

This paper develops an account of mood selection with attitude predicates in French. I start by examining the “contextual commitment” account of mood developed by Portner and Rubinstein Proceedings of SALT 22, CLC Publications, Ithaca, NY, pp 461–487, 2012). A key innovation of Portner and Rubinstein’s account is to treat mood selection as fundamentally depending on a relation between individuals’ attitudes and the predicate’s modal backgrounds. I raise challenges for P&R’s qualitative analysis of contextual commitment and explanations of (...) mood selection. There are indicative-selecting predicates that are felicitous in contexts where there isn’t contextual commitment ; and there are subjunctive-selecting predicates that involve no less contextual commitment than certain indicative-selecting verbs. I develop an alternative account of verbal mood. The general approach, which I call a state-of-mind approach, is to analyze mood in terms of whether the formal relation between the predicate’s modal backgrounds and an overall state of mind represents a relation of commitment. Indicative mood in French presupposes that the informational-evaluative state determined by the predicate’s modal backgrounds is included in the informational-evaluative state characterizing the event described by the predicate. The account provides an improved explanation of core mood-selection puzzles, including subjunctive-selection with emotive factives, indicative-selection with fiction verbs, indicative-selection with espérer ‘hope’ versus subjunctive-selection with vouloir ‘want’, and indicative-selection with commissives versus subjunctive-selection with directives. Subjunctive-selection with modal adjectives is briefly considered. The mood-selection properties of the predicates are derived from the proposed analysis of mood, independently attested features of the predicates’ semantics, and general principles of interpretation. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 2: Anaphora. Abstract: Cross-linguistic evidence shows that anaphora crucially involves context change. The logical representation system must be able to represent rank-based anaphora, because in every language the favorite anaphors -- e.g. Mandarin zeros, Kalaallisut inflections, English pronouns -- are restricted to refer to top-ranked antecedents (top-level anaphors, like Mandarin zeros or Kalaallisut inflections) or top- or 2nd-ranked antecedents (shallow anaphors, like English pronouns).

There is a significant difference between the words `is' and `exists' that has either been overlooked or under-appreciated by many philosophers. This difference comes in sentences that express existential quantification using `is', `exists', or their cognates, such as, "There are cookies in the jar," or, "There exists a strange species of fish that nobody has studied yet." Phrases such as `there are' and `there exists' are existential quantifier expressions, since they're used to express existential quantification. The orthodox view of these (...) expressions is that they are, in the words of David K. Lewis, "entirely synonymous and interchangeable". This dissertation presents and argues for an anti-orthodox view of meaning of `there is' and `there exists'. The root of the difference in meaning between the two expressions is that `there is' turns out to be context-sensitive, on the model of demonstratives like `this' or `that', while `there exists' is invariant in its meaning. These views are motivated through the introduction of a notion called `ontological robustness', which helps us evaluate the level of ontological commitment in our assertions. The anti-orthodox view is defended over orthodoxy through holistic arguments that compare the virtues of each theory, including such metrics as how they fare in accounting for our stubborn desire to talk about and quantify over nonexistent objects. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...) Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. (...) In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

Provides an account of how necessary subjective syntactic investments on the part of speakers affect the semantic contents of their words and the possibilities for their thought-contents.

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to deal with (...) large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to (...) express any concept, and that (ii) in light of this it is incorrect to characterize the pathology simply as semantic inconsistency; a more nuanced view of the problem is needed. We also show that the defects of the semantic predicates need not undercut the use of a truth theory in a compositional semantics for a language containing them because the meaning theory per se need not involve commitment to the axioms of the truth theory it exploits. (shrink)

The fallacy of ignoring qualifications, or secundum quid et simpliciter, is a deceptive strategy that is pervasive in argumentative dialogues, discourses, and discussions. It consists in misrepresenting an utterance so that its meaning is broadened, narrowed, or simply modified to pursue different goals, such as drawing a specific conclusion, attacking the interlocutor, or generating humorous reactions. The “secundum quid” was described by Aristotle as an interpretative manipulative strategy, based on the contrast between the “proper” sense of a statement and its (...) meaning taken absolutely or in a certain respect. However, how can an “unqualified” statement have a proper meaning different from the qualified one, and vice versa? This “linguistic” fallacy brings to light a complex relationship between pragmatics, argumentation, and interpretation. The secundum quid is described in this paper as a manipulative argument, whose deceptive effect lies in its pragmatic dimension. This fallacy is analyzed as a strategy of decontextualization lying at the interface between pragmatics and argumentation and consisting of the unwarranted passage from an ut-terance to its semantic representation. By ignoring the available evidence and the presumptive interpretation of a statement, the speaker places it in a different context or suppresses textual and contextual evidence to infer a specific meaning different from the presumable one. (shrink)

In this paper I will explore the question whether the Trivialization construction of transparent intensional logic (TIL) can be understood in terms of the Execution construction, specifically, in terms of its degenerate case known as the 0-Execution. My answer will be positive and the apparent contrast between the intuitive understanding of Trivialization and 0-Execution will be explained as a matter of distinct yet related informal perspectives, not as a matter of technical or conceptual differences.

Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and that (...) so understood, it is not obscure. This kind of selective use of satisfaction semantics may be feasible in other contexts as a means of making theories more parsimonious. (shrink)

Epistemological contextualists maintain that the truth-conditions of sentences of the form 'S knows that P' vary according to the context in which they're uttered, where this variation is due to the semantics of 'knows'. Among the linguistic data that have been offered in support of contextualism are several everyday cases. We argue that these cases fail to support contextualism and that they instead support epistemological invariantism—the thesis that the truth-conditions of 'S knows that P' do not vary according to the (...) context of their utterance. (shrink)

The “problem of intentionality” from the vantage point of a representational understanding of mind is explaining what thoughts and beliefs are and how they guide behaviour. From an anti-representationalist perspective, on the other hand, on which cognition itself is taken to be a kind of action, intentionality is a capacity to engage in behaviour that is meaningfully directed toward or about some situation. That these are not in fact competing insights is obscured by the representational/anti-representational framing of the debate. This (...) paper begins the work of shifting the conversation in two ways: (1) by arguing that it is the commitment to internal representations, not the acknowledgement of a role for representation per se, that is problematic; and, (2) by describing an alternative, externalist, representational approach that draws on extended, embodied, enactive insights. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (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)

Many philosophers think that moral objectivism is supported by stable features of moral discourse and thinking. When engaged in moral reasoning and discourse, people behave ‘as if’ objectivism were correct, and the seemingly most straightforward way of making sense of this is to assume that objectivism is correct; this is how we think that such behavior is explained in paradigmatically objectivist domains. By comparison, relativist, error-theoretic or non-cognitivist accounts of this behavior seem contrived and ad hoc. After explaining why this (...) argument should be taken seriously, I argue that it is nevertheless undermined by considerations of moral disagreement. Even if the metaphysical, epistemic and semantic commitments of objectivism provide little or no evidence against it, and even if the alternative explanations of ‘objectivist’ traits of moral discourse and thinking are speculative or contrived, objectivism is itself incapable of making straightforward sense of these traits. Deep and widespread moral disagreement or, rather, the mere appearance of such disagreement, strongly suggests that the explanations operative in paradigmatically objective discourse fail to carry over to the moral case. Since objectivism, no less than relativism, non-cognitivism and error-theories, needs non-trivial explanations of why we behave ‘as if’ objectivism were correct, such behavior does not presently provide reason to accept objectivism. (shrink)

Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...) We argue that the exclusively negative attention that the objection has received has been a mistake. On our reading, Parfit's Normativity Objection poses a serious threat to reductivism, as it exposes the uneasy relationship between our a priori knowledge of a range of distinctly normative truths and the typical package of semantic commitments that reductivists have embraced since the Kripkean revolution. (shrink)

I propose a new theory of semantic presupposition, which I call dissatisfaction theory. I first briefly review a cluster of problems − known collectively as the proviso problem − for most extant theories of presupposition, arguing that the main pragmatic response to them faces a serious challenge. I avoid these problems by adopting two changes in perspective on presupposition. First, I propose a theory of projection according to which presuppositions project unless they are locally entailed. Second, I reject the (...) standard assumption that presuppositions are contents which must be entailed by the input context; instead, I propose that presuppositions are contents which are marked as backgrounded. I show that, together, these commitments allow us to avoid the proviso problem altogether, and generally make plausible predictions about presupposition projection out of connectives and attitude predicates. I close by sketching a two-dimensional implementation of my theory which allows us to make further welcome predictions about attitude predicates and quantifiers. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s (...) case is still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and (...) clarity to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

D O N A L D D AV I D S O N’S “ Meaning and Truth,” re vo l u t i o n i zed our conception of how truth and meaning are related (Davidson    ). In that famous art i c l e , Davidson put forw a rd the bold conjecture that meanings are satisfaction conditions, and that a Tarskian theory of truth for a language is a theory of meaning for that language. (...) In “Meaning and Truth,” Davidson proposed only that a Tarskian truth theory is a theory of meaning. But in “Theories of Me a n i n g and Learnable Languages,” he argued that the finite base of a Tarskian theory, together with the now familiar combinatorics, would explain how a language with unbounded expre s s i ve capacity could be learned with finite means ( Davidson    ). This certainly seems to imply that learning a language is, in p a rt at least, learning a Tarskian truth theory for it, or, at least, learning what is specified by such a theory. Davisdon was cagey about committing to the view that meanings actually a re satisfaction conditions, but subsequent followers had no such scru p l e s . We can sum this up in a trio of claims: Davidson’s Conjecture () A theory of meaning for L is a truth-conditional semantics for L. () To know the meaning of an expression in L is to know a satisfaction condition for that expression. () Meanings are satisfaction conditions. For the most part, it will not matter in what follows which of these claims is at stake. I will simply take the three to be different ways of formulating what I will call Davidson’s Conjecture (or sometimes just The Conjecture). Davidson’s Conjecture was a very bold conjecture. I think we are now in a.. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go (...) hand-in-hand, and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

One’s account of the meaning of ethical sentences should fit – roughly, as part to whole – with one’s account of the meaning of sentences in general. When we ask, though, where one widely discussed account of the meaning of ethical sentences fits with more general accounts of meaning, the answer is frustratingly unclear. The account I have in mind is the sort of metaethical expressivism inspired by Ayer, Stevenson, and Hare, and defended and worked out in more detail recently (...) by Blackburn, Gibbard, and others. So, my first aim (§1) in this paper is to pose this question about expressivism’s commitments in the theory of meaning and to characterize the answer I think is most natural, given the place expressivist accounts attempt to occupy metaethics. This involves appeal to an ideationalist account of meaning. Unfortunately for the expressivist, however, this answer generates a problem; it’s my second aim (§2) to articulate this problem. Then, my third aim (§3) is to argue that this problem doesn’t extend to the sort of account of the meaning of ethical claims that I favor, which is like expressivism in rejecting a representationalist order of semantic explanation but unlike expressivism in basing an alternative order of semantic explanation on inferential role rather than expressive function. (shrink)

This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear that (...) he is committed to the idea that function application is the fundamental mode of semantic composition, and that he is committed to an intensional framework. However, intensions have, since Carnap, been understood as nearly conceptually equivalent to functions from possible worlds to sets of individuals. But, in truth, possible worlds semantics is just dressed up extensional semantics. There are just more objects to go around to serve as inputs for functions, whatever we think of their ontological status. That is, possible worlds semantics is really a semantic reduction of intensional semantics achieved by expanding our ontological commitments. It would be difficult to make sense of Montague's strong commitment to Fregean semantics, if his notion of intension was that of Carnap's. According to my interpretation, Montague's notion of intension must be distinct from the version adopted by possible world semantics. Montague took seriously the idea that intensional semantics was something quite different from extensionalist semantics. The first was not reducible to the second semantically speaking. Just as Frege believed that meaning consisted of both sense and reference, so too did Montague. However, just as Frege also believed, Montague thought that sense and reference were systematically related. As I illustrate, interpreting Montague as adopting a different notion of intension can also resolve the apparent problem of distinguishing the difference in meaning between intensional equivalents. It might also enable us to draw a distinction in epistemic logic between an agent having contradictory beliefs and believing contradictions. (shrink)

This paper argues that popular criticisms of semantic holism (such as that it leaves the ideas of translation, disagreement and change of mind problematic) are more properly directed at an "instability assumption" which, while often associated with holism, can be separated from it. The versions of holism that follow from 'interpretational' account of meaning are not committed to the instability assumption and can thus avoid many of the problems traditionally associated with holism.

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4 (i.e. the KK principle). Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapter \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{8} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}. (shrink)