Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

Might something I do now make something have happened earlier? This paper is about an argument which concludes that I might. Some arguments about “backward causation” conclude that the world could have been the kind of place in which actions make things have happened earlier. The present argument says that it is that kind of place: that we actually are continually doing things that really make earlier things have happened. The argument is not new. It sees temporal direction as logically (...) independent of any direction which necessary and sufficient conditions may have and it sees causal direction as properly deriving from the latter. Thus the directions of time and of making things happen need not coincide and, as it turns out, do not actually coincide in fact. There are examples of events which are sufficient, in a suitably rich sense, for the occurrence of earlier events; hence they make the earlier events happen. My purpose in this paper is to lend support to the argument by filling in some details which ‘backward sufficient conditions’ may lay claim to. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

The purpose of this paper is to explore the issue of how the validity of the parallel inference is possible in view of its deep semantic-syntactic structure. I fi...

This article gives a holistic re-examination of the semantic content and syntactic structure of the concept of relative identity: it suggests and explains an expanded and enhanced dual-track characterization of relative identity. It is expanded in this sense: its due coverage is not narrowly restricted to the equal-status case of identity statements (the symmetric case for identity simplex) but also includes the category-assimilating case (the asymmetric case for identity complex), both of which are unified by the shared semantic core content (...) of relative identity. It is enhanced in this sense: it is intended to give a more refined characterization of relative identity for the sake of enhancing our understanding of the structure and content of real-life relative-identity statements in people’s basic employment of language in view of the relation between thought, language, and the world. (shrink)

After a critical presentation of the debate between absolutists and relativists regarding generality where I show that the debate is framed in a way that is bound to be harmful to the relativist’s position, I examine critically one of the customary arguments advanced against the relativist: the expressibility objection (according to which the relativist would be logically unable to express her own position). I then propose a radical way out of this debate-usually centered on semantic paradoxes-by arguing that it rests (...) on an unintelligible notion of “object”. I finally introduce a useful distinction between omnis and totus to elucidate the notions in play. (shrink)

An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The power of PPL is illustrated (...) by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)

This paper aims to motivate a new beginning in metaphysical thinking about persistence by drawing attention to the disappearance of change in current accounts of persistence. I defend the claim that the debate is stuck in a dilemma which results from neglecting the constructive role of change for persistence. Neither of the two main competing views, perdurantism and endurantism, captures the idea of persistence as an identity through time. I identify the fundamental ontological reasons for this, namely the shared commitment (...) to what I call ‘thing ontology’: an ontology that gives the ontological priority to static things. I conclude by briefly indicating how switching to a process ontological framework that takes process and change to be ontologically primary may allow for overcoming the dilemma of persistence. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

According to three-dimensionalism, objects persist in time by being wholly present at each time they exist; on the contrary, four-dimensionalism asserts that objects persist by having different temporal parts at different times or that they are instantaneous temporal parts of four-dimensional aggregates. Le Poidevin has argued that four-dimensionalism better accommodates two common assumptions concerning persistence and continuity; namely, that time itself is continuous and that objects persist in time in a continuous way. To this purpose, he has offered two independent (...) arguments, each of which moves from a different understanding of continuity. In this paper, both of Le Poidevin’s arguments will be discussed and rejected. (shrink)

The simplest response to the problem of evil is to deny that there exists any evil, but that answer is usually dismissed as obviously unacceptable. This paper takes issue with that assessment and argues that it is an answer deserving of serious consideration. After rejecting four manifestly unacceptable formulations, two further conceptions are identified—the ‘higher standard’ and ‘wider perspective’ answers—which merit closer attention. The remainder of the paper considers and responds to four main objections to the theory: that it runs (...) contrary to our experience, that it is self-defeating, that it makes a nonsense of worship and that it would undermine moral action. (shrink)

Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...) solutions can be understood through this paradox; I evaluate them, and defend a new solution. (shrink)

The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...) appealing to the logic of common nouns and applying it to the logic of natural-kind terms.This strategy yields a new insight into the concept of natural kinds. While the strategy reveals deep affinity between empirical induction and deduction it also reveals two problems peculiar to induction. This helps to explain the intuition that induction is the more problematic of the two. The paper does not set out ‘to solve the problem of induction’. 1The paper has benefited from the support and critical comments of several friends: Steven Davis, Kevin Dunbar, Anil Gupta, Michael Hallett, Ray Jackendoff and Storrs McCall. Two friends, however, deserve special thanks, Michael Makkai and Gonzalo Reyes. Many of the points made in the paper, otherwise unacknowledged, are due to their generosity and patience. In fact, the paper can be seen as an application of the logic of kinds on which Gonzalo Reyes has been working for several years. (shrink)

