Anthropology in psychology under the title of "personality theories" has been able to be effective in the field of behavioral studies and interpersonal relationships. The need to explain and analyze the true nature of man in the field of "being" - contrary to psychological personality theories that generally identify human nature in the field of "appearance" - caused this article based on Sadra's anthropological opinions and view According to Allport's trait theory, which is one of the pioneers of the trait (...) approach, it should be organized by descriptive-analytical method. The individualistic approach based on traits is the main feature of Allport's and Mulla Sadra's personality theory. The foundation of personality in both theories is based on the most profound characteristics of person; However, in the analysis of Mulla Sadra's philosophical texts, the quality of the appearance of these traits and why they influence the structure of personality and, accordingly, human behavior, have been explained. "Self" or ego, contrary to its abstract concept in Alport's view, is a real and existential thing in Sadrai's system. The dynamism and unity of Alporti's personality can be rationally explained by the rule of "unity of the known and the known" and "intrinsic volitional movement". (shrink)

According to the second law of thermodynamics, irreversible processes in an isolated system move towards the goal of reaching maximum entropy. In this state, mechanical work is converted to thermal energy and thermodynamic equilibrium occurs; which is determined by the equilibrium in temperature, pressure, etc. Assuming that the universe is an isolated system, the second law of thermodynamics states that the fate of the universe is a state of thermodynamic equilibrium in which all mechanical energies are converted to thermal energy (...) and the heat is dispersed all throughout the universe. In this state, there will be no movement and the universe will expire; an event called the “heat death”. This theory has certain theological implications that can serve as a proof for the perishability of the material world. And since decay implies creation, the heat death theory can be considered an argument in favor of the temporal originatedness of the material world. (shrink)

Resumo: A bioética islâmica e os valores da globalização moderna colidem, à medida que as forças globais penetram nos países de maioria muçulmana, necessitando de uma integração ponderada, para promover a compreensão mútua. Esta investigação explora as perspectivas islâmicas sobre os avanços biomédicos para identificar áreas de convergência e divergência com os valores globalizados. Utilizando a análise teórica, a síntese, a comparação e a generalização, surgiram conclusões notáveis. Enquanto a globalização promove procedimentos médicos sem entraves, a bioética islâmica apresenta posições (...) matizadas que refletem a falta de unidade do Islão. Os principais resultados mostraram que a bioética islâmica está em sintonia com os valores globais. em alguns procedimentos, como o transplante de órgãos e o aborto precoce, mas diverge em relação à reprodução assistida, à maternidade de substituição e à eutanásia ativa. devido a proibições morais. Em última análise, esta investigação realça a importância de uma integração gradual que respeite as tradições islâmicas, aliada à educação. para aumentar a compreensão e a abertura à evolução bioética. A navegação ponderada do intrincado nexo entre a globalização e a bioética islâmica pode permitir a prossecução de avanços médicos que afirmem a vida. sem sacrificar os valores fundamentais. (shrink)

Research shows that exploring language corpora through data-driven learning plays a significant role in language learning. Nevertheless, it is not clear if using concordancing as an application of DDL affects the learners’ second language motivation. To address this gap, the current study adopted a triangulation design, validating quantitative data model, and a quasi-experimental design. Ninety English-major university students with an intermediate level of English language proficiency, divided into control and experimental groups, took part in the study. Drawing on a second (...) language motivational self-system questionnaire, the findings of the study did not result in any statistically significant differences between the students in their second language motivational self-system. Altogether, the students found learning English through a DDL approach with concordancing less motivating than receiving explicit instruction. The study has implications for language teaching and learning. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

