Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non-descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...) We discuss these and similar cases, focusing on two factors which play a role in determining whether and which causal parents of the manipulated variable are affected: Speakers' need for an explanation of the hypothesized state of affairs, and differences in the ‘resilience’ of beliefs that are independent of degrees of certainty. We describe the relevant theoretical notions in some detail and provide experimental evidence that these factors do indeed affect speakers' interpretation of counterfactuals. (shrink)

This paper investigates critically the approaches to picturebooks as used in the history of philosophy for children movement. Our concern with picturebooks rests mainly on Morteza Khosronejad's broader criticism that children's literature has been treated instrumentally by early founders of P4C, the consequence of which is abolishing the independent voice of this literature. As such it demands that we scrutinize the position of children's literature in the history of this educational program, as well as other genres and forms, including (...) picturebooks as a highly valued artistic-literary form to educationalists. In our inquiry, we probe, therefore, the transition of approaches to picturebooks concomitantly with the investigation of the transition of approaches to children's literature. This research evinces that some later scholars and practitioners of P4C have departed significantly not only from Lipman's approach to children's literature and picturebooks, but also from his conceptualization of childhood and philosophy for children. Meanwhile, it demonstrates that in spite of P4C scholars' taking effective steps to address children's literature in general and picturebooks in particular, there are some steps for them to take in order to fully recognize this literature as an independent branch of knowledge and picturebooks as artistic-literary unique works. While revealing the limitations and paradoxes that P4C scholars continue to deal with, in this article, we see Khosronejad's earlier idea as a suggestion to overcome the instrumentalization of children's literature and picturebooks in P4C. Fundamental dialogue with children's literature theorists particularly those of picturebooks will open new horizons to the realization of our suggestion. (shrink)

Background Ethical decision‑making and behavior of nurses are major factors that can affect the quality of nursing care. Moral development of nurses to making better ethical decision-making is an essential element for managing the care process. The main aim of this study was to examine and comparison the effect of training in ethical decision-making through lectures and group discussions on nurses’ moral reasoning, moral distress and moral sensitivity. Methods In this randomized clinical trial study with a pre- and post-test design, (...) 66 nurses with moral reasoning scores lower than the average of the community were randomly assigned into three equal groups (n = 22) including two experimental groups and one control group. Ethical decision-making training to experimental groups was provided through the lectures and group discussions. While, the control group did not receive any training. Data were collected using sociodemographic questionnaire, the nursing dilemma test (NDT), the moral distress scale (MDS) and the moral sensitivity questionnaire (MSQ). Unadjusted and adjusted binary logistic regression analysis was reported using the odds ratio (OR) and 95% confidence intervals. Results Adjusted regression analysis showed that the probability of increasing the nursing principle thinking (NPT) score through discussion training was significantly higher than lecture (OR: 13.078, 95% CI: 3.238–15.954, P = 0.008), as well as lecture (OR: 14.329, 95% CI: 16.171–2.005, P < 0.001) and discussion groups compared to the control group (OR: 18.01, 95% CI: 22.15–5.834, P < 0.001). The possibility of increasing moral sensitivity score through discussion training was significantly higher than lecture (OR: 10.874, 95%CI: 6.043–12.886, P = 0.005) and control group (OR: 13.077, 95%CI: 8.454–16.774, P = 0.002). Moreover, the moral distress score was significantly reduced only in the trained group compared to the control, and no significant difference was observed between the experimental groups; lecture group vs. control group (OR: 0.105, 95% CI: 0.015–0.717, P = 0.021) and discussion group vs. control group (OR: 0.089, 95% CI: 0.015–0.547, P = 0.009). Conclusions The results of this study indicate that ethical decision-making training is effective on empowerment of ethical reasoning. Whereas the group discussion was also effective on increasing the ethical sensitivity, it is recommended the training plan provided in this study to be held as workshop for all nurses in health and treatment centers and placed in curricular plan of nursing students. Registration This randomized clinical trial was registered in Iranian Registry of Clinical Trials under code (IRCT2015122116163N5) in 02/07/2016. (shrink)

