The paper critically discusses an empirical study by Mizrahi & Dickinson 2020, which analyzes in a huge data base (JSTORE) the incidence of three types of philosophical arguments. Their results are: 1. Deductive arguments were the most commeon type of argument in philosophy until the end of the 20th century. 2. Around 2008 a shift in methodology occurred, such that the indcutive arguments outweigh other types of argument. The paper, first, criticizes the empirical study as grossly (...) false and considers the - very limited - possibilities of recognition of argument types by present computer programs. (shrink)

Natural argument is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary natural arguments in any data. That ability of natural argument is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the (...) observer would obtain quite different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. -/- . (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)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), (...) heuristics are proposed for finding missing reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

The subject of zombies is one of the most discussed and controversial topics of philosophy of mind. In this paper I will first examine the main argument of zombies, providing a summary of the current discussion. Then I will introduce a thought experiment, an epistemic window on a metaphysical scenario. By the thought experiment I will argue that zombies are logically impossible. Further I will discuss another recent epistemic window. Finally I will provide some other logical consideration to prove (...) that intentionality is not reducible to the cognitive functional aspects of the mind and that, moreover, the subjective recognition of semantic contents is necessary in order to consider as sensical the verbal behavior of a zombie. (shrink)

Pattern recognition is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary patterns in any data. That ability of universal pattern recognition is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the (...) observer would obtain quite different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. (shrink)

Abstract: Fruits are a rich source of energy, minerals and vitamins. They also contain fiber. There are many fruits types such as: Apple and pears, Citrus, Stone fruit, Tropical and exotic, Berries, Melons, Tomatoes and avocado. Classification of fruits can be used in many applications, whether industrial or in agriculture or services, for example, it can help the cashier in the hyper mall to determine the price and type of fruit and also may help some people to determining whether (...) a certain type of fruit meets their nutritional requirement. In this paper, machine learning based approach is presented for classifying and identifying 10 different fruit with a dataset that contains 6847 images use 4793 images for training, 1027 images for validation and 1027 images for testing. A deep learning technique that extensively applied to image recognition was used. We used 70% from image for training and 15% from image for validation 15% for testing. Our trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. (shrink)

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a set (...) of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

The objective of this article is to see whether desire for recognition might contain an emancipatory aspect. Could this desire be a political ally? The argumentative strategy is to fully acknowledge the oppressive mechanisms at work before trying to find a way to other outcomes, including emancipation, with which desire for recognition has been associated in the tradition from Hegel. Through a re-interpretation of the master-and-slave dialectic, supplemented by sociological research on status expectations, I suggest a way out (...) of the vicious circle, where desire produced by power finds satisfaction through a preexisting other, resulting in an endless dynamic of compulsive conformity and regressive assertion of status. The hold of this dynamic must not be underestimated, yet, as I argue, both desire and what satisfies desire are liable to change, through struggle. The transformation of the generalized other, which provides recognition, is seen to be a crucial feature of all collective struggle. The very source of recognition is transformed, behind the backs of the actors, in turn affecting their desire. This can but must not lead to the emancipatory outcomes which are traditionally tied to recognition in the Hegelian tradition. (shrink)

Strong arguments have been formulated that the computational limits of disembodied artificial intelligence (AI) will, sooner or later, be a problem that needs to be addressed. Similarly, convincing cases for how embodied forms of AI can exceed these limits makes for worthwhile research avenues. This paper discusses how embodied cognition brings with it other forms of information integration and decision-making consequences that typically involve discussions of machine cognition and similarly, machine consciousness. N. Katherine Hayles’s novel conception of nonconscious (...) cognition in her analysis of the human cognition-consciousness connection is discussed in relation to how nonconscious cognition can be envisioned and exacerbated in embodied AI. Similarly, this paper offers a way of understanding the concept of suffering in a way that is different than the conventional sense of attributing it to either a purely physical state or a conscious state, instead of grounding at least a type of suffering in this form of cognition. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

