In “Value Ascriptions: Rethinking Cognitivism,” Sigrún Svavarsdóttir offers a novel account of the semantic function of evaluative predication, according to which such predicates function as “linguistically encoded classificatory devices.” This short paper raises three questions about Svavarsdóttir’s account: how it relates to familiar sorts of projects in and about semantics, how to understand the nature of “linguistic encoding,” and how to understand the significance of the account’s central use of sets.

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and (...) MacFarlane to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (shrink)

Simple sentences containing predicates like "tasty" and "beautiful" typically suggest that the speaker has first-hand knowledge of the item being evaluated. I consider two explanations of this acquaintance inference: a presuppositional approach and a pragmatic-epistemic approach. The presuppositional approach has a number of virtues, but runs into trouble because the acquaintance inference has a very different projection pattern from that of standard presuppositions. The pragmatic-epistemic approach accounts for the main data discussed in the paper, but faces challenges of its (...) own. (shrink)

This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure (...) functions ("evaluational perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions. (shrink)

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

A recent quarrel over faultless disagreements assumes that disputes over evaluative sentences should be understood as regular, factual disagreements. Instead, I propose that evaluative disagreements should be understood in Lewisian terms. Language use works like a rule-governed game. In it, the assertion of an evaluative sentence is an attempt to establish one value as default in the conversation; its rejection, in turn, is in most cases the refusal to accept this move.

The focus of this article is on the pragmatic presuppositions involved in the use of general terms in inductive practices. The main thesis is that the problem of characterizing the assumptions underlying the projection of predicates in inductive practices and the ones underlying the classification of crtain general terms as «natural kind terms» coincide to a good extent. The reason for this, it is argued, is that both classifications, «projectibility» and «natural kind term», are attempts to answer to the (...) same semantico-epistemological phenomenon, viz. underdertermination. It is proposed a «deflationary» reading of the so-called «theory of direct reference» as to enable an evaluation of its contribution to epistemological problems associated with this kind of phenomena, as well as it is argued that a purely de facto account of projectibility is not viable. The resulting hypothesis is that the conception of «natural kind terms» is only interesting insofar as they are seen as a kind of projectible general terms and thus as parts of classifications used in natural science, more generally, in inductive practices, and that this is a perspective that makes undue metaphysical readings avoidable. (shrink)

The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them (...) in the light of the taste standard governing the context of use. We show in a range of experiments that neither prediction is correct. People have no clear preferences either way and which taste standard they choose in evaluating a previous taste claim crucially depends on whether they start out with a favorable attitude towards the object in question and then come to have an unfavorable attitude or vice versa. We suggest an account of the data in terms of what we call hybrid relativism. (shrink)

What account of evaluative expressions, such as ‘is beautiful’, ‘is generous’ or ‘is good’, should a Fregean adopt? Given Frege’s claim that predicates can have both a sense and a reference in addition to their extension, an interesting range of only partially explored theoretical possibilities opens to Frege and his followers. My intention here is to briefly present these putative possibilities and explore one of them, namely David Wiggins’ claim that evaluative predicates refer to non-natural concepts (...) and have a sense which is sentiment-involving. In order to defend this claim against objections which aim at showing that evaluative concepts do not really exist, I shall suggest that our awareness of evaluative concepts involves affective (or emotive) states. (shrink)

Faultless disagreement and faultless retraction have been taken to motivate relativism for predicates of personal taste, like ‘tasty’. Less attention has been devoted to the question of what aspect of their meaning underlies this relativist behavior. This paper illustrates these same phenomena with a new category of expressions: appearance predicates, like ‘tastes vegan’ and ‘looks blue’. Appearance predicates and predicates of personal taste both fall into the broader category of experiential predicates. Approaching predicates of (...) personal taste from this angle suggests that their relativist behavior is due to their experience-sensitivity, rather than their evaluative meaning. Furthermore, appearance predicates hold interest beyond what they can teach us about predicates of personal taste. Examination of a variety of uses of appearance predicates reveals that they give rise to relativist behavior for a variety of reasons—including some that apply also to other types of expressions, such as epistemic modals and comparative terms. This paper thus serves both to probe the source of relativist behavior in discourse about personal taste, as well as to map out this kind of behavior in the rich and under-explored discourse about appearances. (shrink)

Among semanticists and philosophers of language, there has been a recent outburst of interest in predicates such as delicious, called predicates of personal taste (PPTs, e.g. Lasersohn 2005). Somewhat surprisingly, the question of whether or how we can distinguish aesthetic predicates from PPTs has hardly been addressed at all in this recent work. It is precisely this question that we address. We investigate linguistic criteria that we argue can be used to delineate the class of specifically aesthetic (...) adjectives. We show that there are, in fact, good motivations for keeping PPTs and aesthetic predicates apart: the semantic structure of the former, but not the latter, entails an experiencer. There are many adjectives whose semantic structure arguably also entails an experiencer, yet which are readily used in expressing aesthetic judgments. Adjectives such as provocative or moving are a case in point, since as adjectives they arguably maintain the experiencer argument from the verb they are derived from. Nevertheless, when we describe, say, a sculpture as provocative, or a theater performance as moving, we clearly make aesthetic judgments. The difficult question, then, is to articulate the relationship between an aesthetic predicate (of which beautiful and ugly are paradigms) and other predicates that just happen to be used in making an aesthetic judgment. Tightly related to this point is the more general question of the relationship between an evaluative predicate and a predicate that occurs in an evaluative judgment. One of our aims is to make some progress in addressing these questions. (shrink)

Aesthetic judgments are often expressed by means of predicates that, unlike ‘beautiful’ or ‘ugly’, are not primarily aesthetic, or even evaluative, such as ‘intense’ and ‘harrowing’. This paper aims to explain how such adjectives can convey a value-judgment, and one, moreover, whose positive or negative valence depends on the context.

In theoretical work about the language of personal taste, the canonical example is the simple predicate of personal taste, 'tasty'. We can also express the same positive gustatory evaluation with the complex expression, 'taste good'. But there is a challenge for an analysis of 'taste good': While it can be used equivalently with 'tasty', it need not be (for instance, imagine it used by someone who can identify good wines by taste but doesn't enjoy them). This kind of two-faced behavior (...) systematically arises with complex sensory-evaluative predicates, including those with other appearance verbs, such as 'look splendid' and 'sound nice'. I examine two strategies for capturing these different uses: one that posits an ambiguity in appearance verbs, and one that does not. The former is in line with an approach to 'look'-statements prominent in work in philosophy of perception, and I consider how the motivation given in that tradition carries over to the present context. I then show how the data used to support the verbal ambiguity approach can equally be captured on the second strategy, which appeals only to independently-motivated flexibility in adjective meaning. I close by discussing some considerations that are relevant for choosing between the two options. (shrink)

This paper argues that there is a class of terms, or uses of terms, that are best accounted for by an expressivist account. We put forward two sets of criteria to distinguish between expressive and factual terms. The first set relies on the action-guiding nature of expressive language. The second set relies on the difference between one's evidence for making an expressive vs. factual statement. We then put those criteria to work to show, first, that the basic evaluative adjectives (...) such as ‘good’ have expressive as well as factual uses and, second, that many adjectives whose primary meanings are factual, such as ‘powerful’, also have expressive uses. (shrink)

This paper argues for contextualism about predicates of personal taste and evaluative predicates in general, and offers a proposal of how apparently resilient disagreements are to be explained. The present proposal is complementary to others that have been made in the recent literature. Several authors, for instance (López de Sa, 2008; Sundell, 2011; Huvenes, 2012; Marques and García-Carpintero, 2014; Marques, 2014a), have recently defended semantic contextualism for those kinds of predicates from the accusation that it faces (...) the problem of lost disagreement. These authors have proposed that a proper account of the resilient disagreement in the cases studied is to be achieved by an appeal to pragmatic processes, and to conflicting non-doxastic attitudes. It is argued here that the existing contextualist solutions are incomplete as they stand, and are subject to objections because of this. A supplementation of contextualism is offered, together with an explanation of why failed presuppositions of commonality (López de Sa), disputes over the appropriateness of a contextually salient standard (Sundell), and differences in non-doxastic attitudes (Sundell, Huvenes, Marques, and García-Carpintero) give rise to conflicts. This paper claims that conflicts of attitudes are the reason why people still have impressions of disagreement in spite of failed commonality presuppositions, that those conflicts drive metalinguistic disputes over the selection of appropriate standards, and hence conflicting non-doxastic attitudes demand an explanation that is independent of those context dependent pragmatic processes. The paper further argues that the missing explanation is 2-fold: first, disagreement prevails where the properties expressed by taste and value predicates are response-dependent properties, and, secondly, it prevails where those response-dependent properties are involved in evolved systems of coordination that respond to evolutionarily recurrent situations. (shrink)

Sentences such as 'Chocolate tastes good' have been widely discussed as sentences that give rise to faultless disagreement. As such, they actually belong to the more general class of impersonal perception reports, which include 'The violin sounds / looks strange' as well sentences that are about an agent-centered situation such as 'It feels / seems like it is going to rain'. I maintain the view that faultless disagreement is due to first person-based genericity, which, roughly, consists in attributing a property (...) to anyone the speaker (or described agent) identifies with (which generally requires a first-person experience) (Moltmann 2010). Unlike my previous analysis (and similar analyses), this paper no longer makes use of experiencers or judges as implicit arguments of taste predicates, but argues that impersonal perception verbs (taste, look, feel, seem), have a logophoric character. More precisely, such verbs describe perceptual occurrences whose experiencer is identical to the agent of the utterance situation, described attitudinal situation, or the situations a generic operator may range over. Perceptual occurrences are sharply distinguished ontologically from perceptual experiences as well as perceptual objects, entities we refer to as ‘the taste of chocolate’, ‘the sound of the violin’, ‘the look of the violin’. Sentences about perceptual objects ('the taste of chocolate is good', 'the sound of the violin is great', 'the look of the violin is beautiful') also give rise to faultless disagreement, but the source of that is a first-person-based attribution of an evaluative predicate to an (objective) perceptual object. (shrink)

Common sense has it that some of the greatest achievements that are to our credit are creative, whether artistic or otherwise. But standard theories of achievement and merit struggle to explain them, since the praiseworthiness of creative achievements isn’t grounded in effort, quality of will, disclosing the agent’s values, or even reasons-responsiveness. I argue that it’s distinctive of artistic or quasi-artistic creative activity that it is guided by what I call aspirational aims, which are formulated in terms of evaluative (...) predicates (like painting something “moving” or engineering something “nifty”) whose descriptive realizers are not known in advance. Aesthetic creativity itself fundamentally consists in perceiving or conceiving of some modification of raw material or a medium as promoting or constituting a novel way of realizing the aspirational aim. Creative achievements like poems and paintings are then to our credit in virtue of being exercises of spontaneity that disclose a deep layer of our selves that is manifest in active perception of affordances, showing that there is something beautiful about the way we experience the world, as a Sally Rooney character puts it. As with other creditworthy achievements, what makes them difficult is that simply trying won’t suffice to make success likely – but unlike in many other cases, neither will trying hard, since we have no direct volitional or rational control over perceptual spontaneity. (shrink)

We introduce an expected-value theory of linguistic modality that makes reference to expected utility and a likelihood-based confirmation measure for deontics and epistemics, respectively. The account is a probabilistic semantics for deontics and epistemics, yet it proposes that deontics and epistemics share a common core modal semantics, as in traditional possible-worlds analysis of modality. We argue that this account is not only theoretically advantageous, but also has far-reaching empirical consequences. In particular, we predict modal versions of reasoning fallacies from the (...) heuristics and biases literature. Additionally, we derive the modal semantics in an entirely transparent manner, as it is based on the compositional semantics of Korean modal expressions that are morphosyntactically decomposed into a conditional and an evaluative predicate. (shrink)

Las oraciones con predicados evaluativos son sensibles a la valoración realizada según un parámetro evaluativo contextual. Dos teorías han proporcionado explicaciones para este tipo de sensibilidad: el contextualismo y el relativismo de apreciación. En este trabajo presentaré una tercera opción que logra lo mismo que estas de una manera más sencilla. La teoría se centrará en dos pilares: una reconsideración del contenido expresado por las oraciones con predicados de gusto que parte de la articulación del parámetro evaluativo como una función (...) diádica, y los compromisos que la aserción de este tipo de oraciones impone sobre los hablantes y sobre el auditorio. Con ambas herramientas se logrará una teoría que podrá dar cuenta de acuerdos, desacuerdos y usos ecóicos de las oraciones evaluativas sin apelar a contextos de apreciación suplementarios a la teoría semántica estándar o a presupuestos de comunidad de los parámetros evaluativos. Sentences with evaluative predicates are sensitive to the valuation carried on under an evaluative parameter in the context. Two theories have provided an account for this kind of context-sensitivity: contextualism and assessment relativism. In this paper I will present a third alternative that achieves the same results in a simpler way. This theory is based on two main ideas: understanding the content expressed on the basis of an articulation of the evaluative parameter as a dyadic function, and the practical and linguistic commitments that the assertion of these sentences imposes over speakers and hearers. Both tools will result in a theory that can manage agreements, disagreements and echoic uses of evaluative sentences without the need to supplement the standard semantic theory with contexts of assessment or with presuppositions of commonality of the evaluative standard. (shrink)

Many times, what we say proves to be wrong. It might turn out that what we took to be a comforting remark was, in fact, making things worse. Or that a joke was inappropriate. Or that yelling out loud was rude. More importantly for this paper, there are plenty of cases in which what we said turns out to be false: we spoke without paying attention, we were misinformed or tricked, or we made a reasoning mistake. -/- A particular instance (...) of this latter phenomenon is when someone changes their perspective and doesn't find their previous assertions true anymore. For example, imagine that you used to like licorice as a child, and that you went around saying things like "Licorice is tasty." But, growing up, you find licorice too strong and quite boring; your tastes have changed. While the taste of licorice itself has not changed, you are not going around anymore uttering "Licorice is tasty." In fact, in certain cases, you might even think that what you said in your childhood was wrong - at least in light of your present preferences. -/- Sometimes we "take back" the assertions we made when we realize they are no longer true. Such speech acts of taking back can be performed in various ways: more formally, as effected in a court of law or when an official speaks to the press, or more informally in our day-by-day interactions. These acts of taking back are known as retraction. Retraction is usually achieved by employing certain linguistic markers ('I was wrong', 'I was mistaken', 'I retract', "Scratch that' etc.) that signal that the retractor takes their previous speech act to be faulty in a certain way. -/- This phenomenon has formed the basis for a popular argument used by relativists about a variety of natural language expressions (predicates of taste, epistemic modals, moral and aesthetic claims etc.) in support of their view. Recently, several considerations (mostly from contextualists about the same expressions), both from the armchair and based on empirical studies, have been offered to undercut the support retraction was thought to provide for relativism. In this paper, I consider and re-evaluate that support in light of both types of considerations, showing that neither of them decisively undermines it. However, to survive the contextualist counterattack, the relativist needs to pay a price: that is, she will be forced to make some concessions or rethink certain claims. I show what I think those concessions should be and what needs to be rethought (and how). The upshot is that, while the support retraction offers relativism is not as strong as initially believed, appeal to retraction remains a legitimate move in the debate. In section 1, I introduce the views in the debate and clarify the phenomenon of retraction and its dialectical role. Armchair data are investigated in section 2, proper experimental studies in section 3, while section 4 summarizes and concludes. (shrink)

Contextualist accounts of aesthetic predicates have difficulties explaining why we feel that speakers are disagreeing when they make true and compatible but superficially contradictory aesthetic judgments. One possible way to account for the disagreement is hybrid expressivism, which holds that the disagreement happens at the level of pragmatically conveyed, clashing contents about the speakers’ conative states. Marques defends such a strategy, combining dispositionalism about value, contextualism, and hybrid expressivism. This paper critically evaluates the plausibility of the suggested pragmatic mechanisms (...) in conveying the kind of contents Marques takes to explain disagreements. The positive part suggests an alternative account of how aesthetic judgments are sources of information about speakers’ conative aesthetic states. (shrink)

The predicates 'is outgrown by Theaetetus,' 'is 300 miles west of a lemur,' and 'is such that 9 is odd' denote properties, but there is a sense in which these properties are not genuine features of the objects that have them. The fact that we find these mere-Cambridge properties odd has something to do with their relational character. But relationality in itself is not an adequate criterion for property-genuineness for there are many relational properties that do not qualify as (...) mere-Cambridge. The goal of this essay is to isolate the special type of relationality needed to explain what makes a property genuine. In the process, the author evaluates causal accounts of property-genuineness, and shows how the analysis presented is superior. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions (...) than predicates of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...) the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

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

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

