Jolly Thomas

To assess the intelligence of machines, Alan Turing proposed a test of imitation known as the imitation game, famously known as the Turing test. To assess whether artificial intelligent (AI) systems could be moral or not, Colin Allen et al. developed a test of imitation in the context of morality, a test known as the Moral Turing Test (MTT), which I will, in this paper, call the moral imitation game. There are arguments against developing any type of MTT or moral imitation game. Rather than developing a moral imitation game, this paper proposes a criterion of imitation for AI systems in the moral scenario. To develop a criterion of imitation, I explore the notion of moral attribution in detail. Within the case of moral attribution, I introduce the subject‐ascriber distinction. The notion of moral attribution and the subject‐ascriber distinction is employed to address the following questions: (a) how is the assessment in MTT arranged?, (b) what is the role of the interrogator in the MTT?, and (c) what information is to be concealed from the interrogator? The first question deals with the aspect of assessment, the second question deals with the reordering of the role of the interrogator and the third one deals with the concealment aspect of the imitation game. After that, a criterion of imitation for AI systems is put forward. Using the subject‐ascriber distinction in moral attribution and David Lewis' Mad Pain and Martian Pain cases, it is argued that the notion of sentience is insignificant for the ascriber for moral attributions.

Using speech act theory from the Philosophy of Language, this paper attempts to develop an ethical framework for the phenomenon of speech processing. We use the concepts of the illocutionary force and the illocutionary content of a speech act to explain the ethics of speech processing. By emphasizing the different stages involved in speech processing, we explore the distinct ethical issues that arise in relation to each stage. Input, processing, and output are the different ethically relevant stages under which a spoken item or a speech navigates within the range of speech-processing modules. Employing the illocutionary force-content distinction, we specify and characterize the input-related ethical issues, the output-related ethical issues, and the processing-related ethical issues involved in speech processing. Together with illocutionary force-content distinction, we employ the data-information distinction to characterize the stage-wise ethical issues in the phenomenon of speech processing as the ethics of collecting (speech) data, the ethics of contextualizing (speech) data/information, and the ethics of releasing the con-textualized information (processed speech). Immediate ethical issues that arise from the range of speech processing modules are distinguished from distant ethical issues. We also indicate the nature of ethical issues that arise from Speaker Independent speech technologies.

This paper tries to unleash the nature of the paradox of nonexistence or non-being or negative singular existentials by using a General Metalogical Theory. In the first section, this paper explains in detail the paradox of negative singular eixistentials and explains how Alexius Meinong and Bertrand Russell respond to this paradox. Russell resolves the paradox using quantification method which Quine extends to formulate a criterion of ontological commitments. In the second section, a General Metalogical Theory is explained, and it is shown that how the developed General Metalogical Theory is useful in unleashing the paradox of nonexistence. The principles of General Metalogical Theory is developed from Quine’s criterion: to be is to be the value of bound variable. In Quine’s criterion, the notion of the bound variable is significant. The General Metalogical Theory in unleashing the nature of the paradox mainly focuses on the question: from where does the binding of the bound variable come? The paper argues that it is not enough to say that the binding of the bound variable comes from the existentially loaded use of the particular quantifier. General Metalogical Theory attempts to show that the binding of the bound variable comes from somewhere else, so that we attach the particular quantifier to the variable and use the particular quantifier in an existentially loaded sense. Explaining the binding nature of the bound variable in the above-mentioned manner will unleash the nature of the paradox.

This paper resolves the problems raised by Israel Scheffler and Noam Chomsky against Quine’s criterion of ontological commitment. I call Scheffler’s and Chomsky’s problems as (1) the problem of inexorable ontological commitments and (2) the problem of false existential inferences. I extend their problems to a third one, which is called as the problem of extended inexorable ontological commitments to rival entities. In order to present the third problem, two ontological disputes are considered: Russell–Meinong dispute from the context of the referential theory of meaning and David Lewis–Meinong dispute from the context of modal metaphysics. In order to work out a resolution to these three problems, I emphasize the distinction between meta-ontology/meta-theory and object theory. Then, it is explained that there is a functional difference between Quine’s criterion of ontological commitments (meta-theory) and the object theories to which this criterion is applied. Here, considering the functional difference, I introduce different kinds of commitments: direct commitments and indirect commitments. Using Strawson’s views on the notion of presupposition, the distinction between direct commitments and indirect commitments is characterized further. Employing this distinction, I resolve the problem of inexorable ontological commitment to the entities, the problem of false existential inferences and the problems of extended inexorable ontological commitment to the rival entities.

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes.