Background Care is the basis of the nursing profession and nurse’s caring behavior is one of the important factors in patient satisfaction. On the other hand, psychological empowerment can improve the provision of care services, and leaders have a significant impact on the behavior of followers. This study determined the correlation between ethical leadership, psychological empowerment, and caring behavior from nurses’ perspective. Methods This cross-sectional descriptive study was conducted in 2019. A total of 200 nurses were selected by stratified random (...) sampling. Data were collected with ethical leadership, caring behavior and psychological empowerment questionnaires and analyzed with descriptive statistics and inferential statistics using SPSS20. Results The findings showed a significant correlation between ethical leadership, psychological empowerment and caring behavior of nurses. Also, there was a significant correlation between psychological empowerment and nurses’ caring behavior. The regression analysis showed that ethical leadership and psychological empowerment are a predictor of caring behavior of nurses. Conclusion Applying an ethical leadership style by nursing managers can lead to nurses’ improved psychological empowerment and caring behaviors and ultimately, patient care quality. Thus, considering guidelines at the team and organizational levels and programs such as providing workshops and periodic counseling to cultivate ethical nurse leadership can lead to better caring behavior. (shrink)

BackgroundHaving moral courage is a crucial characteristic for nurses to handle ethical quandaries, stay true to their professional obligations towards patients, and uphold ethical principles. This concept can be influenced by various factors including personal, professional, organizational, and leadership considerations. The purpose of this study was to explore the predictors of moral courage among nurses working in hospitals.MethodsIn 2018, an observational cross-sectional study was carried out on 267 nurses employed in six hospitals located in the northern region of Iran. The (...) participants were selected through a simple random sampling technique. To collect data, a demographic information form was used along with two questionnaires. The first questionnaire was a standard survey on moral courage, while the second questionnaire was designed to assess the ethical climate. Linear regression was used to assess the predictors of moral courage.ResultsNurses had an average moral courage score of 87.07 ± 15.52 and an average moral climate score of 96.12 ± 17.17. The study showed that 16% of the variation in moral courage scores among nurses was explained by ethical climate and monthly overtime hours.ConclusionThis study underscores the significance of establishing an ethical work environment and minimizing overtime hours in order to enhance moral courage among nurses. These findings carry weight for both nursing practice and organizational policies focused on fostering ethical conduct within healthcare settings. (shrink)

The administration of pro re nata medications is the responsibility of the nurse. However, ethical uncertainties often happen due to the inability of incapacitated patients to collaborate with the nurse in the process of decision making for pro re nata medication administration. There is a lack of integrative knowledge and insufficient understanding regarding ethical considerations surrounding the administration of pro re nata medications to incapacitated patients. Therefore, they have been discussed in this paper and practical strategies to avoid unethical practices (...) have been suggested. The complicated caring situation surrounding the administration of pro re nata medications is intertwined with ethical issues affecting the consideration of the patient's wishes and interventions that override them. The patient's right of autonomy and treatment refusal, surrogacy role, paternalism, and coercion are the main ethos of ethical pro re nata medication administration. Education and training can help nurses avoid legal and ethical issues in pro re nata medicines management and improve the quality and safety of healthcare. Empirical research is needed to improve our understanding of this phenomenon in the multidisciplinary environment of medicines management. (shrink)

Number facts are commonly assumed to be verbally stored in an associative multiplication fact retrieval network. Prominent evidence for this assumption comes from so-called operand-related errors (e.g. 4 × 6 = 28). However, little is known about the development of this network in children and its relation to verbal and non-verbal memories. In a longitudinal design, we explored elementary school children from grades 3 and 4 in a multiplication verification task with the operand-related and -unrelated distractors. We examined the contribution (...) of multiplicative fact retrieval by verbal and visuo-spatial short-term and working memory. Children in grade 4 showed smaller reaction times in all conditions. However, there was no significant difference in errors between grades. Contribution of verbal and visuo-spatial working memory also changed with grade. Multiplication correlated with verbal working memory and performance in grade 3 but with visuo-spatial working memory and performance in grade 4. We suggest that the relation to verbal working memory in grade 3 indicates primary linguistic learning of and access to multiplication in grade 3 which is probably based on verbal repetition of the multiplication table heavily practiced in grades 2 and 3. However, the relation to visuo-spatial semantic working memory in grade 4 suggests that there is a shift from verbal to visual and semantic learning in grade 4. This shifting may be induced because later in elementary school, multiplication problems are rather carried out via more written, i.e., visual tasks, which also involve executive functions. More generally, the current data indicates that mathematical development is not generally characterized by a steady progress in performance; rather verbal and non-verbal memory contributions of performance shift over time, probably due to different learning contents. (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)

In Western literatures, "conflict" is a general term that refers to discord between two or more entities. In Islamic jurisprudence, however, in addition to the term "conflict", there is another term which is called tazāhum. The two terms, however, have different definitions. Conflict between two concepts, for instance, indicates that one is right and the other is wrong, while tazāhum does not necessarily have to be between right and wrong, and may appear between two equally right concepts. Moreover, conflict exists (...) on a legislative level, while tazāhum is a matter of obedience and adherence, meaning that in practice, both sides cannot continue to coexist. Conflict of interest is a known term in Western literatures, and according to D.F. Thompson, it refers to a situation where professional judgment regarding a primary interest is improperly and unjustifiably influenced by a secondary interest. Taking into account Thompson's definition and the distinction between "conflict" and "tazāhum", the English term "conflict of interest" translates to "tazāhum of interest" in Islamic jurisprudence as it refers to a person's action without reflecting right or wrong, and simply concerns priority of one interest over another. The resolution to tazāhum in Islamic jurisprudence lies in two principles: the principle of significance and the principle of choice. For instance, in case of conflict or tazāhum between the interests of patient and physician, the patient's interest should be the main concern based on the principle of significance. Although Western literatures propose methods such as disclosure or prohibition in order to resolve conflict of interest, the foundation for these solutions seems to have been the principle of significance. (shrink)

BackgroundProfessional ethics refers to the use of logical and consistent communication, knowledge, clinical skills, emotions and values in nursing practice. This study aimed to explore and describe factors that affect professional ethics in nursing practice in Iran.MethodsThis qualitative study was conducted using conventional content analysis approach. Thirty nurses with at least 5 years of experience participated in the study; they were selected using purposive sampling. Data were collected through semi-structured interviews and analyzed using thematic analysis.ResultsAfter encoding and classifying the data, (...) five major categories were identified: individual character and responsibility, communication challenges, organizational preconditions, support systems, educational and cultural development.ConclusionsAwareness of professional ethics and its contributing factors could help nurses and healthcare professionals provide better services for patients. At the same time, such understanding would be valuable for educational administrators for effective planning and management. (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)

The purpose of this article is to discuss the ethical issues impacting the phenomenon of patient safety and to present implications for nursing management. Previous knowledge of this perspective is fragmented. In this discussion, the main drivers are identified and formulated in ‘the ethical imperative’ of patient safety. Underlying values and principles are considered, with the aim of increasing their visibility for nurse managers’ decision-making. The contradictory nature of individual and utilitarian safety is identified as a challenge in nurse management (...) practice, together with the context of shared responsibility and identification of future challenges. As a conclusion, nurse managers play a strategic role in patient safety. Their role is to incorporate ethical values of patient safety into decision-making at all levels in an organization, and also to encourage clinical nurses to consider values in the provision of care to patients. Patient safety that is sensitive to ethics provides sustainable practice where the humanity and dignity of all stakeholders are respected. (shrink)

We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using these axiomatizations, we prove interpolation theorems for basic propositional logic.

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)

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. (...) The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community. (shrink)

This account of puritanical morality is useful and innovative, but makes two errors. First, it mischaracterizes the purity foundation as being unrelated to cooperation. Second, it makes the leap from cooperation (broadly construed) to a monist account of moral cognition (as harm or fairness). We show how this leap is both conceptually incoherent and inconsistent with empirical evidence about self-control moralization.

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)

In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.

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)

We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.

For a function $f$ with domain $[X]^{n}$, where $X\subseteq\mathbb{N}$, we say that $H\subseteq X$ is canonical for $f$ if there is a $\upsilon\subseteq n$ such that for any $x_{0},\ldots,x_{n-1}$ and $y_{0},\ldots,y_{n-1}$ in $H$, $f=f$ iff $x_{i}=y_{i}$ for all $i\in\upsilon$. The canonical Ramsey theorem is the statement that for any $n\in\mathbb{N}$, if $f:[\mathbb{N}]^{n}\rightarrow\mathbb{N}$, then there is an infinite $H\subseteq\mathbb{N}$ canonical for $f$. This paper is concerned with a model-theoretic study of a finite version of the canonical Ramsey theorem with a largeness (...) condition and also a version of the Kanamori–McAloon principle. As a consequence, we produce new indicators for cuts satisfying $\operatorname{PA}$. (shrink)

In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

As pressure to publish increases in the academic nursing world, journal submission numbers and rejection rates are soaring. The review process is crucial to journals in publishing high quality, cutting‐edge knowledge development, and to authors in preparing their papers to a high quality to enable the nursing world to benefit from developments in knowledge that affect nursing practice and patient outcomes and the development of the discipline. This paper does not intend to contribute to the debate regarding the ethics of (...) reviewing, but rather seeks to explore notions of how the quality of the reviewing process can be enhanced to benefit authors, the reviewers, and the state of nursing knowledge. Furthermore, a call is made to editors to devise strategies for aiding reviewers to attain higher validity and reliability within the reviewing process by establishing clear standards and expectations and to ensure published work is judged against industry norms for quality. (shrink)

Recent years have seen new general notions of contextuality emerge. Most of these employ context-independent symbols to represent random variables in different contexts. As an example, the operational theory of (Spekkens in Phys Rev A 71(5):52108, 2005) treats an observable being measured in two different contexts identically. Non-contextuality in this approach is the impossibility of drawing ontological distinctions between identical elements of the operational theory. However, a recent collection of work seeks to exploit context-dependent symbols of random variables to interpret (...) contextuality (Kujala et al. in Phys Rev Lett 115(15):150401, 2015; Dzhafarov and Kujala in Phys Scr T163:014009, 2014). This approach associates contextuality with the possibility of imposing a particular joint distribution on random variables recorded under different experimental contexts. This paper compares these two different treatments of random variables and highlights the limitations of the context-dependent approach as a physical theory. (shrink)

Alexithymia is defined as the lack of words to describe emotions and is associated with different psychopathologies. Various tools have been developed for measuring alexithymia; each has its limitations. A new questionnaire, Perth Alexithymia Questionnaire, was developed to simultaneously assess positive and negative dimensions. Validation of such a tool in different cultures allows cross-cultural health psychology studies and facilitates knowledge transfer in the field. We aimed to examine the psychometric features of the PAQ in the Farsi-speaking population in Iran. Four-hundred-twenty-nine (...) university students were asked to complete the PAQ, the Toronto Alexithymia Scale, Beck Depression Inventory, Beck Anxiety Inventory, and emotion regulation questionnaire. Concurrent validity, discriminant validity, internal consistency, and test-retest reliability and factor structure were investigated. Confirmatory factor analysis showed a five-factor model identical to the original questionnaire. The questionnaire indicated good internal consistency. Test-retest reliability was acceptable for all subscales. The correlations between PAQ and its subscales with BDI-II, BAI, and TAS, and expression suppression subscale of ERQ were strong for concurrent validity. Concerning the discriminant validity, PAQ and its subscales were not correlated with reappraisal subscales of ERQ. The present findings suggest that the Farsi version of PAQ has strong psychometric properties and is appropriate for use in the Farsi-speaking population. (shrink)

For a century the Bahá’í Faith has been classified, within the German academy, as a world religion. This article highlights the major historical milestones in this process of recognition. The process was initiated on the eve of the First World War by the two Jewish Germanophone orientalists Goldziher and Vambery. In the inter-war period, the categorization of this faith as a world religion – rather than a sect of Islam, as it had once been viewed – was further propelled by (...) academics outside the field of theology and religious studies, such as the natural scientist Auguste Forel. It was only after the catastrophic experience of World War II, a period when the German Bahá’í community evinced a spirit of resilience in the face of Nazi oppression, that scholars in the field of Christian theology and religious studies, such as Heiler, Mensching and Benz, who represented the school of Religionswissenschaft des Verstehens, began to adopt the classification of the Bahá’ís as new world religion. (shrink)

