Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

In this paper, I argue that current attempts at classifying life–mind continuity (LMC) feature several important ambiguities. We can resolve these ambiguities by distinguishing between the extensional, categorical, and systematic relationships that LMC might encompass. In Sect. 1, I begin by introducing the notion of LMC and the theory behind it. In Sect. 2, I show how different ideas of mind shape different approaches to continuity and how to achieve its aim. In Sect. 3, I canvas various canonical formulations (...) and classifications of LMC; I then demonstrate that they retain important ambiguities. Section 4 builds on this by arguing that we must conceive of the extensional and categorical aspects of continuity independently. In Sect. 5, I show further that current literature has underexplored multiple systematic aspects of continuity. I then take a constructive approach in Sect. 6 by providing a classification model for LMC based on extensional and categorical commitments. Here, I comment on aspects of the thesis omitted from the model but essential for a full classification and thorough comparison between various approaches to LMC. All of these arguments lay the foundation for more exhaustively classifying accounts of LMC. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

This paper describes a method for the analysis of the evolutionary path of a complex, dynamic, and contingent social phenomenon in an empirical setting. Given empirical evidence of a surprising or anomalous fact, which contradicts the prediction of the wide-acknowledged theory, the goal is to formulate a plausible explanation based on the context of occurrence, taking a holistic and historical point of view. The procedure begins by translating theoretical propositions into grammar rules to describe patterns of either individual action or (...) interaction that may occur within the hypothesized social system. The result is a category of social process in which the objects are types of decision-making events carried by a stable community of actors over time, and the relationships between them are state transitions revealed in the sequences of event outcomes. Therefore, structural comparison between pairs of representative instances result in an extension of the category of social processes, relying on the configurations of contextual conditions that enable the occurrence of the new event outcome in specific empirical settings. (shrink)

Bu kitapta, Ebû İshâk es-Saffâr’ın (öl. 534/1139) kelâmî görüşleri, Telḫîṣü’l-edille li-ḳavâʿidi’t-tevḥîd adlı eserinde Allah’ın isimlerinin anlamlarını açıklarken yaptığı yorumlar çerçevesinde ele alınmaktadır. Ebû İshâk es-Saffâr, 6./12. yüzyıl Hanefî-Mâtürîdî âlimlerinden biridir. Kelâma dair Telḫîṣü’l-edille eserinde esmâ-i hüsnâ konusuna ayrıntılı olarak yer vermektedir. İki cilt hâlinde yayımlanan bu eserin yaklaşık üçte birlik bir kısmını esmâ-i hüsnâ konusu oluşturmaktadır. Bu kısım incelendiğinde, Saffâr’ın Allah’ın varlığı, birliği ve sıfatları ile ilgili konular başta olmak üzere pek çok konuyu 175 esmâ-i hüsnâya dayanarak izah ettiği görülmektedir. (...) O, esmâ-i hüsnâ bölümünde yer vermediği bazı isimlere ise müstakil başlıklar altında değinmektedir. Örneğin el-Mütekkelim ismi kelâm sıfatını bağlamında ve halku’l-Kur’ân ile icâz’ul-Kur’ân gibi konularla ilişkili bir şekilde ele almaktadır. Bu isimler de listeye dahil edildiğinde sayı 178’e ulaşmaktadır. Bu durumda eserin yarısını esmâ-i hüsnâ konusu teşkil etmektedir. -/- Saffâr, esmâ-i hüsnâ bölümünde alfabetik bir sıra içerisinde ele aldığı ilâhî isimleri öncelikle lugavî (semantik) yönden izah etmektedir. Sonrasında ise değerlendirdiği ilahî ismi, bir kelâm konusu ile bağlantı kurarak kelâmî perspektifle açıklamaktadır Esmâ-i hüsnâ temelinde ele alınan konuların hilâfet meselesi hariç diğer kelâm bahislerini kapsadığı görülmektedir. Saffâr öncesi Hanefî-Mâtürîdî kelâm literatürü içinde esmâ-i hüsnânın bu kadar kapsamlı ele alındığı başka bir eser bilinmemektedir. -/- Bu kitap; üç ana bölümden oluşmaktadır. “Metodolojik Çerçeve” başlıklı giriş bölümünde çalışmanın konusu, önemi, amacı, yöntemi ve kaynakları hakkında bilgi verilmiştir. Birinci bölümde Saffâr’ın yaşadığı sosyokültürel çevre olan Mâverâünnehir bölgesi ile Buhara ve Merv şehirlerinin siyasî, sosyal ve dinî durumu ortaya konulmaya çalışılmıştır. İkinci bölümde esmâ-i hüsna konusunun anlaşılmasına temel oluşturan isim, tesmiye, müsemmâ, sıfat ve vasf gibi kavramlar ile esmâ-i hüsnânın sayısı ve ihsâsı gibi kelâmî tartışmalara değinilmiştir. Sonrasında Saffâr öncesi dönemde kaleme alınan esmâ-i hüsnâ litaratürü hakkında bilgi verilmiştir. Bölüm sonuna Saffâr’ın rivayet ettiği 178 ilahî isme dair ayrıntılı bir tablo eklenmiştir. Üçüncü bölümde öncelikle, Saffâr’ın esmâ-i hüsnâyı izah ederken dikkate aldığı kelâmî ilkeler tespit edilmeye çalışılmıştır. Sonrasında ise Saffâr’ın Telḫîṣü’l-edille’de ilâhî isimleri açıklarken ortaya koyduğu kelâmî görüş ve değerlendirmeler belirlenerek sistematik bir şekilde kategorize edilmiştir. Bu kapsamda ele alınan her konunun sonuna ilgili ilâhî isimleri ve bağlantılı olduğu tartışmaları içeren tablolar eklenmiştir. Sonuç bölümünde ise Saffâr’ın esmâ-i hüsnâ anlayışına dayanan kelâm yöntemine dair ulaştığımız sonuçlara yer verilmiştir. Bu kitapta onun, esmâ-i hüsnânın %75’inde kelâmî yorumlarda bulunduğu ve bilgi-varlık bahsinden âhiret hayatına kadar bütün kelâm konularını esmâ-i hüsnâ ile bağlantılı yorumladığı tespit edilmiştir. Ulaşılan bu sonuçlar, Saffâr’ın kelâm anlayışının ilâhî isimlerin yorumuna dayandığını ortaya koymaktadır. [his book discusses the theological views of Abū Isḥāq al-Ṣaffār d. 534/1139), within the framework of his comments on the meanings of Allah’s names, provided in his work titled Talkhīṣ al-adilla. Abū Isḥāq al-Ṣaffār is one of the Ḥanafite-Māturīdite scholars in the 6th/12th century. In his work titled Talkhīṣ al-adilla li-qawāʿid al-tawḥīd on kalām, he spared extensive space for al-asmāʾ al-husnā. Approximately one third of this work, published in two volumes, is devoted to al-asmāʾ al-husnā. An examination of the related section reveals that al-Ṣaffār explains many issues, particularly those related to the existence, unity and attributes of Allah, based on 175 al-asmāʾ al-husnā. He mentions some of the names that he does not include in the al-asmāʾ al-husnā section under separate headings. For example, the name al-Mutakallim is addressed within the context of the attribute of kalām and in relation to subjects, such as the khalq al-Qurʾān and i‘jaz al-Qurʾān. Upon the addition of these names to the list, the number names reaches 178. This means that half of the work deals with the subject of al-asmāʾ al-husnā. -/- al-Ṣaffār lists the divine names in alphabetical order and explains them semantically in the chapter of al-asmāʾ al-husnā. Then he goes on to clarify each divine name through a theological lens with a specific reference to the subject of kalām. In the pre-Saffar Ḥanafite-Māturīdite theological literature, there is no other work that addresses al-asmāʾ al-husnā in such an extensive way. -/- This book consists of three main sections. The first section titled “Methodological Framework”, elaborates on the focus, significance, purpose and method of the study, along with the sources used. The first part describes the political, social and religious status of Transoxiana (Mā-warāʾ al-Nahr) region and the cities of Bukhara and Marw, the sociocultural environment in which Saffar lived. The second chapter addresses various concepts, which promote the understanding of al-asmāʾ al-husnā, such as name, tasmiya, musammā, attribute and qualification in addition to the theological debates such as the number and iḥṣāʾ of al-asmāʾ al-husnā. Then, it provides information about the al-asmāʾ al-husnā literature produced in the pre- Ṣaffār period. The end of each chapter comes with a detailed table with the 178 divine names mentioned by al-Ṣaffār. In the third chapter, the author initially discusses the theological principles that al-Ṣaffār considered while explaining the essence of al-asmāʾ al-husnā. This section also determines and systematically categorizes the theological views and evaluations put forward by al-Ṣaffār while explaining the divine names in Talkhīṣ al-adilla. The tables with the divine names and the related discussions can be seen at the end of the discussion for each subject. The last section presents the conclusions reached, regarding the kalām method based on al-Ṣaffār’s understanding of the essence of al-asmāʾ al-husnā. The present study revealed that he made theological interpretations in 75% of the al-asmāʾ al-husnā and interpreted all theological issues ranging from the subjects of knowledge and existence to the Afterlife in connection with the al-asmāʾ al-husnā. These results indicate that al-Ṣaffār's understanding of kalām is based on the interpretation of the divine names.]. (shrink)

