Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see (...) fuzzy description logic as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

The idea that the concept ‘knowledge’ has a distinctive function or social role is increasingly influential within contemporary epistemology. Perhaps the best-known account of the function of ‘knowledge’ is that developed in Edward Craig’s Knowledge and the state of nature (1990, OUP), on which (roughly) ‘knowledge’ has the function of identifying good informants. Craig’s account of the function of ‘knowledge’ has been appealed to in support of a variety of views, and in this paper I’m (...) concerned with the claim that it supports a sort of epistemic contextualism, which is (roughly) the view that the semantic contents and truth-conditions of ‘knowledge’ ascriptions - instances of ‘S knows that p’- depend on and vary with the context of ascription (see, for instance, John Greco’s ‘What’s wrong with contextualism’, Philosophical Quarterly [2008]). Prima facie, this claim should strike us as surprising. A number of concepts and linguistic items (words, sentences) serve functions that have little or nothing to do with semantics. However, I argue that, on the best interpretation of talk of the function of a concept such as ‘knowledge’, the function of ‘knowledge’ is relevant to semantics. Along the way I also suggest how to improve on what I call the ‘usual argument’ that Craig’s account of the function of ‘knowledge’ supports epistemic contextualism. (shrink)

The book develops and synthesises two main ideas: contextualism about knowledge ascriptions and a knowledge-first approach to epistemology. The theme of the book is that these two ideas fit together much better than it's widely thought they do. Not only are they not competitors: they each have something important to offer the other.

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)

Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such (...) transparency. Several notions of transparency and conveyability of meaning are distinguished and it is argued that, though the Dummettian argument for anti-realism presupposes only a weak connection between knowledge of meaning and understanding, even this much is not trivially true in light of semantic externalism, and that semantic externalism, if true, would thus represent a reason for rejecting the crucial assumption on which the Dummettian argument depends. (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)

Semantic externalism holds that the content of at least some of our thoughts is partly constituted by external factors. Accordingly, it leads to the unintuitive consequence that we must then often be mistaken in what we are thinking, and any kind of claim of privileged access must be given up. Those who deny that semantic externalists can retain any account of self-knowledge are ‘incompatibilists’, while those who defend the compatibility of self-knowledge with semantic externalism are (...) ‘compatibilists’. This paper examines the claim of compatibilism, focusing on Burge’s “Slow Switching Argument” and Boghossian’s “Objection of Relevant Alternatives”. I argue that compatibilism is false, and that semantic externalism is incompatible with self-knowledge. (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)

Introduction to the collection "Knowledge Ascriptions" (eds. Brown, J. and Gerken, M.).

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

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

This paper challenges the standard a priori/a posteriori distinction by looking at statements in which comprehension requires more that merely passive awareness of objects and their properties. A proposal is made to add to the traditional categories of knowledge, the “a positio,” characterized by active, intentional, and collective involvement of language users in the existence and nature of objects of reference needed for the truth of statements about various kinds of artifacts, broadly construed. The conditions of understanding statements about (...) institutions, institutional activity and standards of measurement are considered in some detail. (shrink)

In the past couple of decades, there were a few major attempts to establish the thesis of pragmatic infringement – that a significant pragmatic ingredient figures significantly in the truth-conditions for knowledge-ascriptions. As candidates, epistemic contextualism and Relativism flaunted conversational standards, and Stanley's SSI promoted stakes. These conceptions were propelled first and foremost by obviously pragmatic examples of knowledge ascriptions that seem to require a pragmatic component in the truth-conditions of knowledge ascriptions in order to be accounted (...) for. However, if such examples can be adequately explained purely pragmatically, the need that such examples seem to invoke in such a pragmatic component is undermined. Here I lay out a new pragmatic account – of action-directed pragmatics, offering a different account of such examples and their pragmatic flavor. If adequate, it obviates the above need for pragmatic enrichment. Specifically, I develop and I argue for a well-entrenched pragmatic feature – that of a steering role. The assertions of knowledge ascriptions and their denials as well as of simple assertions (that don't invoke knowledge) play a pragmatic role of steering audiences in joint deliberational setups toward, or away from, the speaker's preferred action (as well as in assertions of 'I am sure', of epistemic modals, taste assertions, causal assertions, and more.) Various features and consequences of this account are drawn. Specifically, I explain why in the bank example (and related ones) the husband, in denying the knowledge ascription, neither lies nor misleads. (shrink)

There has been much discussion recently of what has been labeled the “Brown-Boghossian-McKinsey”, “Brown-McKinsey” or sometimes just “McKinsey” arguments for the incompatibility of externalism and self-knowledge. However, while the three author's arguments have been treated as interchangeable, they are not identical. In particular, Brown’s and Boghossian’s arguments have a fairly serious flaw that cannot so easily be attributed to McKinsey. In what follows, I’ll (1) present a version of the ‘received’ “Brown-Boghossian-McKinsey” argument, (2) outline what I take to be (...) the most serious objection to it, (3) explain why this sort of objection does not seem, or do not seem immediately, to tell against McKinsey’s argument, and (4) suggest a number of alternative responses that might apply to McKinsey as well. (shrink)

Positions in the debate about the correct semantics of “S knows that p” are sometimes motivated in part by an appeal to interpretive charity. In particular, non-skeptical views hold that many utterances of the sentence “S knows that p” are true and some of them think the fact that their views are able to respect this is a reason why their views are more charitable than skeptical invariantism. However, little attention has been paid to why charity should be understood in (...) this way and little effort has been spent justifying the notion that a charitable semantics is likely to be true. I distinguish two kinds of interpretive charity. One principle of charity is often appealed to in the literature. I introduce a second. I argue that while some positions better respect one principle of charity, the reverse is true of the other principle of charity. I conclude with some remarks about how to break this apparent tie. (shrink)

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

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

Giovanni Mion defends the idea that knowledge is context relative, but, in contrast to current versions of epistemic contextualism, on his view, knowledge is relative to contexts that are objective. Following Christopher Gauker’s conception of what a context is, Mion argues that knowledge is relative to the speakers’ conversational goals; and since the best way to achieve the goals of a conversation depends upon the way the world really is, it follows that participants in a conversation might (...) be unaware of the content of the context that truly governs their conversation. Finally, Mion uses objective contexts to explain why practical interests have epistemic significance. According to him, if we assume that the primary function of language is not to share thoughts, but to achieve practical goals, and, accordingly, that knowledge attributions play primarily an action-guiding role (as opposed to a mind-revealing role), then we are in a better position to understand why knowledge is not just a matter of theoretical factors, but it is also a matter of how much is at stake. (shrink)

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

‘Know-that’, like so many natural language expressions, exhibits patterns of use that provide evidence for its context-sensitivity. A popular family of views – call it prag- matic invariantism – attempts to explain the shifty patterns by appeal to a pragmatic thesis: while the semantic meaning of ‘know-that’ is stable across all contexts of use, sentences of the form ‘S knows [doesn’t know] that p’ can be used to communicate a pragmatic content that depends on the context of use. In (...) this paper, the author argues that pragmatic invariantism makes inaccurate predictions for a wide range of well- known use data and is committed to attributing systematic pragmatic error to ordinary speakers. But pragmatic error is unprecedented, and it is doubtful that speakers are systematically wrong about what they intend to communicate. (shrink)

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or (...) how to evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working in ontology, even at a fairly high theoretical level, lack. The major purpose of this short (...) paper is provide a (comparatively) simple model of semantic integration that remains within the friendlier confines of first-order languages and their usual classical semantics and logic. (shrink)

We often claim to know what might be—or probably is—the case. Modal knowledge along these lines creates a puzzle for information-sensitive semantics for epistemic modals. This paper develops a solution. We start with the idea that knowledge requires safe belief: a belief amounts to knowledge only if it could not easily have been held falsely. We then develop an interpretation of the modal operator in safety that allows it to non-trivially embed information-sensitive contents. The resulting theory avoids (...) various paradoxes that arise from other accounts of modal knowledge. It also delivers plausible predictions about modal Gettier cases. (shrink)