Given Conciliar Christology and a compositionalist metaphysics of the incarnation, I explore whether ‘qua-propositions’ are capable of solving the coherence problem in Christology. I do this by probing the metaphysical aspect of qua-propositions, since ‘semantics presupposes metaphysics’. My proposal focuses on the fact that the Word accidentally owns an individual human nature. Due to that individuality, the human properties first characterise the individual human nature and, in a ‘next step’, this individual human nature characterises the Word. I call this ‘stepped (...) characterisation’. Subsequently, I show that stepped characterisation validates the use of qua-propositions in Conciliar Christology. Hence, qua-propositions are not merely ‘muddling the waters of logic’. (shrink)

This essay presents a dialogical framework for treating philosophical disagreements as persuasion dialogues with analogical argumentation, with the aim of recasting philosophical disputes as disagreements over analogies. This has two benefits: it allows us to temporarily bypass conflicting metaphysical intuitions by focusing on paradigmatic examples, similarities, and the plausibility of conclusions for or against a given point of view; and it can reveal new avenues of argumentation regarding a given issue. This approach to philosophical disagreements is illustrated by studying the (...) role of argumentation by analogy in disputes over Lockean justifications of intellectual property rights, and disagreements over whether artificial agents should be treated as moral agents. Finally, a nonexhaustive list of possible global and local points of contention over analogical arguments is identified in order to highlight potential avenues of argumentation in disagreements over analogies. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

I discuss E. J. Lowe's conception of criteria of identity and sketch a different and, I think, more adequate conception. On my view, criteria of identity are some of the things we can do. They are what we do when distinguishing between single entities of the kind in question and pairs of entities of the relevant domain. And they enable us to make such distinctions because they are applicable to all single and to all pairs of entities of the relevant (...) domain but fulfilled only by all single entities of the kind in question. This feature of criteria of identity allows us to define these criteria, to explain how to identify a particular criterion of identity and to determine the logical form in which to express such identifications. (shrink)

This article explores Gareth Evans’s idea that there are such things as descriptive names, i.e. referring expressions introduced by a definite description which have, unlike ordinary names, a descriptive content. Several ignored semantic and modal aspects of this idea are spelled out, including a hitherto little explored notion of rigidity, super-rigidity. The claim that descriptive names are (rigidified) descriptions, or abbreviations thereof, is rejected. It is then shown that Evans’s theory leads to certain puzzles concerning the referential status of descriptive (...) names and the evaluation of identity statements containing them. A tentative solution to these puzzles is suggested, which centres on the treatment of definite descriptions as referring expressions. (shrink)

This article responds to logical and social theses proposed by Professor José Medina in discussing the relativity of identity. In exploring the metaphor of family resemblance, the author argues that its causal mechanism is biological, not social; particular features of being a woman, or of belonging to a racial or ethnic group, cannot be reduced to social constructions. The article skeptically discusses the supposed importance of sex, race, and ethnicity to a person’s individual identity, and suggests that moral significance finds (...) its origin and grounding elsewhere. It concludes that no liberation can be ‘complete, or even adequate’ until it liberates the mind from ‘“scripts” rooted in the delusion of “collective identities”’. (shrink)

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related group of (...) phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

Specificity has been defined in the linguistic literature according to two different criteria: one corresponding to Quine's opaque and transparent contexts, and the other to criteria closely related to Donellan's referential/attributive distinction. The paper argues that only the former definition is a semantic one since it alone manifests linguistic correlates. The meaning changes involving referential/attributive factors are pragmatic in nature. In the concluding section is is argued that the semantics of specificity is completely independent of the relative scope interpretation of (...) an indefinite noun phrase in relation to other quantified nouns in the sentence. This is demonstrated using sentences which contain an indefinite interacting with both an opaque operator and a second quantifier. It is shown that such sentences can be four ways ambiguous. (shrink)

This paper is concerned with the debate in evolutionary epistemology about the nature of the evolutionary process at work in the development of science: whether it is Darwinian or Lamarckian. It is claimed that if we are to make progress through the many arguments that have grown up around this issue, we must return to an examination of the concepts of change and evolution, and examine the basic kinds of mechanism capable of bringing evolution about. This examination results in two (...) kinds of processes being identified, dubbed direct and indirect, and these are claimed to exhaust all possibilities. These ideas are then applied to a selection of the debates within evolutionary epistemology. It is shown that while arguments about the pattern and rate of evolutionary change are necessarily inconclusive, those concerning the origin of novel variations and the mode of inheritance can be resolved by means of the distinctions made here. It is claimed that the process of selection in the evolution of science can also be clarified. The conclusion is that the main process producing the evolution of science is a direct or Lamarckian one although, if realism is correct, an indirect or Darwinian process plays a vital role. (shrink)