Apart from his critique of Kant, Maimon’s significance for the history of philosophy lies in his crucial role in the rediscovery of Spinoza by the German Idealists. Specifically, Maimon initiated a change from the common eighteenth-century view of Spinoza as the great ‘atheist’ to the view of Spinoza as an ‘acosmist’, i.e., a thinker who propounded a deep, though unorthodox, religious view denying the reality of the world and taking God to be the only real being. I have discussed this (...) aspect of Maimon’s philosophy in other places, and though the topic of the current paper has an interesting relation to certain doctrines of Spinoza, I will not develop this issue here. Neither of these two issues -- Maimon’s criticism of Kant or his original interpretation of Spinoza -- was considered by Maimon as his main contribution to philosophy. There is little doubt that if Maimon were asked to point out his single most important innovation he would have picked his doctrine of the Principle of Determinability [Satz der Bestimmbarkeit]. Regarding this doctrine Maimon writes: ... [T]he principle of determinability laid down in this work is a principle of all objectively real thought, and consequently of philosophy as a whole too. All the propositions of philosophy can be derived from, and be determined by it [woraus sich alle Sätze herleiten und wodurch sie sich bestimmen lassen]. … I have made available a supreme principle of all objectively real thought, viz., the principle of determinability... and have established as the ground of the whole of pure philosophy -- a principle which, if it is ever grasped, will, I hope, withstand every scrutiny. These claims may strike the reader as somewhat presumptuous, to say the least. But, if we pay attention to the last sentence of the passage, we can see that Maimon doubts whether his great finding will ever be understood. It is not unlikely that in this phrase (“wenn er nur einmal eingesehen werden wird”) Maimon was reacting to his own repeatedly unsuccessful attempts to explain the principle. The fate of Maimon’s principle has not been much better in the few works written on Maimon’s philosophy, and though almost all commentators agree that the principle of determinability is the linchpin of the positive philosophy Maimon was trying to develop, we do not yet have a clear explanation of this principle, or of the reason why Maimon assigns such importance to it. Recently, Oded Schechter developed an excellent reading of this principle, and in most aspects my view agrees with his (primarily, in its rejecting the attempt to explain the principle as a version of Leibniz’s predicate-in-subject [Praedicatum inest subjecto] containment thesis). My paper consists of two parts. The first is expository in nature. In this part, I spell out briefly the main aspects of Maimon’s principle of determinability and its aims. In the second part, I examine Maimon’s surprising claim that once we accept the principle of determinability, we have to deny the possibility of two subjects sharing the same predicate. Maimon provides several proofs for this highly counterintuitive claim, and I will try to clarify and evaluate these proofs. (shrink)

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