Joint Analysis of EEG and fMRI datasets can bring new insight into brain mechanisms. In this paper, we employed the recently introduced Correlated Coupled Tensor Matrix Factorization (CCMTF) method for analysis of the emotion regulation paradigm based on EEG frontal asymmetry neurofeedback in the alpha frequency band with simultaneous fMRI. CCMTF method assumes that the co-variations of the common dimension (temporal dimension) between EEG and fMRI are correlated and not necessarily identical. The results of the CCMTF method suggested that EEG (...) and fMRI had similar covariations during the transition of brain activities from resting states to task (view and upregulation) states and these covariations followed an increasing trend. The fMRI shared spatial component showed activations in the limbic system, DLPFC, OFC, and VLPC regions, which were consistent with the previous studies and were linked to EEG frequency patterns in the range of 1–15 Hz with a correlation value close to 0.75. The estimated regions from the CCMTF method were then used as the candidate nodes for dynamic functional connectivity (dFC) analysis, in which the changes in connectivity from view to upregulation states were examined. The results of the dFC analysis were compared with a Normalized Mutual information (NMI) based approach in two different frequency ranges (1–15 and 15–40 Hz) as the NMI method was applied to the vectors of dFC nodes of EEG and fMRI data. The results of the two methods illustrated that the relation between EEG and fMRI datasets was mostly in the frequency range of 1–15 Hz. These relations were both in the brain activations and the dFCs between the two modalities. This paper suggests that the CCMTF method is a capable approach for extracting the shared information between EEG and fMRI data and can reveal new information about brain functions and their connectivity without solving the EEG inverse problem or analyzing different frequency bands. (shrink)

Objective: Electrical stimulation potentially delineates epileptogenic cortex through induction of typical seizures. Although frequently employed, its value for epilepsy surgery remains controversial. Similarly, ES is used to identify symptomatogenic zones, but with greater success and a long-standing evidence base. Recent work points to new seizure symptoms such as ictal central apnea that may enhance presurgical hypotheses. The aims of this review are 2-fold: to determine the value of ES-induced seizures in epilepsy surgery and to analyze current evidence on ICA as (...) a new surrogate of symptomatogenic cortex.Methods: Three databases were searched for ESIS. Investigators independently selected studies according to pre-specified criteria. Studies reporting postoperative outcome in patients with ESIS were included in a meta-analysis. For ES-induced apnea, a thorough search was performed and reference list searching was employed.Results: Of 6,314 articles identified for ESIS, 25 were considered eligible to be reviewed in full text. Fourteen studies were included in the qualitative synthesis ; six studies were included in the meta-analysis. The meta-analysis showed that favorable outcome is associated with ESIS prior to surgery. In addition, the overall estimation of the occurrence of favorable outcome among cases with ESIS is 68.13%. On the other hand, recent studies have shown that stimulation of exclusively mesial temporal lobe structures elicits central apnea and represents symptomatogenic anatomic substrates of ICA. This is in variance with traditional teaching that mesial temporal ES is non-symptomatogenic.Conclusions: ES is a tool highly likely to aid in the delineation of the epileptogenic zone, since ESIS is associated with favorable postoperative outcomes. There is an urgent need for prospective evaluation of this technique, including effective stimulation parameters and surgical outcomes, that will provide knowledge base for practice. In addition, ES-induced apnea studies suggest that ICA, especially when it is the first or only clinical sign, is an important semiological feature in localizing the symptomatogenic zone to mesial temporal lobe structures, which must be considered in SEEG explorations where this is planned, and in surgical resection strategies. (shrink)

Hemagglutinin is a major virulence factor of influenza viruses and plays an important role in viral pathogenesis. Analysis of amino acid changes, epitopes’ regions, glycosylation and phosphorylation sites have greatly contributed to the development of new generations of vaccine. The hemagglutinins of 10 selected isolates, 8 of 2010 and 2 of 2013 samples were sequenced and analyzed by several bioinformatic softwares and the results were compared with those of 3 vaccine isolates. The study detected several amino acid changes related to (...) altered epitopes’ sites, modification sites and physico-chemical properties. The results showed some conserved modification sites in HA structure. This study is the first analytical research on isolates obtained from Shiraz, Iran, and our results can be used to better understand the genetic diversity and antigenic variations in Iranian and Asian H1N1 pathogenic strains. (shrink)

