It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend (...) an alternative interpretation of first-level function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to (...) applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems (...) to neglect. To come to a better understanding of Frege’s response, I proceed to investigate his conception of the nature of the logical categories, and how it differs from Russell’s. I argue that, for Frege, our grasp of the logical categories cannot be severed from our grasp of the Begriffsschrift notation itself. Russell, on the other hand, attaches no such importance to notation. From Frege’s point of view, Russell has not succeeded in presenting an alternative conception of the logical hierarchy, since such a conception must go in tandem with the development of a notation. Moreover, Frege has good reasons to think that Russell’s proposal does not admit of a suitable notation. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our (...) theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign (...) φ(φx) does not express any paradox, because the syntactic rules for its use, written in clear notation, should “show” us that φ(φx) = ψ(φx). Many researchers (Davant, Ishiguro, Mounce, Ruffino, Friedlander, Jolley, Livingston, Ladov, et al.) follow this interpretation. However, the difficulty of such a view on Wittgenstein’s theory of logical symbolism is that there hides the fallacy of petitio principii. Indeed, in examples of a functional sign of the form φ(φx), we are interested not only in the question of whether the functions φ are different symbols, but also in how this functional sign φ(φx) itself excludes the symbolization of the same object by different ways. This interpretation is contrasted with the idea that Wittgenstein’s theory of logical symbolism is in fact a modified analogue of Russell’s simple theory of types. The reciprocality principle becomes the core of Wittgenstein’s theory: the combinatorial potential of the “prototype” of a functional sign is identical to the combinatorial potential of the “prototype” of an argument. According to Wittgenstein, only describing the combinatorial potential of linguistic expressions (symbols) can vanish the illusion of paradoxes. The function cannot be its argument, because the function sign φ(φx) already contains the “prototype” of its argument, “showing” us that φ(φx) = φx. The correctness of this interpretation does not exclude the possibility that the differences between Russell and Wittgenstein are in fact nothing more than façon de parler. (shrink)

Type identity theory was dismissed in 1967 by many philosophers due to Hilary Putnam’s multiple realisability objection seeming fatal. This paper delves into a critique of type identity theory, thereby paving the way for introducing an alternative theory of mind: emergentism. The longstanding philosophical discourse around the mind has been dominated by the binary opposition of classical physicalist and dualist theories. However, the impact of scientific discovery on contemporary thought has sparked an increasing inclination towards reductive physicalist (...) frameworks, with the aim of aligning with the scientific method. Thus, contemporary thinkers have branched out to explore new physicalistic ideas. This paper examines the inherent challenges in all reductive physicalist theories, shedding light on their limitations and proposing potential solutions to overcome the obstacles. This analysis demonstrates that type identity theory, akin to its reductive counterparts, fails to accommodate for the irreducibility of consciousness. This is consciousness as characterised by Thomas Nagel’s “what is it likeness” of experience, which is inherently subjective. Instead, this paper contends that emergentism offers a compelling alternative despite being a physicalist theory. It posits consciousness as a higher-order phenomenon, one that transcends reduction to its constituent components. I argue that this attribute of emergentism makes it a promising theory in the ongoing quest for an understanding of the mind and consciousness. (shrink)

In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, (...) word, or other notational item. Such a view is strongly supported by the completely conventional relation between inscriptions and notation, as shown by encryption techniques etc. (shrink)

In this chapter, I consider contemporary consequentialist theories of punishment. Consequentialist theories of punishment look to the consequences of punishment to justify the institution of punishment. Two types of theories fall into this category—teleology and aggregationism. I argue that teleology is implausible as it is based on a problematic assumption about the fundamental value of criminal punishment, and that aggregationism provides a more reasonable alternative. Aggregationism holds that punishment is morally justified because it is an institution that helps society (...) to aggregate important moral values. Several theories fall into this category, including general deterrence theories, specific deterrence theories, and preventionism. I critically evaluate these theories and argue that only one specific deterrence theory, namely, my rights-protection theory, provides the most reasonable consequentialist account of punishment. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses (...) on: (1) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able (...) to allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

