In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...) proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

Traditionally one main emphasis of the quantum mechanical measurement theory is on the question how the pure state of the compound system 'measured system + measuring apparatus' is transformed into the 'mixture' of all possible results of that measurement, weighted with their probability: the so-called “disappearance of the interference terms”. It is argued in this note that in reality there is no such transformation, so that there is no need to account for such a transformation theoretically. _German_ Gewöhnlich liegt ein (...) Hauptgewicht der quantenmechanischen Messtheorie auf der Frage des Übergangs vom,reinen Fall' des Gesamtsystems,gemessenes System + Messgerät' in das,Gemenge' aus allen möglichen Messergebnissen, gewichtet mit ihren Wahrscheinlichkeiten: Das sog.,,Verschwinden der Interferenzterme“. In dieser Notiz wird die Meinung vertreten, dass es einen solchen Übergang faktisch nicht gibt, so dass es nicht notwendig ist, eine theoretische Erklärung für den Übergang zu geben. (shrink)

Minding Time: A Philosophical and Theoretical Approach to the Psychology of Time offers an innovative philosophical account of the most fundamental kinds of time representation.

A. Kenny, Frege, an introduction to the founder of modern analytic philosophy. London:Penguin, 1995. viii-h223pp. £7.99 T. Willamson, Vagueness. London:Routledge, 1994. xiii-f-325 pp. £35.00 TOM BU...

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

Russell's version of the multiple-relation theory from the "Theory of Knowledge" manuscript is presented and defended against some objections. A new problem, related to defining truth via correspondence, is reconstructed from Russell's remarks and what we know of Wittgenstein's objection to Russell's theory. In the end, understanding this objection in terms of correspondence helps to link Russell's multiple-relation theory to his later views on propositions.

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

After presenting the ordinary and the Fregean formulations of the ancestral, I raise the question of what is their relationship, the natural candidate being that the Fregean version is an analysans intended to improve upon, and replace, the common notion of ancestral (the analysandum). Next, two types of circles that arise in connection with the Fregean ancestral are presented, and it is claimed that one of the circles makes it impossible to maintain the just described (“replacement”) interpretation. A reference is (...) made to Kerry, who was the first to point out a circularity in Frege’s ancestral. Some of Frege’s remarks are examined in order to tentatively sketch, an answer to the issue of the relationship between ordinary and Fregean ancestral; the latter, if not as an analysans replacing the common notion, can still be seen as a profound enrichment of the former. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

In his 1903 Principles of Mathematics, Russell holds that “it is a characteristic of the terms of a proposition”—that is, its “logical subjects”—“that any one of them may be replaced by any other entity without our ceasing to have a proposition”. Hence, in PoM, Russell holds that from the proposition ‘Socrates is human’, we can obtain the propositions ‘Humanity is human’ and ‘The class of humans is human’, replacing Socrates by the property of humanity and the class of humans, respectively. (...) Hence also, in PoM, Russell accepts the doctrine of the unrestricted variable: if we replace a logical subject of a proposition by a variable to yield a propositional function, the range of that variable includes absolutely every entity. For absolutely any entity can be taken as a value of that variable to yield a proposition, true or false. The doctrine of the unrestricted variable is thus incompatible with any type-theoretic metaphysics, according to which only entities of a certain restricted type can replace a logical subject of a given proposition so as to yield another proposition. (shrink)

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse relations in (...) all cases. (shrink)

This paper presents an account of the manner in which a proposition’s immediate structural features are related to its core truth-conditional features. The leading idea is that for a proposition to have a certain immediate structure is just for certain entities to play certain roles in the correct theory of the brute facts regarding that proposition’s truth conditions. The paper explains how this account addresses certain worries and questions recently raised by Jeffery King and Scott Soames.

Ned Markosian argues (Australasian Journal of Philosophy 76:213-228, 1998a; Australasian Journal of Philosophy 82:332-340, 2004a, The Monist 87:405-428, 2004b) that simples are ‘maximally continuous’ entities. This leads him to conclude that there could be non-particular ‘stuff’ in addition to things. I first show how an ensuing debate on this issue McDaniel (Australasian Journal of Philosophy 81(2):265-275, 2003); Markosian (Australasian Journal of Philosophy 82:332-340, 2004a) ended in deadlock. I attempt to break the deadlock. Markosian’s view entails stuff-thing coincidence, which I show (...) is just as problematic as the more oft-discussed thing-thing coincidence. Also, the view entails that every particular is only contingently so. If there is a world W like our own, but with ether, then there would be only one object in W. But, since merely adding ether to a world does not destroy the entities in it, then W contains counterparts of all the entities in the actual world—they just are not things. Hence, if simples are maximally continuous, then every actual particular is only contingently so. This in turn entails the following disjunction: (i) identity is contingent or intransitive, or (ii) there are no things at all in the actual world, or (iii) the distinction between stuff and things is one without a difference. I recommend that we reject this stuff-thing dualism. (shrink)

The view that plural reference is reference to a set is examined in light of George Boolos's treatment of second-order quantification as plural quantification in English. I argue that monadic second-order logic does not, in Boolos's treatment, reflect the behavior of plural quantifiers under negation and claim that any sentence that properly translates a second-order formula, in accordance with his treatment, has a first-order formulation. Support for this turns on the use of certain partitive constructions to assign values to variables (...) in a way that makes Boolos's reading of second-order variables available for a first-order language and, with it, the possibility of interpreting quantification in an unrestricted domain.A first-order theory, T(D), is developed on the basis of Boolos's treatment of simple plural definite descriptions extended to Richard Sharvy's general theory of definite plural and mass descriptions. I introduce a primitive predicate, o, for the relation of the referent of a singular description to that of its plural. If o is simply added to T(D), is definable in T(D), and the result is inconsistent. If o is added to a theory with axioms for the fragment of T(D) I call D-mereology, the result is a natural basis for the development of a pluralized Zermelo set theory. This theory, however, is inconsistent in an unrestricted domain, unless it is recast as a second-order theory of sets interpreted in Boolos's way. (shrink)

“The Strong Programme” is put forward as a metaphysical theory of sociology by the Edinburgh School (SSK) to study the social causes of knowledge. Barry Barnes and David Bloor are the proponents of the School. They call their programme “the Relativist View of Knowledge” and argue against rationalism in the philosophy of science. Does their relativist account of knowledge present a serious challenge to rationalism, which has dominated 20th century philosophy of science? I attempt to answer this question by criticizing (...) the main ideas of SSK and defending rationalism theories in modern philosophy of science. (shrink)

The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.

We must allow that knowledge can be transmitted. But to allow this is to allow that an individual can know a proposition despite lacking any evidence for it and reaching belief by an unreliable means. So some explanation is required as to how knowledge rather than belief is transmitted. This paper considers two non-individualistic explanations: one in terms of knowledge existing autonomously, the other in terms of it existing as a property of communities. And it attempts to decide what is (...) at issue between these explanations. (shrink)

This paper is an attempt to explain why Russell abandoned the ontology of propositions, mind-independent complex entities that are possible objects of judgements. I argue that he did so not because of any decisive argument but because he found it better to endorse the existential account of truth, according to which a judgement is true if and only if there exists (or in his view subsists) a corresponding fact. In order to endorse this account, he had examined various theories of (...) judgement before he adopted the multiple-relation theory of judgement, the most feasible way he then had of espousing it. I also attempt to explain why he preferred the existential account of truth. (shrink)

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

I argue that the familiar picture of the rise of analytic philosophy through the early work of G. E. Moore and Bertrand Russell is incomplete and to some degree erroneous. Archival evidence suggests that a considerable influence on Moore, especially evident in his 1899 paper ‘The nature of judgment,’ comes from the literature in nineteenth-century empirical psychology rather than nineteenth-century neo-Hegelianism, as is widely believed. I argue that the conceptual influences of Moore’s paper are more likely to have had their (...) source in the work of two of Moore’s teachers, G. F. Stout and James Ward. What may be called an anti-psychologism about psychology characterizes the work of these and other psychologists of the period. I argue that the anti-psychologism that is the main aim of Moore’s early theory of judgment is an adaptation of this notion, which is significantly dissimilar from the notion defended by Bradley, traditionally thought to have been a key influence on Moore.Keywords: G. E. Moore; Bertrand Russell; Propositions; Anti-psychologism; Early analytic philosophy; G. F. Stout. (shrink)