This paper motivates two bases for ascribing propositional semantic knowledge (or something knowledgelike): first, because it’s necessary to rationalize linguistic action; and, second, because it’s part of an empirical theory that would explain various aspects of linguistic behavior. The semantic knowledge ascribed on these two bases seems to differ in content, epistemic status, and cognitive role. This raises the question: how are they related, if at all? The bulk of the paper addresses this question. It distinguishes (...) a variety of answers and their varying philosophical and empirical commitments. (shrink)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...) highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which (...) begins when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. (...) A speaker is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

This paper considers some puzzling knowledge ascriptions and argues that they present prima facie counterexamples to credence, belief, and justification conditions on knowledge, as well as to many of the standard meta-semantic assumptions about the context-sensitivity of ‘know’. It argues that these ascriptions provide new evidence in favor of contextualist theories of knowledge—in particular those that take the interpretation of ‘know’ to be sensitive to the mechanisms of constraint.

Abstract: This paper introduces and analyses the doctrine of externalism about semantic content; discusses the Twin Earth argument for externalism and the assumptions behind it, and examines the question of whether externalism about content is compatible with a privileged knowledge of meanings and mental contents.

In this paper I argue in favor of the compatibility of semantic externalism with privileged self-knowledge by showing that an argument for incompatibilism from switching scenarios fails. Given the inclusion theory of self-knowledge, the hypothesis according to which I am having twater thoughts while thinking that I have water thoughts simply isn't a (entertainable) possibility. When I am on Earth thinking earthian concepts, I cannot believe that I am thinking that twater is wet for I don't have (...) the concept of twater available; so this concept cannot figure in any of my mental states. Analogously, when I am on Twin Earth, I cannot mistakenly believe that I am entertaining water thoughts. No matter how often I am switched between Earth and Twin Earth, I will never erroneously think that I am having water thoughts while in fact I am having twater thoughts and vice versa. Privileged self-knowledge is therefore immune to skeptical arguments from switching and twinning scenarios. (shrink)

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

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)

In recent work on the semantics of ‘knowledge’-attributions, a variety of accounts have been proposed that aim to explain the data about speaker intuitions in familiar cases such as DeRose’s Bank Case or Cohen’s Airport Case by means of pragmatic mechanisms, notably Gricean implicatures. This paper argues that pragmatic explanations of the data regarding ‘knowledge’-attributions are unsuccessful and concludes that in explaining those data we have to resort to accounts that (a) take those data at their semantic (...) face value (Epistemic Contextualism, Subject-Sensitive Invariantism or Epistemic Relativism), or (b) reject them on psychological grounds (Moderate Insensitive Invariantism). To establish this conclusion, the paper relies solely upon widely accepted assumptions about pragmatic theory, broadly construed, and on the Stalnakerian insight that linguistic communication takes place against the backdrop of a set of mutually accepted propositions: a conversation’s common ground. (shrink)

It has been widely accepted since Stanley and Williamson (2001) that the only linguistically acceptable semantic treatments for sentences of the form ‘S knows how to V’ involve treating the wh-complement ‘how to V’ as an interrogative phrase, denoting a set of propositions. Recently a number of authors have suggested that the ‘how to V’ phrase denotes not a proposition, but an object. This view points toward a prima facie plausible non-propositional semantics for knowledge-how, which treats ‘how to (...) V’ as a free relative noun phrase. In this paper I argue that the free relative semantics is implausible. I show that linguistic phenomena which seem to support a free relative semantics can be explained by the supporter of an interrogative semantics, and demonstrate that standard linguistic tests strongly suggest that ‘how to V’ has an interrogative reading, and no free relative reading. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...) adjointness between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

Semantic relativism is the view that the truth-value of some types of statements can vary depending on factors besides possible worlds and times, without any change in their propositional content. It has grown increasingly popular as a semantic theory of several types of statements, including statements that attribute knowledge of a proposition to a subject (knowledge attributions). The ways of knowing claim is the view that perception logically implies knowledge. In my “Semantic Relativism and (...) Ways of Knowing” (2019) I argued that a relativist semantics for knowledge attributions is incompatible with the ways of knowing claim. I suggested that this incompatibility depends on some basic features of the logic of relativist semantics, and therefore can be shown to generalise beyond the discussion of knowledge attributions to semantic relativism more broadly. Here I make this generalisation. I demonstrate that for any proposition p expressed by a statement that does not have a relativist semantics, and for any proposition q expressed by a statement that does have a relativist semantics, p fails to logically imply q. I explain why this happens, discuss some of its philosophical consequences, and consider a way to modify relativist semantics to avoid it. I conclude that semantic relativism raises interesting philosophical questions that have gone largely unnoticed in discussions of this view until now. (shrink)

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

