Kripke’s Wittgenstein is standardly understood as a non-factualist about meaning ascription. Non-factualism about meaning ascription is the idea that sentences like “Joe means addition by ‘plus’” are not used to state facts about the world. Byrne and Kusch have argued that Kripke’s Wittgenstein is not a non-factualist about meaning ascription. They are aware that their interpretation is non-standard, but cite arguments from Boghossian and Wright to support their view. Boghossian argues that non-factualism about meaning ascription is incompatible with (...) a deflationary theory of truth. Wright argues that non-factualism about meaning ascription is incoherent. To support the standard interpretation, I’ll respond to each argument in turn. To the degree that my responses are successful, Byrne and Kusch have an unmotivated interpretation of Kripke’s Wittgenstein. Wilson provides a factualist interpretation that is not based on Boghossian and Wright’s arguments. Miller argues for a non-factualist interpretation against Wilson, but I’ll show that Miller’s interpretation faces a dilemma. Miller’s argument cannot be maintained if a coherent interpretation of the skeptical solution is to be provided. I’ll show how this dilemma can be avoided and provide an independent argument against Wilson so that a non-factualist interpretation of the skeptical solution can be maintained. (shrink)

Recently, two new portrayals of Kripke’s Wittgenstein have emerged. Both understand KW as targeting the Tractarian picture of semantic fact as a speaker’s mental representation of the truth-conditions of the sentences he uses. According to the factualist interpretation, KW holds that meaning ascriptions are legitimate descriptions because semantic facts are not entities that explain people’s linguistic behavior. The second, Alex Miller’s non-standard non-factualist interpretation, sees KW as claiming that because no fact can explain our linguistic behavior, meaning ascriptions (...) express a speaker’s attitudes towards his interlocutors rather than stating what they mean. This paper advances the minimal factualist interpretation by elaborating two points: that Miller’s reading of the skeptical argument contradicts semantic non-factualism; and that KW’s view of meaning is based on a primitivist rendition of the skeptic’s insight that nothing justifies our use of language, which allows him to assert that semantic facts exist simply because we ordinarily say so. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit (...) what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

Presentists hold that only present things exist. But we all, presentists included, utter sentences that appear to involve quantification over non-present objects, and so we all, presentists included, seem to commit ourselves to such objects. Equally, we all, presentists included, take utterances of many past-tensed (and some future-tensed) sentences to be true. But if no past or future things exist, it’s hard to see how there can be anything that those utterances are about, which makes them true. This paper presents (...) a hitherto unexplored response to both problems: pretence fictionalism about the non-present. This view combines semantic factualism with psychological non-cognitivism. Sentences that appear to quantify over the non-present have propositional content and (almost all of) those propositions are false because the thing they are about—the non-present—does not exist. Nevertheless when we utter such sentences we don’t thereby utter something false. Our utterances do not report the belief that the propositional content of the sentence uttered is true; rather, they express a non-cognitive attitude towards that content: namely an attitude of pretence. Hence by thinking various thoughts, and uttering various sentences we are, collectively, pretending as though things were (or will be) thus and so. (shrink)

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent majority (...) of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

Why do we use epistemic modals like 'might'? According to Factualism, the function of 'might' is to exchange information about state-of-affairs in the modal universe. As an alternative to Factualism, this paper offers a game-theoretic rationale for epistemic possibility operators in a Bayesian setting. The background picture is one whereby communication facilitates coordination, but coordination could fail if there's too much uncertainty, since the players' ability to share a belief is undermined. However, 'might' and related expressions can be (...) used to reveal one's uncertainty, and exploit this to coordinate despite the lack of a common epistemic ground. The final result is a way to articulate a non-Factualist view of epistemic possibility modals that builds on their standard semantics. (shrink)

The paper discusses an objection, put forward by - among others - John McDowell, to Kripke’s Wittgenstein’s non-factualist and relativist view of semantic discourse. The objection goes roughly as follows: while it is usually possible to be a relativist about a given domain of discourse without being a relativist about anything else, relativism about semantic discourse entails global relativism, which in turn entails subjective idealism, which we can reasonably assume to be false. The paper’s first section sketches Kripke’s (...) Wittgenstein’s ideas about semantic discourse and gives a fully explicit formulation of the objection. The second section describes and briefly discusses the formal apparatus needed to evaluate the objection - which is basically equivalent to John MacFarlane’s recent development of David Kaplan’s classic semantic framework. Finally, the third section explains in detail why the objection fails. I show that even though relativism about semantic discourse does entail a form of global relativism, the relativism in question does not entail anything like Berkeleyan or Fichtean idealism. This particular kind of relativism holds that which character (in Kaplan’s sense) is associated to a given utterance depends on what MacFarlane calls “the context of assessment”. (shrink)