In the book, the author defines the evolution as a continuous and nonlinear complex of the structure of matter, interaction types and environments of existence; analyzes existing in modern science and philosophy approaches to the study of the process of evolution, degree of development factors and causes of evolution. Unifying interdisciplinary research in cosmology, evolution, biology, neuroscience and philosophy, the author presents his vision of the evolution model of «Evolving matter», which allows us to consider not only the laws (...) of the transition space vacuum in neural networks but also to see our Universe as a complex, heterogeneous organization. Interdisciplinary amount of information on the theory of evolution is systematized and a new method of world perception is proposed in the book. (shrink)

In this article, I expound and assess two theories of meaning in life informed by the indigenous sub-Saharan African philosophical tradition. According to one principle, a life is more meaningful, the more it promotes community with other human persons. According to the other principle, a life is more meaningful, the more it promotes vitality in oneself and others. I argue that, at least upon some refinement, both of these African conceptions of meaning merit global consideration from philosophers, but that the (...) vitality approach is more promising than the community one for capturing a wider array of intuitions about what confers meaning on a life. I further argue, however, that there are objections that apply with comparable force to both theories; neither one does a good job of entailing that and explaining why certain types of reason and progress can make a life more meaningful. Although these objections are characteristic of a ‘modern’ western outlook, I maintain that they are difficult for contemporary African philosophers to ignore and consider some ways they might respond to the objections. (shrink)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the possibility of (...) imagining one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

In this article, a new, idealizing-hermeneutic methodological approach to developing a theory of philosophical arguments is presented and carried out. The basis for this is a theory of ideal philosophical theory types developed from the analysis of historical examples. According to this theory, the following ideal types of theory exist in philosophy: 1. descriptive-nomological, 2. idealizing-hermeneutic, 3. technical-constructive, 4. ontic-practical. These types of theories are characterized in particular by what their basic (...) class='Hi'>types of theses are. The main task of this article is then to determine the types of arguments that are suitable for justifying these types of theses. Surprisingly, practical arguments play a key role here. (shrink)