The past four decades of research in the social sciences have shed light on two important phenomena. One is that human decision-making is full of predicable errors and biases that often lead individuals to make choices that defeat their own ends (i.e., the bad choice phenomenon), and the other is that individuals’ decisions and behaviors are powerfully shaped by their environment (i.e., the influence phenomenon). Some have argued that it is ethically defensible that the influence phenomenon be utilized to address (...) the bad choice phenomenon. They propose that “choice architects” learn about the various ways in which choices can be influenced and directed by the environment, and then work to design environments, broadly construed, that influence individuals towards choices that make them better off. Those who advocate intentionally creating choice environments that lead people to better choices believe that doing so is ethically permissible because (1) it makes people better off, and (2) it does so in a way that is entirely compatible with individual liberty. The evaluation of these two claims is the main focus of this paper. (shrink)

This essay explores the thesis that for vague predicates, uncertainty over whether a borderline instance x of red/large/tall/good is to be understood as practical uncertainty over whether to treat x as red/large/tall/good. Expressivist and quasi-realist treatments of vague predicates due to John MacFarlane and Daniel Elstein provide the stalking-horse. It examines the notion of treating/counting a thing as F , and links a central question about our attitudes to vague predications to normative evaluation of plans to treat a (...) thing as F . The essay examines how the account applies to normatively defective or contested terms. The final section raises a puzzle about the mechanics of MacFarlane’s detailed implementation for the case of gradable adjectives. (shrink)