Neuroarchitecture uses neuroscientific tools to better understand architectural design and its impact on human perception and subjective experience. The form or shape of the built environment is fundamental to architectural design, but not many studies have shown the impact of different forms on the inhabitants’ emotions. This study investigated the neurophysiological correlates of different interior forms on the perceivers’ affective state and the accompanying brain activity. To understand the impact of naturalistic three-dimensional (3D) architectural forms, it is essential to perceive (...) forms from different perspectives. We computed clusters of form features extracted from pictures of residential interiors and constructed exemplary 3D room models based on and representing different formal clusters. To investigate human brain activity during three-dimensional perception of architectural spaces, we used a mobile brain/body imaging (MoBI) approach recording the electroencephalogram (EEG) of participants while they naturally walk through different interior forms in virtual reality (VR). The results revealed a strong impact of curvature geometries on activity in the anterior cingulate cortex (ACC). Theta band activity in ACC correlated with specific feature types (rs (14) = 0.525, p = 0.037) and geometry (rs (14) = - 0.579, p = 0.019), providing evidence for a role of this structure in processing architectural features beyond their emotional impact. The posterior cingulate cortex and the occipital lobe were involved in the perception of different room perspectives during the stroll through the rooms. This study sheds new light on the use of mobile EEG and VR in architectural studies and provides the opportunity to study human brain dynamics in participants that actively explore and realistically experience architectural spaces. (shrink)

It is obligatory to educate student researchers before they start their work by teaching them about the various types of plagiarism and how to avoid them. It is also vital that research supervisors take into account the sources of data that are explored in their students’ manuscripts. This article tries to draw the reader’s attention to the importance of avoiding all types of plagiarism in their research.

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

The durability of buildings which depends on the nature of the supervisory system used in their construction is an important feature of the construction industry. This article tries to draw the readers’ attention to the effect of untrained and unprofessional building supervisors and their unethical performance on the durability of buildings.

In the present paper, I investigate the ways in which the grammar of God-talk in David B. Burrell’s philosophical theology comes to meet Muhammad Husiyn-i Tabatabai’s account of divine names, which has been developed in his theory of religious language. I begin the first part of the paper by introducing Tabatabai’s innovative articulation of the concept of Mental Construct and its relevance to his account of language and meaning. I, then, clarify how he proceeds to elucidate his conception of religious (...) language in terms of what he calls ‘focal meaning’, i.e. his idea of a true sense underlying the application of a word. In the second part of the article, Burrell’s methodology of God-talk is introduced and briefly discussed, before proceeding with interlocutory explanations as well as an examination of Tabatabai’s semantics of divine names. On the basis of Burrellian reading of via analogia, I propose a novel interpretation of the principle of focal meaning. This interpretation is particularly concerned with the most appropriate manner in which we can comprehend the literality of religious language. I conclude by explaining the way in which Burrell’s analysis is useful and elucidating for a contemporary interpretation of Tabatabai’s work. (shrink)

Background Moral distress is a complex and challenging issue in the nursing profession that can negatively affect the nurses’ job satisfaction and retention and the quality of patient care. This study focused on describing the resources and constraints, consequences, and interventions of moral distress in nurses. Methods In a literature review, an extensive electronic search was conducted in databases including PubMed, ISI, Scopus as well as Google Scholar search engine using the keywords including “moral distress” and “nurses” to identify resources, (...) constraints, consequences, and interventions about moral distress in nurses, from the earliest records up to 26 December 2020. The required data were extracted from 61 relevant studies by two independent reviewers. Results Resources and constraints in the occurrence of moral distress among nurses can be divided into three general categories including internal factors, clinical factors, and external factors. The consequences of moral distress on nurses and the medical system reduced moral sensitivity, development of psychological and physical health problems, and the intention to leave the profession. The potential effective interventions were the implementation of integrated communication programs, strengthening physician–nurse collaboration, nursing involvement in clinical decision-making and end-of-life issues, social support, using a resiliency bundle, interdisciplinary discussion, and promoting nurses’ ethical and communication skills. Conclusion There are a wide range of resources and constraints impacting moral distress in nurses that could lead to negative consequences. Further studies are necessary to identify, evaluate, and implement a range of potential effective interventions for the management of moral distress in nurses. (shrink)