On the received view, the Representational Theory of Measurement reduces measurement to the numerical representation of empirical relations. This account of measurement has been widely criticized. In this article, I provide a new interpretation of the Representational Theory of Measurement that sidesteps these debates. I propose to view the Representational Theory of Measurement as a library of theorems that investigate the numerical representability of qualitative relations. Such theorems are useful tools for concept formation that, in turn, is one crucial aspect (...) of measurement for a broad range of cases in linguistics, rational choice, metaphysics, and the social sciences. (shrink)

Everyday reasoning is replete with arguments which, though not logically valid, nonetheless harbor a measure of credibility in their own right. Here the claim that such arguments force us to acknowledge material validity, in addition to logical validity, is advanced, and criteria that attempt to unpack this concept are examined in detail. Of special concern is the effort to model these criteria on explications of logical validity that rely on notions of substitutivity and logical form. It is argued, however, that (...) such a parallel is not easily located and that it is uncertain that a construal of material validity can be fashioned after traditional accounts of logical validity. Attention is also given to the topics of enthymemes and to the proper domain of logic. (shrink)

Along with a well-honoured tradition, we will accept that intentionality is at least a property a thought holds necessarily, i.e., in all possible worlds that contain it; more specifically, a necessary relation, namely the relation of existential dependence of the thought on its intentional object. Yet we will first of all try to show that intentionality is more than that. For we will claim that intentionality is an essential property of the thought, namely a property whose predication to the thought (...) is true in virtue of the identity, or nature, of such a thought. More particularly, for us intentionality will again be a relation, yet a relation of ontological dependence of the thought on its intentional object; specifically, the relation for the thought of being constituted by its object. Moreover, we will try to show that if intentionality is such a constitutive relation for the thought that has it, certain metaphysical consequences ensue. First, an objectual thought, a thought whose content basically consists in its intentional object, is nothing but that object in a certain cogitative modality, or, which is the same, as playing a certain motivational role for the subject entertaining the thought itself (at a certain time). Second, if an objectual thought is nothing but an intentional object in a cogitative modality, such a thought, not only as a type, but also as a token, is an abstract entity. More specifically, an objectual thought-type, an abstract object par excellence, is indeed instantiated by objectual thought-tokens which are again abstract particulars, yet of a specific kind: namely, tropes of a relational sort depending for their existence on their bearers (and possibly also on their temporal location). (shrink)

We consider collective quantification in natural language. For many years the common strategy in formalizing collective quantification has been to define the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, define the collective interpretations of determiners systematically from the standard meanings of quantifiers. All the lifts considered in the literature turn out to be definable in second-order logic. We argue that second-order definable quantifiers are probably not expressive enough to formalize all collective (...) quantification in natural language. (shrink)

