Ernest Adams has claimed that a probabilistic account of validity gives the best account of our intuitive judgements about the validity of arguments. In particular, he claims, it has the best hope of accounting for our judgements about many arguments involving conditionals. Most of the examples in the literature on this topic have been arguments framed in the language of propositional logic. I show that once we consider arguments involving predicates and involving identity, Adams’s strategy is less successful.

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

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to mean (...) what they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

Minimal predicates P satisfying a given first-order description ϕ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order 'PIA conditions' ϕ(P) which quarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of 'predicate intersection'. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke''s semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making use (...) of predicate logical principles, which are only classically acceptable. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Minimal predicates P satisfying a given first-order description φ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order ‘PIA conditions’ φ(P) which guarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of ‘predicate intersection’. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.

In this paper, we suggest a strategy for modelling cognitive context within a truth‐conditional semantics, using Asher's model of predication. This allows us to introduce the notion of type presupposition intended as a lexical constraint to the composition of the truth‐conditional content. More specifically, we suggest that this model of predication produces a notion of truth‐conditional meaning where the cognitive context fixes a set of lexical restrictions and forced modifications. We conclude that this model might offer an (...) intermediate position between Minimalism and Contextualism: an account that provides intuitive truth conditions within a formal semantic theory. (shrink)

This chapter compares simple predicates of personal taste (PPTs) such as tasty and beautiful with their complex counterparts (eg tastes good, looks beautiful). I argue that the former differ from the latter along two dimensions. Firstly, simple PPTs are individual-level predicates, whereas complex ones are stage-level. Secondly, covert Experiencer arguments of simple PPTs obligatorily receive a generic interpretation; by contrast, the covert Experiencer of a complex PPT can receive a generic, bound variable or referential interpretation. I provide an analysis of (...) these facts based on a novel proposal about the licensing of individual-level predicates (the ‘Licensing Condition on ILPs’). This condition states that all covert pronominal arguments of an individual-level predicate must be bound by the generic operator. Finally, I show that generic construal of the Experiencer is a necessary condition for faultless disagreement. This is evidence in favour of treatments of subjective meaning that appeal to genericity, and against relativism about PPTs. (shrink)

A familiar strategy of argument to the effect that natural-language predicates are semantically context dependent rests on constructing what I term Travis cases: different contexts for the use of a predicate are imagined in which its semantic (typically, truth-conditional) properties are claimed to differ. I propose an account of the semantic properties of predicates that give rise to Travis cases; I then argue that the account underwrites a genuine alternative to the standard explanations of Travis cases to be found (...) in the literature; I close with a brief sketch of the connections, required by a fuller development of my account, among the semantic notion of a predicate’s content, the metaphysical notion of a property’s instantiation, and the cognitive notion of a language user’s perspective in using a predicate. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

In a previous paper I described a range of nonmonotonic conditionals that behave like conditional probability functions at various levels of probabilistic support. These conditionals were defined as semantic relations on an object language for sentential logic. In this paper I extend the most prominent family of these conditionals to a language for predicate logic. My approach to quantifiers is closely related to Hartry Field's probabilistic semantics. Along the way I will show how Field's semantics differs from a substitutional (...) interpretation of quantifiers in crucial ways, and show that Field's approach is closely related to the usual objectual semantics. One of Field's quantifier rules, however, must be significantly modified to be adapted to nonmonotonic conditional semantics. And this modification suggests, in turn, an alternative quantifier rule for probabilistic semantics. (shrink)

In “Properties and the Interpretation of Second-Order Logic” Bob Hale develops and defends a deflationary conception of properties where a property with particular satisfaction conditions actually exists if and only if it is possible that a predicate with those same satisfaction conditions exists. He argues further that, since our languages are finitary, there are at most countably infinitely many properties and, as a result, the account fails to underwrite the standard semantics for second-order logic. Here a more lenient version of (...) the view is explored, which allows for the possibility of countably infinite predicates understood as the product of linguistic supertasks. This enriched deflationist account of properties—the Infinitary Deflationary Conception of Existence—supports the standard semantics for models with countable first-order domains, and allows one to prove the categoricity of the second-order Peano axioms. (shrink)