Journals and publishers are increasingly using artificial intelligence (AI) to screen submissions for potential misconduct, including plagiarism and data or image manipulation. While using AI can enhance the integrity of published manuscripts, it can also increase the risk of false/unsubstantiated allegations. Ambiguities related to journals’ and publishers’ responsibilities concerning fairness and transparency also raise ethical concerns. In this Topic Piece, we offer the following guidance: (1) All cases of suspected misconduct identified by AI tools should be carefully reviewed by humans (...) to verify accuracy and ensure accountability; (2) Journals/publishers that use AI tools to detect misconduct should use only well-tested and reliable tools, remain vigilant concerning forms of misconduct that cannot be detected by these tools, and stay abreast of advancements in technology; (3) Journals/publishers should inform authors about irregularities identified by AI tools and give them a chance to respond before forwarding allegations to their institutions in accordance with Committee on Publication Ethics guidelines; (4) Journals/publishers that use AI tools to detect misconduct should screen all relevant submissions and not just random/purposefully selected submissions; and (5) Journals should inform authors about their definition of misconduct, their use of AI tools to detect misconduct, and their policies and procedures for responding to suspected cases of misconduct. (shrink)

Sacred values are different from secular values in that they are often associated with violations of the cost-benefit logic of rational choice models. Previous work on sacred values has been largely limited to religious or territorial conflicts deeply embedded in historical contexts. In this work we find that the Iranian nuclear program, a relatively recent development, is treated as sacred by some Iranians, leading to a greater disapproval of deals which involve monetary incentives to end the program. Our results suggest (...) that depending on the prevalence of such values, incentive-focused negotiations may backfire. (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)

This book examines the post-secular idea of 'religion for non-believers'. The new form of unbelief which is dubbed as 'tourist atheism' is not based on absolute rejection of religion as a 'dangerous illusion' or 'mere prejudice'. Tourist atheists instead consider religion as a cultural heritage and a way of seeking perfection. What are the origins of these new forms of atheism? What are the implications of the emergence of a type of atheism which is more open toward religious teachings, rituals, (...) arts, and world views? Hashemi argues that public intellectuals must consider that it is a sign of a post-secular age in which believers and non-believers go beyond mere tolerance and engage in a creative process of co-practice and co-working. (shrink)

For meaning normativism to hold, meaning must have a constitutive part which is obligation-producing. I claim in this paper that linguistic communication is such a constitutive part. I try to show this by means of appeal to Davidson’s triangulation thesis. If I am successful, it may fairly be said that “a Davidsonian can rescue the normativity of meaning”.

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground ontological categories. (...) -/- . (shrink)

Experimental philosophy has been engaged in many fields of philosophy and has tried to challenge philosophy from a new horizon. In this article, I have tried to examine what the role of sciences are in altering people’s intuition about free will. Could science educate people’s philosophical intuitions? If yes, should we still rely on their intuition as a rational instrument for our philosophical questions? Do science plus cultural and social differences effect on folks’ view? In this cross-cultural research, the emphasis (...) is mostly on recent breakthroughs on neuroscience and its impact on people’s perspective to free will. I have asked some questions about free will and determinism from two groups of Iranian and European participants. The results of this study revealed an interesting amount of cross-cultural similarities. The findings showed that people have a relatively independent view to free will and determinism. It seems that manipulating laymen’s opinion by either the idea of scientific determinism or living under pressure and challenging social conditions cannot touch their perspective. I tried to indicate that the techniques of experimental philosophy and the data offered might help us to learn more and more about the psychological processes, in the mind of the folks, that engender philosophical problems. (shrink)

Life, whatsoever it is, is a temporal flux. Everything is doomed to change often apparently beyond our awareness. My body appears totally different now, so does my mind. I have gained new attitudes and new ambitions, and a substantial number of old ones have been discarded. But, I am still the same person in an ongoing manner. Besides, recent neuroscientific and psychological evidence has shown that our conscious perception happens as a series of discrete or bounded instants—it emerges in temporally (...) scattered, gappy, and discrete forms. But, if it is so, how does the brain persevere our self-continuity in this gappy setting? How is it possible that despite moment-to-moment changes in my appearance and mind, I am still feeling that I am that person? How can we tackle with this second by second gap and resurrection in our existence which leads to a foundation of wholeness and continuity of our self? How is continuity of self that results in a feeling that one’s life has purpose and meaning preserved? To answer these questions, the problem has been comprehended from a philosophical, psychological, and neuroscientific perspective. I realize that first and foremost fact lies in the temporal nature of identity. Having equipped with these thoughts, in this article, it is hypothesized that according to two principles self-continuity is maintained. It is supposed that there should be a precise temporal integration mechanism in the CNS with the outside world that provides us this smooth, ungappy flow of the Self. However, we are often taken for granted the importance of self-continuity, but it can be challenged by life transitions such as entering adulthood, retirement, senility, emigration, and societal changes such as immigration, globalization, and in much unfortunate and extreme cases of mental illnesses such as schizophrenia. (shrink)

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

