___MERGING of temporally distant events: One perceives a singular causal relation that c causes e whenever c instantiates a mental property C which anticipates a certain mental property E instantiated by e. Such a knowledge of future self is feasible by there being a common mental property D that is instantiated by both c and e. -/- ___SPLITTING to temporally distant events: In the action that is aimed to bring about E, the knowledge or perception or D (explained by the (...) anticipation of E by C) in turn causally explains an event cc instantiating C and then (via causing cc) event ee instantiating E. (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)

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)

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)

Type-identity of mental and physical events is compatible with psychological anomalism. (1) Both in action and perceiving singular causal relations, two temporally distant physical events C and E (caused by C) instantiate a COMMON mental property securing "inter-event" continuity of mental content: the mental content when the room is illuminated shows a trace of familiarity with the mental content just before flipping the switch. (2) "Inter-event" continuity is possible if there is "intra-event" continuity in individual mental content: subsets of C (...) and E capable of functioning as both causal antecedent and consequent included. (3) Intra-event continuity means not just seamless adaptation to physical by role-depriving the double-role events but also enables physical shortcuts by being already equipped with pre-causal epistemic link to future (some causally efficacious knowledge of future mental property). --- Whatever causal effect mental may ever have in the physical domain can be reproduced by purely physical events (for example causally deviant chain set off by rare quantum or cosmological events) so it must be covered by strict laws. Mental brings the cause and the effect of such strict laws temporally closer. Illuminating the room takes remarkably shorter time if there is a relevant (temporally extended) mental content involved than if it is left to rare physical phenomena. -/- . (shrink)

Zeno's paradox of Achilles and Tortoise is relevant only when Achilles and the tortoise move at different speeds but not if they ever move at the same speed but different directions. Or not relevant if there is in addition a kind of space in which they move at the same speed contrary to appearances. -/- According to a principle of special relativity the more an object moves in coordinate space the less it moves in coordinate time. If the relative speed (...) between Achilles and the tortoise is v, after T passage of time, from the point of view of the tortoise, Achilles moves vT in coordinate space and wT in coordinate time. The framework of special relativity wholly describes the motion of both if v^2 + w^2 = C^2 where C is the speed of light. -/- Achilles and the Tortoise phenomenally (ordinary 3-dimensional conception of space) move at different speeds, but noumenally (in 4-dimensional spacetime) move at the same speed C. (shrink)

An attempt to vindicate naive set theory by postulating a universal set V which is describable in two distinct description languages: predicative and extensional. The extensional description of a set consists of describing all its elements whereas its predicative description consists of describing what sets it is an element of. -/- Extensionally described V has an uncapturable description length, akin to its cardinality. But predicatively described, in virtue of being the set that is not contained in any set whatsoever, V (...) has a minimal description length, a counterbalance to its cardinality. -/- Descriptive efficiency can genuinely be attributed to V (achieved in a third description language) only if it contains predicatively indiscernible but extensionally discernible sets. (shrink)

A truism: a name that is essentially associated with a description—so that its description contributes to the psychological explanations in which it figures—refers not to its referent simpliciter but to its referent relative to the information that is mirrored by the description.

Existential reason belief is a tacit premise in reasoning in any instance of substantial decision making where sentential reason alone cannot indicate the rational choice. The outcome of the decisions that implicate such existential reasons are to essentially constitute either utility or knowledge of some sort or both. The binding underwrites some aspect of mental content that is by design charitably interpretable.---Knowledge or utility if reason consist of desire and belief.

Physical translation of a mental content must involve a set of causal antecedents A and a set of causal consequents B which instantiate properties that figure in strict laws as antecedent and consequent conditions respectively. Only if there are double-role events in common between A and B capable of migrating to purely A or to purely B in future depending on the role that the mental content play then, psychological anomalism can be established but without any need to give up (...) the type-identity of mental and physical events. This paper argues that belief and desire are explanatorily inextricable likewise. (shrink)

The realm of non-sentential propositionality and purely functional rationality the constitutive force of which enables (otherwise non-sentential) incessant subconscious inter-translation of psychological and physical. Nietzsche: there are more wisdom in your body than in your deepest philosophy.

Propositional = Linguistic + Hermeneutically Efficacious. An interpretation of a text is guided by emerging functions of the interpretation. And future function of a text is less than fully known to the author at the time of its production. There is only one the most charitable interpretation of any text at any given time however because there are ever infinitely many propositional versions of any text.

Object x being a member of itself or not and x being a member of R or not constitute two vastly different concepts. This paper attempts to locate the reflection of such an utter difference within the formal structure of the axiom of extensionality. -/- .

This paper attempts to explore theoretical plausibility of a deterministic universe capable of accommodating freedom by postulating certain requisite features for the set of initial conditions (without probing into the nature of deterministic laws). In another sense this paper codifies a reaction to McTaggart’s argument for the unreality of time.

x and y are at least weakly indiscernible if they are distinct with respect to two predicates F and G (FxGy or FyGx and not both) but for all z except x and y, Fz if and only if Gz.

In a convoluted and a frail sense there might be external reasons. One cannot just precipitate an external reason on demand. Their emergence is feasible only via a posteriori rationalization---effectively the effects of future mental events. This paper attempts to specify pre-conditions for an (internal) reason for action in the past to transform into an external reason later. Most fundamentally one must not know something about one's reason at the time of action .

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)

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)

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)

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)