The existence of complex predicates seems to support an abundant conception of properties. Specifically, the application conditions for complex predicates seem to be explained by the distribution of a sparser base of predicates. This explanatory link might suggest that the existence and distribution of properties expressed by complex predicates are explained by the existence and distribution of a sparser base of properties. Thus, complex predicates seem to legitimize the assumption of a wide array of properties. The additional properties are no (...) explanatory addition to the sparse base. I argue, however, that construing complex predicates as expressing properties undermines the explanatory links between simple and complex predications. The argument explores a variety of accounts of complex predicates currently on offer and develops a number of themes from the work of Herbert Hochberg. (shrink)

In this paper, we show that the predicate logics of consistent extensions of Heyting's Arithmetic plus Church's Thesis with uniqueness condition are complete $\Pi _{2}^{0}$. Similarly, we show that the predicate logic of HA*, i.e. Heyting's Arithmetic plus the Completeness Principle (for HA*) is complete $\Pi _{2}^{0}$. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko's method to use Tennenbaum's Theorem to prove 'categoricity of interpretations' under certain assumptions.

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontologicalcategorization is clearly a type of classification, but it differs radically from the types of classification that are involved in thetaxonomic practices of empirical sciences, as when a physicist saysof a certain particle that it ‘is an electron’, or when a zoologist saysof a certain animal (...) that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontologicalcategories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

The Strongest Meaning Hypothesis of Dalrymple et al (1994,1998), which was originally proposed as a principle for the interpretation of reciprocals, is extended in this paper into a general principle of plural predication. This principle applies to complex predicates that are composed of lexical predicates that hold of atomic entities, and determines the pluralities in the extension of the predicate. The meaning of such a complex predicate is claimed to be the truth-conditionally strongest meaning that does not contradict lexical properties (...) of the simple predicates it contains. Weak interpretations of reciprocals (as in the books are stacked on top of each other), plural predicate conjunction (e.g. the books are old and new) and ’atomic’ distributivity in general are derived by a unified mechanism, which ’weakens’ the basic universal meanings of strong reciprocals, boolean conjunction and quantification over atomic entities. (shrink)

If ordinary objects have temporal parts, then temporal predications have the following truth conditions: necessarily, ( a is F) at t iff a has a temporal part that is located at t and that is F. If ordinary objects have temporal counterparts, then, necessarily, ( a is F) at t iff a has a temporal counterpart that is located at t and that is F. The temporal-parts account allows temporal predication to be closed under the parthood relation: since all (...) that is required to be F at t is to have a temporal part, a t , that is located at t and that is F, every object that has a t as a temporal part is F at t . Similarly for the temporal-counterparts account. Both closure under parthood and closure under counterparthood are shown to have unacceptable consequences. Then strategies for avoiding closure are considered and rejected. (shrink)

We explain two ways of revising a tense logic like kripke's (1963) modal logic by adding predicate modifiers. first we show that modifiers allow us to render valid some mixing formulas--conditionals reversing the order of a quantifier and an operator--within a complete bivalent system. then we show how modifiers enable a tense logic to give analyses close to the surface form for sentences with temporal qualifications of singular terms, e.g., 'toby was fatter then than william is today'.

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontological categorization is clearly a type of classification, but it differs radically from the types of classification that are involved in the taxonomic practices of empirical sciences, as when a physicist says of a certain particle that it ‘is an electron’, or when a zoologist says (...) of a certain animal that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontological categories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting (...) conversions.". (shrink)

This article explores the relation between ‘citing the evidence’, or implicating a particular diagnosis, and ‘asserting the condition’, or overtly predicating the diagnosis as an attribute of a person. Clinicians regularly postpone or delay asserting the condition, which is interactionally more confrontational and presumptive. They regularly do the postponement by citing the evidence prior to asserting the condition, using the evidence as kind of predecessor account for predicating the diagnosis as an attribute of the person. Citing the evidence as leading (...) to asserting the condition enhances the likelihood of recipients realizing some bad news or other kind of diagnostic upshot. This study has implications for the relation between interaction and authority in medical discourse. (shrink)

The main aim of the paper is to reject the idea that predicates of personal taste express normative meanings. According to a recent theory proposed by Daniel Gutzmann, predicates of personal taste express both a truth-conditional content and a use-conditional content, the latter being normative. The purported normativity of predicates of personal taste is supposed to consist in that when producing utterances containing such predicates, their speakers suggest how other people ought to experience the objects of taste under (...) discussion. The paper provides a bunch of evidence to show there are utterances containing predicates of personal taste that cannot be used normatively in this sense. In particular, it is claimed that one can make such an utterance and then add a related normative piece of information without doing anything redundant; one can also make such an utterance and then deny the related normative piece of information without generating any contradiction or infelicity. At the same time, it is admitted there are situations in which the speakers do communicate something normative by producing utterances containing predicates of personal taste. We thus need an explanation to cope with such cases. Although the paper does not offer one, it provides some reasons to the effect that a correct explanation has to be pragmatic rather than semantic. (shrink)