A pineapple is a tropical plant with eatable leafy foods most monetarily critical plant in the family Bromeliaceous. The pineapple is native to South America, where it has been developed for a long time. The acquaintance of the pineapple with Europe in the seventeenth century made it a critical social symbol of extravagance. Since the 1820s, pineapple has been industrially filled in nurseries and numerous tropical manors. Further, it is the third most significant tropical natural product in world creation. In (...) the twentieth century, Hawaii was a prevailing maker of pineapples, particularly for the US, be that as it may, by 2016, Costa Rica, Brazil, and the Philippines represented almost 33% of the world's creation of pineapples. In this paper, machine learning based approach is presented for identifying type pineapple with a dataset that contains 1,311images use 946 images for training, 197 images for validation and 168 images for testing. A deep learning technique that extensively applied to image recognition was used. use 70% from image for training and 30% from image for validation. Our trained model achieved an accuracy of 100% on a heldout test set. (shrink)

Emotion recognition systems (ERS) offer the ability to identify the emotions of others, based on an analysis of their facial expressions and regardless of culture, ethnicity, context, gender or social class. By claiming universalism in the expression as well as in the recognition of emotions, we believe that ERS present significant risks of causing great harm to some individuals, in addition to targeting, in some contexts, specific social groups. Drawing on a wide range of multidisciplinary knowledge - including (...) philosophy, psychology, computer science and anthropology - this research project aims to identify the current limitations of ERS and the main risks that their use brings, with the goal of providing a clear and robust analysis of the use of ERS and their contribution to greater social justice. Pointing to technical limitations, we refute, on the one hand, the idea that ERS are able to prove the causal link between specific emotions and specific facial expressions. We support our argument with evidence of the inability of ERS to distinguish facial expressions of emotions from facial expressions as communication signals. On the other hand, due to the contextual and cultural limitations of current ERS, we refute the idea that ERS are able to recognise, with equal performance, the emotions of individuals, regardless of their culture, ethnicity, gender and social class. Our ethical analysis shows that the risks are considerably more numerous and important than the benefits that could be derived from using ERS. However, we have separated out a specific type of ERS, whose use is limited to the field of care, and which shows a remarkable potential to actively participate in social justice, not only by complying with the minimum requirements, but also by meeting the criterion of beneficence. While ERS currently pose significant risks, it is possible to consider the potential for specific types to participate in social justice and provide emotional and psychological support and assistance to certain members of society. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in (...) informal logic in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

Turing used the expression “emotional” in three distinct ways: to state his philosophical theory of the concept of intelligence, to classify arguments for and against the possibility of machine intelligence, and to describe the education of a “child machine”. The remarks on emotion include several of the most important philosophical claims. This paper analyses these remarks and their significance for current research in Artificial Intelligence.

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Many interpreters argue that irrational acts of exchange can count as rational and civic-minded for Hegel—even though, admittedly, the persons who are exchanging their property are usually unaware of this fact. While I do not want to deny that property exchange can count as rational in terms of ‘mutual recognition’ as interpreters claim, this proposition raises an important question: What about the irrationality and arbitrariness that individuals as property owners and persons consciously enjoy? Are they mere vestiges of nature (...) in Hegel’s system, or do they constitute a simple yet valid form of freedom that is not only a part of Hegel’s rational system of right, but its necessary starting point? I will argue the latter: The arbitrary, purely egoist self-definition of property owners is the simplest possible type of freedom for Hegel, which he dissects in order to show how the very arbitrary self-definition implicitly relies on an identity between persons, and hence foreshadows the more social forms of freedom Hegel will discuss later in his book. I make this argument by highlighting Hegel’s references to his discussion of atoms and freedom in his Logic of Being. (shrink)

I discuss the difference and the connections between Kant’s notions of cognition (Erkenntnis) and knowledge (Wissen). Unlike knowledge, cognition is a representational state which need not have the propositional structure of a judgments. Even cognitions that have such a structure need not coincide with knowledge, because they might rather have the doxastic status of opinion or faith, or they might be false (whereas knowledge is a certain recognition of truth). I argue that while Kant distinguishes between many different species (...) of cognition, he uses the term ‘knowledge’ univocally across his theoretical and practical philosophy. All knowledge is based upon some kind of cognition that provides the sufficient objective, certain ground for a knowing assent to a proposition. However, not all knowledge must be based upon the demanding type of cognition that is central to Kant’s overall argument in the first Critique, which requires a synthesis of concepts and sensible intuition. We have a lot of determinate knowledge, including knowledge that we possess transcendental freedom of will, that is based upon purely conceptual practical cognition. We can also have some indeterminate philosophical knowledge (e.g. knowledge that there are non-sensible, noumenal beings) that is based upon purely conceptual theoretical cognition. (shrink)