The current study was a cross-sectional research and aimed to investigate the factor structure, internal consistency, and validities of the Persian version of the Teasing Questionnaire-Revised. Forward and backward translations of the TQ-R were performed; face and content validities were determined based on comments by a sample of psychology students and specialists. Using the cluster sampling method, 290 participants were recruited, and 201 valid data were analyzed. The factor structure was assessed by confirmatory and exploratory factor analysis. The result of (...) the confirmatory factor analysis did not confirm the proposed three, four, and five-factor models. EFA revealed four factors with 23 items, explaining 52.03% of the total variance. The internal consistency of the Persian version of Teasing Questionnaire 23 was in the excellent range, and its expected associations with external correlates supported the measure’s convergent validity. The findings indicated that the Persian version of the TQ-R has sound psychometric properties and can be used as a valid and reliable tool in research and clinical outcomes. (shrink)

In this paper we are concerned with definably, with or without parameters, complete expansions of ordered fields, i. e. those with no definable gaps. We present several axiomatizations, like being definably connected, in each of the two cases. As a corollary, when parameters are allowed, expansions of ordered fields are o-minimal if and only if all their definable subsets are finite disjoint unions of definably connected subsets. We pay attention to how simply a definable gap in an expansion is so. (...) Next we prove that over parametrically definably complete expansions of ordered fields, all one-to-one definable continuous functions are monotone and open. Moreover, in both parameter and parameter-free cases again, definably complete expansions of ordered fields satisfy definable versions of the Heine-Borel and Extreme Value theorems and also Bounded Intersection Property for definable families of closed bounded subsets. (shrink)

In order to build high-quality concrete, it is imperative to know the raw materials in advance. It is possible to accurately predict the quality of concrete and the amount of raw materials used using machine learning-enhanced methods. An automated process based on machine learning strategies is proposed in this paper for predicting the compressive strength of concrete. Fusion-learning-based optimization is used in the proposed approach to generate a strong learner by pooling support vector regression models. The SVR technique proposes an (...) optimization method for finding the kernel radial basis function parameters based on improving the innovative gunner algorithm. As a result of AIG's diverse solutions, local optima are effectively avoided. Therefore, the novelty of our research is that, in solving the uncertainty of predicted outputs based on integrated models, we use fusion-learning-based optimization to improve regression discrimination. We also collected a standard dataset to analyze the proposed algorithm, and subsequently, the dataset was designed from concrete laboratory tests on 244 samples, seven features, and three outputs. Different regression intensities are determined by correlation analysis of responses. Regression fusion is sufficiently accurate to estimate the number of desired outcomes examined based on the appropriate input data sample. The best quality concrete can be achieved with an error rate of less than 5%. (shrink)

When humans are required to perform two or more tasks concurrently, their performance declines as the tasks get closer together in time. Here, we investigated the mechanisms of this cognitive performance decline using a dual-task paradigm in a simulated driving environment, and using drift-diffusion modeling, examined if the two tasks are processed in a serial or a parallel manner. Participants performed a lane change task, along with an image discrimination task. We systematically varied the time difference between the onset of (...) the two tasks and measured its effect on the amount of dual-task interference. Results showed that the reaction times of the two tasks in the dual-task condition were higher than those in the single-task condition. SOA influenced the RTs of both tasks when they were presented second and the RTs of the image discrimination task when it was presented first. Results of drift-diffusion modeling indicated that dual-task performance affects both the rate of evidence accumulation and the delays outside the evidence accumulation period. These results suggest that a hybrid model containing features of both parallel and serial processing best accounts for the results. Next, manipulating the predictability of the order of the two tasks, we showed that in unpredictable conditions, the order of the response to the two tasks changes, causing attenuation in the effect of SOA. Together, our findings suggest higher-level executive functions are involved in managing the resources and controlling the processing of the tasks during dual-task performance in naturalistic settings. (shrink)

In "Intuitionistic validity in -normal Kripke structures," Buss asked whether every intuitionistic theory is, for some classical theory , that of all -normal Kripke structures for which he gave an r.e. axiomatization. In the language of arithmetic and denote PA plus Open Induction or Open LNP, and are their intuitionistic deductive closures. We show is recursively axiomatizable and , while . If proves PEM but not totality of a classically provably total Diophantine function of , then and so . A (...) result due to Wehmeier then implies . We prove is not -conservative over . If , then is not closed under MR or Friedman's translation, so range (). Both and are closed under the negative translation. (shrink)

We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A built up of atoms p1,..., pn, BPC⊢\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vdash}$$\end{document}A if and only if for all arithmetical sentences B1,..., Bn, BA⊢\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vdash}$$\end{document}A. The technique used in our proof can easily be applied to some known extensions of BA.

We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and cut are admissible. Soundness and completeness are established as well.

