This chapter is a discussion of Class and Resemblance Nominalism. According to the traditional versions of these theories, properties are classes of particulars. Thus, the property of being red is the class of red particulars, and the property of being square is the class of square particulars. Several objections have been advanced against these theories, and one of the most powerful of such objections is the so-called Coextension Difficulty, according to which Class and Resemblance (...) class='Hi'>Nominalism have to wrongly identify distinct but coextensive properties. After discussing the nature of Class and Resemblance Nominalism, some problems of these theories and how they can be deal with, the superiority of Class and Resemblance Nominalism over other theories of properties and the superiority of Resemblance Nominalism over Class Nominalism, I concentrate on the Coextension Difficulty. With respect to this I argue that Class and Resemblance Nominalism can be developed in such a way that they admit properties without identifying them with classes, and this allows them to avoid the Coextension Difficulty, since such versions of these theories are not forced to wrongly identify distinct but coextensive properties. Thus the Coextension Difficulty is not a lethal problem for Class and Resemblance Nominalism. (shrink)

In this paper I argue that the analysis of natural properties as convex subsets of a metric space in which the distances are degrees of dissimilarity is incompatible with both the definition of degree of dissimilarity as number of natural properties not in common and the definition of degree of dissimilarity as proportion of natural properties not in common, since in combination with either of these definitions it entails that every property is a natural property, which is absurd. I suggest (...) it follows that we should think of the convex class analysis of natural properties as a variety of resemblance nominalism. (shrink)

In a recent article in this journal, Calemi challenges the Küng-Armstrong trilemma, a well-known objection to traditional class nominalism, by proposing a fusion of class nominalism with Zermelo-Fraenkel set theory (ZF). In this note, we argue that ZF-class nominalism faces significant challenges in the form of incompleteness and potential paradoxes stemming from Gödel’s incompleteness theorem. We will explore these issues in detail, highlighting the key implications for the viability of ZF-class nominalism as (...) a philosophical position. (shrink)

Alex Oliver; Discussions: Classes and Goodman's Nominalism, Proceedings of the Aristotelian Society, Volume 93, Issue 1, 1 June 1993, Pages 179–192, https://doi.

There are a number of different versions of Reductive Nominalism, versions distinguished by the way in which each accounts for facts about having and sharing properties. This chapter discusses three broad varieties of Reductive Nominalism: Predicate Nominalism, Class Nominalism, and Resemblance Nominalism. Class Nominalism identifies properties with classes or sets. Resemblance Nominalists come in two sub‐varieties, depending on whether they take the resemblance relation to hold between particular properties (called 'tropes') or particular (...) things that have properties (ordinary particulars). Trope Theory comes in two varieties depending on whether one plumps for universals. It should not be difficult to see that Extreme Resemblance Nominalism is faced with Class Nominalism's extensionality problems, both the problem of contingent predication and the co‐extensive property problem. Resemblance Nominalists can reply by insisting on a distinction between a priori or conceptual equivalence and metaphysical equivalence. The chapter focuses on the extensionality problems for Class Nominalism. (shrink)

'Natural class' trope nominalism makes a trope's being of a certain sort--its nature--a matter of its membership in a certain natural class of actual tropes. It has been objected that on this theory had even a single member of the class of red tropes not existed, for example, then the type 'being red' would not have been instantiated and nothing would have been red. I argue that natural class trope nominalism can avoid this implication (...) by way of counterpart theory as applied to properties. (shrink)

The object of this paper is to provide a solution to Nelson Goodman’s Imperfect Community difficulty as it arises for Resemblance Nominalism, the view that properties are classes of resembling particulars. The Imperfect Community difficulty consists in that every two members of a class resembling each other is not sufficient for it to be a class such that there is some property common to all their members, even if ‘x resembles y’ is understood as ‘x and y (...) share some property’. In the paper I explain and criticise several solutions to the difficulty. Then I develop my own solution, which is not subject to the objections I make to the other solutions, and which accords completely with the basic tenets of Resemblance Nominalism. (shrink)