Hijab – covering of a Muslim woman's body – is the most visible Islamic mandate. For a century it has been a major site of ideological struggle between traditionalism and modernity, and a yardstick for measuring the emancipation or repression of Muslim women. In recent decades hijab has become an arena where Islamist and secular feminist rhetoric have clashed. For Islamists, hijab represents their distinct identity and their claim to religious authenticity: it as a divine mandate that protects women and (...) defines their place in society. For secular feminists, hijab represents women's oppression: it is a patriarchal mandate that denies women the right to control their bodies and to choose what to wear. The clash has been particularly strident in Iran, where the state has twice intervened with legislation to an extent that no other Muslim country has experienced. Iran, too, has been a prime site for the emergence of `Islamic feminist' discourses that speak of hijab not as a `duty,' but as a `right,' and as a social rather than a religious mandate, and finds juristic arguments to support this position. This article traces the genealogy of this new juristic position from notions of hijab in classical Islamic jurisprudence (fiqh). It documents how jurisprudential positions and notions of hijab in Iran evolved in response to socio-political factors. It concludes by highlighting wider implications of the new juristic position on hijab for establishing common ground between secular feminist and Islamic discourses. (shrink)

Women, Jurisprudence, Islam. By Sedigheh Vasmaghi. Translated by Mr. Ashna and Philip G. Kreyenbroek. Göttinger Orientforschungen III, Reihe: Iranica, Neue Folge, vol. 11. Wiesbaden: Harrassowitz, 2014. Pp. 162. €38.

According to a bedrock assumption in the current methodology of armchair philosophy, we may refute a theory aiming at analyzing a concept by providing a counterexample in which it intuitively seems that a hypothetical or real situation does not fit with what the theory implies. In this paper, we shall argue that this assumption is at most either untenable or otherwise useless in bringing about what is commonly expected from it.

Dynamic topological logic is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f$ is a continuous function on it. The problem of finding a complete and natural axiomatization for this logic in the original tri-modal language has been open for more than one decade. In this paper, we give a natural axiomatization of $\textsf{DTL}$ and prove its strong completeness with respect to (...) the class of all dynamic topological systems. Our proof system is infinitary in the sense that it contains an infinitary derivation rule with countably many premises and one conclusion. It should be remarked that $\textsf{DTL}$ is semantically non-compact, so no finitary proof system for this logic could be strongly complete. Moreover, we provide an infinitary axiomatic system for the logic ${\textsf{DTL}}_{\mathcal{A}}$, i.e. the $\textsf{DTL}$ of Alexandrov spaces, and show that it is strongly complete with respect to the class of all dynamical systems based on Alexandrov spaces. (shrink)

According to the dominant methodology of contemporary analytic philosophy, philosophical intuitions play evidential roles for or against philosophical theories. However, intuitions can play the supposed role successfully only if they are justified. Phenomenalism, as one of the proposed theories that aims to explain and argue for justifiedness of intuitions, claims that intuitions are justified because they have a certain phenomenal character: Intuitive contents seem to be true. Furthermore, it argues that sensory perception has similar phenomenal character, in virtue of which (...) it is justified. This analogy confirms the justifiedness of intuitions. In this paper, however, we shall argue that there is at least one another epistemological feature of sensory perception which is relevant to its justifiedness, that is self-correction. Although sensory perception is highly self – correcting, intuitions normally resist self – correction, even in the case of further recalcitrant evidences. The disanalogy threatens phenomenalist analogy for justifiedness of intuitions. (shrink)

Subjects can be assumed as phenomena possessing independent axes on which intellectual and material achievements are deployed into a network of interconnections that, centered on certain axes in specific place and time, may give rise to a series of subjects or may transform into turning points that inevitably lead to dimming or elimination of a range of issues and bring about significant changes and developments in another broad range of them. Phenomena such as local governments/states formation or collapse, industrial revolution, (...) and other phenomena such as new civil laws, the press, public education, etc., in any given period can be new issues affecting the situation before and after them, transforming into turning points and/or serving as axes for other subjects. By identifying a network of such subjects, we will be able to understand their process of formation, evolution and variation within the scope of local histories. (shrink)