This paper argues that proper names may have literal non-referential truth-conditional values, thereby undermining the notion of semantic reference.

The paper analyses the contemporary notion of an extension of apredicate from the perspective of semantics typical for Meinongian logics, andin opposition to the traditional notion of extension. This leads to a discussionof the types of properties that can be predicated about objects as belonging tothe sets of properties ascribed to them, and such that can be predicated aboutthem only ‘externally’. It is also problematic in which sense nonexistentobjects possess the properties ascribed to them. The concluding remarksconcern some issues related (...) to the truth of predications about nonexistentobjects, which is the basic condition to admit them as belonging to theextensions of predicates in the first place. (shrink)

Abstract: In this brief commentary, I focus on two issues, first on Moltmann’s proposed Davidsonian event semantics for transitive verb attitude predicates, and second on the import of what she calls ‘the underspecification of content’ for the proper semantic interpretation of that-clauses. With respect to the first of these issues, I question the empirical justification of her proposed semantics, suggesting that she needs a syntactic rationale for her semantics. With respect to the second issue, I question whether, as she claims, (...) the that-clauses in transitive verb attitude predicates specify (or even partially specify) the truth or satisfaction conditions for the attributed attitudes. (shrink)

Geach's account of the Aristotelian logic of categorical sentences supplemented the views shared by Frege, Russell, Quine and others. I argue that this particular predicate logic approach and Geach's points apply to only one variety of natural language categorical sentences. For example, it takes the universal categorical as a universal conditional “If anything is a man, then it is mortal”. A different natural language form can and should be invoked: “Every man is a mortal.” Employing special restricted quantifiers in (...) a version of predicate logic, we justify a full square of opposition and the rules of quality and quantity that Geach rejected. (shrink)

This paper presents a precise semantics for incomplete predicates such as “ready”. Incomplete predicates have distinctive logical properties that a semantic theory needs to accommodate. For instance, “Tipper is ready” logically implies “Tipper is ready for something”, but “Tipper is ready for something” does not imply “Tipper is ready”. It is shown that several approaches to the semantics of incomplete predicates fail to accommodate these logical properties. The account offered here defines contexts as structures containing an element called a proposition (...) set, which contains atomic propositions and negations of atomic propositions. The condition under which “Tipper is ready” is true in a context is defined in terms of the contents of the proposition set for the context. On this account, the content of the context pertinent to a conversation must be determined not by what speakers have in mind but by relations of objective relevance. (shrink)

Michael-John Turp | : There is little consensus concerning the truth or reference conditions for evaluative terms such as “good” and “bad.” In his paper “Good and Evil,” Geach proposed that we distinguish between attributive and predicative uses of “good.” Foot, Thomson, Kraut, and others have put this distinction to use when discussing basic questions of value theory. In §§1-2, I outline Geach’s proposal and argue that attributive evaluation depends on a prior grasp of the kind of thing that is (...) evaluated, which is another way of saying a prior grasp of a thing’s nature. In §§3-4, I discuss the evaluation of artifacts, which provide the clearest examples of attributive evaluation. This allows me to address a series of problems apparently facing the idea of attributive goodness. In §5, I consider the neo-Aristotelian idea that we can extend attributive accounts of goodness to human lives, and I pay attention to Foot’s account of natural goodness. This leads me to consider the goodness of human life as a whole in §6. At this point. I depart from Geach’s approach and argue that questions of attributive goodness finally give rise to questions of predicative or absolute goodness. | : Il y a peu de consensus sur la vérité ou les conditions de référence pour les termes évaluatifs tels que « bon » et « mauvais ». Dans son article « Good and Evil », Geach a proposé de distinguer les usages attributif et prédicatif du « bon ». Foot, Thomson, Kraut et d’autres considèrent qu’il faut utiliser cette distinction lorsqu’il s’agit des questions fondamentales de la théorie de la valeur. Dans les parties 1-2, je décris ici la proposition de Geach et je prétends que l’évaluation attributive dépend d’une compréhension préalable du genre de chose qui est évaluée, ce qui est une autre façon de dire une compréhension préalable de la nature d’une chose. Dans les parties 3-4, je discute de l’évaluation des artefacts, qui fournissent les exemples les plus clairs d’évaluation attributive. Cela me permet d’illustrer une série de problèmes apparemment liés à l’idée de la bonté attributive. Dans la partie 5, je considère l’idée néo-aristotélicienne voulant que nous puissions étendre notre compréhension de la bonté attributive aux vies humaines, et je me penche sur l’idée de bonté naturelle selon Foot. Cela me conduit à considérer la bonté de la vie humaine comme un tout, dans la partie 6. De là, je m’éloigne de l’approche de Geach pour affirmer que les questions de bonté attributive suscitent finalement des questions de bonté prédicative ou absolue. (shrink)