In this paper, I consider an objection to ``natural class''trope nominalism, the view that a trope's nature isdetermined by its membership in a natural class of tropes.The objection is that natural class trope nominalismis inconsistent with causes' being efficacious invirtue of having tropes of a certain type. I arguethat if natural class trope nominalism is combinedwith property counterpart theory, then this objectioncan be rebutted.

Realists, D. M. Armstrong among them, claim, contrary to natural class nominalists, that natural classes are analysable. Natural classes of particulars, claim the realists, can be analysed in terms of particulars having universals in common. But for the realist, there are also natural classes of universals. And if the realist's claim that natural classes are analysable is a general claim about natural classes, then the realist must also provide an analysis of natural classes of universals. For Armstrong, the unity (...) (or naturalness) of a natural class of universals is analysed in terms of universals resembling each other. I argue that Armstrong's account fails. His account fails for the same reason all other resemblance accounts of natural classes fail: some arbitrary classes satisfy the analysis for natural classes. (shrink)

One major motivation for nominalism, at least according to Hartry Field, is the desirability of intrinsic explanations: explanations that don’t invoke objects that are causally irrelevant to the phenomena being explained. There is something right about the search for such explanations. But that search must be carefully implemented. Nothing is gained if, to avoid a certain class of objects, one only introduces other objects and relations that are just as nominalistically questionable. We will argue that this is the (...) case for two alleged nominalist views: Field’s fictionalism, and Frank Arntzenius and Cian Dorr’s geometricalism. Central to our competing approach to nominalism is a distinction between terms that refer to objects and ones that instead code empirical phenomena while being referentially empty. We next contrast our approach to nominalism, which uses this term-grained distinction between coding and referring, with approaches that instead attempt to make a sentence-grained distinction between mathematical and non-mathematical content. We show the latter approach fails to be responsive to objections raised by van Fraassen. In the end, only one last approach to nominalism is left standing. 1 Introduction2 Troubles for Mathematical Fictionalism2.1 A distinction2.2 Field’s programme2.3 Parts of nominalistically acceptable entities are nominalistically acceptable2.4 Structural assumptions: How far can these be pushed?2.5 Cases of indispensable theories where the mathematical posits are known not to be real2.6 How does science distinguish between the indispensable structural presuppositions taken to be real and those that aren’t?2.7 Do physicists distinguish between mathematical posits and non-mathematical posits?2.8 Mathematical coding versus genuine metaphysics. Case study: Fields2.9 The upshot3 Troubles for Topologism4 Contrasts: Kitcher, Maddy, Sober, and van Fraassen4.1 Sober’s approach4.2 Maddy’s approach4.3 Kitcher’s approach4.4 Where do we go from here?4.5 Van Fraassen’s objection to Maddy’s approach to ontological commitment5 Conclusion. (shrink)

In the following, it will be argued that Nāgārjuna adopts a Buddhist nominalism that encompasses not only a position towards abstract entities, but resonates with a nominalist perspective on the “social reality” of persons. Early Buddhist texts, such as the Suttanipāta, argue that human persons defy a classification in hierarchic “classes”, because there is no moral substance, e.g. of Brahmins. Differences between individuals do not exist by nature, since it is the individual that realizes difference according to the specific (...) personal realization of action and moral cultivation. Buddhist “nominalism,” therefore, has at least one of its central roots in a rejection of a socially privileged “selves,” a stratified social hegemony, and religious truth claims. Nāgārjuna, on his part, radicalizes nominalism as a threefold correlation of the “non-articulated self,” a “non-articulated” reality, and finally, a “non-articulated” dimension even within all concepts, names, and designations. In this vein, Nāgārjuna’s śūnyavāda can be seen as a consequent attempt to neutralize unwanted social and psychological consequences of ontological language-use. Nāgārjuna even self-critically questions the position that the workings of a Buddhist path of liberation can be articulated, which seems to be a remarkable parallel to certain roots of Western nominalism. (shrink)