The intersection between virtue and care ethics is underexplored in contemporary moral philosophy. This thesis approaches care ethics from a neo-Aristotelian virtue ethical perspective, comparing the two frameworks and drawing on recent work on care to develop a theory thereof. It is split into seven substantive chapters serving three major argumentative purposes, namely the establishment of significant intertheoretical agreement, the compilation and analysis of extant and new distinctions between the two theories, and the synthesis of care ethical insights with (...) neo-Aristotelianism to generate a virtue ethical theory of care. In the first two chapters, I outline virtue ethics and care ethics, and argue for considerable agreement over central premises. Chapter 2 summarises the foundational commitments of care ethics, focusing particularly on their relational ontology and its links to the other ethical claims care ethicists universally ascribe to, namely particularism, partialism, the moral salience of emotions, and the rejection of hard public/private distinctions. Chapter 3 lays out the central concepts in neo-Aristotelian virtue ethics, including eudaimonism, virtue, and character traits, and drawing a number of comparisons between virtue and care ethics specifically with regard to relational ontology and the meta-ethical commitments it underpins. In addition to doing the necessary expository work for the remainder of the thesis, Chapters 2 and 3 also argue that care ethics and virtue ethics have much more in common than is typically acknowledged – the first major contribution of this thesis to the literature. Chapters 2 and 3 to provide at least a prima facie justification for pursuit of the questions I confront in the remainder of the thesis. In Chapter 4, I ask what differentiates these two ethical theories. I survey some of the differences which philosophers in either camp have identified and offer some of my own. I suggest that several of those differences either rest on misunderstandings of one ethic or the other, or that in erecting a divide between virtue and care ethics they also disunify ethics of care. I do, however, identify two differences which seem defensible. Specifically, they are that virtue ethics seems to lack an account of care, which I define minimally as a response or responsiveness to need, and that virtue and care ethics organise their meta-ethical and normative concepts differently. This chapter thus presents a second contribution to the literature: a study of the differences between virtue ethics and care ethics. It also serves to set the trajectory for the remaining chapters, where I respond to the claim that virtue ethics lack an account of care. I spend the remainder of the thesis constructing what I take to be a satisfying foundation for a virtue ethical theory of care. In Chapter 5, I offer three initially viable means of incorporating care into virtue ethics, all of which treat care as a virtue. These are the analogical approach, according to which care is analogous to an existing virtue; the additive approach, according to which care is a novel virtue; and the bundling approach, according to which care is a bundle of virtues. I also offer and evaluate reasons to reject the claim that care is a virtue, concluding that the claim is indeed a viable one so long as the concept of care is sufficiently thick, and I contend that analogical approaches, and particularly analogies with charity, outperform the others. Chapter 5 therefore serves two ends. First, it proffers a novel meta-analysis of concepts of care as a virtue, and thus makes a third contribution to the literature. In doing so, it makes an inroad into the second: the development of a neo-Aristotelian theory of care. Chapter 6 continues this project. I attempt to show how care can be construed as an act-type and a practice. I argue in this chapter that practices are a subcategory of actions, and that care qualifies as an Anscombean act-type which aims at the meeting of needs relating to the care-recipient’s flourishing. I go on to consider the implications of this account for ethics which deploy care as a moral concept, maintaining that it not only offers a better account of consequences than theories of care which include success criteria, but also that it affords us interesting insights into the distinction between ‘caring about’ and ‘caring for’ which allow us to make sense of certain tenets of neo-Aristotelianism. This represents a contribution to both discourses, since neither care nor virtue ethicists working at the intersection of their respective normative theories have delved very deeply into the philosophy of action. Chapter 7 discusses caring relations, suggesting that a virtue ethical theory of caring relations can lean on the work care ethicists have done, and adding some necessary refinements, such as a distinction between ideal and non-ideal caring relations, and a theory of caring relations as reasons for action. This final chapter also draws these three concepts of care together by arguing that virtuous caregivers who are invested in the flourishing of those for whom they care are also sensitive to the relations those care-recipients bear to their institutional environment. I argue that because they are caring participants in caring relations, virtuous agents are characteristically motivated by states of need and dependency to engage in certain sorts of conventionally political practices. In other words, the virtue or virtues of caring characteristically manifest in certain sorts of political or social practices, relating specifically to those areas of moral life. This allows us to build upon recent work in feminist virtue ethics of the sort offered by Tessman and Friedman. I also offer a novel analysis of migration, suggesting that the account of care presenting here is analytically useful both when it comes to historical cases of migration such as the underground railroads and escapes from Nazi-occupied Europe, but also for contemporary issues such as the migrations occurring in the Southern United States and in much of Europe. I thus conclude not only that virtue ethicists ought to incorporate care into their normative framework, and that the theory of care presented here is a coherent one, but that this leads us naturally into applied topics such as virtue politics. I conclude the thesis by considering some its implications and by identifying some further avenues for research. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...) two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Though there is a wide and varied literature on ethical supererogation, there has been almost nothing written about its epistemic counterpart, despite an intuitive analogy between the two fields. This paper seeks to change this state of affairs. I will begin by showing that there are examples which intuitively feature epistemically supererogatory doxastic states. Next, I will present a positive theory of epistemic supererogation that can vindicate our intuitions in these examples, in an explanation that parallels a popular (...) class='Hi'>theory of ethical supererogation. Roughly, I will argue that a specific type of epistemic virtue—the ability to creatively think up plausible hypotheses given a body of evidence—is not required of epistemic agents. Thus, certain exercises of this virtue can result in supererogatory doxastic states. In presenting this theory, I will also show how thinking about epistemic supererogation can provide us a new way forward in the debate about the uniqueness thesis for epistemic rationality. (shrink)

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

In a previous paper (Compléments pour une théorie des distorsions cognitives, Journal de Thérapie Comportementale et Cognitive, 2007), we did present some elements aimed at contributing to a general theory of cognitive distortions. The latter elements, based on the reference class, the duality and the system of taxa, are applied here to generalised anxiety disorder. This allows to describe, on the one hand, the specific distortions related to generalised anxiety disorder, consistently with recent work emphasising the role played by (...) uncertain situations with regard to future events. On the second hand, these elements allow to define one type of structured reasoning, of inductive nature, which contributes to the formation and maintenance of anxious ideas. (shrink)