In this paper, I argue for the instability of an increasingly popular position about how metaphysicians ought to regard parsimony. This instability is rooted in an unrecognized tension between two claims. First, we as metaphysicians ought to minimize the number of ontological kinds we posit. Second, it is not the case that we ought to minimize the number of ideological expressions we employ, especially when those expressions are of the same ideological kind (e.g. the compositional predicates "is a part (...) of" and "overlaps"). I argue that the two claims are in tension with one other. At the very least, minimizing the number of ontological kinds posited entails minimizing the number of expressions employed---more specifically, the "ontologically committing" predicates. But, plausibly, the tension runs deeper than that. I suggest that minimizing the number of ontological kinds just is a specific way of minimizing the number of ideological expressions employed in stating a theory. The two activities target the same aspect of reality, the world's metaphysical structure. I end by evaluating three different responses to this puzzle. Ultimately, I suggest that metaphysicians should treat the minimization of the number of ideological expressions as more important than it currently is treated. (shrink)

My aim is to defend a peculiar epistemic version of the particularity thesis, which results from a sui generis combination of what I call the ‘singular relational view’ and what I call the ‘relativistic content view.’ Particulars are not represented as part of putative singular content. Instead, we are perceptually acquainted with them in the relevant sense that experience puts us in direct perceptual contact with them. And the content of experience is best modeled as a propositional function, that is, (...) the content of a complex predicate that is true or false only relative to some circumstances of evaluation. (shrink)