Litotes, “a figure of speech in which an affirmative is expressed by the negative of the contrary” has had some tough reviews. For Pope and Swift, litotes—stock examples include “no mean feat”, “no small problem”, and “not bad at all”—is “the peculiar talent of Ladies, Whisperers, and Backbiters”; for Orwell, it is a means to affect “an appearance of profundity” that we can deport from English “by memorizing this sentence: A not unblack dog was chasing a not unsmall rabbit across (...) a not ungreen field.” But such ridicule is not without equivocation, given that litotes, or “logical” double negation, may or may not be semantically redundant. When the negation of a logical contrary yields an unexcluded middle, it contributes to expressive power: someone who is not unhappy may not be happy either, and an occurrence may not be infrequent without being frequent. But if something is not possible, what can it be but possible? Why does Crashaw’s “not impossible she” survive rhetorically while Orwell’s “not unsmall rabbit” is doomed? How is Robbie being “not not friends” with Mary on 7th Heaven distinct from being friends with her, if not not-p reduces to p? The key is recognizing in litotes a corollary of MaxContrary, the tendency for contradictory sentential negation ¬p to strengthen pragmatically to a contrary ©p, as when the formal contradictory Fr. “Il ne faut pas partir” is reinterpreted as expressing a contrary. Just as the Law of Excluded Middle can apply where it “shouldn’t”, resulting in pragmatically presupposed disjunctions between semantic contraries, so that “p v ©p” amounts to an instance of “p v ¬p”, the Law of Double Negation can fail to apply where it “should”. When not not-p conveys ¬©p, the negation of a virtual contrary, the middle between p and not-p is no longer excluded, rendering the Fregean dictum that “Wrapping up a thought in double negation does not alter its truth value” not unproblematic. (shrink)

La relación entre el problema de la temporalidad del valor y el de nuestra persistencia diacrónica prácticamente no ha sido explorada hasta ahora. Sin embargo, el análisis de cada una de estas cuestiones puede arrojar luz sobre la otra de manera interesante. Este artículo argumentará que las conexiones entre la asimetría de nuestras actitudes hacia el futuro y el pasado, y la cuestión de nuestra persistencia diacrónica pueden defenderse sin incurrir en modo alguno a una petición de principio. The relation (...) between the problem of the temporality of value and the problem of our diachronic persistence has virtually not been explored so far. However, the analysis of these questions can shed light on each other in an interesting way. This paper argues that an explanation of the connections between the asymmetry of our attitudes towards the future and the past and the question of our diachronic persistence is possible without begging the question in any way. (shrink)

This paper examines an often-ignored aspect of the evaluation of metaphysical analyses, namely, their ontological commitments. Such evaluations are part of metaphysical methodology, and reflection on this methodology is itself part of metametaphysics. I will develop a theory for assessing what these commitments are, and then I will apply it to an important historical and an important contemporary metaphysical analysis of the concept of an individual substance (i.e., an object, or thing). I claim that in evaluating metaphysical analyses, we should (...) not only rule out counterexamples, but also compare them with respect to their ontological commitments, and we should hold that if they are comparable in other respects, then an analysis with fewer such commitments is preferable to one with more (There is, of course, a connection between counterexamples and ontological commitments. If the existence or possible existence of something one is committed to the existence or possible existence of is incompatible with an analysis, then one should reject that analysis as inadequate to the data. On the other hand, if one is uncertain about the existence or possible existence of something that is incompatible with an analysis, then while this does not refute the analysis for one, it raises doubts about it. The fewer such doubts are raised by an analysis, the better it is.). (shrink)

Psychological accounts of personal identity claim that the human person is not identical to the human animal. Advocates of such accounts maintain that the definition and criterion of death for a human person should differ from the definition and criterion of death for a human animal. My contention is instead that psychological accounts of personal identity should have human persons dying deaths that are defined biologically, just like the deaths of human animals. Moreover, if brain death is the correct criterion (...) for the death of a human animal, then it is also the correct criterion for the death of a human person. What the nonidentity of persons and animals requires is only that they have distinct criteria for ceasing to exist. (shrink)