When you type the word “serendipity” in a word-processor application such as Microsoft Word, the autocorrection engine suggests you choose other words like “luck” or “fate”. This correcting act turns out to be incorrect. However, it points to the reality that serendipity is not a familiar English word and can be misunderstood easily. Serendipity is a very much scientific concept as it has been found useful in numerous scientific discoveries, pharmaceutical innovations, and numerous humankind’s technical and technological advances. Therefore, there (...) have been many books written around the concept. So why do we need this additional book? This is not just another book about serendipity. It has evolved from the Editor’s question lingering for a decade after finishing his widely cited article (coauthored with Prof. Nancy K. Napier of Boise State University, ID, USA) “Serendipity as a strategic advantage?” in T. Wilkinson’s edited volume Strategic Management in the 21st Century, published by Praeger. The Editor and contributing authors have tried to achieve the following in this title. Demystifying the Serendipity Myth The phenomenon of serendipity has always been thought of as a “miracle”. It is the mystery of human innovation and one of the ultimate secrets of our society. But serendipity is not just a lucky coincidence nor any hidden conspiracy. This book explores the science of the information process behind this seemingly miraculous phenomenon. It connects human society with nature, going back to the root of our existence and looking at the flame of survival to discover the harmony in making creativity. Presenting the nuts and bolts of being an adventurer of science The authors present their conceptual investigations into serendipity’s nature and its mechanism by examining interesting real events and stories. The content is thought-provoking, and readers are led to question and explore their own life stories and problems along the journey of reading this book. Catching an elusive high-value target requires great strategies and efforts. But there are no dark secrets here because this is the “way of nature” – how we humans have always strived for innovation without realizing the blueprints behind such processes. Unlike other books on serendipity, this book will show you that a powerful “secret” is closer than you think. Delivering practical uses for different audiences By understanding the conditionality and survival drivers of serendipity, individuals or organizations can make better decisions on creating the right environment to facilitate the encounter and attainment of this valuable phenomenon. For scientists: With clear explanations of the information processes underlying serendipity, flexible theoretical frameworks of mindsponge and the 3D principle of creativity, researchers are provided with the tools they need to dig deeper into their own fields of study and find practical applications, be it psychology, economics, sociology, or anything that involves innovation (which is, in fact, every scientific discipline). For curious casual readers: Everybody needs innovation to make breakthroughs or spice up one’s life. If you think great ideas come to people randomly from an unknown fairy place, this book will convince you otherwise without taking away that awe and wonder. But above all, you will know how to become more creative, scientifically and straightforwardly, with no snake oil and no weird tricks. For ambitious business people: The flame that brought about great successes throughout human history is within you. But you can only use it if you understand it. While others wait for serendipity to come, you will be able to actively hunt for those precious moments. As it has always been: the best hunters triumph, not the passive wanderers. And in this age of information chaos, finding the golden fruits is not easy. Those from information technology know this problem well, and this book is the treasure map that they have been seeking to navigate that stormy ocean looking for jewels. Like a kingfisher tracking its prey through the water, waiting to gracefully strike, with serendipity, a person seizes the prize of creativity amid the chaos of life. ¤ ¤ ¤ Official introduction: The book explores the nature, underlying causes, and the information processing mechanism of serendipity. It proposes that natural or social survival demands drive serendipity, and serendipity is conditional on the environment and the mindset, on both individual and collective levels. From Darwin's evolution theory to Sun Tzu's war tactics, major innovations throughout human history are unified by this key concept. In the rapidly changing world, information is abundant but rather chaotic. The adaptive power of serendipity allows people to notice treasures within this wild sea, but only for those who understand how it works. To increase the probability of encountering and attaining serendipity, one should employ the mindsponge mechanism and the 3D process of creativity, for without these frameworks, serendipity is truly an elusive target. The book also discusses methods to build environments and cultures rich in navigational and useful information to maximize the chance of finding and capitalizing on serendipity. As a skill, serendipity has a resemblance to how kingfishers observe and hunt their prey. (shrink)

A group is often construed as one agent with its own probabilistic beliefs (credences), which are obtained by aggregating those of the individuals, for instance through averaging. In their celebrated “Groupthink”, Russell et al. (2015) require group credences to undergo Bayesian revision whenever new information is learnt, i.e., whenever individual credences undergo Bayesian revision based on this information. To obtain a fully Bayesian group, one should often extend this requirement to non-public or even private information (learnt by not all or (...) just one individual), or to non-representable information (not representable by any event in the domain where credences are held). I pro- pose a taxonomy of six types of ‘group Bayesianism’. They differ in the information for which Bayesian revision of group credences is required: public representable information, private representable information, public non-representable information, etc. Six corre- sponding theorems establish how individual credences must (not) be aggregated to ensure group Bayesianism of any type, respectively. Aggregating through standard averaging is never permitted; instead, different forms of geometric averaging must be used. One theorem—that for public representable information—is essentially Russell et al.’s central result (with minor corrections). Another theorem—that for public non-representable information—fills a gap in the theory of externally Bayesian opinion pooling. (shrink)