Ayalon Eidelstein’s Openness and Faith focuses on the centrality of the idea of openness, or open-mindedness, to the educational sphere. The first half presents the challenges in modern ‘divided-consciousness’ and its consequences of egoism, materialism, and hedonism on the one hand, and religious fanatism on the other. Eidelstein’s main audience is the Israeli secular public, to which he proposes an educational and philosophical middle-way rooted in sincere human and inter-human openness. This openness is inspired by the idea of disinterestedness that (...) Kant articulates in his Critique of Judgment. Eidelstein refers to additional authors, including Franz Rosenzweig and Emmanuel Levinas, to conceptualize the idea of open-mindedness. In the second half of the book, he engages classical American Pragmatism, specifically that of William James, in order to establish the possibility for, and the validity of, a humane open-mindedness. Pragmatism thus paves the way for accepting beliefs that may otherwise be excluded as superstitions and accords them a legitimate and productive role in the life of a modern individual. The difficulty, however, lies in Eidelstein’s employment of Kantian disinterestedness, for it is in fact seriously dissonant with the worthy pragmatic educational purposes that Eidelstein elaborates in the second half of his book. Pragmatism is opposed to disinterestedness in that it stresses the entanglement of fact and value, viewing interests as playing a necessary and productive part in moral motivation and action, while Kantian deontology eliminates consequentialism from the moral scope. While for pragmatists (for example John Dewey’s Democracy and Education) the human creature is holistically conceived, as made of flesh and blood and not only as ‘spirit’, Kant maintained the dualistic Cartesian tradition. This tension calls for a rigorous address. Since Eidelstein’s book is making an important claim about the place open-mindedness has within the Judaism, it must be noted that the disinterestedness of a presumed human ‘self’ is also not easily compatible with the dominant voices in normative Jewish tradition. The Bible does not deal to a large extent with the ‘self’ or with mental intentions, and its conception of the human is not categorically different in the Talmudic corpus. On the contrary, the rabbis frequently endorse pragmatic and ‘external’ reasons, as the motivational basis for action. The kind of purism associated with disinterestedness (as in Mishnah Avot 5:18-19) is barely represented in rabbinic thought. Openness and Faith: In Search of Cultural Education Here and Now is nevertheless an important contribution to the intellectual discourse over the individual and public virtues. In our ever-more segregated and fenced-off world, there is an urgency to delineating the virtue of openness, hoping that Ecclesiastes is right in contending that “No person has power over the spirit [רוח] to retain it” (8:8). But to make Eidelstein’s point about openness in the second half of his book educationally viable, there a need for a pragmatic refinement of the philosophical anthropology in its first half. One way or the other, Openness and Faith is praiseworthy for its articulateness and depth, which invites its readers to an open-minded conversation about the concept of openness. (shrink)

Aristotelian theory, as found in Michael Thompson and Philippa Foot, claims that to be good is to be good as a member of that kind. However, I contend that something can satisfy kind-relative standards but nonetheless be bad—I propose a hypothetical Ebola-like microbe that meets its kind-standards of being destructive for its own sake, but it would plausibly be bad for doing so. I anticipate an Aristotelian objection that evaluations should only be made from "within" the lifeform conception rather than (...) from without. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Monism is our name for a range of views according to which the connection between dispositions and their categorical bases is intimate and necessary, or on which there are no categorical bases at all. In contrast, Dualist views hold that the connection between dispositions and their categorical bases is distant and contingent. This paper is a defence of Monism against an influential conceivability argument in favour of Dualism. The argument suggests that the apparent possibility of causal behaviour (...) coming apart from categorical bases is best explained by Dualism. We argue that Monism can explain the apparent possibility as well, if we take metaphysically alien laws — namely, laws whose metaphysical nature is alien to the actual world — into account. (shrink)

The categorical imperative inherent in Kant’s ethics has had indubitable historical influence on societies worldwide whether in the form of laws, democracy or public deliberation. The Toronto Van Attack of 2018 and its subsequent legal trial is a case example that shows how the categorical imperative can be applied to assist in understanding the reasoning for the case’s guilty verdict. This paper will convey the applicability of the categorical imperative for examining criminal case studies by closing the (...) gap between ethical theory and practice. Such closure will be shown to assist in understanding why a perpetrator of a crime can be found guilty of following a hypothetical imperative to base their actions. The rationale for the verdict in this case will be shown to be based on the perpetrator’s responsibility in the form of maintaining autonomy despite having an autism diagnosis. The perpetrator will be shown to have acted on an irrational will and yet was treated in the legal sense as a rational individual. Such rationality was maintained despite complications with their autonomy in the form of relativism and ethical solipsism. (shrink)

I will argue firstly that law-statements should be understood as attributing dispositional properties. Second, the dispositions I am talking about should not be conceived as causes of their manifestations but rather as contributors to the behavior of compound systems. And finally I will defend the claim that dispositional properties cannot be reduced in any straightforward sense to non-dispositional (categorical) properties and that they need no categorical bases in the first place.