The central focus of my dissertation is the study of the naturality in Leibniz's philosophy. Leibniz makes a number of statements concerning natural predication, including: the soul is naturally immortal; personal identity naturally presupposes the identity of the soul; reflective apperception cannot naturally deceive; matter cannot naturally think or act at a distance. These claims are not only central to Leibniz's philosophy of mind, but to his system as a whole; moreover, some of them constitute the basis of his criticism (...) of Locke in the New Essays. Nevertheless, these claims have never received the attention they deserve, nor have they been studied as a whole. ;In the course of my thesis, I argue that Leibniz's statements concerning naturality are best understood as involving a type of necessity which is weaker than logical, or metaphysical, necessity. I develop the position that a subject S is naturally P if and only if: It is logically or metaphysically possible for S not to be P , and It is logically or metaphysically impossible for S to be not-P except through miraculous divine intervention. Simply put, I argue that these two conditions follow from Leibniz's views on inherence in combination with the logical version of the Principle of Sufficient Reason, which he thinks entails that every event has a cause. ;The thesis is divided into two main parts. The first studies the general concepts, such as inherence and contingent predication, which are necessary to understand the notion of natural necessity and to show that it plays a legitimate role in Leibniz's system. The second part examines in detail some particular cases of natural necessity, such as the natural veridicality of reflection and the natural immortality of the soul, as well as the natural inability of matter to think. (shrink)

Journal of Mathematical Logic, Ahead of Print. Given a structure [math] and a stably embedded [math]-definable set [math], we prove tameness preservation results when enriching the induced structure on [math] by some further structure [math]. In particular, we show that if [math] and [math] are stable (respectively, superstable, [math]-stable), then so is the theory [math] of the enrichment of [math] by [math]. Assuming simplicity of [math], elimination of hyperimaginaries and a further condition on [math] related to the behavior of algebraic (...) closure, we also show that simplicity and NSOP1 pass from [math] to [math]. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of [math]. More generally, we show that any stable (respectively, superstable, simple, NIP, NTP2, NSOP1) countable graph can be defined in a stable (respectively, superstable, simple, NIP, NTP2, NSOP1) expansion of [math] by some unary predicate [math]. (shrink)

Those who believe that ordinary things have temporal as well as spatial parts must give an account of the truth conditions of temporally modified predications of the form ‘a is F at t ’ in terms of temporal parts. I will argue that the friend of temporal parts is committed to an account of temporal predication that is incompatible with the classical principle of predicate abstraction.

Quine tries to combine truth conditional semantics with linguistic behaviourism. To this end, he identifies the truth conditions of a sentence with the conditions that prompt speakers to assign truth or falsity to the sentence. The first problem with this conception is that truth conditions determine not when truth-value assignments are made, but when they are correct. This fact vitiates Quine’s account of observation sentences (section 2). A second difficulty pertains only to theoretical sentences. The correctness of truth-value assignments (...) to such sentences depends not on current experiences, but on what can be experienced on other occasions. This observation militates against Quine’s general verification holism and against his account of predications (section 3 and 4). Combining truth conditional semantics and linguistic behaviourism is possible, though, if both these lessons are taken into account (section 5). (shrink)

This note addresses the problems that arise from denying conditionals in classical logic and concludes that such problems result from using propositional logic where predicate logic with quantification over cases is indicated.

The present paper is an attempt at the investigation of the nature of polarity contrast in natural languages. Truth conditions for natural language sentences are incomplete unless they include a proper definition of the conditions under which they are false. It is argued that the tertium non datur principle of classical bivalent logical systems is empirically invalid for natural languages: falsity cannot be equated with non-truth. Lacking a direct intuition about the conditions under which a sentence is false, we need (...) an independent foundation of the concept of falsity. The solution I offer is a definition of falsity in terms of the truth of a syntactic negation of the sentence. A definition of syntactic negation is proposed for English. (shrink)