This paper is a contribution to the historical roots of the analytical tradition. As Michael Dummett points out in his Origins of Analytic Philosophy, many tendencies in Central European thought contributed to the early development of analytic philosophy. Dummett himself concentrates on just one aspect of this historical complex, namely on the relationship between the theories of meaning and reference developed by Frege and by Husserl in the years around the turn of the century. It is to this specific issue (...) that the present essay is devoted, though we attempt a more sympathetic reading of Husserl's views on these matters than is to be found in Dummett’s work. Topics covered include Husserl’s theory of intentionality, his view of meanings as types or essences of mental acts, of the relation between meaning and expression, of states of affairs, and of indexicality. (shrink)

Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He (...) asserts that the needed theoretical understanding of values is to be achieved by generalizing economic laws of valuation to apply to value in general. The law of marginal utility, for example, is a law to the effect that the n+1st sample of a good which I receive is ceteris paribus less valuable than the nth sample (imagine that the samples in question are, for example, a series of identical ham sandwiches). The essay describes how Ehrenfels provides on this basis an account of the different types of values, both intrinsic and non-intrinsic. It outlines also Ehrenfels views on the problem of interpersonal value-comparisons and on the struggle for survival between different values of different types. (shrink)

This paper focuses on three theories of personal identity that incorporate the idea that personal identity is the result of a person’s adopting certain attitudes towards certain mental states and actions. I call these theories subjective theories of personal identity. I argue that it is not clear what the proponents of these theories mean by “personal identity”. On standard theories, such as animalism or psychological theories, the term “personal identity” refers to the numerical identity of persons and its analysis provides (...) the persistence conditions for persons. I argue that if the subjective theories purport to provide a criterion of numerical personal identity, they fail. A different interpretation may suggest that they purport to provide a non-numerical type of identity for the purpose of providing plausible analyses of certain identity-related practical concerns. I argue that the criteria the subjective theories provide fail to capture several of the identity-related concerns. As a result, this interpretation must be rejected as well. (shrink)

In this paper, I analyze a type of externalist enactivism defended by Riccardo Manzotti. Such radical versions of enactivism are gaining more attention, especially in cognitive science and cognitive robotics. They are radical in that their notion of representation is purely referential, and content is conflated with reference. Manzotti follows in the footsteps of early causal theories of reference that had long been shown to be inadequate. It is commonly known that radical versions of externalism may lead to difficulties with (...) the notion of representation, especially if they cannot help themselves with the notion of syntax. I argue that a type of externalism present in Manzotti’s enactivism may well lead to anti-representationalism. (shrink)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used (...) for causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist (...) reading). While STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

In this article, I summarise the ontological theory of informational privacy (an approach based on information ethics) and then discuss four types of interesting challenges confronting any theory of informational privacy: (1) parochial ontologies and non-Western approaches to informational privacy; (2) individualism and the anthropology of informational privacy; (3) the scope and limits of informational privacy; and (4) public, passive and active informational privacy. I argue that the ontological theory of informational privacy can cope with such (...) challenges fairly successfully. In the conclusion, I discuss some of the work that lies ahead. (shrink)

Most modern writers accept that a privation theory of evil should explicitly account for the evil of pain. But pains are quintessentially real. The evil of pain does not seem to lie in an absence of good. Though many directly take on the challenges this raises, the metaphysics and axiology of their answers is often obscure. In this paper I try to straighten things out. By clarifying and categorizing the possible types of privation views, I explore the ways (...) in which privationists about evil are—or should or could be—privationists about pain’s evil. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is (...) to argue that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

ABSTRACT In this paper, I present data involving the use of the Romanian slur ‘țigan’, consideration of which leads to the postulation of a sui-generis, irreducible type of use of slurs. This type of use is potentially problematic for extant theories of slurs. In addition, together with other well-established uses, it shows that there is more variation in the use of slurs than previously acknowledged. I explain this variation by construing slurs as polysemous. To implement this idea, I appeal to (...) a rich-lexicon account of polysemy. I show how such a theory can be applied to slurs and discuss several important issues that arise. (shrink)

