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)

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)

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)

le present ouvrage examine le role que joue - dans la production et la perception de la signification linguistique - le contexte, concu comme l'entourage semantique du mot dans l'enonce. On impute communement au contexte le sens particulier du mot (marcher, p.ex.) dans l'enonce (le commerce marche). Or, il n'est pas difficile de trouver des enonces - comme en tete du cortege marche le commerce - dans lesquels l'influence s'exerce dans le sens oppose. Cela revient au constat que le contexte (...) est autant source que cible des influences semantiques. Ne s'ensuit-il pas que la recherche semantique est condamnee a la circularite: decrire l'unite par recours aux criteres contextuels et en meme temps decrire le contexte en s'appuyant sur l'unite? Le cercle est bien reel dans le cadre des theories formellees ou l'on considere la structure semantique comme simple et homogene et ou la signification de la phrase est concue comme la somme des significations de ses constituants. Il en va autrement des cadres theoriques ou la structure concue comme complexe, comportant en son sein variation et hierarchie. Chaque constituant peut alors contribuer a la signification de la phrase par toute une gamme de sens potentiels dont l'un ou l'autre se realise suivant le jeu varie de facteurs multiples tels que le sens des unites avoisinantes, la situation de l'echange linguistique, les savoirs culturels, l'experience du monde. L'etude du contexte nous conduit a deux demarches: d'une part, un reexamen des modeles semantiques mais aussi des principes theoriques et des fondements epistemologiques qui les sous-tendent; d'autre part des enquetes pour confronter les theses avancees aux donnees recoltees dans le comportement et l'intuition du sujet parlant. Le rapport unite/contexte n'est pas le seul paradoxe; sont aussi paradoxales les relations sens/situation, sens/culture, semantique/pragmatique, langage/pensee,... que l'ouvrage tente d'eclairer d'un jour nouveau dans la perspective d'une structure relative et ouverte. (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)

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”.

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)

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)

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)

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.

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)

Anxiety is a common unpleasant reaction among patients undergoing surgery. Many non-pharmacological methods such as spiritual strength are effective in preoperative anxiety management. This study aimed to assess the effects of listening to Quran recitation on reducing preoperative anxiety. A systematic review was performed in Medline, EMBASE, Cochrane Library, PsycINFO, Arab World Research Source, and other relevant databases to collect the data. Randomized controlled trials about the effects of listening to Quran recitation on preoperative anxiety reduction in elective surgery were (...) selected without any language and date restriction. Interventions with self-reading/self-recitation were excluded. The Cochran’s Q statistic and the I2 index with 50% threshold were used for calculating the heterogeneity and inconsistency index. Subgroup analysis was conducted based on the surgery type. The funnel plot was used to evaluate the possibility of publication bias. Twelve studies were included in the qualitative synthesis and nine studies in the quantitative synthesis. The meta-analysis showed a significant anxiety reduction with listening to Quran recitation. The heterogeneity between the included studies was statistically significant. The pooled effect size of anxiety was d = −8.893 = −10.763 to −7.022). The subgroup analysis showed that listening to Quran recitation reduces anxiety in major and minor surgeries. There was no publication bias in the studies. The findings indicated that listening to Quran recitation can be considered a non-invasive and peaceful intervention to reduce preoperative anxiety in elective surgery. (shrink)

We show that Intuitionistic Open Induction iop is not closed under the rule DNS(∃ - 1 ). This is established by constructing a Kripke model of iop + $\neg L_y(2y > x)$ , where $L_y(2y > x)$ is universally quantified on x. On the other hand, we prove that iop is equivalent with the intuitionistic theory axiomatized by PA - plus the scheme of weak ¬¬LNP for open formulas, where universal quantification on the parameters precedes double negation. We also show (...) that for any open formula φ(y) having only y free, $(PA^-)^i \vdash L_y\varphi(y)$ . We observe that the theories iop, i∀ 1 and iΠ 1 are closed under Friedman's translation by negated formulas and so under VR and IP. We include some remarks on the classical worlds in Kripke models of iop. (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)

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)

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.

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)

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)