The COVID-19 pandemic has struck the world and caused serious disruption in education. Lockdown and social distancing measures have prompted a paradigm shift in delivering education, resulting in o...

We present axiom systems, and provide soundness and strong completeness theorems, for classes of Kripke models with restricted extension rules among the node structures of the model. As examples we present an axiom system for the class of cofinal extension Kripke models, and an axiom system for the class of end-extension Kripke models. We also show that Heyting arithmetic is strongly complete for its class of end-extension models. Cofinal extension models of HA are models of Peano arithmetic.

This book is a collection of essays by Dr. Seyed Javad Miri as he attempts to expand the sociological canon by exploring the works of Dr. Ali Shariati, an Iranian sociologist.

In Frantz Fanon and Emancipatory Social Theory: A View from the Wretched, Dustin J. Byrd and Seyed Javad Miri bring together a collection of essays by a variety of scholars who explore the lasting influence of Frantz Fanon, psychiatrist, revolutionary, and social theorist. Fanon's work not only gave voice to the "wretched" in the Algerian War of Independence (1954-1962), but also shaped the radical resistance to colonialism, empire, and racism throughout much of the world. His seminal works, such as (...) Black Skin, White Masks, and The Wretched of the Earth, were read by The Black Panther Party in the United States, anti-imperialists in Africa and Asia, and anti-monarchist revolutionaries in the Middle East. Today, many revolutionaries and scholars have returned to Fanon's work, as it continues to shed light on the nature of colonial domination, racism, and class oppression. Contributors include: Syed Farid Alatas, Rose Brewer, Dustin J. Byrd, Sean Chabot, Richard Curtis, Nigel C. Gibson, Ali Harfouch, Timothy Kerswell, Seyed Javad Miri, Mumia Abu-Jamal, Pramod K. Nayar, Elena Flores Ruiz, Majid Sharifi, Mohamed Imran Mohamed Taib and Esmaeil Zeiny. (shrink)

A cornerstone of modern mathematical logic is the diagonal lemma of Gödel and Carnap. It is used in e.g. the classical proofs of the theorems of Gödel, Rosser and Tarski. From its first explication in 1934, just essentially one proof has appeared for the diagonal lemma in the literature; a proof that is so tricky and hard to relate that many authors have tried to avoid the lemma altogether. As a result, some so called diagonal-free proofs have been given for (...) the above mentioned fundamental theorems of logic. In this paper, we provide new proofs for the semantic formulation of the diagonal lemma, and for a weak version of the syntactic formulation of it. (shrink)

BackgroundOrgan donation following brain death has become an important way of supplying organs for transplantation in many countries. This practice is less common in Iran for different reasons. Therefore, this study aims to explore the obstacles to organ donation following brain death in Iran.MethodsThis qualitative research was conducted following the conventional content analysis method. The study population consisted of individuals with a history of brain death among their blood relatives who refused to donate the organs. Snowball sampling was employed to (...) select the participants. In-depth semi-structured interviews were conducted for data gathering. Theoretical saturation was achieved through 20 interviews. Data analysis was done following the steps proposed by Graneheim and Lundman. Lincoln and Guba’s criteria were used to ensure data rigor and transferability of the study.ResultsData analyses revealed 185 codes, 23 categories, and seven themes including, poor knowledge about brain death and organ transplantation from a dead body, cultural beliefs, religious beliefs, deficiencies of requesting process, fear and concerns, inability to make a decision, and social learning.ConclusionThere were several factors in families’ reluctance to donate organs of a brain-dead patient. Through improving knowledge and changing cultural beliefs in society, it is possible to take large steps towards promoting organ donation from brain-dead patients. (shrink)