Aristotle’s influence on D’Arcy Thompson was praised by Thompson himself and has been recognized by others in various respects, including the aesthetic and normative dimensions of biology, and the multicausal explanation of living forms. This article focuses on the relatedness of organic forms, one of the core problems addressed by both Aristotle’s History of Animals (HA), and the renowned chapter of Thompson’s On Growth and Form (G&F), “On the Theory of Transformations, or the Comparison of Related Forms.” We contend (...) that, far from being an incidental inspiration stemming from Thompson’s classicist background, his translation of HA played a pivotal role in developing his theory of transformations. Furthermore, we argue that Thompson’s interpretation of the Aristotelian method of comparison challenges the prevailing view of Aristotle as the founder of “typological essentialism,” and is a key episode in the revision of this narrative. Thompson understood that the method Aristotle used in HA to compare animal forms is better comprehended as a “method of transformations,” leading to a morphological arrangement of animal diversity, as opposed to a taxonomical classification. Finally, we examine how this approach to the relatedness of forms lay the foundation for a causal understanding of parts and their interconnections. Although Aristotle and Thompson emphasized distinct types of causes, we contend that they both differ in a fundamental sense from the one introduced by Darwin’s theory of natural selection, which was formulated as a solution to the species problem rather than the form problem. We conclude that Thompson’s interpretation of Aristotle’s approach to form comparison has not only impacted contemporary scholarship on Aristotle’s biology, but revitalized a perspective that has regained significance due to the resurgence of the problem of form in evo-devo. (shrink)

After rejecting substance dualism, some naturalists embrace patternism. It states that persons are bodies and that bodies are material machines running abstract person programs. Following Aristotle, these person programs are souls. Patternists adopt four-dimensionalist theories of persistence: Bodies are 3D stages of 4D lives. Patternism permits at least six types of life after death. It permits quantum immortality, teleportation, salvation through advanced technology, promotion out of a simulated reality, computational monadology, and the revision theory of resurrection.

The present article is an attempt to bring together the development of mental activity and consciousness in the framework of the organism-environment theory (Jarvilehto, 1998a, 1998b, 1999); the main question is how the development of mental activity and consciousness can be formulated if the starting point is not the separation of man and environment as in traditional cognitive psychology, but a unitary organism-environment system. According to the present formulation, mental activity is conceived as activity of the whole organism-environment system (...) and connected to the general development of life as a specific form of an organism-environment system comprising neurons. The advent of consciousness is regarded as a result of co-operation of such organism-environment systems. Consciousness is based on co-operation for the achievement of common results, and shared by the co-operating individuals (general consciousness), although each individual also makes it concrete from the perspective of his/her own body in the act of participation in common results (personal consciousness). Language is the means of formation of the co-operative system in the achievement of common results, and it is suggested that the use of language is related more to the type of co-operative system and intended common results than to any symbolic representation of the world. It is claimed that on this basis it is possible to develop psychology which takes seriously the concepts of mental activity and consciousness in the description of human action, but does not reduce these concepts either to biological or social factors. The present formulation should be regarded more as a conceptual outline than as a full-blown theory. (shrink)

In this paper I argue that the early Kant’s Physical Monadology (1756)—which attempts to solve the philosophical problem of reconciling the infinite divisibility of space with the substantial status of material bodies—is best understood within the framework of substance–accident ontology. I begin by showing how Kant relies on that ontology when arguing that composition as a relation can be taken away, leaving us with simple substances or monads. After this, I discuss apparently conflicting two interpretative camps considering the “force by (...) which the simple element of a body occupies its space” (1:482). Given that neither of them is satisfactory, I explain the way in which Kant’s theory of grounds, positing, and determinations draws on the Aristotelian theory of substances, essences, and necessary and non-necessary accidents. In causal terms, this framework amounts to a theory of powers in which both the internal determinations constitutive of a substance and the accidents they posit are causally efficacious. This enables us to see that the existing interpreting camps result from highlighting different aspects of Kant’s quite nuanced theory of monadic powers. To express that theory economically, it can be called a dual layer theory of power: monads are (1) essentially powerful substances that bring about (2) three kinds of powers—repulsive, attractive, and inertial—as accidents; from these accidents, in turn, result such properties as impenetrability, volume, shape, and cohesion. In virtue of the latter type of powers, a monad most importantly has a determinate sphere of influence by which it occupies space and prevents other things penetrating the space it fills—thereby entering in the mechanical world of bodies. The defended interpretation can thus reveal the full nature of the early Kant’s fine-grained theory of monadic powers and show it to be quite understandable in its ingenious use of a time-honored ontological framework in a post-Newtonian setting. (shrink)

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. (...) Safety in contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