Resemblance Nominalism About Perfect Naturalness is the view that perfect naturalness of classes is best defined by a conceptual primitive of resemblance between particulars. The adequacy of RNPN is defended by outlining nominalism as the strictly anti-constitutive view that the particulars’ being the fundamental ways they are is not constituted by anything further, supplying a doubly plural contrastive and graded resemblance predicate that allows for a definition of perfect naturalness on an actualist basis, and proving a representation and (...) a uniqueness theorem on the basis of a formal constraint on resemblance called “the Principle”, thereby revealing that bodies of nominalist resemblance facts are guaranteed to behave as if they were grounded in patterns of universals distributed over particulars. (shrink)

Aldo Antonelli offers a novel view on abstraction principles in order to solve a traditional tension between different requirements: that the claims of science be taken at face value, even when involving putative reference to mathematical entities; and that referents of mathematical terms are identified and their possible relations to other objects specified. In his view, abstraction principles provide representatives for equivalence classes of second-order entities that are available provided the first- and second-order domains are in the equilibrium dictated by (...) the abstraction principles, and whose choice is otherwise unconstrained.entities are the referents of abstraction terms: such referents are to an extent indeterminate, but we can still quantify over them, predicate identity or non-identity, etc. Our knowledge of them is limited, but still substantial: we know whatever has to be true no matter how the representatives are chosen, i.e., what is true in all models of the corresponding abstraction principles. This view is backed up by an “austere” conception of universals, according to which these are first-order objects, i.e., ways of collecting first-order objects. Antonelli thus claims that second-order logic does not import any novel ontological commitment beyond ontology of first-order, naturalistically acceptable, objects. Moreover, in the case of arithmetic, even if Hume’s Principle is construed as described above, Frege’s Theorem goes through unaffected, since there is nothing in its proof that depends on an account of the “true nature” of numbers. A viable construal of logicism is then given by the combination of semantic nominalism and a naturalistic conception of abstraction. [Editors note]. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the nature (...) of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell : Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2. (shrink)

Arda Denkel, in "Real Resemblances," argues for a moderate Nominalism where substances objectively have properties and relations, the latter being particulars, but dependent particulars, grouped into classes by objective relations of resemblance. This view is contrasted unfavorably with the view that properties and relations are universals instantiated by particulars. It is conceded that Denkel's scheme has much to commend it. But it is argued that the universals view has much more to be said for it than Denkel allows, and (...) that it is indeed, on balance, the superior view. (shrink)

Classes are the objects of the second sort of second-order set theory. They have sets as their members and behave like sets, but paradoxes tell us that many classes cannot be sets. Then, what are classes? Predicativism about classes suggests that classes are predicates of sets, and this article investigates the question from the predicativist point of view in light of recent developments in the use of classes in set theory. Predicativism has been considered too restrictive and unable to accommodate (...) the use of classes in set theory. This diagnosis, however, is only true of a certain specific type of predicativism. In this article, we propose a new type of predicativism, which we call liberal predicativism, and argue that predicativism is still a highly viable option, and our liberal version provides a sufficiently versatile and workable nominalist concept of classes for set theory. (shrink)

Douglas Ehring (2011) has proposed a conception of natural classes of tropes to fulfill the roles usually attributed to universals. Natural classes of tropes can avoid the difficulties that affect the classic theory of tropes – as claimed by D. C. Williams and Keith Campbell – where tropes are simple and, by themselves, are particulars and have an intrinsic nature. Natural classes of tropes are also preferable to primitive resemblance classes of tropes, because they can explain the characteristics of the (...) relation of resemblance and can also ground an internal relation of resemblance between tropes. It is contended here that the conception proposed works very differently whether tropes are conceived as modifier tropes or as module tropes. In the first case, tropes cannot be grouped directly in natural classes, because tropes have no intrinsic character. They ground the character possessed by their bearer, but they themselves have none. So, the character attributed to a trope due to its belonging to a natural class is dependent, on its turn, on the natural classes or the resemblance classes into which the objects that bear those tropes enter. In the second case, tropes do have a character. Then, they can enter ‘directly’ into natural classes. The problem in this case, though, is that tropes seem to have many different characters and seem vulnerable to the traditional problems of the ‘imperfect community’ and the ‘company’ that affect resemblance nominalism. Keywords: properties, tropes, natural classes, resemblance classes, problem of the imperfect community, problem of the company. (shrink)

This essay examines Charles S. Pierce’s critique of nominalism against the background of the debate about natural kinds at the time of the first reception of Darwin's _Origin of Species_. In the history of the so-called dispute over universals in Western philosophy, the phenomenon of species constancy has always been of central importance (since Plato). Darwin's historicization of species was seen by some of Peirce's contemporaries, including Chauncey Wright, as support for Mill's nominalism. Peirce believed the opposite, that (...) Darwin's history of the origin of species supports realism about universals. This is so because for Darwin species arise independently of the human mind. Just as a history of science does not have to cast doubt on the reality of scientific disciplines, a history of species does not have to make their reality appear questionable. However, a concept of modifiable species is needed to understand this history. Peirce develops such a concept by understanding species, ahead of his time, as variable clusters. (shrink)

There are two major theories of properties that employ resemblance classes to avoid commitment to universals.1 Object-resemblance nominalism ~ORN! faces the notorious companionship and imperfect community difficulties, though some costly remedies have been proposed. Trope-resemblance nominalism ~TRN!, in contrast, is commonly supposed to avoid these difficulties altogether. My contention is that both versions of resemblance nominalism are subject to companionship and imperfect community difficulties. If I am right, ~1! trope theory loses one of its primary selling points, (...) and ~2! resemblance nominalists of either type must appeal to the troublesome remedies that I discuss below. (shrink)

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism (...) about classes should push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (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)

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)

Among those who posit properties, liberals (mostly nominalists) admit abundant, ontologically free properties, which particulars possess whenever they satisfy the same predicate and belong to the same class, however artificial. I call them “L-properties” (for “Liberal”). Some liberals also admit that some few L-properties are natural, while most of them are artificial (the same applies to the corresponding classes). Others (mostly but not only realists) commit to a more discriminating use of the category: properties are sparse, they make for (...) the objective similarities among particulars, and more importantly, they allow to analyze “objective similarity” and “class naturalness” in terms of property-possessing and sharing. They give particulars their “true nature”, and I call them “A-properties” (for “Analytical”). This article provides a defense of this second type of properties, in the particular case of sortals. To that end, a new fact is put forward: that sorts are classes which are natural not as a primitive feature, but in virtue of what the particulars which belong to them are, and which makes them _naturally belong_ to them. I then argue that this fact entails the existence of the desired type of properties, “sortal A-properties”, although leaving open the question of how they should be construed. (shrink)

What determines qualitative sameness and difference? This book explores four principal accounts of the ontological basis of properties, including universals, trope theory, resemblance nominalism, and class nominalism, considering the assumptions and ontolological commitments which are required to make each into a plausible account of properties. -/- The latter half of the book investigates the applications of property theory and the different conceptions of properties which might be adopted with these in mind: first, the possibility and desirability of (...) individuating properties, and the distinction between sparse and abundant conceptions of properties; second, the distinction between intrinsic and extrinsic properties; third, the relationship between properties and their causal powers, and whether this is necessary or contingent; fourth, the relationship between properties and causation, modality, and laws of nature; finally, whether properties exist objectively, and if they do, what our epistemic position is with respect to such entities. (shrink)

