This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

While practical efforts in the field of artificial intelligence grow exponentially, the truly scientific and mathematically exact understanding of the underlying phenomena of intelligence and consciousness is still missing in the conventional science framework. The inevitably dominating empirical, trial-and-error approach has vanishing efficiency for those extremely complicated phenomena, ending up in fundamentally limited imitations of intelligent behaviour. We provide the first-principle analysis of unreduced many-body interaction process in the brain revealing its qualitatively new features, which give rise to rigorously defined (...) chaotic, noncomputable, intelligent and conscious behaviour. Based on the obtained universal concepts of unreduced dynamic complexity, intelligence and consciousness, we derive the universal laws of intelligence applicable to any kind of intelligent system interacting with the environment. We finally show why and how these fundamentally substantiated and therefore practically efficient laws of intelligent system dynamics are indispensable for correct AI design and training, which is urgently needed in this time of critical global change towards the truly sustainable development. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a law-like (...) relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

In his Groundwork of the Metaphysics of Morals, Kant’s desiderata for a supreme principle of practical reasoning and morality require that the subjective conditions under which some action is thought of as justified via some maxim be sufficient for judging the same action as justified by any agent in those conditions. This describes the kind of universalization conditions now known as moral supervenience. But when he specifies his “formula of universal law” (FUL) Kant replaces this condition with a quite (...) different kind of universality: the judgment that some agent could rationally (i.e., without willing the frustration of his own valued ends) will his adoption of some maxim under the condition that this would cause all agents in his world to adopt it as well. Our wills typically lack this efficacy, so requiring that our wills conform to what would be rational for a hypothetical agent in this situation to will is a heteronomous requirement. Several intuitively wrong maxims pass Kant’s test but fail the test of supervenience, because they generate no contradiction in a world of universal compliance but do so in non-ideal worlds, demonstrating the inadequacy of the FUL and the logical superiority of moral supervenience. -/- Note that in the published version the title of this article incorrectly had the word "become" instead "became.". (shrink)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes (...) spatiotemporal co-location instead of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion of (...) these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

Human civilization is very clearly reaching a point of critical mass when it comes to technology and how it transforms culture and the economics that is therefore driven forward. The conversation around the practical aspects of generative artificial intelligence (Chat GPT, Q Star, Bard, Claude, Genesis, Firefly, and others) and their ethical implications is massively trending. The political conversations around it are slow to catch up but will soon take over once the general public feels their impact, which is likely (...) to happen in the next two to three years. -/- What is not being spoken of is the need for new economic models that can integrate the enormous and continuous shifts in trade that will occur, as we continue to implement more efficient manufacturing and logistics. Things like 3D printing in hub regions, the automation of transportation, augmented and virtual reality, and new creativity-based industries will all disrupt capital markets as well as social systems due to what we could call "meta-scarcity", which is to say, "the scarcity of scarcity"; In effect, we will lack the scarcity to maintain predictive power over the future. This is because when technology is capable of optimizing for creativity, people come up with new demands, and when new demands are supplied as quickly as they arise, no one is capable of knowing what kind of trends the market will take, yet it is necessary to try as public discussion could beneficially shape the economic landscape. (shrink)

