<?xml version="1.0" encoding="utf-8"?>
<article xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="JATS-journalpublishing1-mathml3.xsd" dtd-version="1.2" article-type="Article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher">ergo</journal-id>
<journal-title-group>
<journal-title>Ergo</journal-title>
</journal-title-group><issn pub-type="epub"></issn>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">2247</article-id>
<article-id pub-id-type="manuscript">46_Corrected_Deigan_Bad.pdf,46_Corrected_Deigan_Bad.tex</article-id>
<article-id pub-id-type="doi">10.3998/ergo.2247</article-id>
<title-group>
<article-title>B<sc>ad</sc> C<sc>oncepts</sc>, B<sc>ilateral</sc> C<sc>ontents</sc></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname>Deigan</surname>
<given-names>Michael</given-names>
</name>
<email>mike.deigan@rutgers.edu</email>
<aff><institution>Rutgers University</institution><institution content-type="position"></institution><institution content-type="dept"></institution><addr-line content-type="addrline1"></addr-line><country></country><addr-line content-type="city"></addr-line><addr-line content-type="zipcode"></addr-line><phone content-type="primary"></phone></aff>
</contrib>
</contrib-group>
<pub-date><day>31</day><month>7</month><year>2022</year></pub-date>
<volume>8</volume><issue>24</issue>
<history>
<date date-type="received"><day></day><month></month><year></year></date>
<date date-type="rev-recd"><day></day><month></month><year></year></date>
<date date-type="accepted"><day></day><month></month><year></year></date>
</history>
<permissions>
<license>
<license-p>CC BY-NC-ND 4.0</license-p>
</license>
</permissions>
<abstract id="ABS1">
<p id="P1">I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.</p>
</abstract>
<kwd-group>
<kwd></kwd>
</kwd-group>
<funding-group/>
<counts>
<fig-count count="0"/>
</counts>
<custom-meta-group><custom-meta id="competing-interest"><meta-name></meta-name><meta-value></meta-value></custom-meta></custom-meta-group>
</article-meta>
</front>
<body>
<p><bold>T</bold><sc>here</sc> is something wrong with believing the false, desiring the bad, and fearing the harmless. Such beliefs, desires, and fears are, in a certain sense, defective. My concern here is with whether concepts and their possession can be defective in a similar way.</p>
<p>A <italic>concept</italic>, as I will use the term, is just an ability to grasp certain contents. You possess the concept when you have the relevant ability. Having the concepts <sc>table</sc>, <sc>red</sc>, and so on, you can grasp the contents of &#x201C;There is a red table&#x201D; and &#x201C;There are no red tables&#x201D;, and so on. If we construe concepts in this thin way, what could make them defective?</p>
<p>Possession of some concept may have bad practical consequences, but this doesn&#x2019;t imply that the concept is defective any more than a belief&#x2019;s bad practical consequences imply that the belief is defective. An impeccable belief can lead to disaster. What makes a belief defective, at least in the sense I am interested in, is the belief&#x2019;s being false, unwarranted, or something along those lines. Important as practical consequences of concept possession are, I think we should look elsewhere for what could make a concept or its possession defective.<xref rid="fn1" ref-type="fn"><sup>1</sup></xref><sup>,</sup><xref rid="fn2" ref-type="fn"><sup>2</sup></xref></p>
<p>If not its practical effects, what else could make a concept defective? A promising place to look is to the content that the concept is an ability to grasp. Perhaps some concepts are <italic>semantically defective</italic>, that is, have something wrong with their contents. But what could be wrong with a content? Contents may be about quite nasty or stupid things, but that nastiness and stupidity are defects of the things, not the contents. Even predicates that are necessarily uninstantiated, like &#x201C;round square&#x201D;, have contents that seem to be perfectly legitimate ones, as <xref ref-type="bibr" rid="R20">Frege (1895/1960</xref>: 105) observes. Having the concept <sc>round square</sc> means I can correctly believe that there could not be round squares. If even necessarily empty concepts are semantically okay, we might doubt that any content at all could be defective.</p>
<p>According to an influential proposal developed by Kevin Scharp (<xref ref-type="bibr" rid="R51">2013</xref>), though, there is a way for contents to be defectively inconsistent. This account, which we will review momentarily, involves an appeal to an inferentialist view according to which rules of use and inference are constitutive of words&#x2019; and concepts&#x2019; contents, as well as central to their possession conditions.<xref rid="fn3" ref-type="fn"><sup>3</sup></xref> If you&#x2019;re happy to be an inferentialist, this is no problem. But this account seems unavailable to those of us who reject inferentialism. Indeed, Herman Cappelen (<xref ref-type="bibr" rid="R7">2018</xref>) has argued on this basis that we cannot make sense of a concept&#x2019;s being semantically defective through being inconsistent.<xref rid="fn4" ref-type="fn"><sup>4</sup></xref></p>
<p>I will argue, on the contrary, that non-inferentialists can make sense of semantic inconsistency. The idea is this: what is important to Scharp-style accounts of semantic inconsistency is not that contents involve inferential roles in their semantics or metasemantics, but that they be <italic>bilateral</italic>, having both a positive and negative component. And though bilateral approaches to content are often inferentialist, they need not be. There are approaches to bilateral contents which would allow for inconsistent non-inferentialist contents. If this is right, and semantic inconsistency is indeed a defect, then it is open even to non-inferentialists to hold that concepts can be semantically defective.</p>
<p>I&#x2019;ll start in &#x00A7;1 with a crash course in Scharp-style inconsistent concepts. In &#x00A7;2 I outline the problem for standard forms of non-inferentialism, as highlighted by Cappelen. In &#x00A7;&#x00A7;3&#x2013;5 I argue that a bilateralism sufficient for permitting Scharp-style inconsistent concepts is available to non-inferentialists. I conclude in &#x00A7;6 by raising a puzzle about the putative defectiveness of this kind of inconsistency and suggesting a couple avenues for resolving it.</p>
<sec id="S1"><label>1.</label><title>Inconsistent Concepts, Scharp-Style</title>
<p>Kevin Scharp (<xref ref-type="bibr" rid="R50">2005</xref>; <xref ref-type="bibr" rid="R51">2013</xref>) argues that truth is an inconsistent concept and so should be replaced.<xref rid="fn5" ref-type="fn"><sup>5</sup></xref> The case of truth is not our concern here. We just want to know what he means by &#x2018;inconsistent concept&#x2019;. To illustrate, Scharp invents the helpful artificial example of a &#x2018;rable&#x2019; (2013: 36):</p>
<list list-type="simple">
<list-item><label>(1)</label>
<list list-type="simple">
<list-item><p>a. &#x2018;rable&#x2019; applies to x if x is a table.</p></list-item>
<list-item><p>b. &#x2018;rable&#x2019; disapplies to x if x is a red thing.</p></list-item>
</list></list-item>
</list>
<p>In what sense is <sc>rable</sc> inconsistent? In some cases, no inconsistency arises. Brown table? Rable. Red couch? Not a rable. But what about a red table? Here &#x2018;rable&#x2019; applies, since it&#x2019;s a table. But it also disapplies, since it is a red thing. So&#x2014;and here&#x2019;s the inconsistency&#x2014;the red table must be a rable and must not be a rable. So a <sc>rable</sc>-user must either accept a contradiction or else deny the manifest fact that there are red tables. Having <sc>rable</sc> in one&#x2019;s conceptual repertoire, Scharp concludes, &#x201C;corrupts it in a certain way&#x201D; (2013: 36). We&#x2019;ll call a concept S-inconsistent if its correct application with respect to some actual facts (like the fact that there is a red table), leads to contradiction.<xref rid="fn6" ref-type="fn"><sup>6</sup></xref></p>
<p>S-inconsistency may be familiar from another artificial example: &#x2018;tonk&#x2019; from Prior (<xref ref-type="bibr" rid="R42">1960</xref>). Given the &#x2018;or&#x2019;-like introduction rule of &#x2018;tonk&#x2019;, from &#x201C;Arthur Prior was a philosopher&#x201D; we can infer &#x201C;Arthur Prior was a philosopher tonk it&#x2019;s raining and it is not raining&#x201D;. And from that, given &#x2018;tonk&#x201D;s &#x2018;and&#x2019;-like elimination rule, we can infer &#x201C;It&#x2019;s raining and it&#x2019;s not raining&#x201D;. So &#x2018;tonk&#x2019; let&#x2019;s us go from a true sentence to a contradiction.</p>
<p>But S-inconsistency should not be assumed to be limited to artificial examples. There&#x2019;s a plausible case to be made that it applies to real concepts not invented by philosophers, such as concepts associated with certain normatively laden terms, like <sc>boche</sc> (<xref ref-type="bibr" rid="R15">Dummett 1973</xref>: 454) or <sc>chaste</sc> (<xref ref-type="bibr" rid="R17">Eklund 2017</xref>: 175), as well as some theoretical terms from incorrect scientific theories, such as (Newtonian) <sc>mass</sc> (<xref ref-type="bibr" rid="R51">Scharp 2013</xref>: 37). Supposing, for example, that <sc>boche</sc> disapplies to x if x is not barbarous, but applies to x if x is of German nationality, then the fact that there are Germans who are not barbarous will mean application of the concept in accordance with its constitutive rules leads to contradiction.</p>
<p>Before we move on, there are two things to emphasize about S-inconsistency and Scharp&#x2019;s understanding of it. The first is that it&#x2019;s understood by Scharp in an <italic>inferentialist</italic> way, in the sense that the concept and its possession is constituted by rules of use and inference that possessors of the concept are related to in some special way. Scharp says of (1-a) and (1-b) that they</p>
<disp-quote>
<p>&#x2026; are <italic>constitutive</italic> for rable in the sense that they determine (in part) the meaning of &#x2018;rable&#x2019; and the identity of the concept expressed by it. There are several ways of explaining the relationship between agents and constitutive principles, but a prima facie plausible explanation is that anyone who possesses a certain concept accepts that concept&#x2019;s constitutive principles. According to this view, if someone uses &#x2018;rable&#x2019; but does not believe [(1-a)] and [(1-b)], then that person&#x2019;s word &#x2018;rable&#x2019; does not mean <italic>rable</italic>. (<xref ref-type="bibr" rid="R51">Scharp 2013</xref>: 36)</p>
</disp-quote>
<p>Later in the chapter he proceeds to refine this proposal, ending up with a more sophisticated account of what it takes to possess the concept in terms of defeasible entitlement, but it is still an inferentialist account.</p>
<p>The other thing to note about S-inconsistency is that it involves a predicate having a bilateral meaning. The predicate &#x2018;rable&#x2019; is given both application conditions <italic>and</italic> disapplication conditions.</p>
</sec>
<sec id="S2"><label>2.</label><title>The Problem for Unilateral Representationalism</title>
<p>S-inconsistency is a good candidate for a concept&#x2019;s being semantically defective. It does seems like a defect, and it applies to concepts construed in the thin, content-grasping-ability sense we are using. But what if we reject inferentialism?</p>
<p>The main competitor to inferentialism is what I&#x2019;ll call <italic>standard representationalism</italic>, which consists of two components: representational semantics and messy metasemantics. The former involves characterizing contents in representational terms&#x2014;such as in terms of propositions with truth conditions. The latter involves denying that rules of inference or use play any straightforward role in determining concepts&#x2019; contents or their possession conditions. On standard representationalism, the meaning of a word or concept is just what that word or concept contributes to a representational content,<xref rid="fn7" ref-type="fn"><sup>7</sup></xref> not anything directly involving rules for its application, disapplication, or inferences involving it. And given messy metasemantics there&#x2019;s no particular rules that an individual must accept (or be disposed to infer in accordance with, or what have you) in order to use that word or possess that concept.</p>
<p>It is plausible that S-inconsistency is unavailable to the standard representationalist, as Cappelen (<xref ref-type="bibr" rid="R7">2018</xref>: 85, 142) concludes. After all, if there are no constitutive rules, then there are no inconsistent constitutive rules. It seems that if representationalists want to call concepts semantically defective, they will need an alternative account.<xref rid="fn8" ref-type="fn"><sup>8</sup></xref> As I&#x2019;ve said, I think this is incorrect. I&#x2019;ll argue one can be a certain kind of standard representationalist, but still go in for S-inconsistent concepts. However, I do think S-inconsistency is unavailable to some common forms of standard representationalism, and it will be helpful to see why.</p>
<p>According to what I&#x2019;ll call <italic>unilateral representationalism</italic>, contents are exhausted by a single, unilateral entity. On one way of doing this in terms of possible worlds, we take contents to be intensions:<xref rid="fn9" ref-type="fn"><sup>9</sup></xref> for a declarative sentence, the content is a set of worlds (those worlds where the sentence is true), for a predicate, a function from (possible) individuals to sets of worlds (the set of worlds where the given individual satisfies the predicate), and so on. Applying this to concepts, the content of a predicative concept like <sc>cat</sc> is a function which takes an individual and returns the set of worlds where that individual is a cat. If the actual world is in this set, the individual in question is actually a cat, otherwise it is not.</p>
<p>On such a view, there&#x2019;s no way to get S-inconsistency going. For any given thing, the actual world is either in the set that the concept returns or it isn&#x2019;t. So applying <sc>rable</sc> to a given red table either returns a set with the actual world or it returns a set without the actual world. If the former, then it&#x2019;s true that the table is a rable. If the latter, then it&#x2019;s false that the table is a rable. Either way, it won&#x2019;t end up both true and false that it&#x2019;s a rable. So either way, <sc>rable</sc> is not S-inconsistent. And the same goes for any other concept, as far as this framework is concerned. So if you&#x2019;re a unilateral representationalist of this sort, you cannot appeal to S-inconsistency as the source of semantic defects.</p>
<p>A familiar variant of standard representationalism does not allow for S-inconsistency. This may be taken to confirm that standard representationalism itself excludes S-inconsistency. But in fact, as we&#x2019;ll see in the next section, if a standard representationalist gives up unilateralism, they <italic>can</italic> allow for S-inconsistency.</p>
</sec>
<sec id="S3"><label>3.</label><title>The Bilateral Representationalist Solution</title>
<p>Bilateralism is the view that meanings come with two components: a positive part and a negative part. An inferentialist can be a bilateralist by claiming meanings are composed of application <italic>and</italic> disapplication conditions, or, for sentences, assertibility <italic>and</italic> deniability conditions. This flavor of inferentialism has a variety of uses.<xref rid="fn10" ref-type="fn"><sup>10</sup></xref> Scharp relies on just this kind of bilateralism to give an inferentialist treatment of S-inconsistent concepts like &#x2018;rable&#x2019;. It is having application and disapplication conditions applying in the same case that makes for inconsistency.</p>
<p>Bilateral representationalism is less common than bilateral inferentialism, but it is not without its proponents and has considerable attractions. For the representationalist, the meaning of an expression is just some representational content, or a contribution to a representational content. To be a bilateralist, then, what the representationalist needs is a kind representational content with a positive and negative part. There are various ways to do this, but the one I find most attractive is based on the truthmaker semantics of van Fraassen (<xref ref-type="bibr" rid="R62">1969</xref>) and Fine (<xref ref-type="bibr" rid="R19">2017b</xref>). The meaning of a sentence, on this view, is not the set of worlds where the sentence is true, but rather the set of potential facts which would make that sentence true, were any of them to obtain. The fact that I have the specific red couch I do is a truthmaker for (2).</p>
<list list-type="simple">
<list-item><label>(2)</label><p>Somebody has a red couch.</p></list-item>
</list>
<p>But there are also plenty of other potential facts&#x2014;actual or otherwise&#x2014;that make this sentence true, or would make it true if they obtained. As a first pass, we take the meaning of (2) to be the set of all those potential truthmakers. Since some of them are actual, the sentence is actually true.</p>
<p>So far, there&#x2019;s nothing bilateral here. To get that, we want to talk about falsehoodmaking in addition to truthmaking. (3), for example, is false.</p>
<list list-type="simple">
<list-item><label>(3)</label><p>Nobody has a red couch.</p></list-item>
</list>
<p>But what makes it false? Well, the fact that I have a red couch does, as well as lots of other similar facts about others and their red couches.<xref rid="fn11" ref-type="fn"><sup>11</sup></xref> A bilateral truthmaker semantics takes falsehoodmakers&#x2014;actual or potential&#x2014;to be included in the meaning of a sentence. So the meaning of (3) will include its potential truthmakers, which are presumably a bunch of facts that do not actually obtain, but it will <italic>also</italic> contain its potential falsehoodmakers, among which are the fact that I have a red couch.</p>
<p>If we are to have a reasonable theory, though, we cannot just lump the truthmakers and falsehoodmakers together. There&#x2019;s a big difference between whether some fact is a truthmaker for a sentence or a falsehoodmaker for it. The meanings need to specify, then, which facts are the would-be truthmakers, and which are the would-be falsehoodmakers. So instead of taking the meaning of a sentence to be a set of potential facts, we take it to be a <italic>pair</italic> of such sets: the set of truthmakers and the set of falsehoodmakers. Meanings, on this view, are bilateral, and provide both a sentence&#x2019;s truthmaking conditions and its falsehoodmaking conditions.</p>
<p>This view is different from the more familiar unilateral representationalism, of course, but it is still a bona fide version of standard representationalism. The meanings it posits are representational: the meaning of a sentence represents how things are if the sentence is true, it just also represents how things are if the sentence is false, and uses finer-grained entities than possible worlds to do so. And there is no specification of constitutive rules and no more need here to deny messy metasemantics than there is for the unilateral representationalist. But more on that momentarily. First let&#x2019;s see how this view can accommodate S-inconsistent concepts.</p>
<p>Recall that an S-inconsistent concept is one whose correct application with respect to some actual facts leads to a contradiction. From a truthmaker semantics perspective, what this amounts to is some actual facts implying that some sentence <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN1"><mml:mi>S</mml:mi></mml:math></inline-formula> both has an actual truthmaker (and so is true) and an actual falsehoodmaker (and so is false).<xref rid="fn12" ref-type="fn"><sup>12</sup></xref> Given the standard truthmaker semantics for conjunction and negation, this would entail that <italic>S &#x2227; &#x00AC;S</italic> has a truthmaker, and so is true.<xref rid="fn13" ref-type="fn"><sup>13</sup></xref> Now we ask: could a concept have a content that results in this?</p>
<p>In addition to the ordinary interpretation function <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN2"><mml:mtext>&#x27E6;</mml:mtext><mml:mtext>&#x00B7;</mml:mtext><mml:mtext>&#x27E7;</mml:mtext></mml:math></inline-formula> that will take an expression to its bilateral meaning, let&#x2019;s introduce a function <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN3"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mtext>&#x00B7;</mml:mtext><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x002B;</mml:mo></mml:msup></mml:math></inline-formula> that takes an expression to the positive part of its meaning (in the case of a sentence, the set of truthmakers) and a function <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN4"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mtext>&#x00B7;</mml:mtext><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x2212;</mml:mo></mml:msup></mml:math></inline-formula> that takes an expression to the negative part of the content (in the case of a sentence, the set of falsehoodmakers).</p>
<p>The meaning of a predicate should be the kind of thing that when combined with an individual denoting expression (or generalized quantifier) returns a sentence meaning, a bilateral truthmaker/falsehoodmaker proposition in the system we&#x2019;re considering. Applying <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN5"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mtext>&#x00B7;</mml:mtext><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x002B;</mml:mo></mml:msup></mml:math></inline-formula> to a predicate <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN6"><mml:mi>F</mml:mi></mml:math></inline-formula> should give us a function from (possible) individuals to sets of potential facts&#x2014;the potential facts of the given individual&#x2019;s being <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN7"><mml:mi>F</mml:mi></mml:math></inline-formula>. Applying <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN8"><mml:mtext>&#x27E6;</mml:mtext><mml:mtext>&#x00B7;</mml:mtext><mml:mtext>&#x27E7;</mml:mtext></mml:math></inline-formula><sup><italic>&#x2212;</italic></sup> should again give us a function from individuals to sets of potential facts, but this time those of the given individual&#x2019;s <italic>not</italic> being <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN9"><mml:mi>F</mml:mi></mml:math></inline-formula>.</p>
<p>So, starting with an ordinary predicate, <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN10"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>t</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x002B;</mml:mo></mml:msup></mml:math></inline-formula> is the function from individuals <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN11"><mml:mi>x</mml:mi></mml:math></inline-formula> to the set of truthmakers for &#x201C;<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN12"><mml:mi>x</mml:mi></mml:math></inline-formula> is a table&#x201D;. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN13"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>t</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x2212;</mml:mo></mml:msup></mml:math></inline-formula> is the function from individuals <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN14"><mml:mi>x</mml:mi></mml:math></inline-formula> to the set of falsehoodmakers for &#x201C;<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN15"><mml:mi>x</mml:mi></mml:math></inline-formula> is a table&#x201D;. Assuming that <sc>table</sc> is not an inconsistent concept, there is no individual <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN16"><mml:mi>x</mml:mi></mml:math></inline-formula> such that &#x201C;<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN17"><mml:mi>x</mml:mi></mml:math></inline-formula> is a table&#x201D; has both an actual truthmaker and an actual falsehoodmaker. When applied to my kitchen table, <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN18"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>t</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x002B;</mml:mo></mml:msup></mml:math></inline-formula> returns a set of potential facts of my kitchen table&#x2019;s being a table, at least one of which is actual. But applying <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN19"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>t</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x2212;</mml:mo></mml:msup></mml:math></inline-formula> to my kitchen table returns the set potential of facts of its <italic>not</italic> being a table. None of these are actual facts, since there are no actual facts making it false that my kitchen table is a table. So, as expected, we don&#x2019;t get a contradiction by applying the concept <sc>table</sc> to my kitchen table&#x2014;it does not have both actual truthmakers and actual falsehoodmakers, only actual truthmakers. Similarly, I assume, for other tables and for non-tables. Nothing both actually is and is not a table.</p>
<p>Applying an inconsistent concept to some object, on the other hand, will return both an actual truthmaker and an actual falsehoodmaker, resulting in a sentence that is both true and false. In this system, it&#x2019;s possible to give a meaning to <italic>rable</italic> so that (4-a) has both an actual truthmaker and actual falsehoodmaker, which would mean (4-b) has an actual truthmaker.</p>
<list list-type="simple">
<list-item><label>(4)</label><p>
<list list-type="simple">
<list-item><p>a. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN20"><mml:mi>r</mml:mi></mml:math></inline-formula> is a rable.</p></list-item>
<list-item><p>b. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN21"><mml:mi>r</mml:mi></mml:math></inline-formula> is a rable and <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN22"><mml:mi>r</mml:mi></mml:math></inline-formula> is not a rable.</p></list-item>
</list></p></list-item>
</list>
<p>In other words, we can give a meaning to <italic>rable</italic> that makes it S-inconsistent.</p>
<p>Suppose the fact that <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN23"><mml:mi>r</mml:mi></mml:math></inline-formula> is a table is included in <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN24"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>r</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x002B;</mml:mo></mml:msup></mml:math></inline-formula><inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN25"><mml:mtext>(</mml:mtext><mml:mi>r</mml:mi><mml:mtext>)</mml:mtext></mml:math></inline-formula>. In other words, <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN26"><mml:mi>r</mml:mi></mml:math></inline-formula>&#x2019;s being a table would make (4-a) true. Now suppose the fact that <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN27"><mml:mi>r</mml:mi></mml:math></inline-formula> is red is included in <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN28"><mml:msup><mml:mrow><mml:mtext>&#x27E6;</mml:mtext><mml:mi>r</mml:mi><mml:mi>a</mml:mi><mml:mi>b</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mtext>&#x27E7;</mml:mtext></mml:mrow><mml:mo>&#x2212;</mml:mo></mml:msup></mml:math></inline-formula><inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN29"><mml:mtext>(</mml:mtext><mml:mi>r</mml:mi><mml:mtext>)</mml:mtext></mml:math></inline-formula>. In other words, <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN30"><mml:mi>r</mml:mi></mml:math></inline-formula>&#x2019;s being red would make (4-a) false.</p>
<p>There&#x2019;s nothing in our theory that prevents there from being such a meaning for <italic>rable</italic>.</p>
<p>Now suppose that <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN31"><mml:mi>r</mml:mi></mml:math></inline-formula> is a red table. Then both of the facts in question are actual, and (4-a) has an actual truthmaker and an actual falsehoodmaker, so is both true and false. And given standard truthmaker semantics for negation and conjunction, this means that (4-b) has an actual truthmaker, and so is true. This meaning of <italic>rable</italic>, together with the facts about some red table <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN32"><mml:mi>r</mml:mi></mml:math></inline-formula>, lead to a contradiction. On this theory, <italic>rable</italic> is S-inconsistent. But this is also a representationalist meaning. So a representationalist can say that <sc>rable</sc> has this content. Thus, by appeal to bilateral meanings, the representationalist can accommodate S-inconsistent concepts.<xref rid="fn14" ref-type="fn"><sup>14</sup></xref></p>
</sec>
<sec id="S4"><label>4.</label><title>Inferentialism in Disguise?</title>
<p>But is the required bilateralism <italic>really</italic> a representationalist view? Perhaps, one might object, it is a kind of inferentialism in disguise. How are we to make sense of these &#x2018;positive&#x2019; and &#x2018;negative&#x2019; parts of the meanings? Surely this must be something to do with assertibility and deniability. But once we&#x2019;ve agreed to that, it&#x2019;s not clear how the supposedly representationalist bilateralism is different from the inferentialist bilateralism in the style of Timothy Smiley (<xref ref-type="bibr" rid="R55">1996</xref>), Ian Rumfitt (<xref ref-type="bibr" rid="R46">2000</xref>), and others.</p>
<p>The most prominent defenses of bilateralism, I admit, do come from an inferentialist perspective. They take the positive part of sentence meaning to be assertibility conditions and the negative part deniability conditions (or acceptance and rejection conditions). But this does not mean that bilateralism must take on inferentialist commitments.</p>
<p>First, note that even if we follow the inferentialists in taking meanings to be assertibility and deniability conditions, this does not yet imply we must reject messy metasemantics. Suppose we say that declarative sentences in some language <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN33"><mml:mi>L</mml:mi></mml:math></inline-formula> have as their meanings pairs of assertibility and deniability conditions. In virtue of what is someone a speaker of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN34"><mml:mi>L</mml:mi></mml:math></inline-formula>? On one view, it is through knowing/accepting/being disposed to act in accordance with/etc. the assertibility and deniability conditions for the sentences in <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN35"><mml:mi>L</mml:mi></mml:math></inline-formula>. Such a view would be an inferentialist one. But this is not the only possible view. Instead, we can say that it is due to some complex web of interactions and dependencies that hold the linguistic practice together, even in the absence of a common rules that all participants are required to know, accept, or be disposed to follow.<xref rid="fn15" ref-type="fn"><sup>15</sup></xref> If we take inferentialism to require non-messy metasemantics, then even taking meanings to be be combinations of assertibility and deniability conditions does not make one a full-blown inferentialist.<xref rid="fn16" ref-type="fn"><sup>16</sup></xref></p>
<p>But we can go further than this. Bilateral meanings simply need not be taken to consist of assertibility and deniability conditions. On the truthmaker semantics framework I used above to introduce bilateralism, the meanings are not assertibility and deniability conditions, but truthmakers and falsehoodmakers. These may, of course, have some connections to assertibility and deniability, but this need only be loose connections that representationalists should be happy with, the same kind of connections that standard representationalists would take there to be between truth conditions and assertibility. And such connections need not be taken to be part of the meanings themselves, regardless of how strong the connections are.</p>
<p>But how, one might worry, are sentences supposed to get the positive and negative parts of their meanings, if not through direct relations to patterns of assertion and denial (and sanctions on assertions and denials)? And how can someone be a speaker of the language if they don&#x2019;t know or act in accordance with these patterns?</p>
<p>This is just a worry about whether there can be a good metasemantics for representationalists. To fully address it would be to recapitulate the longstanding debate between representationalists and inferentialists, which I will not do here. Instead, I will just note that it seems to me that metasemantics no more forces the bilateralist to accept inferentialism than it does the unilateralist. The standard representationalist needs to hold that the true metasemantics is messy and is able to determine representational meanings. Moving to bilateralism may somewhat increase the explanatory burden here&#x2014;the metasemantics needs to fix both positive and negative contents, not just single unilateral contents&#x2014;but I see no reason to think that there should be insurmountable trouble for the bilateral representationalist if there isn&#x2019;t such trouble for the unilateral representationalist. In any case, turning this into a serious problem for the bilateralist representationalist specifically would require a more detailed and well-supported metasemantic theory than is currently available.</p>
</sec>
<sec id="S5"><label>5.</label><title>Ontological or Theoretical Profligacy?</title>
<p>So it seems there can be a bilateral representationalism which allows for S-inconsistency. Perhaps some representationalists will be hesitant to take it up, though, due to metaphysical scruples. Before, as unilateral representationalists, they could get by with the familiar sets of worlds and the truth-at-a-world relation.<xref rid="fn17" ref-type="fn"><sup>17</sup></xref> Now we&#x2019;re in a less familiar land of actual and potential facts, truth-making, and falsehood-making.<xref rid="fn18" ref-type="fn"><sup>18</sup></xref> And not only that, these facts include dreaded negative facts like the fact that the table is not a couch. Such a view may be a representationalist one, but shouldn&#x2019;t it still be excluded by a robust sense of reality?</p>
<p>I myself am not troubled by an ontology of facts, even negative and potential ones, nor by the relations of truthmaking and falsehood making. They don&#x2019;t seem especially alien and they can be put to a lot of good theoretical use.<xref rid="fn19" ref-type="fn"><sup>19</sup></xref> That said, for the comfort of the those more scrupulous than myself I will show that a more pared down bilateral representationalism is sufficient for S-inconsistency.</p>
<p>We can start by staying within the general approach of truthmaking and falsehoodmaking, but dropping talk of facts and reverting to sets of worlds. On this view, we use what Fine calls &#x2018;loose&#x2019; truthmaking and falsehoodmaking. A sentence is loosely made true by any world where the sentence is true, and loosely made false by any world where the sentence is false. Meanings, then, will still be sets of truthmakers and falsehoodmakers, but these will just be sets of worlds. So we can keep our bilateral meanings by using truthmakers and falsehoodmakers, but drop the ontology of facts and keep to the comfort of possible worlds.</p>
<p>Some may be worried not just about the facts, but about the relations of truthmaking and falsehoodmaking themselves. However, even an extra cautious representationalist who wants to avoid any such talk of &#x2018;making&#x2019; true or false can still be a bilateralist. They can take the loose-truthmaking view just sketched and then interpret the relations between the sentences and sets of worlds not as truthmaking and falsehoodmaking, but as truth conditions and falsehood conditions. Truth conditions, I trust, are not too exotic. And if you&#x2019;re okay with truth conditions, and you&#x2019;re okay with falsehood, you should be okay with falsehood conditions.</p>
<p>So on this most conservative bilateralist representationalism, the meaning of a sentence is a pair of sets of worlds. One set is the sentence&#x2019;s truth conditions, the other is the sentence&#x2019;s falsehood conditions. An S-inconsistent sentence is one where the actual world is in the intersection of these two sets and an S-inconsistent predicate is one which maps some individual to a pair of sets that intersect in this way.<xref rid="fn20" ref-type="fn"><sup>20</sup></xref> I find the truthmaker semantics approach more natural, but if you&#x2019;re a representationalist who wants to be able to appeal to S-inconsistency without changing much about your view, you can do so.</p>
<p>There is, I admit, some cost in adding complexity to our meanings. Better a set than a pair of sets, all else equal. My aim is not to show that accommodating S-inconsistent concepts comes at no price. Rather, it&#x2019;s that the price is not inferentialism, but rather bilateralism. And this price, it strikes me, may well be worth paying.<xref rid="fn21" ref-type="fn"><sup>21</sup></xref></p>
</sec>
<sec id="S6"><label>6.</label><title>A Remaining Puzzle: What Defect?</title>
<p>I&#x2019;ve argued that representationalists can accommodate S-inconsistency by going bilateral. If S-inconsistency is a defect&#x2014;and it seems plausible that it is&#x2014;then it&#x2019;s a semantic defect, so concepts with such contents are semantically defective. And so one can be a representationalist and hold that concepts can be semantically defective. This would be a way to make sense of a concept&#x2019;s being defective, even for someone who (i) is a representationalist, (ii) construes concepts in a thin, relatively non-committal way, and (iii) is skeptical that practical defects in themselves can make concepts defective. There remains a deeper question, though. I say it&#x2019;s plausible that S-inconsistency is a defect. But what is defective about it?</p>
<p>A first thought: it is defective because its use, if one recognizes the facts, will lead one to contradiction. Yes, but what&#x2019;s wrong with that? If some content really has an actual truthmaker and an actual falsehoodmaker, one way to react is to take there to be a defective concept like <sc>rable</sc> responsible and revising our conceptual schemes so we can no longer think this content. But couldn&#x2019;t we also react by taking this to be a vindication of dialetheism?<xref rid="fn22" ref-type="fn"><sup>22</sup></xref> After all, it would mean that there&#x2019;s some content that is both true and false, which would seem to be reason <italic>not</italic> to get rid of the concept. Doing so would just prevent us from appreciating the truth (and falsity) of the content.</p>
<p>I&#x2019;ve just put the problem in representationalist terms, but it&#x2019;s worth observing the same issue arises for the inferentialist. It is natural to say&#x2014;and it is Scharp&#x2019;s view&#x2014;that being put in a position where one is required both to affirm and deny something means something has gone wrong. But couldn&#x2019;t we say instead that sometimes one should affirm and deny something? Why not just keep the content around, believe both it and its negation, and adopt a paraconsistent logic to avoid explosion?<xref rid="fn23" ref-type="fn"><sup>23</sup></xref></p>
<p>For a satisfying account of concepts&#x2019; semantic defectiveness, we need to say not just how S-inconsistency is possible, but what is wrong with it. And given that the presence of S-inconsistent concepts would mean there are some contents that are made both true and false by actual facts, it&#x2019;s not clear what problem there would be in being able to grasp such contents, and accepting the attendant contradictions.</p>
<p>I do not know what the best response to this problem is. It does seem like there&#x2019;s something wrong with <sc>rable</sc> and the like, so I am not ready to embrace S-inconsistency as non-defective. But what to do instead? We could go back to square one, rejecting bilateralism and searching for some other account of concepts&#x2019; defectiveness. But I think this would be to give up on the S-inconsistency proposal too soon.</p>
<p>The path that I currently favor is not to reject either bilateralism or accept dialetheism in a straightforward way. Instead, I propose we make a distinction: according to <italic>descriptive</italic> dialetheism, there are true contradictions graspable with certain sets of concepts (including, perhaps, our own actual concepts). According to <italic>normative</italic> dialetheism, one rationally may have a conceptual repertoire that allows one to grasp these true contradictions. The view I like best, though I cannot yet offer an extensive defense of it, is to accept descriptive dialetheism while denying normative dialetheism.</p>
<p>&#x201C;What! And reject the Law of Non-Contradiction? Absurd!&#x201D;</p>
<p>The view I&#x2019;m suggesting does indeed involve giving up one form of the Law of Non-Contradiction, according to which no contradiction is true. But distinguish, as Beall (<xref ref-type="bibr" rid="R4">2004</xref>: 3) does, the following:</p>
<list list-type="simple">
<list-item><p>Simple Non-Contradiction: No contradiction is true.</p></list-item>
<list-item><p>Ontological Non-Contradiction: No &#x2018;being&#x2019; can instantiate contradictory properties.</p></list-item>
<list-item><p>Rationality Non-Contradiction: It is irrational to (knowingly) accept a contradiction.</p></list-item>
</list>
<p>I am proposing that we reject Simple Non-Contradiction, due to the existence of S-inconsistent concepts, but still accept something like Rationality Non-Contradiction. The proposal can go either way, as we&#x2019;ll see, on Ontological Non-Contradiction.</p>
<p>If we take logic to be primarily a normative subject, concerned with ideals of reasoning, we need not stray from classical logic in order to accept this kind of rejection of Simple Non-Contradiction. We don&#x2019;t even need to stray from it if we take logic to be concerned with the &#x2018;laws of truth&#x2019;, so long as we understand this to be limited to truths concerning non-defective concepts.</p>
<p>This kind of view has a distinguished pedigree: Frege himself held something like it, if only because he thought that sentences with defective concepts like empty names lack truth values altogether (<xref ref-type="bibr" rid="R21">Frege 1892/1997</xref>: 157, 163&#x2013;64). Russell came even closer, agreeing with Strawson that &#x201C;ordinary language has no exact logic&#x201D; (<xref ref-type="bibr" rid="R48">Russell 1957</xref>: 389) and focusing on &#x201C;an ideal logical language&#x201D; partly to investigate &#x201C;what structure we may reasonably suppose the world to have&#x201D; by &#x201C;by inquiring what logic requires of a language which is to avoid contradiction&#x201D; (<xref ref-type="bibr" rid="R47">Russell 1924/2010</xref>: 144). And <xref ref-type="bibr" rid="R59">Tarski (1935/1983</xref>: 165, 267) despairs of giving a definition of &#x2018;true sentence&#x2019; which is both &#x201C;in harmony with the laws of logic and the spirit of everyday language&#x201D;.</p>
<p>So while we may ultimately wish to throw out the proposal to give up descriptive dialetheism while retaining normative dialetheism, I don&#x2019;t think it deserves to be left with merely an incredulous stare or an Aristotelian comparison of its proponents to plants. Better to try to develop it and see where that leaves us.</p>
<p>The output of the proposal strikes me as attractive: we get to say concepts like <sc>rable</sc> are in fact inconsistent, so there are be contents involving them that are both true and false and, because of this, there is some reason to revise or eliminate them.<xref rid="fn24" ref-type="fn"><sup>24</sup></xref> It seems plausible to me both that there could be such concepts and that there is some reason to revise or eliminate them. But if descriptive dialetheism is true, why shouldn&#x2019;t normative dialetheism also be true? If the chief aim of our representational capacities is to be able to represent how things are, and there are inconsistencies among the way things are, shouldn&#x2019;t concepts which allow us to believe them count as non-defective? It&#x2019;s hard to see why we should reject Rationality Non-Contradiction if we don&#x2019;t reject Simple Non-Contradiction.</p>
<p>To defend this proposal, it seems that we will need to provide a criterion for the evaluation of concepts that demands more from them than access to truths. We might, at this point, return to the kind of pragmatic justifications that we put aside at the outset.<xref rid="fn25" ref-type="fn"><sup>25</sup></xref> Instead, I will sketch a couple of non-pragmatic options that I think are worth exploring.</p>
<p>Both options take as their starting point that the aim of concept possession is to help one make sense of the world. The options split in what they take this to involve. The first option I&#x2019;ll call <italic>Structure Matching</italic>, and consists of two claims:</p>
<list list-type="simple">
<list-item><p>(SM1) Concepts ought to carve nature at its joints.</p></list-item>
<list-item><p>(SM2) S-inconsistent concepts do not carve nature at its joints.</p></list-item>
</list>
<p>The first part, (SM1), is closely related to ideas explored by Hirsch (<xref ref-type="bibr" rid="R26">1993</xref>) and defended by Sider (<xref ref-type="bibr" rid="R53">2012</xref>). It assumes that there is some privileged structure to the world&#x2014;perhaps some properties (and relations, etc.) are more natural than others,<xref rid="fn26" ref-type="fn"><sup>26</sup></xref> or properties are sparse, so that not just every predicate corresponds to a real property.<xref rid="fn27" ref-type="fn"><sup>27</sup></xref> Then it says that concepts that express real properties, or more natural properties, are better than those that express some complicated construction of real properties and relations, or less natural properties, or nothing real at all.<xref rid="fn28" ref-type="fn"><sup>28</sup></xref></p>
<p>(SM1) depends on a controversial metaphysical claim&#x2014;that there is such structure&#x2014;and a controversial evaluative claim&#x2014;that there is something especially epistemically valuable about limning this structure. Both views have been disputed.<xref rid="fn29" ref-type="fn"><sup>29</sup></xref> So the first challenge for pursuing this proposal is to defend (SM1) from various attacks, to put it it on a sound footing.</p>
<p>A more worrisome challenge, in my view, is that of giving a defense of (SM2). This proposal needs to say that S-inconsistent concepts are so bad at carving nature at its joints, expressing something so convoluted or unnatural or empty, that one ought not have them.<xref rid="fn30" ref-type="fn"><sup>30</sup></xref> But what reason do we have for thinking that the Book of the World isn&#x2019;t written with S-inconsistent concepts? We can conjecture that it isn&#x2019;t, of course, and cite the felt pressure to revise S-inconsistent concepts as evidence that we tend to operate on this assumption, but what grounds do we have to think it&#x2019;s true? Currently (SM2) seems like mere speculation.<xref rid="fn31" ref-type="fn"><sup>31</sup></xref></p>
<p>On the <italic>Structure Matching</italic> picture, what it takes for a concept to help one make sense of the world is for it to sufficiently match some aspect of the world&#x2019;s structure. The other option treats &#x2018;making sense of the world&#x2019; in a more inwardly directed way. The idea is that making sense of the world just involves a certain sort of internal coherence, rather than a successful alignment with external structure. One&#x2019;s ways of representing the world may fit together into a highly intelligible structure, even if that structure turns out not to correspond to the joints of nature, if there are such things.</p>
<p>This second option I&#x2019;ll call <italic>Internal Intelligibility</italic>, which also consists of two claims:</p>
<list list-type="simple">
<list-item><p>(INT1) Concepts ought to contribute to making one&#x2019;s view of the world internally intelligible.</p></list-item>
<list-item><p>(INT2) S-inconsistent concepts make one&#x2019;s view of the world less internally intelligible.</p></list-item>
</list>
<p>This option lacks the metaphysical commitments of the <italic>Structure Matching</italic> proposal, but is hardly on more solid footing. What is it for an agent&#x2019;s representations to be &#x2018;internally intelligible&#x2019;? Why care about it? And why should we think that S-inconsistent concepts would detract from it?</p>
<p>Classical logical consistency of beliefs is a natural proposal for spelling out at least part of what internal intelligibility amounts to, and it would make S-inconsistent concepts problematic. But what&#x2019;s so great about classical logical consistency? Maybe this is where the buck stops: perhaps logical consistency is just part of the constitutive aim of concept possession, and there&#x2019;s nothing more to be said about why that is. But this is unsatisfying and it&#x2019;s not clear why we should accept it. A better defense of <italic>Internal Intelligibility</italic> would require a better explanation of why internal intelligibility involves something that would make S-inconsistency into a defect.</p>
<p>What all of this shows is that we still need a better understanding of what could make a concept defective and why. What I have done here is clarify an issue about semantic defects and cut out some work that remains to be done. There is no problem stemming from representationalism in attributing a putative semantic defect like S-inconsistency to a concept. The problem&#x2014;for representationalists and inferentialists alike&#x2014;is to say why this should make concepts defective in themselves, as opposed to showing we should be descriptive and normative dialetheists. Mere appeal to S-inconsistency is not enough. I&#x2019;d put my money on the right theory making S-inconsistent concepts defective, but for now this is just a bet.</p>
</sec>
</body>
<back>
<ack><title>Acknowledgements</title>
<p>For helpful discussions and comments, thanks to Keith DeRose, Daniel Ferguson, Daniel Greco, Jason Stanley, Zolt&#x00E1;n Gendler Szab&#x00F3;, an audience at the ILLC, and a reviewer for this journal.</p>
</ack>
<fn-group content-type="footnotes">
<fn id="fn1"><label>1.</label><p>Many defend the view that practical reasons bear on beliefs in the way that evidential ones do, or even that practical reasons are the only reasons for belief. See Reisner (<xref ref-type="bibr" rid="R44">2018</xref>) for an overview. The same might well be held for concepts. Indeed, a view along these lines is defended by Thomasson (<xref ref-type="bibr" rid="R60">2017</xref>; <xref ref-type="bibr" rid="R61">2020</xref>) and seems to be implicit in much of the work on conceptual ethics and engineering. I think this is a mistake, for roughly the same reasons it is a mistake to think the same about belief. But I will not argue for that here.</p></fn>
<fn id="fn2"><label>2.</label><p>Simion (<xref ref-type="sec" rid="R53">2018</xref>) pushes a similar sort of objection against Haslanger (<xref ref-type="bibr" rid="R23">2000</xref>). However, it also seems to me that Haslanger can be read in a way that doesn&#x2019;t require that pragmatic reasons count directly for or against possession of some concept. Ameliorative projects of the kind she proposes can be taken as proposals for action: we should act in a way that result in certain concepts being possessed and others not, and this is something that practical reasons can count for and against, just as they can count for or against proposals to act in ways that change people&#x2019;s beliefs, independently of the epistemic credentials of those beliefs. A similar point is made by Scharp (<xref ref-type="bibr" rid="R52">2020</xref>: 410).<break/></p><p>It is also worth noting that the view Simion adopts is one on which pragmatic considerations <italic>sometimes</italic> count for or against concept possession, but only as tiebreakers, when the epistemic requirements have already been met. I reject this aspect of her view, as I reject the parallel position about belief.</p></fn>
<fn id="fn3"><label>3.</label><p>See Peacocke (<xref ref-type="bibr" rid="R38">1992</xref>) for one classic development of such a view, and Williamson (<xref ref-type="bibr" rid="R63">2007</xref>: Ch. 4) for arguments against it. For a more general overview of inferentialism, see Murzi and Steinberger (<xref ref-type="bibr" rid="R36">2017</xref>).</p></fn>
<fn id="fn4"><label>4.</label><p>Similarly, Greenough (<xref ref-type="bibr" rid="R22">2020</xref>: 225) claims that the inconsistent principles Scharp requires are &#x201C;rather exotic entities&#x201D; and suggests we try to make sense of defective meanings without appealing to them.</p></fn>
<fn id="fn5"><label>5.</label><p>Similar ideas are explored by Chihara (<xref ref-type="bibr" rid="R11">1979</xref>), <xref ref-type="sec" rid="R40">Priest (1987/2006)</xref>, Yablo (<xref ref-type="bibr" rid="R65">1993</xref>), Barker (<xref ref-type="bibr" rid="R3">1998</xref>), <xref ref-type="sec" rid="R2">Azzouni (2006</xref>: Ch. 5), Eklund (<xref ref-type="bibr" rid="R16">2002</xref>), Burgess (<xref ref-type="bibr" rid="R6">2007</xref>), among others (see <xref ref-type="bibr" rid="R51">Scharp 2013</xref>:Ch. 5). If we like, we can also have a somewhat weaker notion.</p></fn>
<fn id="fn6"><label>6.</label><p>If we like, we can also have a somewhat weaker notion. Let&#x2019;s say a concept is <italic>weakly</italic> S-inconsistent if its correct application with respect to some <italic>possible</italic> fact (or compossible facts) would lead to contradiction.</p></fn>
<fn id="fn7"><label>7.</label><p>We should read &#x2018;contributes&#x2019; in a fairly thin way, since many who one would want to count as representationalists follow Dummett (<xref ref-type="bibr" rid="R15">1973</xref>: 446&#x2013;47) in distinguishing the compositional semantic value of an expression (what Dummett calls an ingredient sense) and its content, if any (<xref ref-type="bibr" rid="R30">Lewis 1980</xref>; <xref ref-type="bibr" rid="R37">Ninan 2010</xref>; <xref ref-type="bibr" rid="R43">Rabern 2012</xref>; <xref ref-type="bibr" rid="R56">Stalnaker 2018</xref>; <xref ref-type="bibr" rid="R57">Stanley 1997</xref>, though see also <xref ref-type="bibr" rid="R8">Cappelen &amp; Hawthorne 2009</xref>; <xref ref-type="bibr" rid="R27">King 2007</xref>; <xref ref-type="bibr" rid="R58">Stojnic&#x00B4; 2017</xref> for pushback). Also, speaking strictly it&#x2019;s not the <italic>concept</italic> that contributes to a representational content, but rather that which the concept is an ability to grasp. I will generally elide this distinction, though, since I don&#x2019;t think it will lead to significant confusions.</p></fn>
<fn id="fn8"><label>8.</label><p>Cappelen himself thinks we shouldn&#x2019;t think concepts can be semantically defective. Instead, he thinks they can only be <italic>meta</italic>semantically defective.</p></fn>
<fn id="fn9"><label>9.</label><p>There are various alternative, more or less equivalent, ways of spelling this out.</p></fn>
<fn id="fn10"><label>10.</label><p>See, for example, Price (<xref ref-type="bibr" rid="R40">1983</xref>), Smiley (<xref ref-type="bibr" rid="R55">1996</xref>), Rumfitt (<xref ref-type="bibr" rid="R46">2000</xref>), and <xref ref-type="sec" rid="R44">Ripley (2013)</xref>.</p></fn>
<fn id="fn11"><label>11.</label><p>Though I do not think they will affect the point of the main point of this article, it is worth noting that there are various complications and controversies concerning truthmakers and falsehoodmakers for some kinds of sentences. What, for example, would a potential falsehoodmaker for (2) be, and what would a potential truthmaker for (3) be? Do we need to appeal to special negative facts, totality facts, or something else? For discussion, see <xref ref-type="sec" rid="R48">Russell (1918/2010</xref>: 41ff.), Kratzer (<xref ref-type="bibr" rid="R28">1989</xref>: &#x00A7;5.6), Armstrong (<xref ref-type="bibr" rid="R2">2004</xref>: Chs. 5&#x2013;6) and Fine (<xref ref-type="bibr" rid="R19">2017b</xref>: &#x00A7;7).</p></fn>
<fn id="fn12"><label>12.</label><p>And a weakly S-inconsistent concept (see Footnote 6) just requires there to a potential truthmaker and potential falsehoodmaker that are compossible.</p></fn>
<fn id="fn13"><label>13.</label><p>The truthmakers for <italic>P &#x2227;</italic> <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN36"><mml:mi>Q</mml:mi></mml:math></inline-formula> are any fusions of potential facts f and f&#x2019; where f is a truthmaker for <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN37"><mml:mi>P</mml:mi></mml:math></inline-formula> and f&#x2019; is a truthmaker for <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN38"><mml:mi>Q</mml:mi></mml:math></inline-formula>. The truthmakers for <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN39"><mml:mo>&#x00AC;</mml:mo><mml:mi>P</mml:mi></mml:math></inline-formula> are just the falsehood makers for P. So if there&#x2019;s a truthmaker and a falsehood maker for a S, then their fusion is a truthmaker for S &#x2227; &#x00AC;S.</p></fn>
<fn id="fn14"><label>14.</label><p>Bonus: we can also use this framework to make sense of a kind of emptiness that is plausibly another kind of semantic defect.<break/></p><p>There are no round squares, so there&#x2019;s a natural sense in which <sc>round square</sc> is empty: there&#x2019;s no <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN40"><mml:mi>x</mml:mi></mml:math></inline-formula> such that &#x27E6;<italic>round square</italic>&#x27E7;<sup>&#x002B;</sup> contains an actual fact. But note that lots of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN41"><mml:mi>x</mml:mi></mml:math></inline-formula>&#x2019;s, indeed for every <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN42"><mml:mi>x</mml:mi></mml:math></inline-formula>, &#x27E6;<italic>round square</italic>&#x27E7;<sup><italic>&#x2212;</italic></sup> contains an actual fact. <sc>round square</sc> is truthmaker-empty, but not falsehoodmaker-empty. Similarly, <italic>self-identical</italic> is falsehood-maker empty, but not truthmaker-empty. Plausibly, though, some concepts are empty in a more radical way: they are <italic>both</italic> truthmaker-empty and falsehoodmaker-empty. We might want to say this, for example, about certain underspecified concepts from failed scientific (or pseudo-scientific) theories. See, e.g., Hempel (<xref ref-type="bibr" rid="R25">1952</xref>: 39) on &#x2018;entelechy&#x2019;. On such a view, for any given object, there are no facts that make it true that it has entelechy but also no facts that make it false that it has entelechy.<break/></p><p>A concept might also be only partially empty, or gappy, if it returns some actual facts as truthmakers or falsehoodmakers when applied to some things but not others&#x2014;one might want to say that <sc>red</sc> has either a truthmaker or falsehoodmaker when applied to most physical objects, but it has neither when applied to borderline cases or abstract objects.<break/></p><p>It is an interesting question whether a concept&#x2019;s being empty in either of these ways really would be a defect, and whether we should take there to be any such concepts. But I will not take up these matters here.</p></fn>
<fn id="fn15"><label>15.</label><p>Cf. Williamson (<xref ref-type="bibr" rid="R63">2007</xref>: 125).</p></fn>
<fn id="fn16"><label>16.</label><p>It is worth noting that non-messy metasemantics is required on some but not all characterizations of what inferentialism involves. See Murzi and Steinberger (<xref ref-type="bibr" rid="R36">2017</xref>: &#x00A7;1).</p></fn>
<fn id="fn17"><label>17.</label><p>It used to be that it was possible worlds that the metaphysically scrupulous avoided, but few now want to deny themselves appeal to them, even if they feel they have to give some special account of what they are doing when they do so.</p></fn>
<fn id="fn18"><label>18.</label><p>Though for those raised on <xref ref-type="bibr" rid="R49">Russell (1918/2010</xref>) and <xref ref-type="bibr" rid="R64">Wittgenstein (1922/1961)</xref>, this may feel like a return to home.</p></fn>
<fn id="fn19"><label>19.</label><p>On the benefits of truthmaker semantics for theorizing about natural language semantics, see Fine (<xref ref-type="bibr" rid="R19">2017b</xref>) and Moltmann (<xref ref-type="bibr" rid="R35">2021</xref>), among others. There are also important applications of closely related ideas in logic, metaphysics, and epistemology. See Fine (<xref ref-type="sec" rid="R17">2014</xref>), Yablo (<xref ref-type="bibr" rid="R66">2014</xref>), Armstrong (<xref ref-type="bibr" rid="R2">2004</xref>), MacBride (<xref ref-type="bibr" rid="R34">2020</xref>), Bliss and Trogdon (<xref ref-type="bibr" rid="R5">2016</xref>), and Fine (<xref ref-type="bibr" rid="R18">2017a</xref>), among others.</p></fn>
<fn id="fn20"><label>20.</label><p>Weak S-inconsistency will just require that the truth conditions and falsehood conditions have a non-empty intersection.</p></fn>
<fn id="fn21"><label>21.</label><p>This is especially so if there are other benefits to adopting such an approach, on which see Footnote 19 above.</p></fn>
<fn id="fn22"><label>22.</label><p>For the classic defense of which, see <xref ref-type="sec" rid="R40">Priest (1987/2006)</xref>.</p></fn>
<fn id="fn23"><label>23.</label><p>Scharp (<xref ref-type="bibr" rid="R51">2013</xref>: &#x00A7;5.1.1, &#x00A7;5.3) is aware of this objection, and goes some way towards addressing it, though see also Priest (<xref ref-type="bibr" rid="R42">2016</xref>). Note, however, that Priest himself does not wish to allow that one affirm and deny the same content, only that one affirm a content and its negation. He keeps these views separate by severing the classically assumed link between negation and denial (<xref ref-type="sec" rid="R40">Priest 1987/2006</xref>: &#x00A7;7.3). The dialetheist response to Scharp I suggest above, then, needs not just paraconsistency but also something like the view Ripley (<xref ref-type="bibr" rid="R45">2015</xref>: &#x00A7;10.4) calls <italic>paracoherentism</italic>, which keeps the tight link between negation and denial and allows the content of a dialetheia to be both affirmed and denied.</p></fn>
<fn id="fn24"><label>24.</label><p>This is putting it rather weakly. On this view there might be enough reason in favor of having the concept for the defect to be outweighed. We might instead put it in some other normative idiom, with some other strength. We might hold that there&#x2019;s a constraint which requires that we not have such concepts, regardless of what benefits they might have.</p></fn>
<fn id="fn25"><label>25.</label><p>At least one eminent skeptic of Simple Non-Contradiction, &#x0141;ukasiewicz, goes this way, claiming that while the principle lacks &#x2018;logical worth&#x2019;, it nevertheless has &#x201C;<italic>practical-ethical value</italic>, which is all the more important&#x201D; (<xref ref-type="bibr" rid="R33">&#x0141;ukasiewicz 1910/1971</xref>: 508).</p></fn>
<fn id="fn26"><label>26.</label><p>The idea of more and less natural properties has its primary contemporary source in Lewis (<xref ref-type="bibr" rid="R31">1983</xref>). Various versions of the idea are compared in Dorr and Hawthorne (<xref ref-type="bibr" rid="R14">2013</xref>). To extend this to concepts that aren&#x2019;t predicates, we&#x2019;d need to generalize this notion in some way (<xref ref-type="bibr" rid="R53">Sider 2012</xref>: Ch. 6).</p></fn>
<fn id="fn27"><label>27.</label><p>Armstrong (<xref ref-type="bibr" rid="R1">1978</xref>) offers an influential defense of this view.</p></fn>
<fn id="fn28"><label>28.</label><p>There are slight differences between this statement of the proposal and those of Hirsch and Sider. Hirsch puts his proposal in terms of words in a language of thought, which I remain non-committal about. Sider&#x2019;s claim is about the <italic>employment</italic> of concepts in belief, rather than in the mere possession of concepts.</p></fn>
<fn id="fn29"><label>29.</label><p>The latter claim has been challenged recently by Dasgupta (<xref ref-type="bibr" rid="R13">2018</xref>), Thomasson (<xref ref-type="bibr" rid="R61">2020</xref>), and P&#x00E9;rez Carballo (<xref ref-type="bibr" rid="R39">2020</xref>). Variants of the former claim have long been challenged by anti-realists and deflationists about metaphysics, and skeptics have long challenged the assumption that we could find out about such structure even if it is there. See Pasnau (<xref ref-type="bibr" rid="R38">2011</xref>: Ch. 27) for a discussion of these issues in the late scholastic and early post-scholastic period, for instance. For an entry point into the discussion amongst contemporary philosophers, see Chalmers, Manley, and Wasserman (<xref ref-type="bibr" rid="R10">2009</xref>).</p></fn>
<fn id="fn30"><label>30.</label><p>On the variant of the view that says that S-inconsistent concepts don&#x2019;t express anything real, one can uphold Ontological Non-Contradiction. On this view, since there is no property expressed by <sc>rable</sc>, the red table doesn&#x2019;t instantiate the contradictory properties of being and not being a rable, even if &#x201C;<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="IN43"><mml:mi>r</mml:mi></mml:math></inline-formula> is a rable&#x201D; is both true and false. For the other variants of the view, weakened versions of Ontological Non-Contradiction can be maintained. We could say that no being can instantiate contradictory <italic>natural</italic> properties, or contradictory universals.</p></fn>
<fn id="fn31"><label>31.</label><p>It&#x2019;s worth noting that a parallel worry would arise for those who would like to appeal to a pragmatic or function-based accounts of conceptual evaluation, such as those of Thomasson (<xref ref-type="bibr" rid="R61">2020</xref>) or Simion and Kelp (<xref ref-type="bibr" rid="R54">2020</xref>), in order to impugn S-inconsistent concepts. Why should we think that in general, S-inconsistency would interfere with a given practical or functional aim? Cf. <xref ref-type="sec" rid="R40">Priest (1987/2006</xref>: &#x00A7;13.6).<break/></p><p>The same sort of issue will arise for approaches like Cappelen&#x2019;s that reject S-inconsistency and try to explain the problem with <italic>rable</italic> and the like by appeal to some supposed fact about its metasemantics. Grant that it has some metasemantic feature; what&#x2019;s the problem with having a term with that metasemantic feature?</p></fn>
</fn-group>
<ref-list><title>References</title>
<ref id="R1"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Armstrong</surname>, <given-names>D. M.</given-names></string-name></person-group> (<year>1978</year>). <source>A Theory of Universals</source>. Vol. <volume>2</volume> of <source>Universals and Scientific Realism</source>. <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="R2"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Armstrong</surname>, <given-names>D. M.</given-names></string-name></person-group> (<year>2004</year>). <source>Truth and Truthmakers</source>. <publisher-name>Cambridge University Press</publisher-name>. <person-group person-group-type="author"><string-name><surname>Azzouni</surname>, <given-names>Jody</given-names></string-name></person-group> (<year>2006</year>). <source>Tracking Reason: Proof, Consequence, and Truth</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R3"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Barker</surname>, <given-names>John</given-names></string-name></person-group> (<year>1998</year>). <source>The Inconsistency Theory of Truth</source> (Doctoral dissertation). <publisher-name>Princeton University</publisher-name>. <ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="doi" xlink:type="simple" xlink:href="https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.459.9651&amp;rep=rep1&amp;type=pdf">https://citeseerx.ist.psu.edu/viewdoc/download?doi&#x003D;10.1.1.459.9651&amp;rep&#x003D;rep1&amp;type&#x003D;pdf</ext-link></mixed-citation></ref>
<ref id="R4"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Beall</surname>, <given-names>Jc</given-names></string-name></person-group> (<year>2004</year>). <chapter-title>Introduction: At the Intersection of Truth and Falsity</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Graham</given-names> <surname>Priest</surname></string-name>, <string-name><given-names>Jc</given-names> <surname>Beall</surname></string-name>, and <string-name><given-names>Bradley</given-names> <surname>Armour-Garb</surname></string-name></person-group> (Eds.), <source>The Law of Non-Contradiction: New Philosophical Essays</source> (<fpage>1</fpage>&#x2013;<lpage>19</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R5"><mixed-citation publication-type="web"><person-group person-group-type="author"><string-name><surname>Bliss</surname>, <given-names>Ricki</given-names></string-name> and <string-name><given-names>Kelly</given-names> <surname>Trogdon</surname></string-name></person-group> (<year>2016</year>). <article-title>Metaphysical Grounding</article-title>. In <person-group person-group-type="editor"><string-name><given-names>Edward N.</given-names> <surname>Zalta</surname></string-name></person-group> (Ed.), <source>The Stanford Encyclopedia of Philosophy</source> (<season>Winter</season> <year>2016</year> ed.). Retrieved from <ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:type="simple" xlink:href="https://plato.stanford.edu/archives/win2016/entries/grounding/">https://plato.stanford.edu/archives/win2016/entries/grounding/</ext-link></mixed-citation></ref>
<ref id="R6"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Burgess</surname>, <given-names>Alexis</given-names></string-name></person-group> (<year>2007</year>). <source>Identifying Fact &amp; Fiction</source> (Doctoral dissertation). <publisher-name>Princeton University</publisher-name>. <ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:type="simple" xlink:href="https://www.proquest.com/docview/304837827?pq-origsite=gscholar&amp;fromopenview=true">https://www.proquest.com/docview/304837827?pq-origsite&#x003D;gscholar&amp;fromopenview&#x003D;true</ext-link></mixed-citation></ref>
<ref id="R7"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Cappelen</surname>, <given-names>Herman</given-names></string-name></person-group> (<year>2018</year>). <source>Fixing Language</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R8"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Cappelen</surname>, <given-names>Herman</given-names></string-name> and <string-name><given-names>John</given-names> <surname>Hawthorne</surname></string-name></person-group> (<year>2009</year>). <source>Relativism and Monadic Truth</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R10"><mixed-citation publication-type="book"><person-group person-group-type="editor"><string-name><surname>Chalmers</surname>, <given-names>David J.</given-names></string-name>, <string-name><given-names>David</given-names> <surname>Manley</surname></string-name>, and <string-name><given-names>Ryan</given-names> <surname>Wasserman</surname></string-name></person-group> (Eds.) (<year>2009</year>). <source>Metametaphysics: New Essays on the Foundations of Ontology</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R11"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Chihara</surname>, <given-names>Charles</given-names></string-name></person-group> (<year>1979</year>). <article-title>The Semantic Paradoxes: A Diagnostic Investigation</article-title>. <source>The Philosophical Review</source>, <volume>88</volume>(<issue>4</issue>), <fpage>590</fpage>&#x2013;<lpage>618</lpage>.</mixed-citation></ref>
<ref id="R13"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Dasgupta</surname>, <given-names>Shamik</given-names></string-name></person-group> (<year>2018</year>). <article-title>Realism and the Absence of Value</article-title>. <source>Philosophical Review</source>, <volume>127</volume>(<issue>3</issue>), <fpage>279</fpage>&#x2013;<lpage>322</lpage>.</mixed-citation></ref>
<ref id="R14"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Dorr</surname>, <given-names>Cian</given-names></string-name> and <string-name><given-names>John</given-names> <surname>Hawthorne</surname></string-name></person-group> (<year>2013</year>). <chapter-title>Naturalness</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Karen</given-names> <surname>Bennett</surname></string-name> and <string-name><given-names>Dean W.</given-names> <surname>Zimmerman</surname></string-name></person-group> (Eds.), <source>Oxford Studies in Metaphysics</source> (Vol. <volume>8</volume>, <fpage>3</fpage>&#x2013;<lpage>77</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R15"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Dummett</surname>, <given-names>Michael</given-names></string-name></person-group> (<year>1973</year>). <source>Frege: Philosophy of Language</source>. <publisher-name>Duckworth</publisher-name>.</mixed-citation></ref>
<ref id="R16"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Eklund</surname>, <given-names>Matti</given-names></string-name></person-group> (<year>2002</year>). <article-title>Inconsistent Languages</article-title>. <source>Philosophy and Phenomenological Research</source>, <volume>64</volume>(<issue>2</issue>), <fpage>251</fpage>&#x2013;<lpage>75</lpage>.</mixed-citation></ref>
<ref id="R17"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Eklund</surname>, <given-names>Matti</given-names></string-name></person-group> (<year>2017</year>). <source>Choosing Normative Concepts</source>. <publisher-name>Oxford University Press</publisher-name>. <person-group person-group-type="author"><string-name><surname>Fine</surname>, <given-names>Kit</given-names></string-name></person-group> (<year>2014</year>). <chapter-title>Truthmaker Semantics for Intuitionistic Logic</chapter-title>. <source>Journal of Philosophical Logic</source>, <volume>43</volume>(<issue>2&#x2013;3</issue>), <fpage>549</fpage>&#x2013;<lpage>77</lpage>.</mixed-citation></ref>
<ref id="R18"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Fine</surname>, <given-names>Kit</given-names></string-name></person-group> (<year>2017</year>a). <article-title>A Theory of Truth-Condtional Content II: Subject-matter, Common Content, Remainder and Ground</article-title>. <source>Journal of Philosophical Logic</source>, <volume>46</volume>(<issue>6</issue>), <fpage>675</fpage>&#x2013;<lpage>702</lpage>.</mixed-citation></ref>
<ref id="R19"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Fine</surname>, <given-names>Kit</given-names></string-name></person-group> (<year>2017</year>b). <chapter-title>Truthmaker Semantics</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Bob</given-names> <surname>Hale</surname></string-name>, <string-name><given-names>Crispin</given-names> <surname>Wright</surname></string-name>, and <string-name><given-names>Alexander</given-names> <surname>Miller</surname></string-name></person-group> (Eds.), <source>A Companion to the Philosophy of Language</source> (<edition>2nd</edition> ed., Vol. <volume>2</volume>, <fpage>556</fpage>&#x2013;<lpage>77</lpage>). <publisher-name>Wiley Blacwell</publisher-name>.</mixed-citation></ref>
<ref id="R20"><mixed-citation publication-type="book"><person-group person-group-type="editor"><string-name><surname>Frege</surname>, <given-names>Gottlob</given-names></string-name></person-group> (<year>1960</year>). <chapter-title>A Critical Elucidation of Some Points in E. Schroeder&#x2019;s <italic>Vorlesungen ueber die Algebra der Logik</italic></chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Peter</given-names> <surname>Geach</surname></string-name> and <string-name><given-names>Max</given-names> <surname>Black</surname></string-name></person-group> (Eds.), <source>Translations from the Philosophical Writings of Gottlob Frege</source> (<edition>2nd</edition> ed. <fpage>68</fpage>&#x2013;<lpage>100</lpage>). <publisher-name>Basil Blackwell</publisher-name>. (Original work published <year>1895</year>)</mixed-citation></ref>
<ref id="R21"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Frege</surname>, <given-names>Gottlob</given-names></string-name></person-group> (<year>1997</year>). On <source>Sinn</source> and <source>Bedeutung</source>. In <person-group person-group-type="editor"><string-name><given-names>Michael</given-names> <surname>Beaney</surname></string-name></person-group> (Ed.), <source>The Frege Reader</source> (<fpage>151</fpage>&#x2013;<lpage>71</lpage>). <publisher-name>Blackwell</publisher-name>. (Original work published <year>1892</year>)</mixed-citation></ref>
<ref id="R22"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Greenough</surname>, <given-names>Patrick</given-names></string-name></person-group> (<year>2020</year>). <chapter-title>Neutralism and Conceptual Engineering</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Alexis</given-names> <surname>Burgess</surname></string-name>, <string-name><given-names>Herman</given-names> <surname>Cappelen</surname></string-name>, and <string-name><given-names>David</given-names> <surname>Plunkett</surname></string-name></person-group> (Eds.), <source>Conceptual Engineering and Conceptual Ethics</source> (<fpage>205</fpage>&#x2013;<lpage>29</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R23"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Haslanger</surname>, <given-names>Sally</given-names></string-name></person-group> (<year>2000</year>). <chapter-title>Gender and Race: (What) Are They? (What) Do We Want Them to Be?</chapter-title> <source>No&#x00FB;s</source>, <volume>34</volume>(<issue>1</issue>), <fpage>31</fpage>&#x2013;<lpage>55</lpage>. Reprinted in <publisher-name>Haslanger</publisher-name> (<year>2012</year>).</mixed-citation></ref>
<ref id="R24"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Haslanger</surname>, <given-names>Sally</given-names></string-name></person-group> (<year>2012</year>). <source>Resisting Reality: Social Construction and Social Critique</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R25"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Hempel</surname>, <given-names>Carl G.</given-names></string-name></person-group> (<year>1952</year>). <source>Fundamentals of Concept Formation in Empirical Science</source>. <publisher-name>The University of Chicago Press</publisher-name>.</mixed-citation></ref>
<ref id="R26"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Hirsch</surname>, <given-names>Eli</given-names></string-name></person-group> (<year>1993</year>). <source>Dividing Reality</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R27"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>King</surname>, <given-names>Jeffrey C.</given-names></string-name></person-group> (<year>2007</year>). <source>The Nature and Structure of Content</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R28"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Kratzer</surname>, <given-names>Angelika</given-names></string-name></person-group> (<year>1989</year>). <article-title>An Investigaton of the Lumps of Thought</article-title>. <source>Linguistics and Philosophy</source>, <volume>12</volume>(<issue>5</issue>), <fpage>607</fpage>&#x2013;<lpage>53</lpage>. Reprinted with revisions in <person-group person-group-type="author"><string-name><surname>Kratzer</surname></string-name></person-group> (<year>2012</year>: <fpage>109</fpage>&#x2013;<lpage>59</lpage>).</mixed-citation></ref>
<ref id="R29"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kratzer</surname>, <given-names>Angelika</given-names></string-name></person-group> (<year>2012</year>). <source>Modals and Conditionals</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R30"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Lewis</surname>, <given-names>David</given-names></string-name></person-group> (<year>1980</year>). <chapter-title>Index, Context and Content</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>S.</given-names> <surname>Kanger</surname></string-name> and <string-name><given-names>S.</given-names> <surname>Oshman</surname></string-name></person-group> (Eds.), <source>Philospohy and Grammar</source> (<fpage>79</fpage>&#x2013;<lpage>100</lpage>). <publisher-name>Reidel</publisher-name>. Reprinted in Lewis (<year>1998</year>: <fpage>21</fpage>&#x2013;<lpage>44</lpage>).</mixed-citation></ref>
<ref id="R31"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Lewis</surname>, <given-names>David</given-names></string-name></person-group> (<year>1983</year>). <article-title>New Work for a Theory of Universals</article-title>. <source>Australasian Journal of Philosophy</source>, <volume>61</volume>(<issue>4</issue>), <fpage>343</fpage>&#x2013;<lpage>77</lpage>.</mixed-citation></ref>
<ref id="R32"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Lewis</surname>, <given-names>David</given-names></string-name></person-group> (<year>1998</year>). <source>Papers in Philosophical Logic</source>. <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="R33"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>&#x0141;ukasiewicz</surname>, <given-names>Jan</given-names></string-name></person-group> (<year>1971</year>). <article-title>On the Principle of Contradiction in Aristotle</article-title>. <source>The Review of Metaphysics</source>, <volume>24</volume>(<issue>3</issue>), <fpage>485</fpage>&#x2013;<lpage>509</lpage>. (Original work published <year>1910</year>)</mixed-citation></ref>
<ref id="R34"><mixed-citation publication-type="web"><person-group person-group-type="author"><string-name><surname>MacBride</surname>, <given-names>Fraser</given-names></string-name></person-group> (<year>2020</year>). <article-title>Truthmakers</article-title>. In <person-group person-group-type="editor"><string-name><given-names>Edward N.</given-names> <surname>Zalta</surname></string-name></person-group> (Ed.), <source>The Stanford Encyclopedia of Philosophy</source> (Spring 2020 ed.). Retrieved from <ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:type="simple" xlink:href="https://plato.stanford.edu/archives/spr2020/entries/truthmakers/">https://plato.stanford.edu/archives/spr2020/entries/truthmakers/</ext-link>.</mixed-citation></ref>
<ref id="R35"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Moltmann</surname>, <given-names>Friederike</given-names></string-name></person-group> (<year>2021</year>). <article-title>Situations, Alternatives, and the Semantics of &#x2018;Cases&#x2019;</article-title>. <source>Linguistics and Philosophy</source>, <volume>44</volume>(<issue>1</issue>), <fpage>152</fpage>&#x2013;<lpage>93</lpage>.</mixed-citation></ref>
<ref id="R36"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Murzi</surname>, <given-names>Julien</given-names></string-name> and <string-name><given-names>Florian</given-names> <surname>Steinberger</surname></string-name></person-group> (<year>2017</year>). <chapter-title>Inferentialism</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Bob</given-names> <surname>Hale</surname></string-name>, <string-name><given-names>Crispin</given-names> <surname>Wright</surname></string-name>, and <string-name><given-names>Alexander</given-names> <surname>Miller</surname></string-name></person-group> (Eds.), <source>A Companion to the Philosophy of Language</source> (<edition>2nd</edition> ed., Vol. <volume>1</volume>, <fpage>197</fpage>&#x2013;<lpage>224</lpage>). <publisher-name>Wiley Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="R37"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Ninan</surname>, <given-names>Dilip</given-names></string-name></person-group> (<year>2010</year>). <article-title>Semantics and the Objects of Assertion</article-title>. <source>Linguistics and Philosophy</source>, <volume>33</volume>(<issue>5</issue>), <fpage>355</fpage>&#x2013;<lpage>80</lpage>.</mixed-citation></ref>
<ref id="R38"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Pasnau</surname>, <given-names>Robert</given-names></string-name></person-group> (<year>2011</year>). <source>Metaphysical Themes 1274&#x2013;1671</source>. <publisher-name>Oxford University Press</publisher-name>. <person-group person-group-type="author"><string-name><surname>Peacocke</surname>, <given-names>Christopher</given-names></string-name></person-group> (<year>1992</year>). <source>A Study of Concepts</source>. <publisher-name>MIT Press</publisher-name>.</mixed-citation></ref>
<ref id="R39"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>P&#x00E9;rez Carballo</surname>, <given-names>Alejandro</given-names></string-name></person-group> (<year>2020</year>). <chapter-title>Conceptual Evaluation: Epistemic</chapter-title>. In <person-group person-group-type="editor"><collab>Herman Cappelen Alexis Burgess and David Plunkett</collab></person-group> (Eds.), <source>Conceptual Engineering and Conceptual Ethics</source> (<fpage>304</fpage>&#x2013;<lpage>32</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R40"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Price</surname>, <given-names>Huw</given-names></string-name></person-group> (<year>1983</year>). <chapter-title>Sense, Assertion, Dummett and Denial</chapter-title>. <source>Mind</source>, <volume>92</volume>(<issue>366</issue>), <fpage>161</fpage>&#x2013;<lpage>73</lpage>. <person-group person-group-type="author"><string-name><surname>Priest</surname>, <given-names>Graham</given-names></string-name></person-group> (<year>2006</year>). <source>In Contradiction: A Study of the Transconsistent</source> (<edition>2nd</edition> ed.). <publisher-name>Oxford University Press</publisher-name>. (Original work published <year>1987</year>)</mixed-citation></ref>
<ref id="R42"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Priest</surname>, <given-names>Graham</given-names></string-name></person-group> (<year>2016</year>). Review of <source>Replacing Truth</source>. <source>Mind</source>, <volume>125</volume>(<issue>498</issue>), <fpage>553</fpage>&#x2013;<lpage>58</lpage>. <person-group person-group-type="author"><string-name><surname>Prior</surname>, <given-names>A. N.</given-names></string-name></person-group> (<year>1960</year>). <article-title>The Runabout Inference-Ticket</article-title>. <source>Analysis</source>, <volume>21</volume>(<issue>2</issue>), <fpage>38</fpage>&#x2013;<lpage>39</lpage>.</mixed-citation></ref>
<ref id="R43"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Rabern</surname>, <given-names>Brian</given-names></string-name></person-group> (<year>2012</year>). <article-title>Against the Identification of Assertoric Content with Compositional Value</article-title>. <source>Synthese</source>, <volume>189</volume>(<issue>1</issue>), <fpage>75</fpage>&#x2013;<lpage>96</lpage>.</mixed-citation></ref>
<ref id="R44"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Reisner</surname>, <given-names>Andrew</given-names></string-name></person-group> (<year>2018</year>). <chapter-title>Pragmatic Reasons for Belief</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Daniel</given-names> <surname>Star</surname></string-name></person-group> (Ed.), <source>The Oxford Handbook of Reasons and Normativity</source> (<fpage>705</fpage>&#x2013;<lpage>28</lpage>). <publisher-name>Oxford University Press</publisher-name>. <person-group person-group-type="author"><string-name><surname>Ripley</surname>, <surname>David</surname></string-name></person-group> (<year>2013</year>). <chapter-title>Paradoxes and Failures of Cut</chapter-title>. <source>Australasian Journal of Philosophy</source>, <volume>91</volume>(<issue>1</issue>), <fpage>139</fpage>&#x2013;<lpage>64</lpage>.</mixed-citation></ref>
<ref id="R45"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Ripley</surname>, <given-names>David</given-names></string-name></person-group> (<year>2015</year>). <chapter-title>Embedding Denial</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Colin R.</given-names> <surname>Caret</surname></string-name> and <string-name><given-names>Ole T.</given-names> <surname>Hjortland</surname></string-name></person-group> (Eds.), <source>Foundations of Logical Consequence</source> (<fpage>289</fpage>&#x2013;<lpage>309</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R46"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Rumfitt</surname>, <given-names>Ian</given-names></string-name></person-group> (<year>2000</year>). &#x2018;<article-title>Yes&#x2019; and &#x2018;No</article-title>&#x2019;. <source>Mind</source>, <volume>109</volume>(<issue>436</issue>), <fpage>781</fpage>&#x2013;<lpage>824</lpage>.</mixed-citation></ref>
<ref id="R47"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Russell</surname>, <given-names>Bertrand</given-names></string-name></person-group> (<year>2010</year>). <source>The Philosophy of Logical Atomism</source>. <publisher-name>Routledge</publisher-name>. (Original work published <year>1918</year>)</mixed-citation></ref>
<ref id="R48"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Russell</surname>, <given-names>Bertrand</given-names></string-name></person-group> (<year>1957</year>). <article-title>Mr. Strawson on Referring</article-title>. <source>Mind</source>, <volume>66</volume>(<issue>263</issue>), <fpage>385</fpage>&#x2013;<lpage>89</lpage>.</mixed-citation></ref>
<ref id="R49"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Russell</surname>, <given-names>Bertrand</given-names></string-name></person-group> (<year>2010</year>). <chapter-title>Logical Atomism</chapter-title>. In <source>The Philosophy of Logical Atomism</source> (<fpage>126</fpage>&#x2013;<lpage>50</lpage>). <publisher-name>Routledge</publisher-name>. (Original work published <year>1924</year>)</mixed-citation></ref>
<ref id="R50"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Scharp</surname>, <given-names>Kevin</given-names></string-name></person-group> (<year>2005</year>). <source>Truth and Alethic Paradox</source> (Doctoral dissertation). <publisher-name>University of Pittsburgh</publisher-name>. <ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:type="simple" xlink:href="http://d-scholarship.pitt.edu/8175/1/Scharp_etd_diss_1.pdf">http://d-scholarship.pitt.edu/8175/1/Scharp_etd_diss_1.pdf</ext-link></mixed-citation></ref>
<ref id="R51"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Scharp</surname>, <given-names>Kevin</given-names></string-name></person-group> (<year>2013</year>). <source>Replacing Truth</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R52"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Scharp</surname>, <given-names>Kevin</given-names></string-name></person-group> (<year>2020</year>). <chapter-title>Philosophy as the Study of Defective Concepts</chapter-title>. In <person-group person-group-type="editor"><collab>Herman Cappelen Alexis Burgess and David Plunkett</collab></person-group> (Eds.), <source>Conceptual Engineering and Conceptual Ethics</source> (<fpage>396</fpage>&#x2013;<lpage>416</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R53"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Sider</surname>, <given-names>Theodore</given-names></string-name></person-group> (<year>2012</year>). <source>Writing the Book of the World</source>. <publisher-name>Oxford University Press</publisher-name>. <person-group person-group-type="author"><string-name><surname>Simion</surname>, <given-names>Mona</given-names></string-name></person-group> (<year>2018</year>). <chapter-title>The &#x2018;Should&#x2019; in Conceptual Engineering</chapter-title>. <source>Inquiry</source>, <volume>61</volume>(<issue>8</issue>), <fpage>914</fpage>&#x2013;<lpage>28</lpage>.</mixed-citation></ref>
<ref id="R54"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Simion</surname>, <given-names>Mona</given-names></string-name> and <string-name><given-names>Christoph</given-names> <surname>Kelp</surname></string-name></person-group> (<year>2020</year>). <article-title>Conceptual Innovation, Function First</article-title>. <source>No&#x00FB;s</source>, <volume>54</volume>(<issue>4</issue>), <fpage>985</fpage>&#x2013;<lpage>1002</lpage>.</mixed-citation></ref>
<ref id="R55"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Smiley</surname>, <given-names>Timothy</given-names></string-name></person-group> (<year>1996</year>). <article-title>Rejection</article-title>. <source>Analysis</source>, <volume>56</volume>(<issue>1</issue>), <fpage>1</fpage>&#x2013;<lpage>9</lpage>.</mixed-citation></ref>
<ref id="R56"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>Robert</given-names></string-name></person-group> (<year>2018</year>). <chapter-title>David Lewis on Context</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Derek</given-names> <surname>Ball</surname></string-name> and <string-name><given-names>Brian</given-names> <surname>Rabern</surname></string-name></person-group> (Eds.), <source>The Science of Meaning: Essays on the Metatheory of Natural Language Semantics</source> (<fpage>98</fpage>&#x2013;<lpage>112</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R57"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stanley</surname>, <given-names>Jason</given-names></string-name></person-group> (<year>1997</year>). <chapter-title>Rigidity and Content</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Richard Kimberly</given-names> <surname>Heck</surname></string-name></person-group> (Ed.), <source>Language, Thought, and Logic: Essays in Honour of Michael Dummett</source> (<fpage>131</fpage>&#x2013;<lpage>56</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R58"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Stojnic&#x00B4;</surname>, <given-names>Una</given-names></string-name></person-group> (<year>2017</year>). <article-title>On the Connection between Semantic Content and the Objects of Assertion</article-title>. <source>Philosophical Topics</source>, <volume>45</volume>(<issue>2</issue>), <fpage>163</fpage>&#x2013;<lpage>80</lpage>.</mixed-citation></ref>
<ref id="R59"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Tarski</surname>, <given-names>Alfred</given-names></string-name></person-group> (<year>1983</year>). <chapter-title>The Concept of Truth in Formalized Languages</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>J.</given-names> <surname>Corcoran</surname></string-name></person-group> (Ed.), <source>Logic, Semantics, Metamathematics</source> (<edition>2nd</edition> ed., <fpage>152</fpage>&#x2013;<lpage>278</lpage>). <publisher-name>Hackett</publisher-name>. (Original work published <year>1935</year>)</mixed-citation></ref>
<ref id="R60"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Thomasson</surname>, <given-names>Amie L.</given-names></string-name></person-group> (<year>2017</year>). <article-title>Metaphysics and Conceptual Negotiation</article-title>. <source>Philospohical Issues</source>, <volume>27</volume>(<issue>1</issue>), <fpage>364</fpage>&#x2013;<lpage>82</lpage>.</mixed-citation></ref>
<ref id="R61"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Thomasson</surname>, <given-names>Amie L.</given-names></string-name></person-group> (<year>2020</year>). <chapter-title>A Pragmatic Method for Conceptual Ethics</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>Herman</given-names> <surname>Cappelen</surname></string-name>, <string-name><given-names>David</given-names> <surname>Plunkett</surname></string-name>, and <string-name><given-names>Alexis</given-names> <surname>Burgess</surname></string-name></person-group> (Eds.), <source>Conceptual Engineering and Conceptual Ethics</source> (<fpage>435</fpage>&#x2013;<lpage>58</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="R62"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>van Fraassen</surname>, <given-names>Bas C.</given-names></string-name></person-group> (<year>1969</year>). <article-title>Facts and Tautological Entailments</article-title>. <source>The Journal of Philosophy</source>, <volume>66</volume>(<issue>15</issue>), <fpage>477</fpage>&#x2013;<lpage>87</lpage>.</mixed-citation></ref>
<ref id="R63"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Williamson</surname>, <given-names>Timothy</given-names></string-name></person-group> (<year>2007</year>). <source>The Philosophy of Philosophy</source>. <publisher-name>Blackwell Publishing</publisher-name>.</mixed-citation></ref>
<ref id="R64"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Wittgenstein</surname>, <given-names>Ludwig</given-names></string-name></person-group> (<year>1961</year>). <source>Tractatus Logico-Philosophicus</source>. <publisher-name>Routledge</publisher-name>. (Original work published <year>1922</year>)</mixed-citation></ref>
<ref id="R65"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Yablo</surname>, <given-names>Stephen</given-names></string-name></person-group> (<year>1993</year>). <article-title>Definitions, Consistent and Inconsistent</article-title>. <source>Philosophical Studies</source>, <volume>72</volume>(<issue>2/3</issue>), <fpage>147</fpage>&#x2013;<lpage>75</lpage>.</mixed-citation></ref>
<ref id="R66"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Yablo</surname>, <given-names>Stephen</given-names></string-name></person-group> (<year>2014</year>). <source>Aboutness</source>. <publisher-name>Princeton University Press</publisher-name>.</mixed-citation></ref></ref-list>
</back>
</article>