I argue in this dissertation that natural properties play a central role in David Lewis' modal realism. To argue in favor of this thesis I present: a bottom-up explanation of a top-down possible world metaphysics; a new definition of natural properties and natural fusion, a new mereological operation. To achieve these aims, in the first chapter, I contextualize the discussion, in the second I resume the discussion about universals in contemporary philosophy and argue that, considering the distinct formulations of the (...) problem, class nominalism combined with modal realism might be the best solution. Furthermore, I discuss Devitt's solution in which he defends that the problem about universals is, in fact, a pseudo problem. In the third chapter, I introduce a minimal ontology of properties, regarding natural properties, I discuss the existing definitions, present a new one and discuss some theories of similarity, a notion that is in the core of the definition I propose. Besides, I present how natural properties benefit the definition of terms of nomological package, linked to its fundamentality role. I also present some applications related to the rationality role that encompass some well-known philosophical problems of the second half of 20th century. In the fourth chapter, I present some varieties of philosophical realism, I consider the theoretical advantages of taking scientific realism as background and I discuss one more utility of natural properties, the solution to the problem of eligibility of reference or, the Putnam's paradox. In the fifth chapter, I discuss how mereology is important to link several aspects of Lewis' modal realism. For such, I discuss the relation between composition as identity and ontological innocence of mereology and I present the natural fusion mereology, a new mereological operation that aims to minimize the problems of unrestricted composition. (shrink)

I describe a new argument for the existence of God, and argue one of its steps. En route I criticize class-nominalist theories of attributes, and sketch an alternate theory involving God.

Tropes is a systematic investigation into the metaphysics of properties, aiming to motivate and defend trope theory, and more specifically Natural Class Trope Nominalism (NCTN). Ehring’s book treats an impressive span of relevant positions, considerations, debates and objections with charity and clarity; it’s also a real page-turner, at least if one has (as I do) a taste for analytic twists and turns.

Este ensaio consiste num exame crítico da estrutura e do valor de um conjunto diverso de argumentos por regressão ao infinito que têm sido objecto de discussão recorrente na metafísica contemporânea. O seminal livro de David Armstrong Nominalism and Realism (Armstrong 1978) contém uma das mais compreensivas discussões de argumentos regressivos em metafísica, os quais variam entre argumentos que foram de facto avançados ao longo da história da disciplina (como o Argumento do Terceiro Homem, de Platão) e argumentos construídos (...) de novo por Armstrong para fins de exame crítico. Os argumentos regressivos discutidos por Armstrong têm como alvo uma grande variedade de teorias metafísicas acerca da semelhança e da predicação, entre as quais se contam o nominalismo de predicados, o nominalismo de conceitos, o nominalismo de classes, o nominalismo de semelhança e o realismo metafísico. (shrink)

Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual realism. The category of universals is discussed in (...) terms of the three major theories of universals: nominalism, realism, and conceptualism. The finitude of mind pertains only to conceptualism. We consider the question of whether or not this finitude precludes impredicative concept formation. An explication of potential infinity, especially as applied to concepts and expressions, is given. We also briefly discuss a logic of plural objects, or groups of single objects (individuals), which is based on Bertrand Russell’s (1903, The principles of mathematics, 2nd edn. (1938). Norton & Co, NY) notion of a class as many. The universal class as many does not exist in this logic if there are two or more single objects; but the issue is undecided if there is just one individual. We note that adding plural objects (groups) to an ontology with a countable infinity of individuals (single objects) does not generate an uncountable infinity of classes as many. (shrink)

There is substantial controversy about the nature of both particulars and properties. Some philosophers think that the categories of particular and property are fundamental, that at least some of the things in both are in no way derived from or dependent on things in another category. These philosophers are Realists about both particulars and properties. Nominalists think of particulars as fundamental and of properties as non‐fundamental, with the latter being derived from the former. This chapter explores why someone might go (...) in for Realism about properties. If one insists that universals are just properties that could be exemplified by more than one thing, Class and Resemblance Nominalism turn out to be committed to universals. Ostrich Nominalism is much larger qualitatively, since UP‐Realism has only two fundamental kinds, whereas Ostrich Nominalism has n fundamental kinds. Ostrich Nominalists must posit a very large number of metaphysically fundamental sorts of things: spheres, cubes, blue things, red things, etc. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with (...) first-order quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

