Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our objective is to analyse (...) the General Definition's Final Clause and its consequences on syllogistic. We propose a reading of the Final Clause as an additional criterion for distinguishing some arguments as properly syllogistic ones and as a main theme which connects all parts of the Prior Analytics I into one coherent piece of work. (shrink)

Aristotle's theory of demonstration, developed in the Posterior Analytics, is not restricted to determining the formal requirements for formulating probative arguments that establish properly the results of scientific investigation. To the probative aspect of demonstration it shall be added its primarily explanatory character, orientated by theses of strong ontological and metaphysical content and involving notions like substance, essence and causation. We shall analyze the relation between those two ranges of Aristotle's philosophy of science and investigate how the formal features of (...) demonstration maintain an affinity with the metaphysical background to which scientific activity is conditioned. (shrink)

No tratado intitulado Segundos Analíticos, Aristóteles desenvolve uma teoria da demonstração científica e da ciência demonstrativa. Ali, o conhecimento científico é descrito pelo filósofo como envolvendo uma certa "necessidade". Alguns intérpretes associam esta noção de necessidade à necessidade modal, pertinente à silogística modal de Aristóteles. Esta interpretação, todavia, tornaria o modelo de ciência proposto nos Analíticos incompatível com os explananda das ciências da natureza, cuja cientificidade o próprio Aristóteles reiteradamente defendeu. A fim de evitar este inconveniente, abordamos e reconstruímos a (...) mencionada interpretação, reconhecemos suas falhas e propomos, seguindo outra tendência da literatura secundária, uma leitura alternativa da noção de necessidade como adequação explanatória, a qual garantiria a cientificidade dos fenômenos naturais. (shrink)

ABSTRACT The aim of this paper is to provide a sketch on the way Nāgārjuna deals with the idea of 'relation'. The concept of 'relation' as expressed in the Pāli sources is here theoretically systematized according to three patterns: 1. logical, 2. strictly subordinative existential, 3. non-strictly subordinative existential. After having discussed Nāgārjuna's acceptance and treatment of these three patterns, particular attention is paid to the non-strictly subordinative existential relation. This kind of relation is meant to describe the way the (...) factors of the conditioned co-origination are linked to each other and is exemplified by Nāgārjuna by means of the father-son bond. A possible way to explain the conditioned co-origination doctrine in the light of the father-son example is here suggested by having resource to the 'Cambridge change' theory. Even if in the Pāli Canon the non-strictly subordinative existential pattern is said to apply to all the other factors of the conditioned co-origination, there is no direct evidence that it concerns also the avidyā-saṃskāras link. It will be shown how Nāgārjuna, by applying it to the avidyā-saṃskāras link, seems to introduce a new perspective in the conditioned co-origination theory. RESUMO O objetivo deste artigo é proporcionar um esboço da maneira na qual Nāgārjuna aborda a ideia de 'relação'. O conceito de 'relação' que encontramos nas fontes pāli é aqui sistematizado teoricamente conforme três padrões: 1. lógico, 2. existencial estritamente subordinativo, 3. existencial não estritamente subordinativo. Após ter discutido a recepção e o tratamento nagarjunianos desses três padrões, este estudo dedica atenção especial à relação existencial não estritamente subordinativa. Esse tipo de relação visa descrever a maneira na qual os fatores da cooriginação condicionada estão ligados entre eles, e é tipificada por Nāgārjuna pelo exemplo da ligação pai-filho. Para explicar a doutrina da cooriginação condicionada à luz do exemplo pai-filho, um modo possível aqui sugerido é por meio do recurso à teoria do 'Cambridge change'. Embora no cânone pāli se diga que o modelo de relação existencial não estritamente subordinativa se aplique a todos os outros fatores da cooriginação condicionada, não há nenhuma evidência direta de que ele concerna também à ligação avidyā-saṃskāras. Será mostrado como Nāgārjuna, ao aplicar esse modelo à ligação avidyā-saṃskāras, pareça introduzir uma nova perspectiva na teoria da cooriginação condicionada. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (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)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

An introduction to the theories of endurantism and perdurantism, and persistence more broadly.

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)

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)

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)

In his “Space, supervenience and substantivalism”, Le Poidevin proposes a substantivalism in which space is discrete, implying that there are unmediated spatial relations between neighboring primitive points. This proposition is motivated by his concern that relationism suffers from an explanatory lacuna and that substantivalism gives rise to a vicious regress. Le Poidevin implicitly requires that the relationist be committed to the “only x and y ” principle regarding spatial relations. It is not obvious that the relationist is committed to this (...) principle in such a context. An additional motivation for Le Poidevin's argument, that space should be considered to be discrete, is that he believes that substantivalists are committed to a vicious regress. I show that the regress is in fact not of the vicious variety. These two main arguments show that Le Poidevin's suggestion that we drop the density postulate for space is unnecessary. (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)