What should a virtue theory of argumentation say about fallacious reasoning? If good arguments are virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of bad argumentation to be explicable in terms of vices. This approach is defended through analysis of several fallacies, with (...) particular emphasis on the ad misericordiam. (shrink)

Compulsive smartphone users’ psyches, today, are increasingly directed away from their bodies and onto their devices. This phenomenon has now entered our global vocabulary as “smartphone zombies,” or what I will call “iZombies.” Given the importance of mind to virtually all conceptions of human identity, these compulsive users could thus be productively understood as a kind of human-machine hybrid entity, the cyborg. Assuming for the sake of argument that this hybridization is at worst axiologically neutral, I will construct (...) a kind of phenomenological psychological profile of the type of cyborg which engages in these patterns of behavior. I follow Judith Butler in seeing this identity as the result of performance practices, which as such can be modified or replaced using other performances. Pursing one such alternative, I compose a dancing critique that “reverse engineers” the choreographies implied by these cyborgs’ survival practices. The upshot of this critique is that their movement patterns do indeed align closely to those of horror cinema’s zombies. I therefore conclude by suggesting a few possible choreographic imperatives to facilitate more enabling ways of being for iZombie cyborgs today. (shrink)

Issues of communication and the possibilities for the transformation of perspectives through an experimental dialogue resulting in a mutual, open, receptive, and non-judgmental consideration of the other are addressed in this paper from transdisciplinary theoretical and conceptual standpoints. The warrant for cultivating this type of communicative ability is based on arguments resulting from the assumption of widespread confusion and conflict in intrapersonal, interpersonal, intergroup, and ecological relations across the globe. I argue that there are two distinct classes of “reasons” for (...) this proposed practice of dialogue. First is recognition of the need for human individuals to engage in a regular and systematic “social maintenance” of embodied consciousness to forestall the continuous colonization of the past/future on the living present that embodied consciousness entails. Second is the teaching of a skill to creatively and respectfully engage with others in a mutual transformation of perspectives. This paper addresses the general problem of perspectives and reflexivity at the root of the communication phenomenon and by extension – to its scale and to its pathologies in individuals and collectives. It is argued that suspension of judgment, assumption, and habit helps interlocutors to recognize the possibility of holding one's history in a tensional abeyance and to focus on the living present independent of habitualized and reified identities and the embodied manner in which we unconsciously carry ourselves as social or “universalized selves” in social situations. (shrink)

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

This paper aims at introducing a French audience to the Intelligent Design debate. It starts by reviewing recent attacks on any possibility of a rational account of theism in light of the contemporary theory of evolution. A section is devoted to outlining the genesis of the "wedge" strategy, to distinguish it from young earth creationism, and to highlight the questioning of evolution as our meta-narrative bearing on overall conceptions of the scientific endeavor. The arguments propounded by Behe are reviewed in (...) detail, as the example of blood coagulation as a purported irreducibly complex mechanism is contrasted to the question of system boundaries. Counter-arguments by Miller are reviewed, and a few bottom-line questions are directed to invite a further consideration of the type of engineering this could testify to. The concept of complex specified information is then presented, and contrasted to traditional and lingering axiomatic problems in the theory of probabilities. The problem of the recognition of an intrinsic pattern is also brought together with some work in recent philosophy of causation and explanation. The two opposing strategies, naturalistic evolutionism and intelligent design, are seen as caught in each other's rhetoric, and some probing is offered in the direction of a theory that could surpass those stalling factors. (shrink)