To differentiate between the laws of nature and accidental generalizations, we must adopt a view of necessity that is capable of being realized in relationships existing among natural objects. In neo-Sadraian Islamic philosophy, metaphysical necessity is accepted as part of the cause-effect relationship. This paper compares the neo-Sadraian interpretation of necessity and necessitarian theories about the laws of nature, particularly essentialism and universal theory. By resorting to specific forms al-shûrat al-naw’iyyah, the origin of the essential properties of natural objects, I (...) argue that neo-Sadraians have proposed a perspective on metaphysical necessity that is epistemologically a posteriori. (shrink)

The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel's own proof for his incompleteness theorem does not have the Rosser property, and we show that neither do Kleene's or Boolos' proofs. (...) However, we show that a variant of Chaitin's proof can have the Rosser property. The proofs of Gödel, Rosser and Kleene are constructive in the sense that they explicitly construct, by algorithmic ways, the independent sentence(s) from the theory. We show that the proofs of Chaitin and Boolos are not constructive, and they prove only the mere existence of the independent sentences. (shrink)

Background: Physical restraint is among the commonly used methods for ensuring patient safety in intensive care units. However, nurses usually experience ethical dilemmas over using physical restraint because they need to weigh patient autonomy against patient safety. Aim: The aim of this study was to explore factors behind ethical dilemmas for critical care nurses over using physical restraint for patients. Design: This is a qualitative study using conventional content analysis approach, as suggested by Graneheim and Lundman, to analyze the data. (...) Methods: Seventeen critical care nurses were purposefully recruited from the four intensive care units in Tehran, Iran. Data were collected through in-depth semi-structured interviews and were concurrently analyzed through conventional content analysis as suggested by Graneheim and Lundman. Ethical consideration: This study was approved by the Ethics Committee of Iran University of Medical Sciences, Tehran, Iran with the code: IR.IUMS.REC.1397.795. Before interviews, participants were provided with explanations about the aim of the study, the confidentiality of the data, their freedom to participate, and the right to withdraw the study, and their free access to the study findings. Finally, their consents were obtained, and interviews were started. Results: Factors behind ethical dilemmas for critical care nurses over using physical restraint were categorized into three main categories, namely the outcomes of using physical restraint, the outcomes of not using physical restraint, and emotional distress for nurses. The outcomes of using physical restraint were categorized into the three subcategories of ensuring patient safety, physical damage to patients, and mental damage to the patient. The outcomes of not using physical restraint fell into two subcategories, namely the risks associated with not using physical restraint and legal problems for nurses. Finally, the two subcategories of the emotional distress for nurses main category were nurses’ negative feelings about restraint use and uncertainty over the decision on physical restraint use. Conclusion: Decision-making for restraint use is often associated with ethical dilemmas, because nurses need to weight the outcomes of its use against the outcomes of not using it and also consider patient safety and autonomy. Health authorities are recommended to develop clear evidence-based guidelines for restraint use and develop and implement educational and counseling programs for nurses on the principles of ethical nursing practice, patient rights, physical restraint guidelines and protocols, and management of emotional, ethical, and legal problems associated with physical restraint use. (shrink)

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

Publication date: 14 June 2017 Source: Author: Javad Momeni, Rasoul Mohsenzadeh, Tahereh Mohsenzadeh, Rasoul Zarchini In this research, we have studied the population of street children in Khorram Abad in Iran, in 2015, with the emphasis on the role of economic and legal factors forcing children to work on the streets. The results of this research show that the issue of child labor is the consequence of both global and local matters. These children are the products of the urban (...) society, poverty, and cultural, legal, and local factors. The research method is a survey, and the statistical population is the street children, aged between 7 to 18 living in Khorram Abad, in 2015. The sample population chosen randomly includes 242 people, and the required information was gathered using the questionnaire and interview technique. In Khorram Abad, Lorestan, economic crisis and parents' misdemeanor are the two main factors that force the children to fill their fathers' missing place by working in the streets. But, gender factors such as being a boy, and cultural factors such as belonging to a specific tribe are influential in the howness of this phenomenon. In this article, we have attempted to use native sources for a better understanding of the local situation of the phenomenon, and have proposed a few solutions to alter the current situation. (shrink)

