First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

is the second-order theory of the part-whole relation. It can express such hypotheses about the size of Reality as that there are inaccessibly many atoms. Take a non-empty class to have exactly its non-empty subclasses as parts; hence, its singleton subclasses as atomic parts. Then standard set theory becomes the theory of the member-singleton function—better, the theory of all singleton functions—within the framework of megethology. Given inaccessibly many atoms and a specification of which atoms are urelements, a singleton function exists, (...) unique up to isomorphism. (This article is partly abridged from my Parts of Classes, partly a sequel.). (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

The contribution examines Goodman’s conception of philosophy, in particular his remark that his project can be understood as a «critique of worldmaking». It is argued that, despite dealing with epistemological questions, the general theory of symbols and worldmaking does not answer them. Rather, it can be conceived as a practical conception comparable to Kant’s critique of reason or to Wittgenstein’s critique of language games, i. e. , as a philosophy of world orientation. It is claimed that Goodman himself could not (...) articulate this dimension of his position appropriately as he kept using the language of epistemology. Yet many aspects of his thinking become much clearer if they are interpreted within a non-epistemological frame. (shrink)

In “Two Dogmas”, Quine indicates that Carnap’s Aufbau fails “in principle” to reduce our knowledge of the external world to sense data. This is because in projecting the sensory material to reconstruct the physical world, Carnap gives up the use of operating rules and switches to a procedure informed by general principles. This procedure falls short of providing an eliminative translation for the connective “is at”, which is necessary for the reduction. In dissecting Quine’s objection, I argue that Quine has (...) at best proven the claim that the use of general principles essentially fails the task of radical reductionism. However, in order to establish the conclusion that the Aufbau fails in principle, Quine needs to further vindicate two other claims. They are: first, a switch from operating rules to general principles is necessary; second, the set of general principles Carnap adopts is the best alternative. By disambiguating the notion of “explicit definition” and examining the concept of definability in the Aufbau, I explore the possibility of justifying these two claims that Quine overlooks in his objection. The result suggests that Quine’s objection stands in tension with his radical reductionist reading of the Aufbau. (shrink)

I offer a mereological bundle of universals theory of material objects. The theory says that objects are identical to fusions of immanent universals at regions of space. Immanent universals are in the objects that instantiate them, and they can be wholly located at many regions of space. The version of the bundle theory I offer explains these characteristics of immanent universals, and it captures the instantiation relation in terms of the part-whole relation. The version of the theory I offer is (...) simpler and more unified than other mereological bundle theories. Yet, it is not as encompassing as other versions. For I suppose throughout that space is a particular substance, but not a bundle of properties. (shrink)

If connectionism is to be an adequate theory of mind, we must have a theory of representation for neural networks that allows for individual differences in weighting and architecture while preserving sameness, or at least similarity, of content. In this paper we propose a procedure for measuring sameness of content of neural representations. We argue that the correct way to compare neural representations is through analysis of the distances between neural activations, and we present a method for doing so. We (...) then use the technique to demonstrate empirically that different artificial neural networks trained by backpropagation on the same categorization task, even with different representational encodings of the input patterns and different numbers of hidden units, reach states in which representations at the hidden units are similar. We discuss how this work provides a rebuttal to Fodor and Lepore's critique of Paul Churchland's state space semantics. (shrink)

Little has been said about whether pictures can depict properties of properties. This article argues that they do. As a result, resemblance theories of depiction must be changed to accommodate this phenomenon. In addition, diagrams and maps are standardly understood to represent properties of properties, so this article brings accounts of depiction closer to accounts of diagrams than they had been before. Finally, the article suggests that recent work on perceptual content gives us reason to believe we can perceive properties (...) of properties. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

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

This paper provides a detailed examination of Kit Fine’s sizeable contribution to the development of a neo‐Aristotelian alternative to standard mereology; I focus especially on the theory of ‘rigid’ and ‘variable embodiments’, as defended in Fine 1999. Section 2 briefly describes the system I call ‘standard mereology’. Section 3 lays out some of the main principles and consequences of Aristotle’s own mereology, in order to be able to compare Fine’s system with its historical precursor. Section 4 gives an exposition of (...) Fine’s theory of embodiments and goes on to isolate a number of potential concerns to which this account gives rise. In particular, I argue that Fine’s theory threatens to proliferate primitive sui generis relations of parthood and composition, whose characteristics must be stipulatively imposed on them, relative to particular domains; given its ‘superabundance’ of objects, Fine’s system far outstrips the already inflated ontological commitments of standard mereology; and there is a legitimate question as to why we should consider Fine’s primitive and sui generis relations of parthood and composition to be genuinely mereological at all, given their formal profile. These three objections lead me to conclude that we ought to explore other avenues that preserve the highly desirable, hylomorphic, features of Fine’s mereology, while avoiding its methodological and ontological excesses. (shrink)

In §54 of the Grundlagen, Frege advances an interesting proposal on how to distinguish among different sorts of concepts, only some of which he thinks can be associated with number. This paper is devoted to an analysis of the two criteria he offers, isolation and non-arbitrary division. Both criteria say something about the way in which a concept divides its extension; but they emphasize different aspects. Isolation ensures that a concept divides its extension into discrete units. I offer two construals (...) of this: isolation as discreteness, i.e. absence of overlap, between the objects to be counted; and isolation as the drawing of conceptual boundaries. Non-arbitrary division concerns the internal structure of the units we count: it makes sure that we cannot go on dividing them arbitrarily and still find more units of the kind. Non-arbitrary division focuses not only on how long something can be divided into parts of the same kind; it also speaks to the way in which these divisions are made, arbitrarily or non-arbitrarily, as well as to the compositional structure of the objects divided. (shrink)

In this article I discuss the justification of scientific change and argue that it rests on different sorts of invariance. Against this background I consider notions of observation, meaning, and regulative standards. I sketch an account of the rationale of scientific change which preserves the merits and avoids the shortcomings of the approach of Feyerabend, Hanson, Kuhn, Toulmin, and others. Each of these writers would hold that transitions from one scientific tradition to another force radical changes in what is observed, (...) in the meanings of the terms employed, and in the metastandards involved. They would claim that "incommensurable" replacement is what does, and should, occur during scientific "revolutions." Such writers, however, have trouble in comparing different scientific theories. My account permits different theories to be compared in various ways. These comparisons, I argue, are possible through appeal to "first-level" and "second-level" invariance. In this connection I argue that observation, meaning, and regulative standards should be, and in fact usually are, nontrivially invariant with respect to scientific change. (shrink)

To understand Aristotle’s conception of form, we have to see clearly the relationship between his account and Plato’s Theory of Forms. I offer a novel interpretation of Aristotle’s Moderate Realism, in which forms are simple particulars that ground the character and mutual similarity of the entities they inform. Such an account has advantages in three areas: explaining (1) the similarity of particulars, (2) the synchronic unity of composite particulars, and (3) the diachronic unity or persistence of intrinsically changing particulars.

Stegmüller's most recent publication, Theorie und Erfahrung, is the second of four volumes of a work which appears under the general title Probleme und Resultate der Wissenschaftstheorie und analytische Philosophie,. In this voluminous and daring work the author intends to deliver a systematic, critical account of the most important literature which has appeared on various basic topics of philosophy of science and its underlying assumptions over the past twenty-five years. The work promises to become a classic in the German language (...) because of its comprehensiveness, thoroughness, and clarity. (shrink)

Logics of part/whole relations frequently take parthood or proper parthood as primitive, defining the remaining mereological properties and relations in terms of them. I argue from considerations involving Weak Supplementation for the conclusion that we should take fusion as our mereological primitive. I point out that the intuitions supporting Weak Supplementation also support a stronger principle, Weak Supplementation of Pluralities, and that the principle can only do the work demanded by our intuitions when formulated in terms of a notion of (...) fusion that cannot be defined merely in terms of mereological properties and relations, logic, and a membership relation. So, insofar as we think any definition of fusion must be so restricted, we have motivation to take fusion as primitive; further, we have greater insight into the motivation for our supplementation principle and which version of that principle we ought to endorse. (shrink)

This essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the right kind (...) of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (shrink)

I defend a view of the structure of visual property-awareness by considering the phenomenon of perceptual constancy. I argue that visual property-awareness is a three-place relation between a subject, a property, and a manner of presentation. Manners of presentation mediate our visual awareness of properties without being objects of visual awareness themselves. I provide criteria of identity for manners ofpresentation, and I argue that our ignorance of their intrinsic nature does not compromise the viability of a theory that employs them. (...) In closing, I argue that the proposed manners of presentation are consistent with key direct-realist claims about the structure of visual awareness. (shrink)

ABSTRACTThis paper is concerned with the reasons for the emergence and dominance of analytic philosophy in America. It closely examines the contents of, and changing editors at, The Philosophical Review, and provides a perspective on the contents of other leading philosophy journals. It suggests that analytic philosophy emerged prior to the 1950s in an environment characterized by a rich diversity of approaches to philosophy and that it came to dominate American philosophy at least in part due to its effective promotion (...) by The Philosophical Review’s editors. Our picture of mid-twentieth-century American philosophy is different from existing ones, including those according to which the prominence of analytic philosophy in America was basically a matter of the natural affinity between American philosophy and analytic philosophy and those according to which the political climate at the time was hostile towards non-analytic approaches. Furthermore, our reconstruction suggests a new perspective on the nature of 1950s analytic philosophy. (shrink)

The foremost aim of this paper is to realize the fourth part of the Aufbau. This part, which provides an actual phenomenalistic constitution system, is interpretable from a Kantian perspective (§§1-4). But Carnap plotted to overcome Kant’s old style of philosophy as well. We review this aspect of his constitution, focusing on space (§§7-13) and time (§§5-6), especially.

Colors are sensible qualities. They are qualities that objects are perceived to have. Thus, when Norm, a normal perceiver, perceives a blue bead, the bead is perceived have a certain quality, perceived blueness. `Quality', here, is no mere synonym for property; rather, a quality is a kind of property a qualitative, as opposed to quan• titative, property. (The quantitative is a way of contrasting with the qualitative perhaps not the only way.).

In apparent motion experiments, participants are presented with what is in fact a succession of two brief stationary stimuli at two different locations, but they report an impression of movement. Philosophers have recently debated whether apparent motion provides evidence in favour of a particular account of the nature of temporal experience. I argue that the existing discussion in this area is premised on a mistaken view of the phenomenology of apparent motion and, as a result, the space of possible philosophical (...) positions has not yet been fully explored. In particular, I argue that the existence of apparent motion is compatible with an account of the nature of temporal experience that involves a version of direct realism. In doing so, I also argue against two other claims often made about apparent motion, viz. that apparent motion is the psychological phenomenon that underlies motion experience in the cinema, and that apparent motion is subjectively indistinguishable from real motion. (shrink)

The article considers, in a historical setting, the links between varieties of nominalism—the extreme nominalism of the Quine-Goodman variety and the trope nominalism current today—and types of idealism. In so doing arguments of various twentieth century figures, including Husserl, Bradley, Russell, and Sartre, as well as a contemporary attack on relations by Peter Simons are critically examined. The paper seeks to link the rejection of realism about universals with the rejection of a mind-independent “world”—in short, linking nominalism with idealism.

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

This paper presents parts of a theory of radical translation with applications to the problem of construing reference. First, in sections 1 to 4 the general standpoint, inspired by Goodman's approach to induction, is set forth. Codification of sound translational practice replaces the aim of behavioral reduction of semantic notions. The need for a theory of translational projection (manual construction on the basis of a finite empirical correlation of sentences) is established by showing the anomalies otherwise resulting (e.g. from Quine's (...) position). Then in section 5 a partial characterization of what constitutes an "admissible translation manual" is developed in the form of rules of translational projection governing correspondence of sentence-parts of a language-pair. Finally, in section 6, we give applications of the theory to the problem of construing reference. The general rules of section 5 suffice to rule out deviant referential schemes which have been held inscrutable alternatives to standard schemes. (shrink)

This paper explores strengths and limitations of both predicativism and nominalism, especially in connection with the problem of characterizing the continuum. Although the natural number structure can be recovered predicatively (despite appearances), no predicative system can characterize even the full predicative continuum which the classicist can recognize. It is shown, however, that the classical second-order theory of continua (third-order number theory) can be recovered nominalistically, by synthesizing mereology, plural quantification, and a modal-structured approach with essentially just the assumption that an (...) -sequence of concrete atoms be possible. Predicative flexible type theory may then be used to carry out virtually all of scientifically applicable mathematics in a natural way, still without ultimate need of the platonist ontology of classes and relations. (shrink)

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form (...) the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor. (shrink)

Mereology is the logic of part—whole concepts as they are used in many different contexts. The old chemical metaphysics of atoms and molecules seems to fit classical mereology very well. However, when functional attributes are added to part specifications and quantum mechanical considerations are also added, the rules of classical mereology are breached in chemical discourses. A set theoretical alternative mereology is also found wanting. Molecular orbital theory requires a metaphysics of affordances that also stands outside classical mereology.

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

This paper asks whether persistence can be a matter of convention. It argues that in a rather unexciting de dicto sense persistence is indeed a matter of convention, but it rejects the notion that persistence can be a matter of convention in a more substantial de re sense. However, scenarios can be imagined that appear to involve conventional persistence of the latter kind. Since there are strong reasons for thinking that such conventionality is impossible, it is desirable that our metaphysical-cum-semantic (...) theories of persistence be able to account for such scenarios in terms of conventions of the first kind. Later parts of the article therefore investigate whether three of the currently most influential metaphysical-cum-semantic theories of persistence—the endurance theory, the stage theory, and the perdurance theory—can do this. Fortunately, for them, it turns out that all can, though some philosophers have disputed this. However, when we ask how they account for a typical case of “conventional persistence” some problematic features of the theories—having to do with reference, persistence conditions, how they relate, and the epistemology of persistence—are revealed. (shrink)

In 1907 Borel published a remarkable essay on the paradox of the Heap (“Un paradoxe économique: le sophisme du tas de blé et les vérités statistiques”), in which Borel proposes what is likely the first statistical account of vagueness ever written, and where he discusses the practical implications of the sorites paradox, including in economics. Borel’s paper was integrated in his book Le Hasard, published 1914, but has gone mostly unnoticed since its publication. One of the originalities of Borel’s essay (...) is that it puts forward a model of vagueness as imprecision, making particular use of the Gaussian law of measurement errors to model categorization. The aim of our paper is to give a presentation of the historical context of Borel’s essay, to spell out the mathematical details of his model, and to provide a critical assessment of his theory. Three aspects of Borel’s account are particularly discussed: the first concerns the comparison between Borel’s statistical account and posterior degree-theoretic accounts of vagueness. The second concerns the anti-epistemicist flavor of Borel’s approach, whereby the idea of statistical fluctuation is used to undermine the notion of sharp boundary for vague predicates. The third concerns the problematic link between Borel’s model of vagueness as imprecision and the notion of semantic indeterminacy. An English translation of Borel’s original essay is appended to this paper (Erkenntnis, this issue). (shrink)

Political methodologists have long sought to develop standards that can guide political scientists in the process of concept formation. Yet, the methodology literature has struggled to provide satisfactory solutions to the fundamental problem of conceptualization: for any given concept, there are a large number of attributes one could postulate as its defining characteristics, and it is unclear how to adjudicate between different possible definitions. We leverage the fact that the theory within which a concept appears places important restrictions on concept (...) formation: conceptualizations entail ontological claims that need to be consistent with those of the theories in which they appear. (shrink)

Trope theory is an increasingly prominent contender in contemporary debates about the existence and nature of properties. But it suffers from ambiguity concerning the nature of a trope. Disambiguation reveals two fundamentally different concepts of a trope: modifier tropes and module tropes. These types of tropes are unequally suited for metaphysical work. Modifier tropes have advantages concerning powers, relations, and fundamental determinables, whereas module tropes have advantages concerning perception, causation, character-grounding, and the ontology of substance. Thus, the choice between modifier (...) tropes and module tropes is significant and divides the advantages of trope theory simpliciter. In addition, each resulting trope theory is unstable: modifier trope theory threatens to collapse into realism and module trope theory threatens to collapse into austere nominalism. This invites reflection on the stability of trope theory in general. (shrink)

Philosophical Investigations, EarlyView.

The theory of linear arrays provides a definition of linear order from the reflexive, symmetric, but non-transitive relation of matching. However, a distance function is not generally available for the elements of a linear array. Given the original intended interpretation of the matching predicate as holding between phenomenal qualia, this result presents an apparent contradiction to the existence of human practices, specifically the tradition of musical practice described by common-practice music theory, that involve precise judgments of phenomenal distance. This paper (...) resolves that seeming contradiction by constructing a notion of the musical scale out of the theory of linear arrays. First, the theory of linear arrays is briefly reviewed. Then, criteria of adequacy for the construction are adduced from common-practice music theory, the theory of measure and the semiotic theory of notation. The construction is presented along with results indicating its fulfillment of the criteria of adequacy. Finally, the relations between several variables introduced in the course of the construction are investigated. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

Concepts originating in the philosophy of science generally are used only ritualistically and in careful isolation from research practice in political science. But philosophical considerations are fundamental to political research, and critically influence its decisions. The question is whether ideas offered by philosophers of science have practical (that is to say, theoretical) significance for political researchers. This essay argues that philosophy of science has extremely relevant ideas to offer. The argument proceeds through an initial presentation of some elementary notions drawn (...) from reconstructions of the nature of concept formation-theory construction. These are then utilized in a critique of the research of quantitative political scientists. Three rather central concerns of this, still very young, discipline are discussed: measurement problems, the use of recursive and structural systems in causal modeling, and the primary logical function of multivariate analysis in political studies. The discussion is viewed as supporting the general point that applied philosophy of science ought to be, not an adjunct, but one of the key critical contributors to political research. (shrink)

This paper discusses one of the advantages of applying formal methods in ethics. First, an approach from democratic morality—which is a special case of contractualist ethics that brings together theories of legal and moral philosophy—will be adopted, in order to argue for the non-trivial thesis that moral norms are increasingly democratically motivated. To accept this thesis also as a desired way of justifying ethical principles raises some issues, such as the problem of providing adequate principles for moral opinion pooling. Secondly, (...) it is therefore shown how formal criteria of rationality provide at least a partial solution to such problems. In a broad context this results can be seen as formal preliminaries to contractualist ethics. (shrink)

In this paper it is argued that there are relevant similarities of Aristotle's account of definition and Carnap's account of explication. To show this, first, Aristotle's conditions of adequacy for definitions are provided and an outline of the main critique put forward against Aristotle's account of definition is given. Subsequently, Carnap's conditions of adequacy for explications are presented and discussed. It is shown that Aristotle's conditions of extensional correctness can be interpreted against the backdrop of Carnap's condition of similarity once (...) one skips Aristotelian essentialism and takes in a Carnapian and more pragmatic stance. Finally, it is argued that, in general, a complementary rational reconstruction of both approaches allows for resolving problems of interpretational underdetermination. (shrink)

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

There are two extant versions of the new tenseless theory of time: the date versionand the token-reflexive version. I ask whether they are equivalent, and if not, whichof them is to be preferred. I argue that they are not equivalent, that the date version isunsatisfactory, and that the token-reflexive version is correct. I defend the token-reflexive version against a string of objections from Quentin Smith. My defence involves a discussion of the ontological and semantic significance of truth conditions, and of (...) the connection between truth and reality on the one hand, and that between truth and meaning on the other. I argue that Smith's objections to the token-reflexive theory stem from his confusing these two aspects of the notion of truth. (shrink)