Alethic pluralism, on one version of the view , is the idea that truth is to be identified with different properties in different domains of discourse. 1 Whilst we operate with a univocal concept of truth, and a uniform truth predicate, the thought is that the truth property changes from one domain to the next. So the truth property for talk about the nature and state of the material world may be different from the truth property for moral discourse .Tappolet (...) challenged alethic pluralism by asking how it can account for the truth of mixed compounds, such as a mixed conjunction like ‘this cat is wet and funny’, where each of the conjuncts are from different domains of discourse, and thus assessable in terms of different truth properties. She argues that the alethic pluralist is left in a dilemma: either admit of a ‘generic’ truth property, which can be possessed by propositions from all domains, thus rendering the plural ways of being true obsolete, or deny the truth of mixed conjunctions.In Edwards 2008, I argued that there is route out of Tappolet's dilemma. Briefly, I suggested that we acknowledge that the truth of a mixed conjunction is dependent on the truth of its conjuncts, and we should explain the truth of the conjunction by saying that it is true just in case each of its conjuncts is true. This, I argued, gives us an account of the truth of the conjunction without needing to appeal to a troublesome ‘generic’ truth property.Aaron Cotnoir criticizes my solution to Tappolet's problem. Cotnoir argues that my solution to the problem admits of an unacceptable ‘proliferation’ of truth properties, and smuggles in a generic truth property. I …. (shrink)

The aim of the paper is to evaluate the prospects for an aesthetically informed assessment-sensitive semantic account of thick aesthetic predicates (TAPs) such as 'intense', 'sombre', ‘balanced’, ‘harmonious’, etc. We distinguish two meaning dimensions concerning TAPs, truth-conditional and use-conditional or expressive, and provide a dualist semantics that posits assessment sensitivity at both levels. Then we evaluate the extent to which assessment sensitivity is an apt rendition of aesthetic discourse involving TAPs. We distinguish between experiential TAPs (‘intense’, ‘sombre’) and (...) theoretical TAPs (‘balanced’, ‘dynamic’), and argue that there is evidence for a relativistic construal both at the truth-conditional and the expressive level for experiential TAPs, but not for theoretical TAPs. Thus, an upper bound is found on how much assessment sensitivity characterises aesthetic discourse. (shrink)

This paper defends an interpretation of Plato, Soph. 259c7–d7, which describes a distinction between genuine and pretender forms of ‘examination’ or ‘refutation’ (ἔλεγχος). The passage speaks to a need, throughout the dialogue, to differentiate the truly philosophical method from the merely eristic method. But its contribution has been obscured by the appearance of a textual problem at 259c7–8. As a result, scholars have largely not recognized that the Eleatic Stranger recommends accepting contrary predication as a condition of genuine refutation. After (...) reviewing various proposals to change the text, the paper defends this reading. Finally, the paper turns to the methodological significance of accepting contrary predication. The dialogue depicts contrary predication as an instance of a class of statements that compel the soul's disbelief. Soph. 259c7–d7 suggests that these kinds of statements are a crossroad: one can either reject them and turn to eristic discourse or accept them and practise genuine refutation. The paper reflects on what this indicates about Plato's meditations on contradiction and philosophy. (shrink)

Italian is a well-known exception to the cross-linguistic generalization according to which `belief' predicates are indicative selectors across languages. We newly propose that languages that select the subjunctive with epistemic predicates allow us to see a systematic polysemy between what we call an expressive-`belief' (featuring only a doxastic dimension) and an inquisitive-`belief' (featuring both a doxastic and an epistemic dimension conveying doxastic certainty (in the assertion) and epistemic uncertainty (in the presupposition)). We offer several previously unseen contrasts proving this distinction (...) and offer a new analysis for mood choice cross-linguistically. We argue that the distinction between expressive and inquisitive attitudes is not an idiosyncrasy of non-factive epistemics. We provide novel data, showing that fictional predicates (dream, imagine) license the subjunctive. We explain the indicative/subjunctive alternation by again appealing to epistemic uncertainty and disentangling expressive from inquisitive-fictional meanings. We thus pave the way for a new typology of attitudes relying on this systematic polysemy and propose new criteria to explain mood distribution cross-linguistically. (shrink)

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth- predicate of the object language for which we develop an account of meaning, or is intended to involve the truth- (...) predicate of the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally. (shrink)