It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability is similar to Kleene's recursive realizability, except that recursive functions are restricted to primitive recursives.

RésuméLe célèbre savant Abū ʿAlī b. Sīnā montrait une maîtrise exceptionnelle de tous les sujets qu'il traitait. Il est surtout connu pour ses nombreux travaux en logique, en philosophie et en médecine. Son influence est telle que même en Europe ses travaux ont été étudiés jusqu’à l’époque moderne. Il comprenait parfaitement la structure interne de la tradition gréco-arabe ; il l'a transmise et a aidé son développement et sa transformation. En témoignent ses nombreux travaux, mais aussi plusieurs exposés explicites quant (...) aux sciences et à leurs divisions. Cet article contient l’édition d'un tel exposé, dont deux copies seulement ont été identifiées à ce jour. On expliquera que le texte en question a probablement été écrit a Boukhara quand Avicenne était encore jeune. De plus, on montrera que le texte peut très bien dériver de son célèbre Al-ḥāṣil wal-maḥṣūl, une encyclopédie philosophique en vingt volumes, perdue depuis longtemps. L'absence de l'algèbre, et un fondement des sciences plus philosophique que religieux, sont des indices importants révélant le point de vue d'Avicenne sur les sciences rationnelles à une période précoce de son activité. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

Gödel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand consistency and bounded arithmetic, Fundamenta Mathematical vol. 171 (2002), pp. 279-292]. In that paper, it was shown that one cannot always shrink the witness of a bounded formula logarithmically, but in the presence of Herbrand consistency, for theories I∆₀+ Ωm, with m ≥ 2, any witness for any (...) bounded formula can be shortened logarithmically. This immediately implies the unprovability of Herbrand consistency of a theory T ⊇ I∆₀ + Ω₂ in t itself. In this paper, the above results are generalized for I∆₀ + Ω₁. Also after tailoring the definition of Herbrand consistency for I∆₀ we prove the corresponding theorems for I∆₀. Thus the Herbrand version of Gödel's second incompleteness theorem follows for the theories I∆₀ + Ω₁ and I∆₀. (shrink)

We prove the equivalence of the semantic version of Tarski’s theorem on the undefinability of truth with the semantic version of the diagonal lemma and also show the equivalence of a syntactic version of Tarski’s undefinability theorem with a weak syntactic diagonal lemma. We outline two seemingly diagonal-free proofs for these theorems from the literature and show that the syntactic version of Tarski’s theorem can deliver Gödel–Rosser’s incompleteness theorem.

IntroductionNowadays, biotechnology has a significant influence on different aspects of human life. The applications of biotechnology are so broad, and the advantages so compelling, that virtually every industry is using this technology. Developments are under way in areas as diverse as pharmaceuticals, diagnostics, textiles, aquaculture, forestry, chemicals, household products, environmental cleanup, food processing, and forensics, to name a few. Biotechnology is enabling these industries to make new or better products, often with greater speed, efficiency, and flexibility. Biotechnology is any technological (...) application that uses biological systems, living organisms, or derivatives thereof to make or modify products or processes for specific use. It applies the knowledge of biology to enhance and improve the environment, health, and food supply. Using biotechnology, scientists work to develop environment-friendly alternatives to fossil fuels and plastics; new medicines, vaccines, and. (shrink)

We argue that Gödel's completeness theorem is equivalent to completability of consistent theories, and Gödel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some consistent and recursively enumerable theories which cannot be extended to any complete and consistent and recursively enumerable theory. Though any consistent and decidable theory can be extended to a complete and consistent and decidable theory. Thus deduction and consistency are not decidable in logic, and an (...) analogue of Rice's Theorem holds for recursively enumerable theories: all the non-trivial properties of them are undecidable. (shrink)