Notwithstanding universities’ many laudable aims, incidents of serious bullying, academic harassment and sexual harassment in academic settings are reported with increasing regularity globally. However, the human rights violations involved in bullying and academic harassment have not received attention by the literature. In this article, we pierce the veil of silence surrounding university environments and provide a systematic account of the breaches of international and European human rights law involved in academic bullying and harassment. By adopting a socio-legal lens, we shed (...) light onto such practices and tactics, the breaches of specific human rights and norms and the reluctance of states and regulators to intervene in what is perceived to be universities’ ‘sovereign’ sphere of jurisdiction in order to prevent human rights’ violations and to protect the victims of human rights abuse. We call for a multi-faceted and multi-agency approach to tackle academic bullying and harassment, and make a number of institutional and policy recommendations to ensure universities’ compliance with human rights standards and the effective protection of academics under attack. (shrink)

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)

Advances in artificial intelligence and computer graphics digital technologies have contributed to a relative increase in realism in virtual characters. Preserving virtual characters’ communicative realism, in particular, joined the ranks of the improvements in natural language technology, and animation algorithms. This paper focuses on culturally relevant paralinguistic cues in nonverbal communication. We model the effects of an English-speaking digital character with different accents on human interactants (i.e., users). Our cultural influence model proposes that paralinguistic realism, in the form of accented (...) speech, is effective in promoting culturally congruent cognition only when it is self-relevant to users. For example, a Chinese or Middle Eastern English accent may be perceived as foreign to individuals who do not share the same ethnic cultural background with members of those cultures. However, for individuals who are familiar and affiliate with those cultures (i.e., in-group members who are bicultural), accent not only serves as a motif of shared social identity, it also primes them to adopt culturally appropriate interpretive frames that influence their decision making. (shrink)

The attempt is made in this article to analyze and compare the religious policies of the two Safavid and Qajar dynasties’ governments with respect to Sunnite sect. In these eras the related policies differed although the official religion of both regimes was Shiism: The Safavid central government’s confronting policies against Sunnite, the Sunnite elites’ long-term appointments to high state ranks by Qajar Kings and these policies were more consistent in Qajar than Safavid era. Here the approaches of both the dynasties (...) are categorized in four parameters: confronting, excommunication, discrimination and moderation. In Safavid era the first three parameters were more apparent while the fourth parameter is more evident in Qajar era. (shrink)

Beginning from the ancient times human has always valued the historical individuals and events and by exaggerating their features and circumstances have created mythical and audacious characters and phenomena. In the history of Islam the same is true regarding the Prophet Mohammad in its unique manner, that accounts for his spiritual ascension and a mythic horse named Boraq. The wonder of the ascension somehow highlighted the other events of in the Prophet Mohammad's life and since "horse" has been an essential (...) element in human life and no heroism was not accomplished without it, in a short span of time Boraq was converted into a super-natural and mythical being. Based on the available sources the Boraq has to unique features that make it be different from other mythical horses: it was brought from the heavens by an angle and the horse shaped body had a human(female) head with two big wings, a combination of human, animal and bird. This extra ordinary creature the existence of which beyond imagination in reality is a mythical being the unique features of which is acceptable only by correlating them to the eminent symbols and archetypes acknowledge by C.G.Jung. In this perspective eminent horse with a human head represent and image of the prophet unconscious Anima where the four legs justify the four stage of Anima and the big wings are the conception of the transcendence, holiness and motion toward the heavenly realm. (shrink)

Order picking, which is collecting a set of products from different locations in a warehouse, has repeatedly been described as one of the most laborious and time-consuming internal logistic processes. Each order is issued to pick some products located at given locations in the warehouse. In this paper, we consider an order picking problem, in which a number of orders with different delivery due dates are going to be retrieved by a limited number of order pickers in multiperiods such that (...) the total tardiness is minimized. The aim is to determine a retrieval plan in terms of order batching and order picker multitrip routing as decision variables. Besides, products are arrived and replenished at the predetermined locations at different periods. Therefore, products sitting in those locations should be delivered soon to provide empty rooms for replenishment. A mixed integer linear programming formulation is proposed for this new problem. The model is optimally solved for small-size problems. For larger instances, grouping metaheuristic algorithms are proposed based on particle swarm optimization and the league championship algorithm that use group-based operators to generate reasonable batches of orders. Improvement heuristics are designed as well. The performance of the MILP formulation and metaheuristic algorithms is analyzed for different problem instances whose designs are based on real data gathered from an auto parts warehouse. Results indicate that our algorithms can stably solve large instances of the problem in a reasonable time. (shrink)