Both patched versions of the Bostrom/Kulczycki simulation argument contain serious objective errors, discovered while attempting to formalize them in predicate logic. The English glosses of both versions involve badly misleading meanings of vague magnitude terms, which their impressiveness benefits from. We fix the errors, prove optimal versions of the arguments, and argue that both are much less impressive than they originally appeared. Finally, we provide a guide for readers to evaluate the simulation argument for themselves, using well-justified settings of the (...) argument parameters that have simple, accurate statements in English, which are easier to understand and critique than the statements in the original paper. (shrink)

Must we choose between reducing material substances to collections of properties, a’ la Berkeley and Hume or positing bare particulars, in the manner of Locke? Having repudiated the notion that a substance could simply be a collection of properties existing on their own, is there a viable alternative to the Lockean notion of a substratum, a being essentially devoid of character? E.J. Lowe and Michael Loux would answer here in the affirmative. Both recommend hylomorphism as an upgrade on the metaphysics (...) of the British empiricists: treating a material substance as its essential 'form,' this embodied 'substance' universal being, in turn, the substratum in which its 'accidents' inhere. Here, I evaluate this Aristotelian metaphysics, identifying the advantages it enjoys over the empiricist's alternatives pertaining to dependence, unity, identity, change, and the distinction between essential and accidental properties. I also develop solutions to the two problems that Loux sees it posing. (shrink)