Artificial intelligence (AI), large language models (LLMs), such as Open AI’s ChatGPT, have a remarkable ability to process and generate human language but have also raised complex and novel ethica...

In this article, we discuss ethical issues related to using and disclosing artificial intelligence (AI) tools, such as ChatGPT and other systems based on large language models (LLMs), to write or edit scholarly manuscripts. Some journals, such as Science, have banned the use of LLMs because of the ethical problems they raise concerning responsible authorship. We argue that this is not a reasonable response to the moral conundrums created by the use of LLMs because bans are unenforceable and would encourage (...) undisclosed use of LLMs. Furthermore, LLMs can be useful in writing, reviewing and editing text, and promote equity in science. Others have argued that LLMs should be mentioned in the acknowledgments since they do not meet all the authorship criteria. We argue that naming LLMs as authors or mentioning them in the acknowledgments are both inappropriate forms of recognition because LLMs do not have free will and therefore cannot be held morally or legally responsible for what they do. Tools in general, and software in particular, are usually cited in-text, followed by being mentioned in the references. We provide suggestions to improve APA Style for referencing ChatGPT to specifically indicate the contributor who used LLMs (because interactions are stored on personal user accounts), the used version and model (because the same version could use different language models and generate dissimilar responses, e.g., ChatGPT May 12 Version GPT3.5 or GPT4), and the time of usage (because LLMs evolve fast and generate dissimilar responses over time). We recommend that researchers who use LLMs: (1) disclose their use in the introduction or methods section to transparently describe details such as used prompts and note which parts of the text are affected, (2) use in-text citations and references (to recognize their used applications and improve findability and indexing), and (3) record and submit their relevant interactions with LLMs as supplementary material or appendices. (shrink)

Sad al-Din Dashtaki, and following him, Mulla Sadra Shirazi maintains that all real compositions are unified. After a short review of Dashtaki’s thesis, we concentrate on Mulla Sadra’s version. Mulla Sadra believes that Dashtaki’s version is not coherent and he declines the existence of real parts. We will argue that Mulla Sadra’s objections do not work and furthermore, all things said and done there is no difference between these two versions of the thesis of unified composition. If there is any (...) difference, it is about their theory of existence, not about their theory of composition. Sad al-Din Dashtaki, and following him, Mulla Sadra Shirazi maintains that all real compositions are unified. After a short review of Dashtaki’s thesis, we concentrate on Mulla Sadra’s version. Mulla Sadra believes that Dashtaki’s version is not coherent and he declines the existence of real parts. We will argue that Mulla Sadra’s objections do not work and furthermore, all things said and done there is no difference between these two versions of the thesis of unified composition. If there is any difference, it is about their theory of existence, not about their theory of composition. (shrink)

There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds Aα and Bα of them, Aα is a subset of Bα and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of (...) A. We characterize theories that are preserved under taking submodels and also those that are preserved under taking extensions as universal and existential theories, respectively. We also study the notion elementary submodel defined in the same style and give some results concerning this notion. In particular, we prove that the relation between each two corresponding worlds of finite Kripke models A ≤ B is elementary extension (in the classical sense) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

This article explores the impact of an Increase in the average Number of Authors per Publication on known ethical issues of authorship. For this purpose, the ten most common ethical issues associated with scholarly authorship are used to set up a taxonomy of existing issues and raise awareness among the community to take precautionary measures and adopt best practices to minimize the negative impact of INAP. We confirm that intense international, interdisciplinary and complex collaborations are necessary, and INAP is an (...) expression of this trend. However, perverse incentives aimed to increase institutional and personal publication counts and egregious instances of guest or honorary authorship are problematic. We argue that whether INAP is due to increased complexity and scale of science, perverse incentives or undeserved authorship, it could negatively affect known ethical issues of authorship at some level. In the long run, INAP depreciates the value of authorship status and may disproportionately impact junior researchers and those who contribute to technical and routine tasks. We provide two suggestions that could reduce the long-term impact of INAP on the reward system of science. First, we suggest further refinement of the CRediT taxonomy including better integration into current systems of attribution and acknowledgement, and better harmony with major authorship guidelines such as those suggested by the ICMJE. Second, we propose adjustments to the academic recognition and promotion systems at an institutional level as well as the introduction of best practices. (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)