Never shall this be proved, that things that are not are. ParmenidesTo say that something does not exist, or that there is something which is not, is clearly a contradiction in terms; hence “ ” must be true. Moreover, we should certainly expect leave to put any primitive name of our language for the “x” of any matrix “ … x … ”, and to infer the resulting singular statement from “ ”; it is difficult to contemplate any alternative logical (...) rule for reasoning with names. (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.

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

Professor Rudolph A. Marcus, recipient of the 1992 Nobel Prize in Chemistry, is a distinguished theoretical chemist. Two important theories happen to bear his name: the Rice Ramsperger Kassel Marcus theory of unimolecular reactions and the Marcus theory of electron transfer reactions. When considering Marcus’ work, one finds characteristics of it that bear striking similarity to those that can be found in the work of some famous scientists. Such characteristics appear then as common recurring patterns in the work of theoreticians. (...) Among them we find the following: the creation of new theories, driven by experiments that preceding theories were unable to explain; the use of thought experiments; the generalization and extensions from one realm of science to another; the making of predictions and the finding of new properties from correlations among series of data; the use of variational principles; the providing of different demonstrations of an equation; the introduction of new types of coordinates; the innovative capacity to use, by somehow recreating it under the pressure of the physical problem, a mathematical method previously unknown to the author; and finally, the presentation of formulations of the same theory in different mathematical and physical languages. Before discussing in some detail the above points, a brief description of Marcus’ work is first presented for the convenience of the reader. (shrink)

Despite its importance for early analytic philosophy, Gottlob Frege's account of existence statements, according to which they classify concepts, has been thought to succumb to a number of well-worn criticisms. This article does two things. First, it argues that, by remaining faithful to the letter of Frege's claim that concepts are functions, the Fregean account can be saved from many of the standard criticisms. Second, it examines the problem that Frege's account fails to generalize to cases which involve definite descriptions (...) and proper names. To deal with this the proffered analysis deviates from the letter of Frege's views, while remaining within its spirit. It proposes, in opposition to Frege, that expressions which grammatically look like singular terms should not always be read as referring to objects, but are sometimes best analysed as indicating functions. (shrink)

What is the role of measurement in the sociology of culture and how can we sort out the complexities that distinguish qualitative from quantitative approaches to this domain? In this article, we compare the issues and concerns of contemporary scholars who work on matters of culture with the writings of a group of scholars who had prepared papers for a special symposium on scientific measurement held at the annual meeting of the American Association for the Advancement of Science (AAAS) back (...) in 1956. We focus on three issues—the recurring need to reinvent measurement (as illustrated by the career of the psychologist S.S. Stevens), the linkage between qualitative and quantitative methods of analysis (as articulated in the writings of the sociologist Paul Lazarsfeld), and the assertion (by philosophers Ernst Cassirer and Peter Caws) that theorizing necessarily precedes measuring. We review a number of important advances in the way that measurement is theorized and implemented in the sociology of culture and we also point to a number of enduring dilemmas and conundrums that continue to occupy researchers in the field today. (shrink)

Since its publication in 1967, van Heijenoort’s paper, “Logic as Calculus and Logic as Language” has become a classic in the historiography of modern logic. According to van Heijenoort, the contrast between the two conceptions of logic provides the key to many philosophical issues underlying the entire classical period of modern logic, the period from Frege’s Begriffsschrift (1879) to the work of Herbrand, Gödel and Tarski in the late 1920s and early 1930s. The present paper is a critical reflection on (...) some aspects of van Heijenoort’s thesis. I concentrate on the case of Frege and Russell and the claim that their philosophies of logic are marked through and through by acceptance of the universalist conception of logic, which is an integral part of the view of logic as language. Using the so-called “Logocentric Predicament” (Henry M. Sheffer) as an illustration, I shall argue that the universalist conception does not have the consequences drawn from it by the van Heijenoort tradition. The crucial element here is that we draw a distinction between logic as a universal science and logic as a theory. According to both Frege and Russell, logic is first and foremost a universal science, which is concerned with the principles governing inferential transitions between propositions; but this in no way excludes the possibility of studying logic also as a theory, i.e., as an explicit formulation of (some) of these principles. Some aspects of this distinction will be discussed. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

In this paper, I present a discrete solution for the paradox of Achilles and the tortoise. I argue that Achilles overtakes the tortoise after a finite number of steps of Zeno’s argument if time is represented as discrete. I then answer two objections that could be made against this solution. First, I argue that the discrete solution is not an ad hoc solution. It is embedded in a discrete formulation of classical mechanics. Second, I show that the discrete solution cannot (...) be falsified experimentally. (shrink)

RésuméLa théorie des expressions incomplétes dans Principia Mathematica, se fonde sur le principe déja appliqué par Russell dans “On Denoting”, selon lequel il est souhaitable dans certains cas, ?on;établir le statut syntaxique des expressions catégorématiques. Grâce à la théorie intensionnelle ramifyée des types, les expressions incomplétes réféientiellement pourront être logiquement caractérisées par un mode de dérivation principalement basé sur la quantification non‐objectuelle. Ľintroduction des classes cependant, n'est en aucune façon reliée à ce mode intensionnel de dérivation; il en résulte qu'elles (...) fonctionnent en réalité dans ce contexte comme des expressions pourvues de dénotation et ce n'est que par une analogie grammaticale que Russell peut les comparer, du point de vue de leur élimination, aux expressions incomplétes de Principia Mathematica.SummaryThe theory of incomplete symbols in Principia Mathematica is founded on the principle already applied by Russell in “On Denoting“ that it is desirable in certain cases, to establish the syntactical status of “categorematic” expressions. Thanks to the intensional ramified theory of types, the referentially incomplete expressions could be logically caracterised by a mode of derivation primarily based on non‐objectual quantification. The introduction of classes, however, is by no way linked to that intensional mode of derivation; as a result, they function, in that context, like denotative expressions and it is only by a “grammatical” analogy that Russell can compare them, as regards their elimination, to the incomplete symbols in Principia Mathematica.ZusammenfassungDie Theorie der unvollstandigen Symbole in den Principia Mathematica gründet auf dem von Russell schon in “On Denoting” angewendeten Prinzip, wonach es in gewissen Fällen wün‐schenswert ist, den syntaktischen Status kategorematischer Ausdrücke festzulegen. Aufgrund der intensionalen verzweigten Typentheorie könnte man die referentiell unvollständigen Ausdrücke logisch durch eine im wesentlichen auf die nicht objektuelle Quantifi‐kation abstellende Ableitungsart charakterisieren. Die Einführung der Klassen dagegen hüngt keineswegs von dieser intensionalen Ableitungsart ab; daraus geht hervor, dass sie in diesem Kontext wie denotative Ausdrücke funktionieren, und es gelingt Russell nur vermittels einer grammatische Analogie, sie hinsichtlich ihrer Elimination mit den unvollständigen Symbolen der Principia Mathematica zu vergleichen. (shrink)

I construe the question Are species sets? as a question about whether species can be conceived of as sets, as the term set is understood by contemporary logicians. The question is distinct from the question Are species classes?: The conception of classes invoked by Hull and others differs from the logician's conception of a set. I argue that species can be conceived of as sets, insofar as one could identify a set with any given species and that identification would satisfy (...) three desiderata: the set would be a set of organisms, the identification would be apposite, and the identification would permit the formulation of statements about species in set-theoretic terms. One cannot, however, identify a species with any given set. Understanding the claim that species are sets in this way enables one to understand better the dispute between some who accept the claim (e.g., Kitcher 1984, 1987) and some who apparently reject it (e.g., Mayr 1987). (shrink)

This article introduces the first English translation of one of Tanabe’s early essays on metaphysics. It questions the relation of the universal to the particular in context of logic, phenomenology, Neo-Kantian epistemology, and classical metaphysics. Tanabe provides his reflections on the nature of the concept of universality and its constitutive relation to phenomenal particulars through critical analyses of the issue as it is discussed across various schools of philosophy including: British Empiricism, the Marburg School, the Austrian School, the Kyoto School, (...) and Platonism. In this essay, Tanabe reveals his ability to think metaphysically the ground for the possibility of reasoning and dares to voice his own thought beyond references to the most prominent thinkers of his time from distinct intellectual traditions in both the east and the west. This essay, therefore, demonstrates that his strong tendency to move beyond the received epistemology and phenomenology of the European intellectual tradition to metaphysics was already present in the early days of his academic life and thereby marks a more general contribution of the Kyoto School of Philosophy to distinct European schools of thought in the early twentieth century. (shrink)

I shall explore in this article the metaphysical possibility of powers’ strongly emerging from relations. After having provided a definition of emergent powers that is also based on the distinction between the possession and the activation of a power, I shall introduce different sorts of Relations that Ground Emergence, both external and internal. Later on, I shall discuss some examples of powers that are grounded on their instantiation. Finally, I shall examine the consequences of accepting such relations within a physicalistic (...) ontology and I shall defend them against two objections based on the notion of bruteness. (shrink)