Supervenience in metaethics is the notion that there can be no moral dif-ference between two acts, persons or events without some non-moral difference underlying it. If St. Francis is a good man, there could not be a man exactly like St. Francis in non-evaluative respects that is not good. The phenomenon was first systematically discussed by R. M. Hare (1952), who argued that realists about evaluative properties struggle to account for it. As is well established, Hare, and following him, Simon (...) Blackburn, mistakenly took the relevant phenomenon to be weak rather than strong supervenience, and the explanations they offered for it are accordingly outdated. In this paper, I present a non-factualist account of strong su-pervenience of the evaluative and argue that it fares better than compet-ing realist views in explaining the conceptual nature of the phenomenon, as well as in offering an account of the supervenience of the evaluative in general, rather than more narrowly the moral. While Hare and Blackburn were wrong about the specifics, they were right in that non-factualists can offer a plausible account of the supervenience of the evaluative, that in certain respects is superior to competing realist explanations. (shrink)

This paper argues that the normative character of our unreflective situated behaviour is not factual. We highlight a problematic assumption shared by the two most influential trends in contemporary philosophy of cognitive science, reductionism and enactivism. Our intentional, normative explanations are referential, descriptive or factual. Underneath this assumption lies the idea that only facts can make true or false our attributions of cognitive, mental and agential abilities. We will argue against this view by describing the main features and problems of (...) reductionism and enactivism and then we will offer two arguments against this shared factualist assumption: (1) normative vocabulary is ineliminable if we want a complete explanation of our situated practices; and (2) the factualist assumption is a species of the is-ought fallacy. Finally, we will claim that a folk psychological explanation of our normative practices is fully compatible with ontological naturalism when such descriptivist or factualist assumption is rejected. (shrink)

I discuss methodology in epistemology. I argue that settling the facts, even the epistemic facts, fails to settle the questions of intellectual policy at the center of our epistemic lives. An upshot is that the standard methodology of analyzing concepts like knowledge, justification, rationality, and so on is misconceived. More generally, any epistemic method that seeks to issue in intellectual policy by settling the facts, whether by way of abductive theorizing or empirical investigation, no matter how reliable, is inapt. The (...) argument is a radicalization of Moore’s Open Question Argument. I conclude by considering the ramifications of this conclusion for the debate surrounding “Modal Security”, a proposed necessary condition on undermining defeat. (shrink)

Holly Smith has done more than anyone to explore and defend the importance of usability for moral theories. In Making Morality Work, she develops a moral theory that is almost universally usable. But not quite. In this article, I argue that no moral theory is universally usable, in the sense that is most immediately relevant to action, even by agents who know all the normative facts. There is no moral theory knowledge of which suffices to settle deliberation about what to (...) do. However, this is unsurprising if the question of what to do is not a question of fact. One upshot of the discussion is that the search for a universally usable moral theory is misconceived. Another is that, contra Smith (341), agents who are radically uncertain need not lack autonomy. (shrink)

Neo-positivism is the view that metaphysical questions completely decompose into ordinary empirical questions that can be answered by scientific enquiry (empirical) or ordinary logical or modal questions, which can be answered by appeal to a metaphysically innocent modalism (modal innocence) or questions that are non-factual, that is questions that are such that the world does not provide the question with a determinate answer (nonfactualism). -/- There is much to like about this book. It forcefully, and at times compellingly, presents a (...) new vision of metaphysics. It forces us to re-engage with questions about what we are doing when we do metaphysics, and presents a startling different picture to many that have emerged in recent times. Rather than conceiving of metaphysics as the search for the fundamental joints of reality, or for those things that give rise to the non-fundamental things we see around us, it argues for a quite different approach. (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)

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)