Literature’s qualities can be highlighted by combining it with other forms of art. Manga, which is a Japanese traditional literary genre that involves visual art, has gained worldwide popularity in the last few decades. Subsequently, it was adapted into anime. This study explores the legitimacy of manga in literature, its global influence among notable figures such as prime ministers or presidents, and the zenith it attained in anime, which is a universal language. Are manga and anime universal solely due to (...) their graphics and stories? Or is it rather because of their ability to connect people to the sacred? Is image universal? If so, what kind of image? Static one? Moving one? Which, manga or anime, can rather be considered universal? What does the future hold for literature and its various adaptations? (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Analyses C S Lewis's argument for the existence of 'something in addition to nature' - i.e., something which is of a kind that neither depends on nature's interlocking system, nor could be explained as being a necessary product of it. This singular exceptional item, Lewis argued, is rational thought, 'which is not part of the system of nature'.

Problem of Axiological Legitimization of the Universal System of the Protection of Human Rights Summary In this paper it is argued that legitimization of the universal system of the protection of human rights depends primary not from the content of values recognised as fundamental but rather from metaaxiological solutions related to the way of existence and to the possibility of cognition of these values. Legitimisation is based on the recognition of an objective nature and of cognoscibility of basic values. Realisation (...) of the primary aim of this paper is linked to the problem of different meanings of the notion of universality, used in the context of the universal system of the protection of human rights. First, descriptive and normative meanings have to be distinguished. In the case of normative sense, there are moral and legal meanings of “universality”. An axiological justification of the universality of human rights in the legal sense leads to the legitimisation of the universal system. It is shown that modifications of – broadly accepted in the Polish theory of law – definitions of an axiological justification of legal norms are needed. These definitions base such a justification on the valuations made by particular groups of subjects. It is argued that it is much more convenient to refer to valuations understood as meanings of sentences of certain kind. -/- Streszczenie W artykule zmierza się do uzasadnienia tezy, że legitymizacja uniwersalnego systemu ochrony praw człowieka jest oparta nie tyle na treści wartości uznawanych w tym systemie, ale na uznanych w nich rozstrzygnięciach metaaksjologicznych, dotyczących tego, jak istnieją wartości podstawowe dla tego systemu i czy są one poznawalne. Walor legitymizacyjny posiada przede wszystkim uznanie obiektywnego charakteru tych wartości i ich poznawalności. Realizacja zasadniczego celu zakłada uporządkowanie podstawowych pojęć dotyczących problematyki powszechności praw człowieka – termin „powszechność” stosowany w odniesieniu do praw człowieka w kontekście uniwersalnego systemu ochrony ma wiele znaczeń. Przede wszystkim odróżnić trzeba powszechność w aspekcie opisowym i w aspekcie normatywnym. W przypadku powszechności w aspekcie normatywnym w grę może wchodzić powszechność w sensie ideowym i powszechność w sensie pozytywnoprawnym. Uzasadnienie tej ostatniej jest też uzasadnieniem poszukiwanej tu legitymizacji uniwersalnego systemu ochrony praw człowieka. Prowadzone analizy prowadza także do sformułowania postulatów dotyczących sposobu definiowania uzasadnienia aksjologicznego norm prawnych. Modyfikacji wymagają powszechnie przyjmowane w polskiej teorii prawa definicje relatywizujące takie uzasadnienie do ocen przyjmowanych przez konkretne podmioty oceniające lub ich grupy. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of (...) full ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Unusual among Western philosophers, Schopenhauer explicitly drew on Hindu and especially Buddhist traditions inhis moral philosophy. He saw plurality, especially the plurality of human persons, as a kind of illusion; in reality all is one, and compassionate acts express an implicit recognition of this oneness. Max Scheler retains the transcendence of self aspect of compassion but emphasizes that the subject must have a clear, lived sense of herself as a distinct individual in order for that transcendence to take place (...) properly. This feature is absent in the Buddhist tradition. Feminist philosophers of the early second wave built on this insight (only occasionally drawing it from Scheler) to recognize ways women are often not socialized to develop this distinctive sense of self, therefore harming their ability to engage in compassion and other forms of care for others. Iris Murdoch adds a Freudian-inspired (though Freud influenced Scheler also) pessimism about the ability of humans to keep their identities sufficiently distinct from the other to allow a clear view of the other, and thus real care and help to the other to take place. But in her later work, Murdoch explicitly recognizes and draws on the Buddhist tradition of oneness and transcendence of the self. Group solidarities can partake of aspects of Buddhist oneness and self-transcendence, for example the sense of fellowship in a social justice movement in which Blacks draw on a shared identity to experience connection, compassion, empathy, and solidarity with one another. But social justice movements also allow for a solidarity across racial lines, grounded in the shared commitment to justice, including justice for one of the groups in the solidarity community. (All these issues are powerfully portrayed in the 2014 film, Selma.) None of these solidarities, however, express the universalistic dimension of Buddhist oneness. (shrink)

The theory of universals faces two opposing demands. On the one hand, it must be explanatory. That is, certain kinds of statements found in our everyday discourse and the theories used to explain them seem to require the existence of universals for their understanding or acceptance. On the other hand, it must be ontologically appropriate. This means that theories that intervene ontologically without sufficient reasons for the existence of implausible entities or theories that result in an excessive proliferation (...) of new entities should not be embraced as theories of universals. The problem is that a theoretically sound theory of universals appears to inevitably involve a tension between explanatory and ontological appropriateness. This dilemma arises from the two aforementioned demands, and it is a genuine dilemma in that it is difficult to give up either demand. Philosophy, or metaphysics, fundamentally aims to explain the facts of the experiential world. If a philosophical theory fails to adequately satisfy our explanatory demands regarding the experiential world, it is not suitable as a philosophical theory. Conversely, it is also undesirable for a philosophical theory to impose excessive ontological burdens. The justification of a philosophical theory is a priori, and any a priori claims about the existence of entities should not be arbitrarily adopted. This article resolves this dilemma as follows: If the explanatory demand requires reduction from an ontological standpoint, it can be adequately addressed through unproblematic means. On the other hand, the apparent conflict between the explanatory demand and appropriate ontology only arises when it is understood as a demand for explanatory priority. However, such a demand does not necessarily require the introduction of any ontological priority. Therefore, there was no need for the dilemma to arise. Finally, I attempt to respond to the demands from natural kind predicates. (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

The article proposes a new solution to the long-standing problem of the universality of essences in Spinoza's ontology. It argues that, according to Spinoza, particular things in nature possess unique essences, but that these essences coexist with more general, mind-dependent species-essences, constructed by finite minds on the basis of similarities that obtain among the properties of formally-real particulars. This account provides the best fit both with the textual evidence and with Spinoza's other metaphysical and epistemological commitments. The article offers new (...) readings of how Spinoza understands not just the nature of essence, but also the nature of being, reason, striving, definitions, and different kinds of knowledge. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology (...) is obliged to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

This makes three main interpretative points about the progression from perception to universals described in 'Posterior Analytics' II.19: (1) The noun "'aisthesis'" as used in the chapter may refer not to the act of perceiving but to perceptual contents retained in memory. (2) An 'empeiria' (experience) should be understood as a capacity to generate expectations about new members of an unconceptualized kind based on memories of other members of the kind. (3) The famous rout analogy is a (...) metaphor for the perfection of such a capacity into a concept that can underwrite demonstrative knowledge (rather than mere expectation). (shrink)

I reassess the famous arguments of Frank Plumpton Ramsey (1925) against the tenability of the distinction between particulars and universals and discuss their recent elaboration by Fraser MacBride. I argue that Ramsey’s argument is ambiguous between kinds and properties and that his sceptical worries can be resolved once this distinction is taken into account. A crucial role in this dissolution is a notion of what is essential to a property. I close by some epistemological considerations.

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics (...) for the theory and a provably sound axiomatization. (shrink)

The problem of natural kind is considered to be a complicated problem in philosophy as it is linked to the problem of essence on the one hand and the problem of individuals on the other. While nominalists refuse to accept universals in their ontology, realists believe in natural kinds and endeavor to justify classification of things by appealing to existence of natural kinds and their essential properties. In the first part of this paper we briefly survey two kinds (...) of criteria for being a natural kind. In the second part we will evaluated the proposed criteria. Finally we conclude by the following six criteria: Reality and absoluteness, possessing of full essence, hierarchy, changelessness, categorization and contribution to identical theory. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind (...) to which it belongs. Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), whereas moderate entity (...) realism accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

This book offers an original philosophical perspective on exemplarity. Inspired by Wittgenstein’s later work and Derrida’s theory of deconstruction, it argues that examples are not static entities but rather oscillate between singular and universal moments. There is a broad consensus that exemplary cases mediate between singular instances and universal concepts or norms. In the first part of the book, Mácha contends that there is a kind of différance between singular examples and general exemplars or paradigms. Every example is, in (...) part, also an exemplar, and vice versa. Furthermore, he develops a paracomplete approach to the logic of exemplarity, which allows us to say of an exemplar of X neither that it is an X nor that it is not an X. This paradox is structurally isomorphic to Russell’s paradox and can be addressed in similar ways. In the second part of the book, Mácha presents four historical studies that exemplify the ideas developed in the first part. This part begins with Plato’s Forms, understood as standards/paradigms, before considering Kant’s theory of reflective judgment as a general epistemological account of exemplarity. This is then followed by analyses of Hegel’s conceptual moment of particularity and Kuhn’s concept of paradigm. The book concludes by discussing the speculative hypothesis that all our knowledge is based on paradigms, which, following the logic of exemplarity, are neither true nor false. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted (...) rather a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

Art is universal across cultures. Yet, it is biologically expensive because of the energy expended and reduced vigilance. Why do humans make and contemplate it? This paper advances a thesis about the psychological origins of perceptual art. First, it delineates the aspects of art that need explaining: not just why it is attractive, but why fine execution and form—which have to do with how the attraction is achieved—matter over and above attractiveness. Second, it states certain constraints: we need to explain (...) pleasure in contemplation, not value extracted from the object by activities other than contemplation. The theory is that aesthetic pleasure is a motivation for learning skills. Two forms of pleasure are postulated. The first accompanies the spontaneous activity necessary for learning a more or less universal basic level of skill. The second accompanies highly skilled activity. This second kind of pleasure is specific to art as such. (shrink)

According to Universal Epistemic Deontology, all of our doxastic attitudes are open to deontological evaluations of obligation and permissibility. This view thus implies that we are responsible for all of our doxastic attitudes. But many philosophers have puzzled over whether we could be so responsible. The paper explores whether this puzzle can be resolved, and Universal Epistemic Deontology defended, by appealing to a view of responsibility I call the Revelatory View. On that view, an agent is responsible for something when (...) it reveals the kind of person the agent is. I explore four ways of developing the Revelatory View and argue that none ultimately defend Universal Epistemic Deontology. (shrink)

The analytical understanding cannot deal with integral wholes and therefore cannot understand the soul or God. The material body is illusory in the sense that it cannot be understood in its true identity without knowing its relationship to God. Analyzing its composition in terms of separated molecules or neurons is also illusory. To understand how to go from an untrue or partially true part to its truth in the whole a method developed by Hegel called conceptual thinking is required. Reproduction (...) is not merely concerned with individuals, it involves the genus or genus process. The universal that determines the species is not changed when particulars under the universal change, die, reproduce according to their “own kind” or species. Without connecting the individual organisms with their species we may wrongly think they can evolve into any species by chance. But this is not how individual and species are related to each other. The species determines how the individuals will appear and controls their reproduction, growth, and so on. They are not independent to become what they want by choice or by chance. Everyone calls themselves “I” so “I” is a universal, although each means only oneself. In the same way each organism is identified with its species, although we mean its own particular organism – for example, a dog and not canine in general. Thus the universal and particular cannot be separated from each other. Similarly individuals who identify only personal reason independent of universal Reason are misconceiving their true identity. At the same time universal and particular are related, they are not the same but a unity in difference. The universal by itself is as abstract as the particular by itself. At the same time their relation can only be comprehended within a higher unity, the higher Self or Supreme Individual. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One (...) over Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

In his Posterior Analytics Aristotle confronted a problem that threatened his vision of scientific knowledge as an axiomatic system: if scientific knowledge is demonstrative in character, and if the axioms of a science cannot themselves be demonstrated, then the most basic of all scientific principles will remain unknown. In the famous concluding chapter of this work (II 19), he claimed to solve this problem by distinguishing two kinds of knowledge: we cannot have epistêmê of the first principles, but we can (...) have nous of them. This ‘solution’ has struck many students of his thought as hopelessly ad hoc and unpersuasive. And nowhere is Aristotle less persuasive than when he appeals to a faculty of intuition or a priori insight which arrives on the scene precisely when it is most needed. I defend Aristotle’s account by showing how nous is not properly characterized as a faculty of intuition which operates independently of sense experience. Rather, nous is a kind of knowledge that is available to us whenever our mind advances from the perception of particular individuals to grasp the relevant universal concept or general principle. (shrink)

Human behavior and thought often exhibit a familiar pattern of within group similarity and between group difference. Many of these patterns are attributed to cultural differences. For much of the history of its investigation into behavior and thought, however, cognitive science has been disproportionately focused on uncovering and explaining the more universal features of human minds—or the universal features of minds in general. -/- This entry charts out the ways in which this has changed over recent decades. It sketches the (...) motivation behind the cultural turn in cognitive science, and situates some of its central findings with respect to the questions that animate it and the debates that it has inspired. Woven throughout the entry are examples of how the cognitive science of culture, and especially its elevated concern with different forms of diversity and variation, continues to influence and be influenced by philosophers. -/- One cluster of philosophical work falls within the traditional subject matter of philosophy of science, in this case of the cognitive and social sciences. Philosophers have analyzed and assessed the methods and evidence central to the scientific study of cognition and culture, and have offered conceptual scrutiny, clarification, and synthesis. Research in a second vein sees philosophers themselves contributing more directly to cognitive scientific projects, (co)constructing theories, helping build computational models, even gathering empirical data. A third kind of work is naturalistic philosophy or philosophy of nature, wherein philosophers seek to use results from the cognitive science of culture to inform or transform debates over long-standing philosophical questions, including questions about the nature of philosophy and philosophical methodology itself. (shrink)

This article offers an interpretation of Descartes’s method of doubt. It wields an examination of Descartes’s pedagogy—as exemplified by The Search for Truth as well as the Meditations—to make the case for the sincerity (as opposed to artificiality) of the doubts engendered by the First Meditation. Descartes was vigilant about balancing the need to use his method of doubt to achieve absolute certainty with the need to compensate for the various foibles of his scholastic and unschooled readers. Nevertheless, Descartes endeavored (...) to instill willful, context-independent, universal doubt across his readership. If all goes well, readers of the Meditations are like method actors; the Meditator is the character they are meant to bring to life, via the method of meditating on reasons for doubt. The article concludes with the suggestion that Descartes was the same kind of skeptic as the early Academic skeptics Arcesilaus and Carneades. (shrink)

This study is dedicated to the chapter Metaphysics My 10, which, in my opinion, represents an example of basic research as regards Aristotle’s ontological investigations. The aim of my analysis is to point out that the chapter constitutes a manifesto for a new ontology: this new ontology is Aristotle’s typological ontology. The main entities of the typological ontology are universals, on the one hand, and instantiations of universals, on the other hand. The ontological levels, to which these two (...) kinds of entities belong, are different from each other: therefore they must be kept rigorously separated from each other. The new ontology constitutes a clear opposition to the ontology of ideas. In my opinion Aristotle does not aim at eliminating universals from the range of the existing entities: At least the universals which correspond to biological kinds (such as „man“ or „animal“) and to all the properties connected to these biological kinds are real entities, even though they do not exist at the same level at which the level of the instantiations do. Aristotle’s aim is thus to assign universals and individuals to different realms of reality. The reality consists both of individuals and of universals: these kinds of entities occupy different realms of reality. (shrink)

This essay proposes a new theory of agentive modals: ability modals and their duals, compulsion modals. After criticizing existing approaches—the existential quantificational analysis, the universal quantificational analysis, and the conditional analysis—it presents a new account that builds on both the existential and conditional analyses. On this account, the act conditional analysis, a sentence like ‘John can swim across the river’ says that there is some practically available action that is such that if John tries to do it, he swims across (...) the river. The essay argues that the act conditional analysis avoids the problems faced by existing accounts of agentive modality and shows how the act conditional analysis can be extended to an account of generic agentive modal claims. The upshot is a new vantage point on the role of agentive modal ascriptions in practical discourse: ability ascriptions serve as a kind of hypothetical guarantee, and compulsion ascriptions as a kind of nonhypothetical guarantee. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential (...) features, for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

Paper presented at a meeting of the International Association for Philosophy and Literature, Stony Brook, New York, USA, May 2000. -/- Foucault rejects the idea of intellectuals acting as "prophets": telling others what must be done and what sorts of social and political goals they should pursue. I argue that in outright rejecting such prophecy, Foucault may not be pursuing the most effective means of eventually breaking it down. I locate in Foucauldian genealogical works such as Discipline and Punish a (...) rhetorical strategy through which the intellectual acts as a prophet while also distancing him/herself from this role: the genealogist speaks as a universal intellectual while also encouraging others to question the truths thus provided, as well as the role of the intellectual as prophet itself. I argue that in so doing the genealogist engages in a kind of exile, a term I borrow from Edward Said to denote a movement of distancing without effecting a clean break. This intellectual, rather than rejecting outright the role of the prophet, works within this role while yet distancing him/herself from it -- acting as (what I call) a “prophet in exile.”. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ (...) ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

How persuasive are Rousseau’s and Diderot’s objections against Helvétius’s view that it is always interest that guides our esteem? Against Helvétius’s view that we always esteem ourselves in others, Rousseau objects that we can esteem the ideas that we recognize to be superior to our own ideas; against Helvétius’s idea that particu-lar societies and nations can only esteem ideas that are useful for them, Diderot objects that we can experience and esteem the feeling of universal benevolence. However, Rousseau and Diderot (...) overlook that Helvétius’s conception of moral luck explains why experiences of the kind that they describe can occur. At the same time, Helvétius’s conception of moral luck explains why these experiences occur so rarely. This is why he holds that what we esteem needs to be modified through republican constitution building—expresses itself a kind of opti-mism concerning the possibility of cultivating morally good qualities of individuals through political agency. (shrink)

In this volume Paul Formosa sets out a novel approach to Kantian ethics as an ethics of dignity by focusing on the Formula of Humanity as a normative principle distinct from the Formula of Universal Law. By situating the Kantian conception of dignity within the wider literature on dignity, he develops an important distinction between status dignity, which all rational agents have, and achievement dignity, which all rational agents should aspire to. He then explores constructivist and realist views on the (...) foundation of the dignity of rational agents, before developing a compelling account of who does and does not have status dignity and of what kind of achievement dignity or virtue we, as vulnerable rational agents, can and should strive for. His study will be highly valuable for those interested in Kant's ethical, moral and political philosophies. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

I reconsider the relation between love and respect in Kantian ethics, taking as my guide Iris Murdoch's view of love as the fundamental moral attitude and a kind of attention to individuals. It is widely supposed that Kantian ethics disregards individuals, since we don't respect individuals but the universal quality of personhood they instantiate. We need not draw this conclusion if we recognise that Kant and Murdoch share a view about the centrality of love to virtue. We can then (...) see that respect in the virtuous person cannot be blind to the individual, as critics of Kantian ethics contend. My approach contrasts recent efforts to assimilate Kantian respect to Murdochian love, which overlook Murdoch's distinctive claims about the singularity of moral activity. This idea is not as un-Kantian as it seems, and it should inform any Kantian ethics that aims to address the charge about individuals. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

Understanding Hegel's account of particularity has proven to be anything but straightforward. Two main accounts of particularity have been advanced: the particular as an example or instance and the particular as a subjective perspective on a universal concept. The problem with these accounts is that they reduce particularity either to singularity or to universality. As Derrida's analyses make apparent, the ‘structure of exemplarity’ in Hegel is quite intricate. Hegel uses ‘example’ in three senses: it means (1) ‘instance’, ‘illustration’, or (2) (...) ‘model’, ‘exemplary individual’, ‘paradigm’, or (3) a by-play (a meaning derived from Hegel's neologismbeiherspielen, in whichBeispielis understood quasi-etymologically as a ‘by-play’ of accidental moments). ABeispielin the first sense can be replaced by another instance in a free play (by-play). This play of accidental moments, however, is not entirely free; it generates a series (of replacements) that ultimately leads to an example in the second sense, to an exemplary individual. I argue that particularity can be taken as exemplarity of this kind, oscillating between a singular example and a universal paradigm. Within this by-play, the universal concept, its law, is supposed to be mediated and determined. However, out of the differences between the examples the by-play induces another law, the law of non-mediation, which may, in Derrida's view, actually negate the dialectical movement towards universality. I argue, utilizing Malabou's concept of plasticity, that this disruption may be recovered. This implies that each individual example within a series is a particular determination of the universal. Hence, we can take literally Hegel's claim that the movement of the concept is play. (shrink)

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation (...) of philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)