We contest the unsubstantiated assumption of both materialists and non-materialist that the ontological status they propose applies to all humans and that the competing claim is false for all - ie we reject both the claim of non-materialists that all humans share the same fundamental aspect of having a "non-material consciousness" (nmc), as well as the contrasting claim of materialists that none do (being fully material as according to eliminative materialists/reductive physicalists etc). Instead, the basic proposition of this paper, our (...) ‘ontological conecture’ (OC) - an updated version of our 1998 website article “Mindless Materialists” - is that the central tenets of proponents on both sides are true, but only regarding themselves. A signature feature of nmc is that brains associated to it are capable of knowing of its existence directly, and as a corollary we would propose that if a sophisticated brain does not know it is associated to nmc then most likely this is because it is in fact not so associated. Thus, in accordance with our OC we will consider a brain’s statements on this issue (that it does or does not possess nmc) as not merely its ‘philosophical position’ but as an authoritative statement, a reflection of an ontological fact. Furthermore, we propose that only those who possess nmc are capable of understanding what it is, so that although they are well-qualified to know directly that they themselves possess it, in contrast those who lack nmc and possess only material consciousness (mc) cannot even comprehend what non-materiality means - they will understandably tend to consider it a non-existent absurdity, which contention would be quite correct in a purely-material reality, such as they effectively inhabit. -/- Terminology reflecting ontological status: Since according to our OC those brains which categorize themselves as non-materialists are presumed to indeed be associated to nmc, for usefulness in phraseology we’ll refer to people whose brain is so associated as being nmc’s (not merely “espousing nmc”). Materialists say they are conscious but that theirs is a material consciousness (abbrev: “mc”) , and since according to our OC we accept this self-determination we will refer to them as being “mc’s” or being materialist (not merely “espousing materialism”). -/- Are materialists mindless or are non-materialists delusional? Notoriously, it is impossible to prove that one possesses nmc (which is a sort of corollary to the fact that it is directly self-known) - being non-material, nmc cannot be detected via the scientific method. However just as those with nmc cannot prove they possess it so too one cannot prove or determine via measurement that materialists do not possess it. Nevertheless we feel that our OC is the simplest solution to the conundrum of how there are materialists if a brain can directly sense its associated nmc. In sum, although of course it is impossible to prove that any particular person possesses or lacks nmc, given all the above our OC considers - as stated by the title of this paper - a brain’s self-identification as "materialist" or “non-materialist” (dualist, panpsychist, idealist etc) as reflecting the absence or presence of an associated real non-material awareness/consciousness, rather than merely as a statement of a philosophical stance. An alternative solution is implicit in the above - that all humans possess nmc just that materialists are those whose brains lack the awareness of theirs, or that the brain-aspect which communicates to others has no access to it. -/- Towards developing more constructive dialogue between mc’s/nmc’s, and greater self-confidence and independence among nmc’s in the face of materialist dominance of the intellectual-climate: A large part of the overall paper is devoted to not just pointing out the futility of communication of the sort usually engaged in - ie based on the erroneous underlying assumption that both sides of the debate are ontologically the same - but also suggesting ways to make the debate less frustrating by a recognition of the OC. Greater clarity in discussions can be achieved partly via a deeper understanding of the different meanings the same term might have to nmc’s/mc’s and suggestions relevant the construction of a sort of translation algorithm to utilize in discussions (as a simple example, substituting ‘higher-level cognitive material brain-processes’ for ‘mind’ when that term is used by an mc); by the frank statement by nmc’s engaged in dialogue with mc’s that the existence of nmc is not up for discussion; by learning how the existence of our nmc colors the meaning we give to certain terms in ways we were not aware of, meanings which are absent for mc’s; and in general via the recognition by the nmc that the dialogue is with a person lacking nmc. -/- Perhaps materialists are right: In the interest of ‘reciprocity’, the paper also offers an alternative/opposing view to the central proposition, to the effect that the materialist claim is correct, and it is a defect of brain wiring or structure which is the source of an active illusion of "self-awareness" underlying the philosophical claims of non-materialists. A prospective source of this illusion is offered - an analog of the sense of presence experienced during ‘sleep paralysis’. (shrink)

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which (...) they are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy. (shrink)

