This article presents a fairness principle for evaluating decision-making based on predictions: a decision rule is unfair when the individuals directly impacted by the decisions who are equal with respect to the features that justify inequalities in outcomes do not have the same statistical prospects of being benefited or harmed by them, irrespective of their socially salient morally arbitrary traits. The principle can be used to evaluate prediction-based decision-making from the point of view of a wide range of antecedently specified (...) substantive views about justice in outcome distributions. (shrink)

Aristotle and Spinoza, two influential philosophers in the history of philosophy, and the subject of their philosophy is Johar. is, by comparing the properties of essence from his point of view, the root of many differences in the great part of Western philosophy is catching up. It is worth noting that these two philosophers have similarities with the definition of essence They also have; But they differ a lot about its features and examples. Study of Aristotle's opinions in The two (...) books Organon and Metaphysics, and the explanation of Spinoza's attitude in the book of Ethics, is the first step of this article. Of course, a look at the substance in the custom and idiom of Ibn Nasina and his innovations can be a help for a better understanding. The essence is from the point of view of pilgrims. The criterion of the researcher for evaluation is the degree of compatibility of the essence definition with another It is the parts of the philosophical system. With the conducted studies, the result is that Spinoza's definition is stable It is more logical and has provided a more coherent system. (shrink)

One of the methods of teaching ethics, which has recently attracted the attention of researchers in the field of ethics and education and has a long history in Islamic teachings, is teaching through games, the main purpose of this article is to explain it in detail and examine the capacities and advantages of this method; With the difference that in this article, our focus is not on a specific type or case of games, but on the absolute of collective games (...) that do not necessarily have an ethical design. Therefore, in this article, by using inference and documental methods and using library resources, after reviewing the background of indirect methods of moral education, the game is defined and then, while enumerating a number of effective functions of the game in the moral improvement of the players, some advantages of this method over other training methods have been mentioned. Strengthening moral humility, balance between personal interest and collective interest, creating the capacity to win and finally the spirit of acceptance of failure are among the capacities of the game in moral education. (shrink)

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H (...) by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)

In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke (...) model deciding Δ0-formulas it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM. We also show that, for each n ≥ 1, iΦn does not prove ℋ(IΠn's are Burr's fragments of HA. (shrink)

We propose the concepts of philomatics and psychomatics as hybrid combinations of philosophy and psychology with mathematics. We explain four motivations for this combination which are fulfilling the desire of analytical philosophy, proposing science of philosophy, justifying mathematical algorithms by philosophy, and abstraction in both philosophy and mathematics. We enumerate various examples for philomatics and psychomatics, some of which are explained in more depth. The first example is the analysis of relation between the context principle, semantic holism, and the usage (...) theory of meaning with the attention mechanism in mathematics. The other example is on the relations of Plato's theory of forms in philosophy with the holographic principle in string theory, object-oriented programming, and machine learning. Finally, the relation between Wittgenstein's family resemblance and clustering in mathematics is explained. This paper opens the door of research for combining philosophy and psychology with mathematics. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory of truth one who is involved both in (...) the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

Aristotle has repeatedly stated in his works that 'being has several senses'. Is this to be regarded as his pluralistic ontology, an approach that seems to be too nascent? If so, how can this newfound approach in ontology be linked to the ideas of the father of this science, i.e. Aristotle? These are the questions that the present article seeks to answer. First, we will show that Aristotle thinks of 'being' in four senses. Then, step by step he proceeds to (...) leave different senses aside, insofar as only one sense remains: being in the sense of the figures of the categories. We argue, then, that it is better to found Aristotle's ontological pluralism upon the fourfold sorts, instead of the tenfold categories. We will provide some reasons for this preference, i.e. in defense of the fourfold sorts and against the tenfold categories. Each of these four modes of being will be discussed. Finally, a version of ontological pluralism will be provided and attributed to Aristotle: Sorting Version. According to this version of pluralism, we will demonstrate how Aristotle speaks of the ontologically fundamental structure of the world. (shrink)