This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two-node PA-normal Kripke structure which does not force iΣ2. We prove i∀1 ⊬ i∃1, i∃1 ⊬ i∀1, iΠ2 ⊬ iΣ2 and iΣ2 ⊬ (...) iΠ2. We use Smorynski's operation Σ′ to show HA ⊬ lΠ1. (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 will formulate some analogous higher-order versions of Skolem’s paradox and assess the generalizability of two solutions for Skolem’s paradox to these paradoxes: the textbook approach and that of Bays (2000). We argue that the textbook approach to handle Skolem’s paradox cannot be generalized to solve the parallel higher-order paradoxes, unless it is augmented by the claim that there is no unique language within which the practice of mathematics can be formalized. Then, we argue that Bays’ solution to the original (...) Skolem’s paradox, unlike the textbook solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized. (shrink)

According to a common definition, the argument of truthful ones is an argument in which the existence of Necessary Being is proved with no presumption of the existence of the possible being. Avicenna proposed different versions of this style of argument and the version in the book of Nejat is one of them. This paper is intended to examine the possibility of proving the logical validity of this version in first-order predicate logic and explain the principles which the argument is (...) based on. In this way, it becomes clear to what extent Avicenna's version is in accordance with the criteria he himself introduces for the argument of truthful ones. In this respect, while providing a clear exposition of the version in the book of Nejat, bugs on some of the statements and proposals to obviate them in terms of replacement arises. Then explaining the concepts and premises which the argument in the book of Nejat is besed on, it is formulated in first-order predicate logic with its full proof. Finally, the proposed model's accordance with the presented criteria for the argument of truthful ones will be shown. (shrink)

In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.

Sayyid Sadr al-din Mohammad Dashtaki Shirazi is the inventor of the division of composition into unified composition and composition by join. With this division, Dashtaki has expressed a new theory about the composition of the material object from first matter and form, as well as the composition of man from soul and body, and considers these compositions as an alliance and unification, not simply the parts joining to each other. In this paper, we will present Dashtaki’s arguments on the theory (...) of unified composition. We will also examine three objections to this theory and responses to them. Finally, we will examine the background of this theory in Bahmanyar's phrases. Dashtaki believes that when the components in the compound have a real plurality, i.e. each one exists separately from the other, a composition by join is created, such as the composition of a house from numerous clays. But if the components in the compound are united and none of them are separate from the others and exists actually, the resulting composition will be an alliance and union. He believes that in the unified composition, every component is identical to any other component and is identical to the whole. Accordingly, Reza is a unique being, both human and writer. In order to achieve a composition, a plurality is needed and in order to form a single composition, there must be plural components related to each other. An important question is that, principally how is a composition possible, if unified composition comes to existence only when the components are made united with each other and with the whole? In other words, unified composition is not possible, because the first condition of the acquisition of the composition, i.e., the plurality of the constituent components, is not satisfied. Dashtaki strives to express a difference between the components in the union compound. He believes that the conditions of the realization and the survival of the components are different, and that is enough for them to be different. In Dashtaki's point of view, in the unified composition the components are analytical, not being separate and plural, in reality. In other words, the components do not have actual and "in-the-world" plurality, which means that it is our intellect that separates them and looks at them as independent objects. Therefore, unity and identity are in-the-world and plurality and discernibility are analytical and in the mind. Dashtaki's first argument for his theory in general is as follows: the three major material objects (solid, plant and animal) are undoubtedly real compounds. But in these compositions, components exist potentially, and in a unified composition, components do not exist actually. Therefore, these objects are unified compounds. The second argument is that the accuracy of predication implies unity. In the unified composition, the components are identical with the whole, and therefore, the components can be predicated to the composition. In Dashtaki's view, if A is predicated to B, then it could be concluded that they are identical and unified. The first objection to this theory is that the unity is incompatible with causality. From the perspective of the Peripatetics, form is the cause of the matter, and this is incompatible with the union of the two. Dashtaki states that in case of causality, there is no need for cause and effect to be two different and discernible entities, but a single entity may be from one aspect the cause and, from another, the effect. In other words, the foresaid causality is analytical causality. When mind analyses something, and then finds analytical components, it can see between those analytical and intellectual components, causality, and find some of them as the cause of the others. The second objection is the incorrectness of the unity in compounds with components not being similar. only in the compounds having similar parts, one can accept the unity of matter and form. For example, in compounds such as horses, it is not possible to accept the union of matter and form, because in horses, there are components with different natures, such as bones, flesh and nerves. Unity of These parts with each other and with the whole is not plausible. Dashtaki’s respond is that the horse is also a natural unit and has no actual plurality. Components having similar or different natures does not make any difference. According to the theory of unified composition, the horse's components are united with the horse's form and have only analytical plurality. Horse’s components are just analytical components, not actual, independent ones. The third objection is the incompatibility of the actual existence of components with their unity. But Dashtaki maintains that a unique actual personal entity cannot have actual plural components. He states that compounds such as horses exist objectively, but objective and real existing is divided into two kinds: dependent existence, and independent existence as a single real thing. Therefore, the two characteristics of "being a component" and "being independent" are incompatible and do not come together in a real being. Dashtaki has also quoted phrases from Bahmanyar to confirm his point of view. Bahmanyar says that the properties of an animal belong to the whole and compound, not to each component. For example, it is a horse that feels, not its bone or brain, as the eye is also a compound, but seeing is the work of the eye, not the work of any of its components. Therefore, the animal, which is something compound, has characteristics that none of its components have. So the animal is something over and above its components. Bahmanyar thinks the components in the animal are potential. Then he states a general rule: any compound in which unity is real, its components do potentially exist. Therefore, Bahmanyar considers the body parts of the living organism as a potential being and generally believes that the components of any compound that have true unity are potential. The potentiality of the components in a real compound does not that mean that the components are destroyed and a new thing is produced. The components are also available, but they do not have the effects they had separately before the composition comes into existence. In other words, the components have found a unique identity together and therefore have a new effect.. It seems that Bahmanyar has expressed the same idea that Dashtaki is looking for in the theory of unified composition. Therefore, it can be said that before Dashtaki, Bahmanyar has come up with the thought of a unity. Of course, Bahmanyar has not explained much about this, and Dashtaki is the first who has organized and completed this idea as a philosophical theory. (shrink)