(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology experimental paradigms which (...) would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (shrink)

The standard definition of “argument” is satisfied by any series of statements in which one (of the statements) is marked as the conclusion of the others. This leads to the counter-intuitive result that “I like cookies, therefore, all swans are white” is an argument, since “therefore” marks “all swans are white” as the conclusion of “I like cookies”. This objection is often disregarded by stating that, although the previous sequence is an argument, it fails to be a (...) good one. However, when we compare our previous argument with a definitely bad argument like “this swan is white, therefore, all swans are white”, we see that there is an important difference between them. Whereas the former fails to fulfil our intuition of what an argument is, the latter does qualify as an argument, but as a bad one. In this talk, I will sketch a definition that better captures this feature of our intuition of what an argument is in three steps. Following Díez and Moulines (1999), I first reduce inductive validity to deductive validity through what we may call the method of deductivisation. Second, through epistemic predicates (cf. Thompson 2002), I introduce a broader concept of validity that accounts not only for deductive and inductive validity, but also for a weaker type of validity that may be called pseudo-validity. I show that these pseudo-valid arguments can also be deductivised with the help of the above-mentioned epistemic predicates. Finally, I re-define the concept of argument as any series of statements that is at least pseudo-valid, which leaves the “cookies argument” outside of this definition. (shrink)

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

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left (...) to maneuver. However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire (...) for recognition, I argue that the retributive view of anger should be abandoned. I consider and dismiss two types of moves that can be made on the part of a proponent of the orthodox view in response to my argument. I propose that a pluralist view, which allows for both retribution and recognition in anger, is to be preferred. (shrink)

Vulnerability is a notion discussed in feminist philosophy as a basis for a morality that widens our sense of those whose deaths are grievable. Vulnerability and grievability also factor in reproductive ethics. This essay employs recognition theory to analyze critically how these notions are mobilized in conservative Christian anti-abortion writings and in feminist philosophy. This analysis exposes weaknesses and misrecognition in both sets of discourses. In response, I offer theological arguments for recognizing fetal value without implying a right to (...) life and for acknowledging how human finitude and the precarity of pregnancy render gestational hospitality a discretionary, not obligatory, moral act. (shrink)

Since the noun phrase `artificial intelligence' (AI) was coined, it has been debated whether humans are able to create intelligence using technology. We shed new light on this question from the point of view of themodynamics and mathematics. First, we define what it is to be an agent (device) that could be the bearer of AI. Then we show that the mainstream definitions of `intelligence' proposed by Hutter and others and still accepted by the AI community are too weak even (...) to capture what is involved when we ascribe intelligence to an insect. We then summarise the highly useful definition of basic (arthropod) intelligence proposed by Rodney Brooks, and we identify the properties that an AI agent would need to possess in order to be the bearer of intelligence by this definition. Finally, we show that, from the perspective of the disciplines needed to create such an agent, namely mathematics and physics, these properties are realisable by neither implicit nor explicit mathematical design nor by setting up an environment in which an AI could evolve spontaneously. (shrink)

This paper aims to argue for, else illustrate the epistemological significance of the use of non transitive similarity relations, mapping only to "types", as methodologically being on a par with the use of transitive similarity relations (equivalence relations), mapping as well to "predicates". -/- In this paper the sketch of an exact but simple geometrical model of the above construct is followed by mentioning respective use cases for non transitive similarity relations from science and humanities. A well known metaphysics (...) example is elaborated along these lines to some extent. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...) the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

As robots and Artificial Intelligences become more enmeshed in rich social contexts, it seems inevitable that we will have to make them into moral machines equipped with moral skills. Apart from the technical difficulties of how we could achieve this goal, we can also ask the ethical question of whether we should seek to create such Artificial Moral Agents (AMAs). Recently, several papers have argued that we have strong reasons not to develop AMAs. In response, we develop a comprehensive analysis (...) of the relevant arguments for and against creating AMAs, and we argue that all things considered we have strong reasons to continue to responsibly develop AMAs. The key contributions of this paper are threefold. First, to provide the first comprehensive response to the important arguments made against AMAs by Wynsberghe and Robbins (in “Critiquing the Reasons for Making Artificial Moral Agents”, Science and Engineering Ethics 25, 2019) and to introduce several novel lines of argument in the process. Second, to collate and thematise for the first time the key arguments for and against AMAs in a single paper. Third, to recast the debate away from blanket arguments for or against AMAs in general, to a more nuanced discussion about the use of what sort of AMAs, in what sort of contexts, and for what sort of purposes is morally appropriate. (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)