QUEL MODE D'EXISTENCE ONT LES CONCEPTS, entendons : les classes, les types, les généralités? Y a-t-il des propriétés universelles? Ce que les médiévaux ont appelé les universaux sont-ils des choses " capables d'exister en plusieurs " ou ne sont-ils que dans l'intellect? S'agit-il d'aspects du monde lui-même ou de pures représentations de l'esprit qui confère au monde un ordre? On sait la place que la " querelle des universaux " a occupée tacitement dans la philosophie ancienne, puis explicitement dans la (...) philosophie médiévale, mettant aux prises réalistes et nominalistes. Chacun sait aussi que ce problème, longtemps pertinent pour répertorier écoles et doctrines, fut réduit à un simple appendice des grands systèmes idéalistes post-cartésiens. Mais alors, comment comprendre le regain de faveur des discussions sur la réalité des universaux dans la philosophie contemporaine? S'agit-il de la reprise d'un problème dont la philosophie ne peut pas faire l'économie, même si elle a pu l'occulter? Y a-t-il réellement une pensée commune entre le réalisme d'un Duns Scot et celui d'un Armstrong, ou entre le nominalisme d'un Ockham et celui d'un Goodman? Ces questions ont fait l'objet d'un colloque organisé à l'Université de Caen. La confrontation entre solutions anciennes et solutions contemporaines et le débat entre historiens de la philosophie et philosophes contemporains ne sont pas seulement féconds, ils sont philosophiquement nécessaires. (shrink)

By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. Accepting the view (...) that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)

This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I (...) introduce a plan for resolving the logical puzzles of applicability. (shrink)