Peter Geach’s distinction between logically predicative and logically attributive adjectives has gained a certain currency in philosophy. For all that, no satisfactory explanation of what an attributive adjective is has yet been provided. We argue that Geach’s discussion suggests two different ways of understanding the notion. According to one, an adjective is attributive just in case predications of it in combination with a noun fail to behave in inferences like a logical conjunction of two separate predications. According to the other, (...) an adjective is attributive just in case it cannot be applied in a truth-value-yielding fashion unless combined with a noun. The latter way of understanding the notion has been largely neglected by Geach’s critics, but we argue that taking account of it shows the misguided nature of some of their objections, and also yields a more satisfactory explanation of attributivity than does the other. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject to (...) an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (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.

The Christian doctrine of the Trinity poses a serious philosophical problem. On the one hand, it seems to imply that there is exactly one divine being; on the other hand, it seems to imply that there are three. There is another well-known philosophical problem that presents us with a similar sort of tension: the problem of material constitution. We argue in this paper that a relatively neglected solution to the problem of material constitution can be developed into a novel solution (...) to the problem of the Trinity. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

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)

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)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Monists and pluralists disagree concerning how many ordinary objects there are in a single situation. For instance, pluralists argue that a statue and the clay it is made of have different properties, and thereby are different. The standard monist’s response is to hold that there is just a single object, and that, under the description “being a statue”, this object is, e.g., aesthetically valuable, and that, under the description “being a piece of clay”, it is not aesthetically valuable. However, Fine (...) provided an ontological reading of the expression “an object under a description”: the theory of rigid embodiments. The debate between monists and pluralists reduplicates in the domain of ordinary occurrences, like walks and conferences. Specifically, they disagree whether an occurrence in progress (also called “process”) like John’s walk that is happening at tn is identical to some completed occurrence (also called “event”) like John’s walk that happened between, e.g., t1 and tn. Under the adoption of the pluralist’s position, the article aims to provide a novel theory of ordinary occurrences that develops the ontological reading of “under a description” to account for occurrences in progress and completed occurrences. As a first result, we formulate a theory according to which both occurrences in progress and completed occurrences are rigid embodiments. As a second result, we argue that the suggested theory is explanatorily powerful to the extent it solves two puzzles that we call “the Puzzle from the Completion of a Process” and “the Metaphysical-cum-Semantical Puzzle”. (shrink)

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)

While the modern revival of virtue ethics largely looks back to Aristotle, most, if not all, versions of this trend continue to be much indebted to and/or based upon specific mid‐twentieth‐century neo‐naturalist and descriptivist critiques of prevailing antinaturalist trends of that time: specifically, upon Anscombe's critique of the ethics of duty and utility and of the so‐called modern moral ought, and Geach's robust defence of the descriptive character of moral and other goodness. However, in the wake of further critical attention (...) to these neo‐naturalist claims, this paper argues that there can ultimately be no reliable or secure logical or empirical grounding of the virtues of inherently normative human moral life and conduct in the goods or virtues of effective or even beneficial natural function. (shrink)

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)

“Philosophy as a way of life” has its roots in ancient ethics and has attracted renewed interest in recent decades. The aim in this paper is to construct a contemporized image of Socrates, consistent with the textual evidence. The account defers concern over analytical/theoretical inquiry into virtue, in favor of a neo-existentialist process of self-examination informed by the virtue of what is called “moral seriousness.” This process is modeled on Frankfurt’s hierarchical account of self-identification, and the paper suggests an expansion (...) of Frankfurt’s concept of a person to include “full” personhood, in which the apprehended “meaning” of one’s “whole life” is taken as a necessary condition for eudaimonia (meaning of life) and is characterized by phenomenological transcendence. In addition, the importance to the self-examination process of the informed scrutiny of a community of philosophers is discussed. (shrink)

In order to understand Hegel’s form of philosophical reflection in general, we must read his ‘speculative’ sentences about spirit and nature, rationality and reason, the mind and its embodiment as general remarks about conceptual topics in topographical overviews about our ways of talking about ourselves in the world. The resulting attitude to traditional metaphysics gets ambivalent in view of the insight that Aristotle’s prima philosophia is knowledge of human knowledge, developed in meta-scientific reflections on notions like ‘nature’ and ‘essence’, ‘reality’ (...) and ‘truth’, about ‘powers’ and ‘faculties’ – and does not lead by itself to an object-level theory about spiritual things like the soul. We therefore cannot just replace critical metaphysics of the human mind by empirical investigation of human behaviour as empiricist approaches to human cognition in naturalized epistemologies do and neuro-physiological explanations propose. Making transcendental forms and material presuppositions of conceptually informed perception and experience explicit needs some understanding of figurative forms of speech in our logical reflections and leads to other forms of knowledge than empirical observation and theory formation. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (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)

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)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...) one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (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)

Expressivism can make space for normative objectivity by treating normative stances as pro or con attitudes that can be correct or incorrect. And it can answer the logical challenges that bedevil it by treating a simple normative assertion not merely as an expression of a normative stance, but as an expression of the endorsement of a proposition that is true if and only if that normative stance is correct. Although this position has superficial similarities to normative realism, it does full (...) justice to the core expressivist thesis that, at bottom, a normative assertion expresses a normative stance rather than a factual belief. (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)

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)

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)