This paper proposes an argumentation-based procedure for legal interpretation, by reinterpreting the traditional canons of textual interpretation in terms of argumentation schemes, which are then classified, formalized, and represented through argument visualization and evaluation tools. The problem of statutory interpretation is framed as one of weighing contested interpretations as pro and con arguments. The paper builds an interpretation procedure by formulating a set of argumentation schemes that can be used to comparatively evaluate the types of arguments used in (...) cases of contested statutory interpretation in law. A simplified version of the Carneades Argumentation System is applied in a case analysis showing how the procedure works. A logical model for statutory interpretation is finally presented, covering pro-tanto and all-things-considered interpretive conclusions. -/- . (shrink)

What type of artificial systems will claim to be conscious and will claim to experience qualia? The ability to comment upon physical states of a brain-like dynamical system coupled with its environment seems to be sufficient to make claims. The flow of internal states in such systems, guided and limited by associative memory, is similar to the stream of consciousness. A specific architecture of an artificial system, termed articon, is introduced that by its very design has to claim being conscious. (...) Non-verbal discrimination of the working memory states of the articon gives it the ability to experience different qualities of internal states. Analysis of the flow of inner states of such a system during typical behavioral process shows that qualia are inseparable from perception and action. The role of consciousness in learning of skills — when conscious information processing is replaced by subconscious — is elucidated. Arguments confirming that phenomenal experience is a result of cognitive processes are presented. Possible philosophical objections based on the Chinese room and other arguments are discussed, but they are insufficient to refute articon’s claims that it is conscious. Conditions for genuine understanding that go beyond the Turing test are presented. Articons may fulfill such conditions and in principle the structure of their experiences may be arbitrarily close to human. (shrink)

Frank Jackson’s famous Knowledge Argument moves from the premise that complete physical knowledge about experiences is not complete knowledge about experiences to the falsity of physicalism. Some physicalists (e.g., John Perry) have countered by arguing that what Jackson’s Mary, the perfect scientist who acquires all physical knowledge about experiencing red while being locked in a monochromatic room, lacks before experiencing red is merely a piece of recognitional knowledge of an identity, and that since lacking a piece of recognitional knowledge (...) of an identity does not entail lacking any pieces of knowledge of worldly facts, physicalism is safe. I will argue that what Mary lacks in her room is not merely a piece of recognitional knowledge of an identity and that some physicalists have failed to see this because of a failure to appreciate that Mary’s epistemic progress when she first experiences red has two different stages. While the second epistemic stage can perhaps be plausibly considered as acquiring merely a piece of recognitional knowledge of an identity, there is good reason to think that the first epistemic stage cannot be thus considered. (shrink)

In order to determine whether current (or future) machines have a welfare that we as agents ought to take into account in our moral deliberations, we must determine which capacities give rise to interests and whether current machines have those capacities. After developing an account of moral patiency, I argue that current machines should be treated as mere machines. That is, current machines should be treated as if they lack those capacities that would give rise to psychological interests. Therefore, they (...) are moral patients only if they have non-psychological interests. I then provide an account of what I call teleo interests that constitute the most plausible type of non-psychological interest that a being might have. I then argue that even if current machines have teleo interests, they are such that agents need not concern themselves with these interests. Therefore, for all intents and purposes, current machines are not moral patients. (shrink)

The detection of hate speech and fake news in political discourse is at the same time a crucial necessity for democratic societies and a challenge for several areas of study. However, most of the studies have focused on what is explicitly stated: false article information, language that expresses hatred, derogatory expressions. This paper argues that the explicit dimension of manipulation is only one – and the least problematic – of the risks of political discourse. The language of the unsaid is (...) much more dangerous and incomparably more difficult to detect, hidden in different types of fallacies and inappropriate uses of emotive language. Through a threefold coding scheme based on the instruments of argumentation theory and pragmatics, a corpus of argumentative tweets published by 4 politicians (Matteo Salvini, Donald Trump, Jair Bolsonaro, and Joseph Biden) within 6 months from their taking office (corresponding to the official end of their election campaign) is analyzed, detecting the types of argument, the fallacies, and the uses and misuses of “emotive words.” This coding results in the argumentation profiles of the speakers, which are compared statistically to show their different implicit strategies and deceptive tactics. (shrink)