We give a corrected proof of the main result in the paper [2] mentioned in the title.

We give a corrected proof of the main result in the paper [2] mentioned in the title.

In this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic and characterize theories that are preserved under images and also those that are preserved under inverse images of homomorphisms. Moreover, we define a notion of union of chain for Kripke models and define a class of formulas that is preserved in unions of chains. We also define similar classes of formulas and investigate their behavior in Kripke models. An application to (...) intuitionistic first-order arithmetic is also given. (shrink)

We construct ω-framed Kripke models of i∀1 and iΠ1 non of whose worlds satisfies ∀x∃y(x=2y∨x=2y+1) and ∀x,y∃zExp(x, y, z) respectively. This will enable us to show that i∀1 does not prove ¬¬∀x∃y(x=2y∨x=2y+1) and iΠ1 does not prove ¬¬∀x, y∃zExp(x, y, z). Therefore, i∀1⊬¬¬lop and iΠ1⊬¬¬iΣ1. We also prove that HA⊬lΣ1 and present some remarks about iΠ2.

IPV is the intuitionistic theory axiomatized by Cook's equational theory PV plus PIND on NP-formulas. Two extensions of IPV were introduced by Buss and by Cook and Urquhart by adding PIND for formulas of the form A ∨ B, respectively ¬¬A, where A is NP and x is not free in B. Cook and Urquhart posed the question of whether these extensions are proper. We show that in each of the two cases the extension is proper unless the polynomial hierarchy (...) collapses. (shrink)

It is shown that the feasibly constructive arithmetic theory IPV does not prove LMIN, unless the polynomial hierarchy CPV-provably collapses. It is proved that PV plus LMIN intuitionistically proves PIND. It is observed that PV + PIND does not intuitionistically prove NPB, a scheme which states that the extended Frege systems are not polynomially bounded.

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative translation combined with a (...) variant of Friedman’s translation. For the second group, we use Avigad’s forcing method. (shrink)

In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each of these properties. These results provide simple proofs for some known results in the model theory of the bounded arithmetic theories like CPV and PV1. We use the mentioned results to obtain some independence results in the context of intuitionistic bounded arithmetic. We show that, if the intuitionistic theory of polynomial induction (...) on strict $\Pi_2^{b}$ formulas proves decidability of $\Sigma_1^b$ formulas, then P=NP. We also prove that, if the mentioned intuitionistic theory proves ${\rm LMIN}(\Sigma_{1}^{b})$ , then P=NP. (shrink)