In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory \(\rm S_2 ^1(PV)\) has bounded model companion then \(\rm NP=coNP\). We also study bounded versions of some other related notions such as Stone topology.

We define a class of first-order formulas $\mathsf{P}^{\ast }$ which exactly contains formulas $\varphi$ such that satisfaction of $\varphi$ in any classical structure attached to a node of a Kripke model of intuitionistic predicate logic deciding atomic formulas implies its forcing in that node. We also define a class of $\mathsf{E}$-formulas with the property that their forcing coincides with their classical satisfiability in Kripke models which decide atomic formulas. We also prove that any formula with this property is an $\mathsf{E}$-formula. (...) Kripke models of intuitionistic arithmetical theories usually have this property. As a consequence, we prove a new conservativity result for Peano arithmetic over Heyting arithmetic. (shrink)

From ancient times, Iran’s boundaries were formed by Iranian kings’ struggles. From that time, an imagination about these boundaries was formed in Iranian minds and has been continued until now. So, one of the important duties of Iranian kings was to expand Iran’s boundaries to that of ancient times. The aim of this research is to investigate Iran’s relations with European countries and the role of these relations in forming the Iran’s boundaries from 1789 to 1828. In this research, a (...) descriptive-analytic method is used. The findings of this research show that in Qajar dynasty, Agha Muhammad Khan and Fath Ali shah made some great attempts to expand Iran’s boundaries to that of ancient times in order to, through which, can legitimate their rule on Iran. These actions made Iran to enter European countries’ politics widely. Russia advanced in Caucasus and the Britain entered Iran’s affairs widely to protect its realms in India, and France set a relationship with Iran in order to access India. Entrance of the unknowledgeable Iranians in international politics led to Iranian amazement, and European countries’ interference in forming the Iran’s boundaries, and, step by step, Iran lost some of its parts. (shrink)

According to Beall and Restall’s logical pluralism, classical logic, relevant logic, and intuitionistic logic are all correct. On this version of logical pluralism, logic is considered to be normative, in the sense that someone who accepts the truth of the premises of a valid argument, is bound to accept the conclusion. So-called collapse arguments are designed to show the incompatibility of the simultaneous acceptance of logical pluralism and the normativity of logic. Caret, however, by proposing logical contextualism, and Blake-Turner and (...) Russell by proposing telic pluralism, have sought to nullify the collapse problem. In the present article, after setting out these two approaches to the collapse problem, we argue that by using the concept of the ‘rationality of beliefs’ in order to frame the canonical purpose of logic, it can be demonstrated that if logical contextualism and telic pluralism are considered as philosophically significant logical pluralisms, a refined version of the collapse argument is still a threat for both of these kinds of logical pluralism. (shrink)

This article presents the emergent findings of research conducted in Iran. It’s main objective was to investigate whether adolescents' thinking could turn polyphonic in CPI and what processes, thinking would go through to achieve this objective. Seventeen adolescents, ten girls, and seven boys participated in fourteen sessions with three iranian and three foreign novels as the materials of inquiry. The sessions were videotaped and analyzed by the researchers. The findings discovered out of pre-determined objectives revealed that CPI was effective in (...) developing adolescents' polyphonic thinking, and polyphonic thinking processes at work were also revealed. At the same time, some unexpected data emerged which gave rise to some emergent findings, among which was that meaning-making is not limited to what happens “inside” the CPI, but some events before, after, and during the sessions are decisive in meaning-making within this communal circle and formation of CPI. We named them ‘paratexts’ of CPI that included WhatsApp chats, religious, educational, scientific, and gender discourses, the extension of issues discussed at CPI to school and home, adolescent dialogues before and after the sessions, and their reading of philosophical ideas and literary commentaries on the materials of inquiry. Gérard Genette, giving currency to the term ‘paratext’, conceives of it as an undefined zone between the inside and the outside of a printed work that forms the complex mediation between book, author, publisher, and reader. It is a border zone in which text and off-text enter dialogue the paratexts associated with CPI directed us to reconfigure the practice in reconsideration of the facilitator’s roles and positions. On this account, the facilitator is someone who needs to be able to actively listen both to the voices of the group members and the voices of existing paratexts, and to manoeuvre between multiple roles and positions as the situation demands. (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)