It is often thought that traditional recidivism prediction tools used in criminal sentencing, though biased in many ways, can straightforwardly avoid one particularly pernicious type of bias: direct racial discrimination. They can avoid this by excluding race from the list of variables employed to predict recidivism. A similar approach could be taken to the design of newer, machine learning-based (ML) tools for predicting recidivism: information about race could be withheld from the ML tool during its training phase, ensuring that (...) the resulting predictive model does not use race as an explicit predictor. However, if race is correlated with measured recidivism in the training data, the ML tool may ‘learn’ a perfect proxy for race. If such a proxy is found, the exclusion of race would do nothing to weaken the correlation between risk (mis)classifications and race. Is this a problem? We argue that, on some explanations of the wrongness of discrimination, it is. On these explanations, the use of an ML tool that perfectly proxies race would (likely) be more wrong than the use of a traditional tool that imperfectly proxies race. Indeed, on some views, use of a perfect proxy for race is plausibly as wrong as explicit racial profiling. We end by drawing out four implications of our arguments. (shrink)

Delicate Tissue Tumors (STT) are a type of sarcoma found in tissues that interface, backing, and encompass body structures. Due to their shallow recurrence in the body and their extraordinary variety, they seem, by all accounts, to be heterogeneous when seen through Magnetic Resonance Imaging (MRI). They are effortlessly mistaken for different infections, for example, fibro adenoma mammae, lymphadenopathy, and struma nodosa, and these indicative blunders have an extensive unfavorable impact on the clinical treatment cycle of patients. Analysts have proposed (...) a few AI models to characterize cancers, however none have sufficiently tended to this misdiagnosis issue. Likewise, comparative investigations that have proposed models for assessment of such cancers generally don't think about the heterogeneity and the size of the information. Thusly, we propose an AI based approach which joins another strategy of pre handling the information for highlights change, resampling methods to dispense with the predisposition and the deviation of precariousness and performing classifier tests in light of the and Deep learning Algorithm as Artificial brain organization. -/- Tumors (STT). (shrink)

It is well known that the unpredictable speech production brought on by stress from the task at hand has a significant negative impact on the performance of speech processing algorithms. Speech therapy benefits from being able to detect stress in speech. Speech processing performance suffers noticeably when perceptually produced stress causes variations in speech production. Using the acoustic speech signal to objectively characterize speaker stress is one method for assessing production variances brought on by stress. Real-world complexity and ambiguity make (...) it difficult for decision-makers to express their conclusions with clarity in their speech. In particular, the Neutrosophic speech algorithm is used to encode the language variables because they cannot be computed directly. Neutrosophic sets are used to manage indeterminacy in a practical situation. Existing algorithms are used except for stress on Neutrosophic speech recognition. The creation of algorithms that calculate, categorize, or differentiate between different stress circumstances. Understanding stress and developing strategies to combat its effects on speech recognition and human-computer interaction system are the goals of this recognition. (shrink)

Abstract: The article presents and critically discusses Walton's (and Reed's and Macagno's) argument scheme approach to a theory of good argumentation. In particular, four characteristics of Walton's approach are presented: 1. It presents normative requirements for argumentation in the form of argument schemes, i.e. relatively concrete type descriptions. 2. These schemata are enthymematic, i.e. they omit some of the premises required by other approaches. 3. The actual argument schemes are usually supplemented by critical questions. 4. The method (...) is inductive, bottom-up, gaining the normative schemata by abstraction from empirically collected groups of similar arguments. These characteristics, among others, are then discussed on the basis of four adequacy conditions: AC1: effectiveness in achieving the epistemic goal of obtaining and communicating justified acceptable opinions; AC2: completeness in capturing the good argument types; AC3: efficiency in achieving the goals; AC4: justification of the argument schemes. The discussion then reveals a number of weaknesses in Walton's argument schemes; among other things, they are neither effective (in the defined sense) nor truly justified. Contributing factors to these problems include the schema approach, i.e. not looking at the form of arguments, and the lack of epistemological foundations in the development of good types of arguments. However, the critical analyses reveal a better alternative: an epistemological approach based on epistemological principles. The article concludes with a detailed analysis of the scheme Practical Inference, which confirms the general criticism in detail. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to (...) escape the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)