Theory of multiple thinking environments As there is a physical environment, there exists a psychological environment that governs many psychological processes including our thinking. This psychological environment is unique to each person and is framed in the initial few years since the child is born and represents the native environment of that person. This psychological environment is a collection of all those elements responsible for it to become a source of thought and maintain that thought for its life cycle. (...) (In this context I am limiting this concept to explain the thinking process). Though the extensive list of parameters should include many parameters the collection basically should consists of values that are stored in the mind like memories, beliefs, feelings, perceptions and some unknown factors. One such unknown factor is a controlling factor which control values for a specific thinking environment. This psychological environment is mother for many Thinking environments. Mind is capable of creating, nurturing, sustaining, interacting and destroying multiple thinking environments from its native psychological environment resulting in to various thoughts, diminishing or strengthening, to fathom in to either memories or actions. Thinking environments are basically two types, reactive and neutral. Thinking environments are temporary i.e., they are mostly limited to a task or situation or condition etc. Neither psychological environment nor thinking environments have physical existence and every action by a person impacts his psychological environment. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the (...) mathematical theory of categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

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

Presentation and comparison of the main causal theories of reference for proper names, and a proposal of a new approach based on the analogy of the causal chain of reference with the block chain from blockchain technology and Paul Ricœur's narrative theory. After a brief Introduction in which the types of sentences from the concept of possible worlds are reviewed, and an overview of the theory in the Causal Theory of Reference, I present the causal (...) class='Hi'>theory of the reference proposed by Saul Kripke, then two hybrid causal theories developed by Gareth Evans and Michael Devitt. In the section Blockchain and the causal tree of reference I present my idea of developing a new causal theory of reference for proper names through a causal tree of reference. In the Conclusions I talk about the further development of the ways in which the terms of reference could refer to certain objects and individuals, the main criticisms of the causal theories, and suggestions for future development. -/- CONTENTS: -/- Abstract Introduction 1. The causal theory of reference 2. Saul Kripke 3. Gareth Evans 4. Michael Devitt 5. Blockchain and the causal tree of reference Conclusions Bibliografie -/- DOI: 10.13140/RG.2.2.26330.90562 . (shrink)

I suggest that the theories of remembering one finds in the philosophy of memory literature are best characterised as theories principally operating at three different levels of inquiry. Simulationist views are theories of the psychofunctional process type remembering. Causalist views are theories of referential remembering. Epistemic views are theories of successful remembering. Insofar as there is conflict between these theories, it is a conflict of integration rather than—as widely presented—head‐on disagreement. Viewed in this way, we can see the previous awareness (...) condition and preservationism as principles applying at only some of the corresponding levels of inquiry. Where either principle has been rejected, it is, I claim, due to arguments which slip between these different levels. While the view of the landscape I offer does not dissolve ongoing disputes about the nature of remembering, it clarifies the dialectical rules of engagement, helping to clear the path for future, collaborative progress to be made. The view enables us to see less conflict in the recent philosophy of memory literature than there seems at face value to be. (shrink)

This article explores the implicit theories of morality, or the conceptions regarding the patterns of stability, continuity and change in moral dispositions, both in lay and academic discourses. The controversies surrounding these conceptions and the fragmentation of the models and perspectives in metaethics and moral psychology endangers the pursuit of adequate operationalizations of morally relevant constructs. The current debate between situationists, who deny that character is an useful concept for understanding human behavior, which is better explained by contextual factors (Doris (...) 1998; Harman 1998) and dispositionists, who advocate the cross-situational stability of traits, is also present in the lay discourse, through the existence of competing commonsense ontological assumptions regarding the mutability or alterability of moral features, namely the implicit theories perspective (Chiu, Dweck, Tong, & Fu 1997). These personal theories are primary suspects in the affective and cognitive reactions to transgressions: the type of attended information in formulating evaluative judgments, the calibration of moral responsibility and blameworthiness, the assignment of retribution or reparatory recommendations to transgressors. In the second part of the study we attempt to advance toward a more fine-grained inspection of these lay beliefs, arguing that the construct of implicit theories of morality, as it is currently treated and measured, tends to be restrictive and oversimplifying. (shrink)