Contemporary philosophical logic rests on a distinction between things and properties. Properties are thought to differ from things in that their proper expression is incomplete or unsaturated. In this paper, I will argue that Aristotle did not distinguish between things and properties in this way. I will show, first, that Aristotle’s essences are not properties, and that certain passages in Aristotle make sense only if we do not take accidents to be properties either. The notion of a property is thus (...) not fundamental in Aristotle’s theory of predication. Aristotle’s predicate terms do not stand for properties but for non-substantial things. Second, I will explain and explore the distinction between substances and non-substantial things. This will yield a viable alternative to our contemporary, Fregean account of predication. (shrink)

The account of knowledge in Plato’s Theaetetus, as true belief meta logou, seems to lead to a regress, which may be avoided by defining one kind of knowledge as true belief that rests on a different kind of knowledge. I explore a specific version of this move: to define knowledge as true belief that results from a successful and proper exercise of a rational capacity (a dunamis meta logou).

An -ever free relative is felicitous only when the speaker doesn’t know, or doesn’t care about, the identity of the entity denoted. In this paper we investigate what it means to identify an entity by examining the non-identification condition on -ever free relatives. Following Dayal (In A. Lawson (Ed.), Proceedings of SALT VII, 1997 ), we analyze -ever free relatives as definites with a modal dimension. We show that the variation in the identity of the entity across the possible worlds (...) in the modal dimension cannot be captured in a model where transworld identity is expressed using a single trivial principle of identity, and present an analysis within a model where transworld identity is relativized to noun meanings, which has been proposed in the philosophical literature for other reasons (Geach 1968 ; Gupta, The logic of common nouns: an investigation in quantified modal logic, 1980 ). The analysis thus shows that natural language semantics is sensitive to relative identity in the sense of Geach and Gupta; furthermore, it sets the stage for a new typology of referring expressions based on which expression types contribute principles of transworld identity. (shrink)

The aim of this paper is to explain how the Heraclitean doctrine of universal flux must be rejected, while the notion of flux should and can be preserved. Against the reductionist account of subjectless change, a modern version of the Heraclitean doctrine advocated by revisionist metaphysics, I argue that (1) the idea of subjectless change is one that can and should be formulated in the established conceptual framework, and (2) subjectlessness is a feature that most aptly characterizes material changes. In (...) essence, I seek to provide a proper accommodation for the notion of flux in a conceptual framework that is traditionally understood (or rather misunderstood) as decidedly excluding it. (shrink)

Illocutionary force and semantic content are widely held to occupy utterly different categories in at least two ways: Any expression serving as an indicator of illocutionary force must be without semantic content, and no such expression can embed. A refined account of the force/content distinction is offered here that does the explanatory work that the standard distinction does, while, in accounting for the behavior of a range of parenthetical expressions, shows neither nor to be compulsory. The refined account also motivates (...) a development of the "scorekeeping model" of conversation, helps to isolate a distinction between illocutionary force and illocutionary commitment, and reveals one precise respect in which meaning is only explicable in terms of use. (shrink)

In this paper we reach back to an earlier generation of discussions about both linguistic meaning and moral language to answer the still-current question as to whether and in what way some special non-descriptive feature comprises part of the semantics of identifiably ethical terms. Taking off from the failure of familiar meta-ethical theories, restricted as they are to the Fregean categories of Sense and Force (whether singly or in combination), we propose that one particular variety belonging to Frege’s humble semantic (...) category of Farbung –– what Dummett calls Tone –– holds the key. Specifically, the kinds of expressions that Dummett dubs “expressives”, when properly understood as representing a speaker’s sentiment, solve the mystery not only of moral discourse, but of evaluative language, broadly construed. On this basis we account for moral language’s special relation to action motivation in ways that avoid Moore’s paradox and honor, in unasserted contexts, what Geach calls ‘the Frege point’. Commitments to the public and social character of natural language are also respected. (shrink)

There is a feeling of dissatisfaction with the traditional way of defining the A-theories of time. One reason is that these definitions rest on an ontological question—‘Do the future and the past exist?’—to which no non-speculative answer can be provided. Another reason is that these definitions fail to distinguish between various A-theories of time at all times and, therefore, cannot be regarded as essential to them. In the present paper, I make a fresh start in the debate, by introducing two (...) questions whose specific answers allow one to get a comprehensive categorization of the A-theories of time. This alternative way of defining the A-theories of time addresses the two above-mentioned issues and reveals the metaphysical singularity of underrated theories, such as the growing block theory. (shrink)

An interpretation of John Dewey’s views about realism, science, and naturalistic philosophy is presented. Dewey should be seen as an unorthodox realist, with respect to both general metaphysical debates about realism and with respect to debates about the aims and achievements of science.