This paper is a companion piece to my earlier paper “Fallibilism and Concessive Knowledge Attributions”. There are two intuitive charges against fallibilism. One is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. The second is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, even (...) though I’m not certain that he is”, or “I know that Bush it a Republican, even though it isn’t certain that he is.” In “Fallibilism and Concessive Knowledge Attributions”, I argue that fallibilism in epistemology does not countenance the truth of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. In this paper, I argue that there are independent reasons for thinking that utterances of sentences such as “I know that Bush is a Republican, though I’m not certain that he is” and “I know that Bush is a Republican, though it’s not certain that he is” are unassertible. More specifically, I argue that these are simply instances of Moore’s Paradox, such as “Dogs bark, but I don’t know that they do.” The right account of Moore’s Paradox does not involve the falsehood of the semantic content of the relevant utterances, but rather their pragmatic unacceptability. So the anti-fallibilist intuitions turn out to have pragmatic, rather than semantic import, and therefore do not tell against the truth of fallibilism. Fallibilism in epistemology is often thought to be theoretically desirable, but intuitively problematic. My purpose with these two papers is to show that fallibilism is not intuitively problematic. (shrink)

Keith DeRose and Stewart Cohen object to the fallibilist strand of pragmatic invariantism regarding knowledge ascriptions that it is committed to non-cancelable pragmatic implications. I show that this objection points us to an asymmetry about which aspects of the conveyed content of knowledge ascriptions can be canceled: we can cancel those aspects that ascribe a lesser epistemic standing to the subject but not those that ascribe a better or perfect epistemic standing. This situation supports the infallibilist strand of (...) pragmatic invariantism according to which knowledge semantically requires absolute certainty but this claim is often pragmatically weakened: it turns out that exactly those aspects of the conveyed content are cancelable that this view claims are pragmatic. I also argue that attributor contextualism and relativism do not have an alternative explanation of this phenomenon. (shrink)

In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world. However, according to their view, individual acts of denotations are not explained just by virtue of speakers’ semantic knowledge. Against this view, I will hold that, in the typical cases (...) considered, semantic knowledge can account for the denotational uses of words of individual speakers. (shrink)

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

I argue that knowledge is a particular kind of concept known as a thick concept. Examples of thick concepts include courage, generosity, loyalty, brutality, and so forth. These concepts are commonly said to combine both evaluation and description, and one of the main goals of this dissertation is to provide a new account of how a thick concept combines these elements. It is argued that thick concepts are semantically evaluative, and that they combine evaluation and description in a way (...) similar to that of concepts like good qua dancer and bad qua violinist. In the final chapter, this basic idea is applied to the concept of knowledge. There, the concept of knowledge is analyzed in terms of good qua belief. The upshot is that two central epistemological problems—the Gettier Problem and the Value Problem—can be resolved. (shrink)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, (...) comparatives, and many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

The paper is concerned with the semantics of knowledge attributions(K-claims, for short) and proposes a position holding that K-claims are contextsensitive that differs from extant views on the market. First I lay down the data a semantic theory for K-claims needs to explain. Next I present and assess three views purporting to give the semantics for K-claims: contextualism, subject-sensitive invariantism and relativism. All three views are found wanting with respect to their accounting for the data. I then propose (...) a hybrid view according to which the relevant epistemic standards for evaluating K-claims are neither those at the context of the subject (subject-sensitive invariantism), nor those at the context of the assessor (relativism), but it is itself an open matter. However, given that we need a principled way of deciding which epistemic standards are the relevant ones, I provide a principle according to which the relevant standards are those that are the highest between those at the context of the subject and those at the context of the assessor/attributor. In the end I consider some objections to the view and offer some answers. (shrink)

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier is (...) the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis (...) proposes compartmentalized knowledge to keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This (...) threatens the Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)