The direct social perception thesis claims that we can directly perceive some mental states of other people. The direct perception of mental states has been formulated phenomenologically and psychologically, and typically restricted to the mental state types of intentions and emotions. I will compare DSP to another account of mindreading: dual process accounts that posit a fast, automatic “Type 1” form of mindreading and a slow, effortful “Type 2” form. I will here analyze whether dual process accounts’ Type 1 (...) mindreading serves as a rival to DSP or whether some Type 1 mindreading can be perceptual. I will focus on Apperly and Butterfill’s dual process account of mindreading epistemic states such as perception, knowledge, and belief. This account posits a minimal form of Type 1 mindreading of belief-like states called registrations. I will argue that general dual process theories fit well with a modular view of perception that is considered a kind of Type 1 process. I will show that this modular view of perception challenges and has significant advantages over DSP’s phenomenological and psychological theses. Finally, I will argue that if such a modular view of perception is accepted, there is significant reason for thinking Type 1 mindreading of belief-like states is perceptual in nature. This would mean extending the scope of DSP to at least one type of epistemic state. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or (...) cognizing, an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and (...) for building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...) type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

Our pains can be more or less intense, our mental imagery can be more or less vivid, our perceptual experiences can be more or less striking. These degrees of intensity of conscious experiences are all manifestations of a phenomenal property I call mental strength. In this article, I argue that mental strength is a domain-general phenomenal magnitude; in other words, it is a phenomenal quantity shared by all conscious experiences that explains their degree of felt intensity. Mental strength has been (...) largely overlooked in favor of mental states’ type, representational contents, domain-specific phenomenology, or processes such as attention. Considering mental strength in our reflections about the mind illuminates debates about the relation of representational contents and phenomenal character, and it also helps address questions about the structure and functions of consciousness. Mental strength provides a unifying construct to model what is shared in the phenomenology of different types of conscious experiences. (shrink)

Human rights theory and practice have long been stuck in a rut. Although disagreement is the norm in philosophy and social-political practice, the sheer depth and breadth of disagreement about human rights is truly unusual. Human rights theorists and practitioners disagree – wildly in many cases – over just about every issue: what human rights are, what they are for, how many of them there are, how they are justified, what human interests or capacities they are supposed to protect, (...) what they require of persons and institutions, etc. Disagreement about human rights is so profound, in fact, that several prominent theorists have remarked that the very concept of a “human right” appears nearly criterionless. In my 2012 article, “Reconceptualizing Human Rights”, I diagnosed the root cause of these problems. Theorists and practitioners have falsely supposed that the concept of “human right” picks out a single, unified class of moral entitlements. However, the concept actually refers to two fundamentally different types of moral entitlements: (A) international human rights, which are universal human moral entitlements to coercive international protections, and (B) domestic human rights, which are universal human moral entitlements to coercive domestic protections. Accordingly, I argue, an adequate “theory of human rights” must be a dual theory. The present paper provides the first such theory. First, I show that almost every justificatory ground given for “human rights” in the literature – such as the notion of a “minimally decent human life”, “urgent human interests”, and “human needs” – faces at least one of two fatal problems. Second, I show that after some revisions, James Griffin’s conception of “personhood” provides a compelling justificatory ground for international human rights. Third, I show that the account entails that there are very few international human rights – far fewer than existing human rights theories and practices suggest. Fourth, I show that there are reasons to find my very short list of international human rights compelling: “human rights justifications” for coercive international and foreign policy actions over the past several decades have consistently overstepped what can be morally justified, and my account reveals precisely how existing human rights theories and practices have failed to adequately grapple with these moral hazards. Finally, I outline an account of domestic human rights which fits well with many existing human rights beliefs and practices, vindicating those beliefs and practices, but only at a domestic level. (shrink)

I propose a reading of Kant’s anthropological project as a theory of integration, emphasizing the role of teleological judgments and explanations plays within it. First, I will take a look at a certain type of teleological knowledge that Kant calls prudence and that consists in finding the appropriate means for an end. Second, I will use this to flesh out my interpretation of Kant’s anthropology as a theory of integration, i.e. as a meta-discipline that strives to unite several (...) distinct disciplines by means of teleological judgments. Third, I will then reconsider what prudence means within this broader, integrative context and, as a consequence, how Kant systematically reframes anthropological prudence in opposition to mere observational physiological knowledge. (shrink)