An interpretation is given of John Dewey's views about “realism” in metaphysics, and of how these views relate to contemporary debates. Dewey rejected standard formulations of realism as a general metaphysical position, and interpreters have often been taken him to be sympathetic to some form of verificationism or constructivism. I argue that these interpretations are mistaken, as Dewey's unease with standard formulations of realism comes from his philosophical emphasis on intelligent control of events, by means of ordinary action. Because of (...) his views about relations, Dewey's views in this area do risk collapsing into an overly holistic position. I discuss how these problems might be avoided, and consider also how Dewey's views about naturalism and realism might usefully inform ongoing work. (shrink)

This paper critically examines a formal argument against deducing ‘ought’-judgments from ‘is’-judgments, an argument suggested by a literal reading of a famous passage in Hume'sTreatise of Human Nature. According to this argument, judgments of the two kinds have different logical structures (i.e., their subjects are differently related to their predicates) and this difference disallows cross-categorical deductive inferences. I draw on Fregean accounts of the ‘is’- copula and on syntactical interpretations of ‘ought’-judgments that have become standard in deontic logic to argue (...) that twentieth century work in philosophical grammar and logic casts doubt on all three of the argument's premises. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.

Several have denied that there is, specifically, a criterion of identity for persons and some deny that there are, for any kind, diachronic criteria of identity. I argue, however, that there are no criteria of identity, either synchronic or diachronic, for any kind whatsoever. I begin by elaborating the notion of a criterion of identity in order to clarify what exactly is being denied when I maintain there are none. I examine the motivation of those who qualify in some way (...) the general claim that there are synchronic and diachronic criteria of identity for every kind, then present my direct and categorical argument against such criteria. I next evaluate the objections of those who argue that rejecting criteria of identity has untenable results. These objections are ineffective, each based on the incorrect assumption that if there is no criterion of identity for a kind, the identity of an instance of that kind is independent of its qualities. I conclude by considering some of the upshots of rejecting criteria of identity and the insight doing so provides into things in general and the limits of ontological inquiry. (shrink)

This article intends to show that the defense of “understanding” as one of the major goals of science education can be grounded on an anti-reductionist perspective on testimony as a source of knowledge. To do so, we critically revisit the discussion between Harvey Siegel and Alvin Goldman about the goals of science education, especially where it involves arguments based on the epistemology of testimony. Subsequently, we come back to a discussion between Charbel N. El-Hani and Eduardo Mortimer, on the one (...) hand, and Michael Hoffmann, on the other, striving to strengthen the claim that rather than students’ belief change, understanding should have epistemic priority as a goal of science education. Based on these two lines of discussion, we conclude that the reliance on testimony as a source of knowledge is necessary to the development of a more large and comprehensive scientific understanding by science students. (shrink)

According to sententialism, ‘Otto said that I am a fool’ expresses the holding of a relation between Otto and the sentence ‘I am a fool’. Sententialism is generally considered doomed, but I will show that a suitably developed sententialist account can surmount the many objections that have been raised. I will also show how important it is to have a fairer attitude towards sententialism. For if sententialist accounts are recognised as real options, it should also be recognised that the conclusion, (...) drawn by many, that sentences such as the report above force us to introduce Kaplanian monsters is unwarranted. (shrink)

In the Posterior Analytics (I 6, 75a18–27) Aristotle discusses a puzzle which endangers the possibility of inferring a non-necessary conclusion. His solution relies on the distinction between the necessity of the conclusion's being the case and the necessity of admitting the conclusion once one has admitted the premisses. The former is a factual necessity, whereas the latter is meant to be a normative or deontic necessity that is independent of the facts stated by the premisses and the conclusion. This paper (...) maintains that Aristotle resorts to this distinction because he thinks that, as long as it is conceived as a factual relation, logical consequence cannot exist independently of the facts expressed by the premisses and the conclusion. As a corollary, the necessity of such a consequence relation always requires the necessity of these facts. Aristotle holds this factual conception of logical consequence responsible for the puzzle, since it cannot account for valid syllogisms with contingent or false premisses. The alternative conception of necessity is then introduced by him in order to make good this deficiency. The distinction between the necessity of being and the necessity of saying was revived by the Oxford logician E. W. B. Joseph, and taken over by Frank Ramsey in his seminal Truth and Probability, but has not received attention from recent interpreters of Aristotle's logic. This paper, however, argues that, in spite of its intrinsic interest, the distinction bore no significant fruit in Aristotle's logical doctrine. (shrink)