It is shown that Russell's Paradox can be solved without advocating the Theory of Types, and also that the Liar's Paradox can be solved in much the same way. Neither solution requires that any of our commonsense-based beliefs be revised, let alone jettisoned. It is also shown that the Theory of Types is false.

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (...) (in: Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

Cognitivists and non-cognitivists in contemporary meta-ethics tend to assume that moral judgments are semantically uniform. That is, they share the assumption that either all moral judgments express beliefs, or they all express non-beliefs. But what if some moral judgments express beliefs and others do not? Then moral judgments are not semantically uniform and the question “Cognitivist or non-cognitivist?” poses a false dilemma. I will question the assumption that moral judgments are semantically uniform. First, I will explain what I mean by (...) the assumption (section 2). I will call this assumption SUM, the semantic uniformity of moral judgments. Second, I will provide some examples in order to illustrate that SUM cannot be taken for granted (section 3). Third, I will try to understand, using ideas from Wittgenstein, why SUM has nevertheless so often been taken for granted (section 4). Fourth, I will discuss some authors in contemporary meta-ethics who have noted the false dilemma between cognitivism and non-cognitivism and evaluate the solutions they propose for overcoming it (section 5). Fifth, I will indicate, again with some help from Wittgenstein, how meta-ethical research about moral judgments is possible without the assumption that morality is semantically uniform (section 6). (shrink)

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)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (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)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...) Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Inspired by the work of Sellars, Cumpa (2014, 2018) and Buonomo (2021) have argued that we can evaluate our metaphysical proposals on fundamental categories in terms of their capacity for reconciling the scientific and the manifest image of the world. This criterion of fundamentality would allow us to settle the question of which categories among those proposed in the debate—e.g., substance, structure or facts—have a better explanatory value. The aim of this essay is to argue against a central assumption of (...) the criterion: semantic descriptivism. Specifically, I aim at showing that the criterion rests on the idea that the manifest picture is mostly a description of the world, and thus, it commits us with certain realism. Instead, I argue that at least some of the vocabulary we use to construct our manifest picture of the world, mental vocabulary, is evaluative rather than descriptive and thus creates problems in reconcile the manifest picture with scientific psychology and neurosciences. I conclude with some remarks on alternatives that could provide a way out of the fundamentality criterion. (shrink)

There is something peculiar about aesthetic testimony. It seems more difficult to gain knowledge of aesthetic properties based solely upon testimony than it is in the case of other types of property. In this paper, I argue that we can provide an adequate explanation at the level of the semantics of aesthetic language, without defending any substantive thesis in epistemology or about aesthetic value/judgement. If aesthetic predicates are given a non-invariantist semantics, we can explain the supposed peculiar difficulty with aesthetic (...) testimony. (shrink)

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather (...) than disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In (...) our previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

It can often seem like the attitude we hold towards a conditional should be our attitude in the consequent on the supposition of the antecedent. Following by Williamson (Suppose and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020), we call this The suppositional rule (SR). The Adams-style non-propositional theories of indicatives upholds some key implications of SR, allowing, for instance, our credence in a conditional to be the probability of the consequent given the antecedent. Williamson (Suppose and (...) Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020) has recently provided a series of inconsistency arguments against SR. He thereby intends to undermine non-propositional views as well as other rivals to his favoured material conditional account. I outline a strategy which theorists of all stripes can employ to avoid Williamson’s arguments. I then show how non-propositionalists can implement this strategy. I show how they can uphold SR when it is intuitively compelling, whilst allowing it to fail when it is not. (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)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus (...) on business aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (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)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, (...) their definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Carnap was one of the first to use the term 'non-cognitivism'. His linguistic pluralism and voluntarism, and his deflationary views of ontology and semantics, are highly congenial to those of us who want to take non-cognitivism in the direction of global expressivism. In his own case, however, this move is in tension with his continued endorsement of what he calls 'the general thesis of logical empiricism', that 'there is no third kind of knowledge besides empirical and logical knowledge.’ So while (...) Carnap clears a path towards global expressivism, he doesn't seem to appreciate what it requires him to leave behind. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of (...) attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, (...) on which semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

The author argues that there is no such thing as a unique and general taxonomy of non-at-issue contents. Accordingly, we ought to shun large categories such as “conventional implicature”, “F-implicature”, “CI”, “Class B” or the like. As an alternative, we may, first, describe the “semantic profile” of linguistic devices as accurately as possible. Second, we may explicitly tailor our categories to particular theoretical purposes.

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)

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)

I here propose a hitherto unnoticed possibility of solving embedding problems for noncognitivist expressivists in metaethics by appeal to Conceptual Role Semantics. I show that claims from the latter as to what constitutes various concepts can be used to define functions from states expressed by atomic sentences to states expressed by complex sentences, thereby allowing an expressivist semantics that satisfies a rather strict compositionality constraint. The proposal can be coupled with several different types of concept individuation claim, and is shown (...) to pave the way to novel accounts for, e.g., negation. (shrink)

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has a coreferring G (...) that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

The article presents criticism of Katz’s proto-theory. Based on the principles of semantic Platonism, he offers a new understanding of the relationship between sense and reference. However, his account faces three strong objections: against non-causal ways of accessing abstract Platonic entities (Benacerraf–Field–Cheyne), against intuition as the faculty to a priori knowledge of grammar facts (Horwich–Cheyne–Oliver), and against the medial status of finite intensionals in matters for fixing the reference of linguistic expressions (Kripke–Boghossian–Kush). Without convincing answers to these objections, Katz’s (...) proto-theory cannot be considered as a fit competitor to naturalistic theories of language. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at (...) a context is (or determines) a function from worlds to truth values. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)