The volume aims to clarify and argue in support of the distinction between ideal and nonideal theory, as it is defined and used especially by (some of) the political philosophers working on the topic of social justice. In the process of trying to achieve this aim, the volume proposes, as well, a series of analyses concerning the other major problem raised by the ideal-nonideal distinction in political theory: the problem of the soundness of ideal theory as a method of specifying (...) the concept of justice and/or as a guide for political action, institutions and policies. Except for the foreword (which sets its scene and explorative framework) and the afterword (which concludes its argumentative approach and reminds some of its key explanations and observations), the volume is organized in three chapters. The first chapter discusses John Rawls` view on the distinction between ideal and nonideal theory. Its basic intention is to clarify, assess and synthetize the main claims and theses specific to the Rawlsian outlook. This analysis is followed, in the second chapter, by an investigation of the main post-Rawlsian contributions to the project of clarifying the ideal-nonideal distinction in theorizing justice. The third chapter rejects the claim according to which the distinction between ideal and nonideal theory is unjustified or, at least, not categorical. Based on its argumentative and explanatory undertaking, the book proposes the following simple definition of the ideal-nonideal distinction in theorizing justice: ideal theory is the theory aiming to offer an (adequate) answer to the question “what is social justice?”. In other words, ideal theory is the theory of defining or specifying the concept of social justice. Nonideal theory is, instead, the area of academic research interested in answering (and bound to answer) all the other imperative questions about justice and injustice: „is social justice an achievable ideal here and now?”, „which are the best policies in correcting or mitigating the current social injustices?”, „which is the most appropriate strategy for achieving the institutional design that best realizes the principles of justice?”, „in what way are the duties of justice affected when the others fail to conform to these duties?”, „which are the requirements of retributive justice?” or „which are the principles of rectificatory justice?”. (shrink)

Based on an epistemological approach, humanities and natural sciences are two completely different realms that are governed by different rules. From this position, it is usually concluded that these two should not interfere in each other's territory. This idea, which also has supporters in other categorizations such as science and theology, relies mainly on Wittgenstein's doctrines. The purpose of the article is to argue that such an approach ultimately leads to the isolation of different realms of knowledge. We argue why (...) this position is incorrect and has adverse consequences for the development of knowledge in all domains. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to (...) finite probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

What is cognition? Equivalently, what is cognition good for? Or, what is it that would not be but for human cognition? But for human cognition, there would not be science. Based on this kinship between individual cognition and collective science, here we put forward Isbell conjugacy---the adjointness between objective geometry and subjective algebra---as a scientific method for developing cognitive science. We begin with the correspondence between categorical perception and category theory. Next, we show how the Gestalt maxim is subsumed (...) by the mathematical construct of colimit, a generalization of summation. The universal mapping property definitions of mathematical constructs, by virtue of being the best with respect to the universe of discourse, can be learned using reinforcement learning algorithms, which raises the possibility of abstracting the architecture of mathematics by artificial intelligence. Subsequently, we present naturality (to be contrasted with miracles), understood as 'Becoming consistent with Being', which governs the transformations of both things and their theories, as the zeroth law of change. Furthermore, the contrast---physical [mechanism] vs. biological [organism]---is smoothed via natural transformation, wherein transformations are respectful of the cohesion of the objects transformed. In closing, upon recognizing the scientific value of learning difficult-to-master differential calculus by physicists, of learning a strange four-letter language by biologists, and of learning the grammar of our respective mother tongues, we make a case for learning the theory of naturality / category theory for developing cognitive science. (shrink)

Artificial intelligence and robotics is pervasive in daily life and set to expand to new levels potentially replacing human decision-making and action. Self-driving cars, home and healthcare robots, and autonomous weapons are some examples. A distinction appears to be emerging between potentially benevolent civilian uses of the technology (eg unmanned aerial vehicles delivering medicines), and potentially malevolent military uses (eg lethal autonomous weapons killing human com- batants). Machine-mediated human interaction challenges the philosophical basis of human existence and ethical conduct. Aside (...) from technical challenges of ensuring ethical conduct in artificial intelligence and robotics, there are moral questions about the desirability of replacing human functions and the human mind with such technology. How will artificial intelligence and robotics engage in moral reasoning in order to act ethically? Is there a need for a new set of moral rules? What happens to human interaction when it is mediated by technology? Should such technology be used to end human life? Who bears responsibility for wrongdoing or harmful conduct by artificial intelligence and robotics? -/- Whilst Kant may be familiar to international lawyers for setting restraints on the use of force and rules for perpetual peace, his foundational work on ethics provides an inclusive moral philosophy for assessing ethical conduct of individuals and states and, thus, is relevant to discussions on the use and development of artificial intelligence and robotics. His philosophy is inclusive because it incorporates justifications for morals and legitimate responses to immoral conduct, and applies to all human agents irrespective of whether they are wrongdoers, unlawful combatants, or unjust enemies. Humans are at the centre of rational thinking, action, and norm-creation so that the rationale for restraints on methods and means of warfare, for example, is based on preserving human dignity as well as ensuring conditions for perpetual peace among states. Unlike utilitarian arguments which favour use of autonomous weapons on the basis of cost-benefit reasoning or the potential to save lives, Kantian ethics establish non-consequentialist and deontological rules which are good in themselves to follow and not dependent on expediency or achieving a greater public good. -/- Kantian ethics make two distinct contributions to the debate. First, they provide a human-centric ethical framework whereby human exist- ence and capacity are at the centre of a norm-creating moral philosophy guiding our understanding of moral conduct. Second, the ultimate aim of Kantian ethics is practical philosophy that is relevant and applicable to achieving moral conduct. -/- I will seek to address the moral questions outlined above by exploring how core elements of Kantian ethics relate to use of artificial intelli- gence and robotics in the civilian and military spheres. Section 2 sets out and examines core elements of Kantian ethics: the categorical imperative; autonomy of the will; rational beings and rational thinking capacity; and human dignity and humanity as an end in itself. Sections 3-7 consider how these core elements apply to artificial intelligence and robotics with discussion of fully autonomous and human-machine rule-generating approaches; types of moral reasoning; the difference be- tween ‘human will’ and ‘machine will’; and respecting human dignity. (shrink)

Immanuel Kant (1724-1804), the German philosopher, is considered as the father of modern ethics and one of the great philosophers in the history of philosophy. He wanted to establish a firm foundation for moral philosophy. He contributed something new to modern ethics which was not attempted by earlier ethicists. He wanted to show by using reason that morality is based on a single supreme universal principle, which is binding to all rational beings. Precisely, Kant wanted to establish the first principle (...) of morality which neglects all consideration of self-interest and even particular human problems. In the Groundwork of the Metaphysics of Morals, Kant claimed that his intention is to seek out and establish the supreme principle of morality, and that supreme principle is the categorical imperative. He puts the supreme principle of morality or the categorical imperative in at least five ways. These are formula of universal law (FUL), formula of universal law (FLN), formula of humanity (FH), formula of humanity (FA), and formula of realm of ends (FRE). However, Kant affirms that there is one canonical and general formulation of the categorical imperative and it is the FUL. For him, the other formulas are not distinct ethical principles; rather they are the reformulations or variant formulations of the single categorical imperative. Kant put this position in his works, The Groundwork of the Metaphysics of Morals. So, in this paper, I will mainly concentrate on the fundamental doctrine of the Groundwork of the Metaphysics of Morals. As I have tried to make clear before, Kant’s aim in the Groundwork of the Metaphysics of Morals is to search for and establish the supreme principle of morality (i.e., categorical imperative). He attempted to do this at the end of the Groundwork of the Metaphysics of Morals. But, to me, the way he attempted to justify the categorical imperative is problematic. Thus, in this paper, I argue that Kant did not put the categorical imperative or morality on a solid ground. (shrink)

This Thesis engages with contemporary philosophical controversies about the nature of dispositional properties or powers and the relationship they have to their non-dispositional counterparts. The focus concerns fundamentality. In particular, I seek to answer the question, ‘What fundamental properties suffice to account for the manifest world?’ The answer I defend is that fundamental categorical properties need not be invoked in order to derive a viable explanation for the manifest world. My stance is a field-theoretic view which describes the world (...) as a single system comprised of pure power, and involves the further contention that ‘pure power’ should not be interpreted as ‘purely dispositional’, if dispositionality means potentiality, possibility or otherwise unmanifested power or ability bestowed upon some bearer. The theoretical positions examined include David Armstrong’s Categoricalism, Sydney Shoemaker’s Causal Theory of Properties, Brian Ellis’s New Essentialism, Ullin Place’s Conceptualism, Charles Martin’s and John Heil’s Identity Theory of Properties and Rom Harré’s Theory of Causal Powers. The central concern of this Thesis is to examine reasons for holding a pure-power theory, and to defend such a stance. This involves two tasks. The first requires explaining what plays the substance role in a pure-power world. This Thesis argues that fundamental power, although not categorical, can be considered ontologically-robust and thus able to fulfil the substance role. A second task—answering the challenge put forward by Richard Swinburne and thereafter replicated in various neo-Swinburne arguments—concerns how the manifestly qualitative world can be explained starting from a pure-power base. The Light-like Network Account is put forward in an attempt to show how the manifest world can be derived from fundamental pure power. (shrink)

It is often thought that desire-based versions of reasons internalism, according to which our practical reasons depend on what we desire, are committed to denying that we have any categorical reasons. I shall argue, however, that such theories are committed to a universal desire which gives rise to an unexpected categorical reason – a reason to know our surroundings. I will arrive at this conclusion by using Fichte’s argument for thinking that security from unpredictable and powerful forces of (...) nature is constitutive of agency. Fichte thinks this is the case because we ought to aim at knowledge of our surroundings, and such environments uniquely facilitate it. I show that his argument fails, but the point that we ought to aim at – or desire – such knowledge is fundamentally sound. This aim can then be leveraged to generate a categorical reason when embedded in an account of agency typically embraced by internalists. (shrink)

Heiko Puls’ work Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt, presents an attempt to show that, in the Groundwork of the Metaphysics of Morals, Kant’s argumentation for the objective value of the categorical imperative is almost based upon the same principle as the one presented in the second Critique. More precisely, Puls claims that, like in the Critique of Practical Reason, the Groundwork operates with some kind of fact of reason-theory, which means that (...) our consciousness of the moral law is the ratio cognoscendi of our freedom of will. Accordingly, there is no conclusion from a kind of non-moral consciousness of freedom to the freedom of will and from here to the objective value of the categorical imperative, as many interpreters assume. Due to the ambitiousness of his main thesis and his detailed and subtle way of arguing, Puls’ work represents an important and innovative contribution to recent research on Kant’s Groundwork. Nevertheless, his interpretations sometimes seem to favour analysis of loose philological relationships over closer looks on the contexts of passages. Or he focuses excessively on isolated textual evidences for his readings without appropriately recognising the various other evidences against it. In what follows, I give examples for this criticism. (shrink)

The cognitive processing of spatial relations in Euclidean diagrams is central to the diagram-based geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs co-exact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a two-part experiment where participants were asked to judge spatial relations in Euclidean diagrams in a visual half field task design. In the first part, we (...) tested whether the processing of metric vs topological relations yielded the same hemispheric specialization as the processing of coordinate vs categorical relations. In the second part, we investigated the specific performance patterns for the processing of five pairs of exact/co-exact relations, where stimuli for the co-exact relations were divided into three categories depending on their distance from the exact case. Regarding the processing of metric vs topological relations, hemispheric differences were found for only a few of the stimuli used, which may indicate that other processing mechanisms might be at play. Regarding the processing of exact vs co-exact relations, results show that the level of agreement among participants in judging co-exact relations decreases with the distance from the exact case, and this for the five pairs of exact/co-exact relations tested. The philosophical implications of these empirical findings for the epistemological analysis of Euclid's diagram-based geometric practice are spelled out and discussed. (shrink)

Abstract: People all over the world have been drinking tea for thousands of centuries, and for good reason. Many types of teas can help you stay healthy by boosting your immune system, reducing inflammation, and even preventing cancer and heart disease. There is sufficient material to show that regularly consuming tea can improve your health over the long term. A deep learning model that categorizes tea disorders has been completed. When focusing on the tea, we must also focus on and (...) take into account the diseases that harm it. The aim of this paper is to diagnose tea diseases based on a dataset containing 8000 picture and 8 classes .The model gave the final accuracy test with an F1-score of 99.41% in an estimated time 3 second, as with these results it proved its effectiveness and good ability in the classification test. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...) questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

In conceptual modeling (CM) as a subdiscipline of software engineering, current proposed ontologies (categorical analysis of entities) are typically established through whole adoption of philosophical theories (e.g. Bunge’s). In this paper, we pursue an interdisciplinary research approach to develop a diagrammatic-based ontological foundation for CM using philosophical ontology as a secondary source. It is an endeavor to escape an offshore procurement of ontology from philosophy and implant it in CM. In such an effort, the CM diagrammatic language plays an (...) important role in contrast to dogmatic philosophical languages’ obsession with abstract entities. Specifically, this paper is about developing a descriptive (in contrast to formal) ontology that a modeler accepts as a supplementary account of reality when using thinging machines (TMs; i.e. a reality that uncovers the ontology of things that TM modeling discusses or “talks about,” akin to the ontology of natural language). Although existence is a well-established notion, we defend subsistence (Stoic term) as a supplementary mode of reality (e.g. reflection of event). The aim here is aligned toward developing CM notions and processes that are firm enough. Classical analysis of being per se (e.g. identity, substance, classes, objects) is de-emphasized in this work; nevertheless, philosophical concepts form an acknowledged authority to compare to. As a case study, such a methodology is applied to the notion of information that provides a common-sense understanding of the world. This application would enhance understanding of the TM methodology and clarify some of the issues that shed light on the question of the nature of information as an important concept in software engineering. Information is defined as about events; that is, it is about existing things. It is viewed as having a subsisting nature that exists only through being “carried on” by other things. The results seem to indicate a promising approach to define information and understand its nature. (shrink)

According to an oft-repeated narrative, while Kant maintained racist views through the 1780s, he changed his mind in the 1790s. Pauline Kleingeld introduced this narrative based on passages from Kant’s Metaphysics of Morals and “Toward Perpetual Peace”. On her reading, Kant categorically condemned chattel slavery in those texts, which meant that he became more racially egalitarian. But the passages involving slavery, once contextualized, either do not concern modern, race-based chattel slavery or at best suggest that Kant mentioned it as a (...) cautionary tale for labor practices in Europe. Overall, Kant never explicitly considered chattel slavery as a moral problem to be addressed on its own. Rather, he treated it primarily in terms of its function in human history. If he ended up expressing some qualms about its practices, it was likely because they threatened to deepen intra-European conflicts and undermine the prospect of perpetual peace. The humanity of the enslaved “Negroes” was never part of the reasoning. This was not a casual oversight on Kant’s part. It reflects the complexity of his philosophical system: everything he did or did not say about chattel slavery begins to make sense once we connect his philosophy of history and his depiction of “Negroes” as natural slaves. (shrink)

In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended (...) by appeal to a third argument based on considerations about the nature and observability of causation. This argument has not been much discussed in recent times. Here is a concise version from William James: "… the concrete perceptual flux, taken just as it comes, offers in our own activity-situations perfectly comprehensible instances of causal agency … If we took these experiences as the type of what actual causation is, we should have to ascribe to cases of causation outside of our life, to physical cases also, an inwardly experiential nature. In other words, we should have to espouse a so-called “pan-psychic” philosophy" (James 1911: 218). James here suggests that we have direct experience of causation in our own agency. He thereby directly contradicts David Hume, who famously denied that we have any experience of causation. James goes on to claim that if this experience is representative of causation in general, it follows that all causation is mental, and that panpsychism is true. This kind of argument for panpsychism can be called the argument from (experience of) causation. This chapter offers, first, a history of this argument and arguments closely related to it, and second, an analysis of the argument – is it valid, are its premises in any way defensible, and how does it relate to the other, more popular arguments for panpsychism from philosophy of mind and categorical properties? (shrink)

The aim of this article is to discuss the relation between indigenous and scientific kinds on the basis of contemporary ethnobiological research. I argue that ethnobiological accounts of taxonomic convergence-divergence patters challenge common philosophical models of the relation between folk concepts and natural kinds. Furthermore, I outline a positive model of taxonomic convergence-divergence patterns that is based on Slater's [2014] notion of “stable property clusters” and Franklin-Hall's [2014] discussion of natural kinds as “categorical bottlenecks.” Finally, I argue that this (...) model is not only helpful for understanding the relation between indigenous and scientific kinds but also makes substantial contributions to contemporary debates about natural kinds.to contemporary debates about natural kinds. (shrink)

The main subject of the study is the criticism of Aristotelian categorical system proposed by Plotinus. Treatises VI 1-3 focus on the problem of the possibility of thought within particular system of categories. Plotinus identifies categories with the kinds of being, being based on the tradition of such identification originated in the Plato’s “Sophist”. In some texts Aristotle himself speaks of categories as the kinds of being. The article is divided into two main parts. The first part is about (...) Aristotle’s position. I discuss the following questions: 1) what does the common name “being” mean; 2) why may the categories be the kinds of being and why should the substance be the first among the categories; 3) how are the substance and other categories related? The second part is about Plotinus’ criticism. Plotinus asserts 1) that not the substance, but being is the subject matter of the first philosophy, 2) that ten categories are not equally applicable to the intelligible world and to the world of sense, and 3) that the substance has two different meanings with respect to these worlds, and therefore the substance can’t be one kind, which includes the corporeal and incorporeal substances. (shrink)

The U.S. FDA has issued emergency use authorizations for monoclonal antibodies for non-hospitalized patients with mild or moderate COVID-19 disease and for individuals exposed to COVID-19 as post-exposure prophylaxis. One EUA for an oral antiviral drug, molnupiravir, has also been recommended by FDA’s Antimicrobial Drugs Advisory Committee, and others appear likely in the near future. Due to increased demand because of the Delta variant, the federal government resumed control over the supply and asked states to ration doses. As future variants (...) with increased infectivity and/or severity emerge, further rationing may be required. We identify relevant ethical principles and priority groups for access to therapies based on an integrated approach to population health and medical factors. Using priority categories to allocate scarce therapies effectively operationalizes important ethical values. This strategy is preferable to the current approach of categorical rules based on vaccination, immunocompromise status, or older age, or the ad hoc consideration of clinical risk factors. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a (...) real property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Many regard Kant’s account of the highest good as a failure. His inclusion of happiness in the highest good, in combination with his claim that it is a duty to promote the highest good, is widely seen as inconsistent. In this essay, I argue that there is a valid argument, based on premises Kant clearly endorses, in defense of his thesis that it is a duty to promote the highest good. I first examine why Kant includes happiness in the highest (...) good at all. On the basis of a discussion of Kant's distinction between 'good' and 'pleasant', and in light of his methodological comments in the second chapter of the Critique of Practical Reason, I explain how Kant’s conception of the good informs his conception of the highest good. I then argue that Kant's inclusion of happiness in the highest good should be understood in light of his claim that it is a duty to promote the happiness of others. In the final section of this essay, I reconstruct Kant’s argument for the claim that it is a duty to promote the highest good and explain in what sense this duty goes beyond observance of the Categorical Imperative. (shrink)

The current assessment of behaviors in the inventories to diagnose autism spectrum disorders (ASD) focus on observation and discrete categorizations. Behaviors require movements, yet measurements of physical movements are seldom included. Their inclusion however, could provide an objective characterization of behavior to help unveil interactions between the peripheral and the central nervous systems. Such interactions are critical for the development and maintenance of spontaneous autonomy, self-regulation and voluntary control. At present, current approaches cannot deal with the heterogeneous, dynamic and stochastic (...) nature of development. Accordingly, they leave no avenues for real-time or longitudinal assessments of change in a coping system continuously adapting and developing compensatory mechanisms. We offer a new unifying statistical framework to reveal re-afferent kinesthetic features of the individual with ASD. The new methodology is based on the non-stationary stochastic patterns of minute fluctuations (micro-movements) inherent to our natural actions. Such patterns of behavioral variability provide re-entrant sensory feedback contributing to the autonomous regulation and coordination of the motor output. From an early age, this feedback supports centrally driven volitional control and fluid, flexible transitions between intentional and spontaneous behaviors. We show that in ASD there is a disruption in the maturation of this form of proprioception. Despite this disturbance, each individual has unique adaptive compensatory capabilities that we can unveil and exploit to evoke faster and more accurate decisions. Measuring the kinesthetic re-afference in tandem with stimuli variations we can detect changes in their micro-movements indicative of a more predictive and reliable kinesthetic percept. Our methods address the heterogeneity of ASD with a personalized approach grounded in the inherent sensory-motor abilities that the individual has already developed. (shrink)

Anthropological problems are among the eternal problems of philosophy. This issue is especially actualized at critical moments in the development of society. This is the period humanity is going through today. The revival of anthropocentric types of research, finding new ways and a holistic approach to human research proves the relevance of this study. Humanity is once again experiencing a paradigm shift in world history. The first quarter of the XXI century showed itself as an intensification of globalization processes, which (...) in turn led to multiple ups and downs of cultural and social life. The idea of a polycentric, multipolar world remained only in the mode of a categorical imperative. The coming form of human existence, if it takes place, should not only restore to people the meaning lost during the industrial civilization, but also avoid the costs of a dangerous alliance of information technology and biotechnology. In the context of the next threat of total war and the threat of a split in the world, an appeal to comparative philosophy should contribute to the final approval of such a worldview, which is based on the value of human life, brotherhood and spiritual unity of all people. The modern, global world is characterized by the inevitable interpenetration of cultures, the erasure of the boundaries of cultural areas. The article provides a comparative analysis of modern philosophical and anthropological concepts. Speaking as an approach and method, philosophical comparative studies continue its development in philosophical and anthropological knowledge, where it becomes one of the methodological directions. The article analyzes the modern anthropological concepts of the West, which have found their reflection in the concept of mental causality by D. Kim and in the concept of "homo compensator" by O. Marquard. And also carried out a philosophical analysis of the philosophical and anthropological concepts of the East, which are reflected in the works of the Chinese philosopher F. Yulan, in Japanese existentialism N. Kitaro and in the concept of "hoodie" M. Iqbal. (shrink)

This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...) shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...) questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Heidegger’s latest work Contributions of Philosophy. Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the Park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their ↪Quart Nr 2(52)/2019 logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in Kant’s philosophy, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. (shrink)

In this paper, we analyze the origin of the links between global bioethics (which we differentiate from biomedical bioethics) and human rights. We understand that we are in a global civilizational crisis, whose roots extend to 1492 today, in which the modern-capitalist model used the discourse of human rights to justify its predatory technocracy. There are three theoretical assumptions that support our analysis: 1) The current conditions in which the technique shows its destructive power over nature (Anthropocene) indicate that none (...) of the ethical antecedents are applicable to such circumstances. In this new context, the kantian categorical imperative has been reconverted into a moral and political duty to not instrumentalize either human beings or nature. We call this new ethical consideration bioethics. 2) The current geopolitical composition of the world must be thought in terms of the global North and the global South, as two regions that are forged in the midst of important processes of globalization of the world-system, and whose main consequence lies in the absence of equity in the distribution of wealth and well-being between the two. 3) The current environmental crisis or climate change, the product of an economic model based on extractive technology, has become one of the most serious threats against human rights. (shrink)

This study examined correlations between moral value judgments on a 17-item Moral Intuition Survey (MIS), and participant scores on the Short-D3 “Dark Triad” Personality Inventory—a measure of three related “dark and socially destructive” personality traits: Machiavellianism, Narcissism, and Psychopathy. Five hundred sixty-seven participants (302 male, 257 female, 2 transgendered; median age 28) were recruited online through Amazon Mechanical Turk and Yale Experiment Month web advertisements. Different responses to MIS items were initially hypothesized to be “conservative” or “liberal” in line with (...) traditional public divides. Our demographic data confirmed all of these hypothesized categorizations. We then tested two broad, exploratory hypotheses: (H1) the hypothesis that there would be “many” significant correlations between conservative MIS judgments and the Dark Triad, and (H2) the hypothesis that there would be no significant correlations between liberal MIS judgments and Machiavellianism or Psychopathy, but “some” significant correlations between liberal MIS judgments and Narcissism. Because our hypotheses were exploratory and we ran a large number of statistical tests (62 total), we utilized a Bonferroni Correction to set a very high threshold for significance (p = .0008). Our results broadly supported our two hypotheses. We found eleven significant correlations between conservative MIS judgments and the Dark Triad—all at significance level of p < .00001—but no significant correlations between the Dark Triad and liberal MIS judgments. We believe that these results raise provocative moral questions about the personality bases of moral judgments. In particular, we propose that because the Short-D3 measures three “dark and antisocial” personality traits, our results raise some prima facie worries about the moral justification of some conservative moral judgments. (shrink)

Chapter 1 of this book argued that moral philosophy should be based on seven principles of theory selection adapted from the sciences. Chapter 2 argued that these principles support basing normative moral philosophy on a particular problem of diachronic instrumental rationality: the ‘problem of possible future selves.’ Chapter 3 argued that a new moral principle, the Categorical-Instrumental Imperative, is the rational solution to this problem. Chapter 4 argued that the Categorical-Instrumental Imperative has three equivalent formulations akin to but (...) superior to Kant’s formulations of the Categorical Imperative. Chapter 5 argued that my principle’s three formulations make it rational to adopt a Moral Original Position to derive moral principles. The present chapter derives Four Principles of Fairness from the Moral Original Position--principles of coercion minimization, mutual assistance, fair negotiation, and virtue—and unifies them into a single principle of rightness: Rightness as Fairness. Finally, this chapter argues that Rightness as Fairness entails a novel approach to applied ethics called ‘principled fair negotiation’, illustrating how the theory provides a plausible new framework for addressing applied cases including lying, suicide, trolleys, torture, distribution of scarce resources, poverty, and the ethical treatment of animals. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (infinity,1)-category of diamonds we then propose (...) that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

The notion of “hierarchy” is one of the most commonly posited organizational principles in systems neuroscience. To this date, however, it has received little philosophical analysis. This is unfortunate, because the general concept of hierarchy ranges over two approaches with distinct empirical commitments, and whose conceptual relations remain unclear. We call the first approach the “representational hierarchy” view, which posits that an anatomical hierarchy of feed-forward, feed-back, and lateral connections underlies a signal processing hierarchy of input-output relations. Because the representational (...) hierarchy view holds that unimodal sensory representations are subsequently elaborated into more categorical and rule-based ones, it is committed to an increasing degree of abstraction along the hierarchy. The second view, which we call “topological hierarchy", is not committed to different representational functions or degrees of abstraction at different levels. Topological approaches instead posit that the hierarchical level of a part of the brain depends on how central it is to the pattern of connections in the system. Based on the current evidence, we argue that three conceptual relations between the two approaches are possible: topological hierarchies could substantiate the traditional representational hierarchy, conflict with it, or contribute to a plurality of approaches needed to understand the organization of the brain. By articulating each of these possibilities, our analysis attempts to open a conceptual space in which further neuroscientific and philosophical reasoning about neural hierarchy can proceed. (shrink)

One primary goal for metaphysical theories of natural kinds is to account for their epistemic fruitfulness. According to cluster theories of natural kinds, this epistemic fruitfulness is grounded in the regular and stable co- occurrence of a broad set of properties. In this paper, I defend the view that such a cluster theory is insufficient to adequately account for the epistemic fruitfulness of kinds. I argue that cluster theories can indeed account for the projectibility of natural kinds, but not for (...) several other epistemic operations that natural kinds support. Natural kinds also play a role in scientific explanations and categorizations. A theory of natural kinds can only account for these additional kind-based epistemic practices if it also analyzes their causal structure. (shrink)

According to Christine Korsgaard, Kantian hypothetical and categorical imperative principles are constitutive principles of agency. By acting in a way that is guided by these imperatives, an individual makes herself into an agent. There is hence, on her theory, an inextricable link between the nature of agency and the practical issue of why we should be rational and moral. The benefits of such an account would be great: in Korsgaard’s view, an account that bases morality on the nature of (...) agency is the basis for a refutation of any kind of moral skepticism, providing an indubitable and objective foundation for morality. This may seem too good to be true, and it is. Korsgaard could only succeed at offering a foundation for morality at a great cost. The cost is that Korsgaard gives too restrictive an account of agency. Korsgaard does not present a coherent account of irrational or immoral agency, and the inability to offer an account of such agency implies an inability to offer a proper account of responsibility. Korsgaard’s view shares a fundamental flaw with Immanuel Kant’s account of morality in the Groundwork of the Metaphysics of Morals: Korsgaard cannot give a full, adequate account of individual responsibility. In light of the failure of Kant’s and Korsgaard’s accounts, Kantians need to provide a better, more comprehensive characterization of agency. Presenting a proper account of agency will require a rejection of a central tenet of traditional Kantian metaethics, but the rejection of this central tenet does not require a full rejection of Kantianism. (shrink)

In the evolution of the vertebrates and probably a few other animals (Metazoa), biological values have been translated (subjectivized) into affective experience that necessarily involves the consciousness of external objects/events (as different from one’s body), which is tantamount to the origins of subjectivity. Mammals, birds and other vertebrates are experiencing subjects even though their negative and positive experience greatly vary in scope. Some mammals are capable of vicarious experience and may act as empathic agents, and some of them, at least (...) the great apes, use true reflective self-consciousness and thus perceive themselves as agents, which generates attributive feelings. The balance of positive and negative experience determines the intrinsic value of (an individual) life. Every subjective life is autotelic in striving to maximize this balance. A subjective life may also have a social value that is measured in terms of the impact on intrinsic values of other lives. The social value of life is contingent upon an agency, that is, conscious intentional actions that impact intrinsic value of other lives. The difference between the social value of a subjective life and an instrumental value of an individual comes down to the difference between agent causation and event causation. The moral agency refers to a subcategory of agent causation that involves the awareness of impact on another subject’s wellbeing (interests). The moral agency is at present known only in the hominids (including the chimpanzees) which understand causality and use reflective self-consciousness, which in turn enables them to perceive themselves as agents and attribute to themselves responsibility. The moral agency originated as a motivational mechanism of reciprocity execution , and thus as an adaptation for group life, which is why it favors ingroup members and often promotes norms that harm other groups. The human moral agency is frequently used by third parties to implement group norms that are based on ideologies (religious or secular) and may actually harm both group members and the entire groups. Any received, bioculturally evolved morality is unlikely to be good in either absolute or universal sense. Therefore, the moral capacity alone does not make a human life categorically more valuable, even if human motivation were dominated by moral agency (which is true only of some people). The life of a vertebrate has, therefore, two values, intrinsic and social. Each can be negative or positive, and may vary to a large extent independently of the other, whereby a joint value of a subjective life cannot be sensibly assessed and compared without prior assessments of the intrinsic and social component separately. In the absence of objective reasons to rate the intrinsic value of a human life as categorically higher than that of other mentally advanced mammals, and in consideration of the observed range of social values of human lives, some of which approach zero and some are highly negative (lower than any thinkable negative values of non-human lives), the doctrine of extraordinary and inalienable (innate) human „dignity” is groundless and unethical, as it leads to a depreciation of the lives of non-human subjects, and often preempts the need to impart a real social value to one’s own life. (shrink)

Determinations of ability/disability are rooted in coloniality, specifically in categorizations of race, gender, and animality as they bear on social formations. I elucidate this rootedness by weaving the “coloniality of ability” into María Lugones’ accounts of the coloniality of gender and the colonial-modern system as founded on the “human-nonhuman” difference. This enables me to reveal an “ability system” based on the “ability-bestiality” difference and delineate with more specificity liminal sites of oppression and resistance across the heterogeneous socialities of coloniality-modernity. From (...) the perspective of the coloniality of ability that I develop, I focus on the liminality of the white woman Victorian invalid and that of the colonized “bestial” body in order to distinguish between two forms of colonial-modern liminality—“light” and “dark.” I also draw from this discussion two forms of colonial-modern oppression—“dehumanizing” and “bestializing”—and two related modalities of anticolonial resistance—“humanizing” and “decolonial.”. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

This paper discusses the philosophical issues pertaining to Kantian moral agency and artificial intelligence. Here, our objective is to offer a comprehensive analysis of Kantian ethics to elucidate the non-feasibility of Kantian machines. Meanwhile, the possibility of Kantian machines seems to contend with the genuine human Kantian agency. We argue that in machine morality, ‘duty’ should be performed with ‘freedom of will’ and ‘happiness’ because Kant narrated the human tendency of evaluating our ‘natural necessity’ through ‘happiness’ as the end. Lastly, (...) we argue that the Kantian ‘freedom of will’ and ‘faculty of choice’ do not belong to any deterministic model of ‘agency’ as these are sacrosanct systems. The conclusion narrates the non-feasibility of Kantian AI agents from the genuine Kantian ethical outset, offering a utility-based Kantian ethical performer instead. (shrink)