To test whether mental activities collected from non-REM sleep are influenced by REM sleep, we suppressed REM sleep using clomipramine 50 mg or placebo in the evening, in a double blind cross-over design, in 11 healthy young men. Subjects were awakened every hour and asked about their mental activity. The marked REM-sleep suppression induced by clomipramine did not substantially affect any aspects of dream recall . Since long, complex and bizarre dreams persist even after suppressing REM sleep either partially or (...) totally, it suggests that the generation of mental activity during sleep is independent of sleep stage. (shrink)

In recent years, the amount of data in the world is growing rapidly. Data growth also occurs in the government sector. All ministries and institutions at every level are data producers. These government-owned data have a high potential if they can be used properly. Open government data can stimulate innovation and economic growth and enhance business models. In order to increase the willingness of citizens to use open government data and enjoy the benefits mentioned, the quality of open government data (...) needs to be improved. The quality of open government data encompasses a variety of dimensions and criteria. Also, the importance of each dimension and criterion in increasing the quality of open government data is different. Therefore, we are faced with a complex system that requires proper decision-making and management. In fact, we are dealing with decision-making in the complex management system. Given the importance of this issue, the purpose of this study is to provide a new and comprehensive method to improve the quality of open government data and increase the willingness of citizens to use the data by considering the complex network of citizens and organizations. For this purpose, library studies have been used to extract comprehensive and effective dimensions and criteria. The statistical population includes all articles related to the criteria of improving the quality of open government data and increasing the willingness of citizens to use the data. The probabilistic sampling method of simple random samples has been used, and 10 articles in this field have been reviewed. After extracting the criteria as well as the data of 112 governmental organizations and institutions related to each criterion from the open data portal, the complex network of citizens and governmental organizations and institutions has been analyzed in order to identify high-degree centrality organizations. Then, the data characteristics of the organizations that were most desired by the citizens were extracted using data mining techniques including the regression model. Also, field method and multicriteria decision-making technique including the DEMATEL technique have been used to express the solutions and identify the cause-and-effect relationships between the solutions. The criteria extracted in improving the quality of open government data and increasing the willingness of citizens to use the data are included: “data originality,” “license openness,” “up-to-datedness,” “data access,” “metadata completeness,” “number of data sets,” “format openness,” “nondiscrimination,” “understandable,” “number of categories of data sets,” “free,” “lack of missing data,” “data request ability,” “visualization,” “feedback,” and “data subject matter.” Based on the results obtained from the analysis of the complex network and the regression model, the criterion of “society subject” with a coefficient of 72.564 and a positive sign has the greatest impact on increasing the number of citizens' visits to open government data. After that, the criterion of “format openness” with a coefficient of 52.682 and a positive sign has the second rank in increasing the number of visits. Extracting comprehensive and effective criteria in improving the quality of open government data and increasing citizens' willingness to use data, calculating the weight and importance of each criterion by analyzing the complex network of citizens and organizations, as well as providing solutions, can help managers in decision-making and proper management in the complex system of citizens and government organizations. (shrink)

How can the presence of truth in art be philosophically justified? A fundamental question that can be answered in the wisdom of Mullā Ṣadrā, one of the most important philosophers of Islam. The importance of the question of the relationship between art and truth arises from the state of art in the present era. In fact, the degradation of reason in front of feeling from the nineteenth century until today has made the field of arts devoid of any representation of (...) the truth and caused the importance and originality of finding pleasure or evoking feelings in the arts. Therefore, with a philosophical approach and relying on the descriptive-analytical method, at first, it described the fundamental of truth and delusion, the unity of the world, and the known, practical reason and the function of imagination in shaping intellectual concepts based on Mullā Ṣadrā’s views, and then with relying on those principles, he has examined the formation of truth-based works of art. The most important conclusion of the article is that art is not the only product of the feelings and taste of its creator; Rather, the artist, in his understanding of the truth, prepares the ground for its manifestation in the work of art. With this characteristic, art finds a form of rational knowledge, and symbolic and mystical arts are among the most important examples of this type of artistic creation. (shrink)

Let denote a first‐order logic in a language that contains infinitely many constant symbols and also containing intuitionistic logic. By, we mean the associated logic axiomatized by the double negation of the universal closure of the axioms of plus. We shall show that if is strongly complete for a class of Kripke models, then is strongly complete for the class of Kripke models that are ultimately in.