Abstract The problem of the existence of the objects of knowledge is the main problem in the controversy between realism and anti?realism. This controversy appears on three levels: (i) perceptions, (ii) concepts, (iii) scientific theories. According to perception?realism, things exist objectively; according to subjective idealism, they are only bundles of impressions. According to conceptual realism, genera (classes) exist objectively; according to nominalism, they do not exist (there are only general names). According to scientific realism, the objects of confirmed theories, (...) including unobservable entities, exist objectively; according to phenomenalism, only observable bodies exist. On each level a naive realism and a critical realism is distinguished. On the level of scientific theories direct objects (ideal models) are distinguished from ultimate objects (real entities). (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as (...) the most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

C’est à un maître augustin très célèbre du XIVe siècle latin, Grégoire de Rimini, qu’a été consacrée la thèse de Pascale Bermon, reprise dans cet ouvrage. Grégoire a été classé comme nominaliste par la postérité, notamment au XVIIe siècle, et la critique contemporaine ne s’accorde pas toujours sur la signification et la réalité de ce « nominalisme ». On considère habituellement que pour Grégoire, à la suite d’Adam de Wodeham, l’objet de la connaissance est le signifié de la proposition, un (...) si.. (shrink)

Although the term taxon is one of the most common concepts in biology, a range of its meanings cannot be comprehended by an universal definition. Usually, biologists construe their knowledge of “the same” taxon by substantially different interpretations, so they find themselves in need either to justify this “multiplication of taxon essences”, or to surmount their plurality unifying its interpretations into a single explanation of what a taxon is. In both cases, an ontological status (“reality”) of that taxon is questioned. (...) Therefore, discrepancy between universality of the taxon concept in biology and unavoidable plurality of its interpretations can be regarded as a source of problem of the taxon ontology. The present work aims to clarify the premises of this discrepancy using phenomenological approach. Three ways of the taxon positing (as a class, as a place in the world, and as a individualized body) have been distinguished. Taxon as a class is established by common essence that is shared by a set of living beings. These living beings are regarded as speculative objects beyond an idea of the world, i.e. as objects of the experimental science. A question about ontology of taxon as a class refers to the scholastic problem of universalia; its status can be defined within the scope of the nominalism/realism opposition. Taxon as a place of common appearance of the specimens is regarded in the context of the etiological relations unifying various entities into the entire world. Taxon as a place refers to a certain position in the Natural System that is construed as an etiological map of the world. In this case a specimen of a living being is known as a curiosity, i.e. representant of its relationships as well as of the place of its origin. Ontological status of a taxon as a place is to be clarified within the framework of the natural/artificial opposition. The positing of a taxon as a collective body marked off by limits of joint survival of living beings is characteristic for biology in the strict sense which arose in the very beginning of the 19 century. A taxon as a body established by the techniques of disciplinary power sensu M. Foucault extended from the human bodies to bodies of other living beings. The ontological status of a taxon as a collective body can be defined within the scope of the wild/domesticated opposition. Therefore, the discrepancy between the universality of the taxon concept and the plurality of its interpretations is underlayed by interpenetration of three distinct modi of taxon establishing. Distinguishing between these three modi can clarify sources of ontological problems concerned with the term taxon in each case when they arise. (shrink)

Hilary Putnam's argument against metaphysical realism (commonly referred to as the "model theoretic argument") has now enjoyed two decades of discussion.(1) The text is rich and contains variously construable arguments against variously construed philosophical positions. David Lewis isolated one argument and called it "Putnam's Paradox".(2) That argument is clear and concise; so is the paradoxical conclusion it purports to demonstrate; and so is Lewis' paradox-avoiding solution. His solution involves a position I call "anti-nominalism": not only are classes real, but (...) they are divided into arbitrary and 'natural' classes. The natural classes 'carve nature at the joints', being (as other philosophers might say) the extensions of 'real' properties, universals, or Forms.(3) Thus the argument was turned, in effect, into support for a metaphysical realism stronger than Putnam envisaged. (shrink)

Empiricists are in general rather suspicious with respect to any kind of abstract entities like properties, classes, relations, numbers, propositions, etc. They usually feel much more in sympathy with nominalists than with realists (in the medieval sense). As far as possible they try to avoid any reference to abstract entities and to restrict themselves to what is sometimes called a nominalistic language, i.e., one not containing such references. However, within certain scientific contexts it seems hardly possible to avoid them. In (...) the case of mathematics some empiricists try to find a way out by treating the whole of mathematics as a mere calculus, a formal system for which no interpretation is given, or can be given. Accordingly, the mathematician is said to speak not about numbers, functions and infinite classes but merely about meaningless symbols and formulas manipulated according to given formal rules. In physics it is more difficult to shun the suspected entities because the language of physics serves for the communication of reports and predictions and hence cannot be taken as a mere calculus. A physicist who is suspicious of abstract entities may perhaps try to declare a certain part of the language of physics as uninterpreted and uninterpretable, that part which refers to real numbers as space-time coordinates or as values of physical magnitudes, to functions, limits, etc. More probably he will just speak about all these things like anybody else but with an uneasy conscience, like a man who in his everyday life does with qualms many things which are not in accord with the high moral principles he professes on Sundays. Recently the problem of abstract entities has arisen again in connection with semantics, the theory of meaning and truth. Some semanticists say that certain expressions designate certain entities, and among these designated entities they include not only concrete material things but also abstract entities e.g., properties as designated by predicates and propositions as designated.... (shrink)

The development and changes in Quine's ideas on universais are analysed, and especially the interplay of the notions of attribute, set and predicate is highlighted. In a first logico-mathematical part it is shown how Quine banned attributes as a result of extensionalism, and how set-theoretic solutions for Russell's paradox disturbed the easy view of each predicate determining a class. Quine even tried to formulate nominalistic theories without universais (sets). It is further shown how linguistic considerations played a role in (...) Quine's ideas on universais. The role of predicates is scrutinised, and it is shown how they are torn between logical and linguistic demands. It is suggested that the role of attributes has been taken over by predicates. This semantic role of predicates is quite unstable. I conclude with the suggestion that Quine should separate set theory and linguistics more radically. (shrink)

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like (...) nominalizations, introducing a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

This paper explores connections between theories of morality and theories of properties. It argues that (1) moral realism is in tension with predicate, class and mereological nominalism; (2) moral non-naturalism is incompatible with standard versions of resemblance nominalism, immanent realism and trope theory; and (3) the standard semantic arguments for property realism do not support moral realism. I also raise doubts about trope-theoretic explanations of moral supervenience and argue against one version of the principle that we should (...) accept theories that maintain neutrality. (shrink)

Classifying is a fundamental operation in the acquisition of knowledge. Taxonomic theory can help students of cognition, evolutionary psychology, ethology, anatomy, and sociobiology to avoid serious mistakes, both practical and theoretical. More positively, it helps in generating hypotheses useful to a wide range of disciplines. Composite wholes, such as species and societies, are “individuals” in the logical sense, and should not be treated as if they were classes. A group of analogous features is a natural kind, but a group of (...) homologous features is not. Imposing hypotheses justified only on the basis of nominalist, realist, phenomenalist, or conceptualist metaphysics upon the neurophysiology of organisms or upon the causes of behavior exemplifies the “psychologist's fallacy” of William James. Levels should be distinguished from their members and from classes of levels, and the ontological status of entities ranked at levels should be made clear. It is important not to confuse such categories as substance and process with one another. Several genetical terms, such as “gene” and chromosome,” are even more equivocal than has been realized. Discussions about units of selection, behavior, and thinking suffer from the ambiguity of a “unit of” an entity. An important source of misunderstanding about natural selection is the habit of treating it as an “agent”: in an important sense, natural selection does not “act” at all. (shrink)

The aim of this study is to elucidate the notion of propositional function as exposed by Russell within the no-class theory of Principia Mathematica. According to realistic interpretation, propositional functions are metaphysical objects consisting of individuals, objectual variables and attributes. According to nominalistic interpretation, however, they are rather linguistic expressions. I argue that the latter interpretation is more adequate than the former one.

This essay is a defense of rationally normative ethics and individualism. Communitarians remedy the shortcomings of deontology's conception of the self as disembodied, asocial, and willful by reuniting reason and desire and by regarding reason as a principle of coordination within a social or communal context. While this renders reason more efficacious than it can be on the deontological view, it still falls short of the aspiration of Western ethics for rational control over theformation of moral judgments; reason and the (...) individual in whom it resides are subordinated to the social. In order for there to be a truly rational norm of moral decision-making, reason must have a constitutive function. That is, reason must not only seek coordination or harmony among elements other than and beneath itself, but it must also be capable of realizing and perpetuating itself in that harmony. A certain kind of harmony is thus sought, one in which reason (self-aware, self-possessed, and self-determined agency) rules the soul. This ethical position is frankly realistic from a metaphysical point of view and is opposed to nominalistic theories of personhood. It is argued that nominalistic accounts of personhood which would exclude the unborn and others from the class of persons or rational agents are logically inconsistent. (shrink)

My dissertation traces key aspects of the conceptual influence of Heidegger's work on feminist poststructuralist theories. This archeology enables me to indicate that poststructualism cannot provide the foundation necessary to forming three normative ideals requisite to a viable feminist theory: personal autonomy, heterogeneous community, and solidarity. I argue that certain versions of poststructuralism repeat Heidegger's abstraction from an hermeneutics of suspicion and his totalizing rejection of modernity. Without a theory of willed ignorance, post-Lacanian feminism undercuts women's agency. And, without tying (...) a vision of Sittlichkeit to ideology critique, feminist ethics falls prey to abstraction and antinormativism. ;In Part I, I recover a dialectical theory of autonomy that can account for the deliberate ways that subjects mediate their environment. In Part II, I flesh out Heidegger's and Irigaray's respective visions of heterogeneous community. In Part III, however, I show how neither Heidegger nor US appropriations of Irigaray yield either a sufficiently complex moral theory or a theory of solidarity. After delineating Heidegger's antinormative tendencies, I reveal similar deficiencies in the works of Irigaray and Drucilla Cornell. I demonstrate that the nominalist underpinnings of post-Lacanian feminism threaten to normalize a fragmented view of pluralism rather than tackle the hard problem of developing interactive models of universalism and of solidarity. ;I conclude by developing features of a feminist methodology that can support solidarity and avoid antinormativism. These features include: a hermeneutic of the symbolic order complex enough to address the overlap between race, class and gender; grounding theory in ideology critique; a model of critical social consciousness rooted in the ability to disdain the immiseration of others and to acknowledge one's own interests; and an interactionist basis for moral theory. (shrink)