Quine (1960, "Word and object". Cambridge, Mass.: MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. 'Rabbit' might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous 'argument from below' to the conclusion that there can be no fact of the (...) matter as to how reference is to be divided. Putative counterexamples to Quine's claim have been put forward in the past (see especially Evans (1975, "Journal of Philosophy", LXXII(13), 343-362. Reprinted in McDowell (Ed.), "Gareth Evans: Collected papers." Oxford: Clarendon Press.), Fodor (1993, "The elm and the expert: Mentalese and its semantics." Cambridge, MA: Bradford)), and various patches have been suggested (e. g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), "A companion to the philosophy of language" (pp. 397-426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as 'rabbit' divide their reference over four-dimensional continuants (Quine's rabbits), instantaneous temporal slices of those continuants (Quine's rabbitslices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Most epistemologists agree that epistemic justification is required for knowledge. This requirement is usually formulated in one of two ways: S knows that p only if S is justified in believing that p. S knows that p only if S's belief that p is justified. Surprisingly and are generally regarded as synonymous formulations of the justification condition. In Chapter 1, I argue that such a synonymy thesis is mistaken and that, in fact, and specify substantively different requirements. requires that the (...) person be justified, whereas requires that the belief in question be justified, and intuitively, these constitute different requirements. Thus, it is concluded that and employ inherently different kinds of epistemic justification in their respective analysantia. I dub them "personal justification" and "doxastic justification", respectively. The remainder of the dissertation is devoted to demonstrating both the legitimacy and the importance of the personal/doxastic justification distinction. For example, the distinction helps account for the divergent intuitions that regularly arise regarding justificatory evaluations in demon-world contexts. ;In Chapters 2 and 3 I provide analyses for doxastic and personal justification. Chapter 2 spells out an externalist reliabilist account of doxastic justification which safely avoids demon-world counterexamples. Chapter 3 advances an internalist coherence account of personal justification. In defending this coherence theory, I argue that all foundation theories are false and that the regress argument on which they are predicated is unsound. ;In Chapter 4, I propose an analysis of ordinary knowledge which only requires doxastic justification. Nevertheless personal justification plays a negative, undermining role in the analysis. I then demonstrate that this analysis of knowledge is immune to typical Gettier examples. It also remains unscathed by Harman's beefed-up Gettier cases. Finally, I consider a stronger analysis of knowledge requiring both doxastic and personal justification. Though the latter analysis proves too strong for ordinary knowledge, it remains interesting as an analysis of a more intellectualistic kind of knowledge. ;The final chapter examines the internalist/externalist controversy and demonstrates that this controversy is yet another manifestation of the personal/doxastic justification conflation. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified informal (...) calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

Various schemes have been devised to tackle the problem of poor quality of University graduates in Nigeria. In spite of this, the problem has persisted. This paper essentially links poor quality graduates in Nigeria to the decentralized examination system which governs University degree examinations. Therefore, for detail study, this paper focuses on the linkage between the problem of poor quality graduates and credibility of the decentralized, individualized and autonomous University examination systems. The approach adopted in this paper is predicated on (...) the fact that the subjective nature of University examination systems undermines quality by “shielding” the prospective graduate from facing a universally standardised objective evaluation. The objective of this paper is to devise a scheme towards finding a lasting solution to the problem. To achieve this goal, the paper postulates a thesis called – Joint Graduation, Convocation and Certification Programme (JGCCP) – which would involve universal testing and certification of graduates in Nigeria. It is a standardized framework which will allow for harmonized and universal approach to solving the problem. The objective is based on the fact that examination is the most important instrument used in Nigeria in determining quality of graduates. (shrink)

Using two examples of ethical choice, Philippa Foot’s snake and the traffic roundabout, this paper offers an account of normative induction that characterizes particularism and generalism as stages of normative inquiry, rather than rival accounts of moral knowledge and motivation. Ethical particularism holds that the evaluative cannot be “cashed out” in propositional form, and that it is descriptively “shapeless.” Drawing on examples from law, this paper claims that, while individual normative inquiry may be viewed as encountering a shapeless particularist (...) context of seemingly unlimited non-moral properties, normativity is driven by repetition of similar situations toward shared practices and descriptive predication. Rather than retention of epistemic status by defeated reasons,this illustrates retirement of relevant properties and accompanying reasons,transformation of the reasons environment, and a pluralist normative ontology. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)