Almost all researchers are familiar with the concept of plagiarism these days. However, many scholars allege that plagiarism and its ethical ramifications are new western concepts that have not exi...

The study is based on the author’s first-hand experiences with Muslim residents of Old Delhi. It examines how Muslim responses to their circumstances enable the.

Emergency care providers regularly deal with ethical dilemmas that must be addressed. In comparison with in-hospital nurses, emergency medical service personnel are faced with more problems such as distance to resources including personnel, medico-technical aids, and information; the unpredictable atmosphere at the scene; arriving at the crime scene and providing emergency care for accident victims and patients at home. As a result of stressfulness, unpredictability, and often the life threatening nature of tasks that ambulance professionals have to deal with every (...) day, ethical decision-making has become an inevitable challenge. The content analysis approach was used to conduct the present qualitative study in Iran. The participants consisted of 14 EMS personnel selected through purposive sampling, which continued until the data became saturated. Data were collected using semi-structured interviews and analyzed concurrently with their collection through the constant comparison method. The process of data analysis resulted in the emergence of 3 main categories “respecting client’s values”, “performing tasks within the professional manner”, “personal characteristic”, and the emergence of eight sub-categories signifying participants’ experiences with regard to EDM. According to the results, when EMS personnel are faced with ethical dilemmas, they consider the client’s values and professional dignity, and perform the assigned tasks within the framework of the regulation. The findings also suggest that pre-hospital care providers assess legal consequences before making any decision. Further studies should be conducted regarding the experiences of the subordinates and other related parties. (shrink)

Divided into five parts, the book provides general background information on Biruni's time, his world, and his life. It includes the full names of the 183 books written by Biruni. The titles of these books are given in Arabic, Persian, transliteration of the Arabic title, and English, and they are all annotated and if available the number of folios is given for each one. A list of available references in English on Biruni, including articles, bibliographies, books, internet sites, a dissertation, (...) and even a film. A list of Persian reference sources is also included. (shrink)

I will briefly argue that theological fatalism is not a genuine ‘theological’ problem, for it can be reduced to another alleged incompatibility that arises independently of the existence or non-existence of God. I will conclude that the way of arguing against the existence of God or His omniscience by appealing to theological fatalism is blocked for libertarian atheists.

Background:Moral distress is increasingly recognized as a problem affecting healthcare professionals, especially nurses. If not addressed, it may create job dissatisfaction, withdrawal from the moral dimensions of patient care, or even encourage one to leave the profession. Spiritual well-being is a concept which is considered when dealing with problems and stress relating to a variety of issues.Objective:This research aimed to examine the relationship between spiritual well-being and moral distress among a sample of Iranian nurses and also to study the determinant (...) factors of moral distress and spiritual well-being in nurses.Research design:A cross-sectional, correlational design was employed to collect data from 193 nurses using the Spiritual Well-Being Scale and the Moral Distress Scale-Revised.Ethical considerations:This study was approved by the Regional Committee of Medical Research Ethics. The ethical principles of voluntary participation, anonymity, and confidentiality were considered.Findings:Mean scores of spiritual well-being and moral distress were 94.73 ± 15.89 and 109.56 ± 58.70, respectively. There was no significant correlation between spiritual well-being and moral distress ( r = −.053, p =.462). Marital status and job satisfaction were found to be independent predictors of spiritual well-being. However, gender and educational levels were found to be independent predictors for moral distress. Age, working in rotation shifts, and a tendency to leave the current job also became significant after adjusting other factors for moral distress.Discussion and conclusion:This study could not support the relationship between spiritual well-being and moral distress. However, the results showed that moral distress is related to many elements including individual ideals and differences as well as organizational factors. Informing nurses about moral distress and its consequences, establishing periodic consultations, and making some organizational arrangement may play an important role in the identification and management of moral distress and spiritual well-being. (shrink)

There has recently been a surge of development in augmented reality (AR) technologies that has led to an ecosystem of hardware and software for AR, including tools for artists and designers to accelerate the design of AR content and experiences without requiring complex programming. AR is viewed as a key “disruptive technology” and future display technologies (such as digital eyewear) will provide seamless continuity between reality and the digitally augmented. This article will argue that the technologization of human perception and (...) experience of reality, coupled with the development of artificial intelligence (AI)–based natural language assistants, may lead to a secular re‐enchantment of the world, in the sense outlined by Charles Taylor, where human existence is shaped through AR inhabited by advanced personal and social AI agents in the form of digital avatars and daemons, and that enchantment has been persistent throughout the formation of modernity and is being rekindled by the integration of AI in the plane of AR. (shrink)

The purpose of this study is to understand the drivers of social responsibility in purchasing (PSR). This study replicated and extended the range of empirical application of the model developed by Carter and Jennings {Journal of Business Logistics 25(1), 145-186, 2004). Consequently, the present study contributes to the nomological validity of concept of PSR or Purchasing Social Responsibility. The method used is derived from the previous study by Carter and Jennings (Journal of Business Logistics 25(1), 145-186, 2004), and the present (...) study extends the application of that method to an Asian environment. The data were obtained from 197 respondents in Thailand. This sample was largely composed of purchasing and supply chain managers. Respondents were asked to indicate how different dimensions of corporate social responsibility (CSR) affect PSR. The findings of the present study suggest that all the six hypothesized paths have been substantiated. Individual values and people-oriented organizational culture are the most powerful predictors of PSR. This article contributes towards filling the gap in understanding the determinants of PSR in managing supply chains, particularly in an Asian context. (shrink)

The rapid advancement of artificial intelligence (AI) has led to renewed ambitions of developing artificial general intelligence. Alongside this has been a resurgence in the development of virtual and augmented reality (V/AR) technologies, which are viewed as “disruptive” technologies and the computing platforms of the future. V/AR effectively bring the digital world of machines, robots, and artificial agents to our senses while entailing the transposition of human activity and presence into the digital world of artificial agents and machine forms of (...) intelligence. The intersection of humans and machines in this shared space brings humans and machines into ontological continuity as informational entities in a totalizing informational environment, which subsumes both cyber and physical space in an artificially constructed virtual world. The reconstruction of mind (through AI) and world (through V/AR) thus has significant epistemological, ontological, and anthropological implications, which constitute the underlying features in the artificialization of mind and world. (shrink)

A generic extension of the constructible universe by reals is defined, in which the union of ‐classes of x and y is a lightface set, but neither of these two ‐classes is separately ordinal‐definable.

Recent literature on Islam and the digital covers a wide range of topics and themes; however, what is yet to be developed from an Islamic perspective is a broader philosophical framework that accounts for the nature, exigencies and affordances of contemporary digital technologies. In advance of such a framework, this article is an attempt to open the way to philosophical engagement with issues of digital ethics from an Islamic perspective. After a brief review of recent literature on Islam and the (...) digital and a significantly earlier work by Ziauddin Sardar, in which he proposed an information strategy for the Muslim world, this paper provides some background to Islamic ethics and the wide field of ethical theories in the Islamic tradition. This paper then proceeds by identifying and outlining examples of contemporary themes in Islam and the digital which conceal underlying philosophical and theological issues. Finally, this paper considers the significant scale and scope of the transformations involved in the ongoing transposition to the ‘onlife’ and highlights several areas where Islamic perspectives may be seen to converge or diverge with other strands of scholarship on digital ethics. (shrink)

Retractions solicited by authors following the discovery of an unintentional error—what we henceforth call a “self-retraction”—are a new phenomenon of growing importance, about which very little is known. Here we present results of a small qualitative study aimed at gaining preliminary insights about circumstances, motivations and beliefs that accompanied the experience of a self-retraction. We identified retraction notes that unambiguously reported an honest error and that had been published between the years 2010 and 2015. We limited our sample to retractions (...) with at least one co-author based in the Netherlands, Belgium, United Kingdom, Germany or a Scandinavian country, and we invited these authors to a semi-structured interview. Fourteen authors accepted our invitation. Contrary to our initial assumptions, most of our interviewees had not originally intended to retract their paper. They had contacted the journal to request a correction and the decision to retract had been made by journal editors. All interviewees reported that having to retract their own publication made them concerned for their scientific reputation and career, often causing considerable stress and anxiety. Interviewees also encountered difficulties in communicating with the journal and recalled other procedural issues that had unnecessarily slowed down the process of self-retraction. Intriguingly, however, all interviewees reported how, contrary to their own expectations, the self-retraction had brought no damage to their reputation and in some cases had actually improved it. We also examined the ethical motivations that interviewees ascribed, retrospectively, to their actions and found that such motivations included a combination of moral and prudential considerations. These preliminary results suggest that scientists would welcome innovations to facilitate the process of self-retraction. (shrink)

The intuition that we can think about non-existent objects seems to be in tension with philosophical concerns about the relationality of intentionality. Tim Crane’s psychologism removes this tension by proposing a psychologistic account of intentionality according to which intentionality is a purely non-relational notion. I argue that his account has counterintuitive consequences regarding our thoughts about existing objects, and as such is insufficiently plausible to convince us to reject the relationality of intentionality.

Background:Emergency care providers are frequently faces with situations in which they have to make decisions quickly in stressful situations. They face barriers to ethical decision-making and recognizing and finding solutions to these barriers helps them to make ethical decision.Objectives:The purpose of this study was to identify barriers of ethical decision-making in Iranian Emergency Medical Service personnel.Methods:In this qualitative research, the participants (n = 15) were selected using the purposive sampling method, and the data were collected by deep and semi-structured interviews. (...) Finally, the data are analyzed using the content analysis approach.Ethical considerations:Permission to conduct the study was obtained from the Ethics Committee of the Shahid Beheshti University of Medical Sciences. The objectives of the study were explained to the participants and written consent was received from them. Also, participants were assured that necessary measures were taken to protect their anonymity and confidentiality.Findings:The results of the analysis are classified in five main categories. It encompasses the following areas: perception of situation, patient-related factors, input and output imbalance, uncoordinated health system, and paradoxes.Conclusion:Emergency Medical Service personnel make ethical decisions every day. It is important that prehospital personnel know how to manage those decisions properly so that clients’ moral rights are respected. Hence, by identifying the dimensions and obstacles of ethical decision-making in Emergency Medical Service personnel, it is possible to enhance the moral judgment and ethical accountability of the personnel and develop the strategies necessary for ethical decision-making in them. (shrink)

Using a sample of 21,030 US firm-year observations that represents more than 3000 individual firms over the 1998–2012 period, we investigate the relationship between Corporate Social Responsibility (CSR) and investment efficiency. We provide strong and robust evidence that high CSR involvement decreases investment inefficiency and consequently increases investment efficiency. This result is consistent with our expectations that high CSR firms enjoy low information asymmetry and high stakeholder solidarity (stakeholder theory). Moreover, our findings suggest that CSR components that are directly related (...) to firms’ primary stakeholders (e.g. employee relations, product characteristics, environment, and diversity) are more relevant in reducing investment inefficiency compared with those related to secondary stakeholders (e.g. human rights and community involvement). Finally, additional results show that the effect of CSR on investment efficiency is more pronounced during the subprime crisis. Taken together, our results highlight the important role that CSR plays in shaping firms’ investment behaviour and efficiency. (shrink)

The study contributes to building an understanding of the impact of political forces on the information environment of listed firms in a developing economy. Specifically, it investigates the tensions between politico-institutional factors and accounting regulation on the prolonged and incomplete implementation of the International Financial Reporting Standards in Bangladesh from 1998 to 2010. Two phases of interviews were conducted in 2010–2011 and IFRS-related enforcement documents from 1998 to 2010 were evaluated. The study contributes that IFRSs are being diffused to developing (...) countries like Bangladesh, but they invariably interact with local institutions, with variable outcomes. Coercive, normative and mimetic isomorphisms are low in Bangladesh. Notably, political forces have been undermining mimetic isomorphism because of the high level of government intervention and the high level of political lobbying. Political institutional pressures stand in the way of mimetic isomorphism and constitute negative forces that add further tension to accounting regulation in Bangladesh. Regarding the low level of normative isomorphism, there is evidence of a ‘blame culture’, with state institutions and professional accountancy institutions in the country blaming each other for the poor progress in IFRS implementation. Although the study focuses on Bangladesh, its results have implications for international policy makers, as well as the governments and regulators of other developing economies facing similar challenges in implementing IFRS. (shrink)

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

Background:Experiencing moral distress is traumatic for nurses. Ignoring moral distress can lead to job dissatisfaction, improper handling in the care of patients, or even leaving the job. Thus, it is crucial to use valid and reliable instruments to measure moral distress.Objective:The purpose of this study was to determine the reliability and the validity of the Persian version of the Moral Distress Scale–Revised among a sample of Iranian nurses.Research design:In this methodological study, 310 nurses were recruited from all hospitals affiliated with (...) the Qazvin University of Medical Sciences from February 2014 to April 2015. Data were collected using a demographic questionnaire and the Moral Distress Scale–Revised. The construct validity of the Moral Distress Scale–Revised was evaluated using principal component analysis and confirmatory factor analysis. Internal consistency reliability was assessed with Cronbach’s alpha.Ethical considerations:This study was approved by the Regional Committee of Medical Research Ethics. The ethical principles of voluntary participation, anonymity, and confidentiality were considered.Findings:The construct validity of the scale showed four factors with eigenvalues greater than one. The model had a good fit ( χ2(162) = 307.561, χ2/ df = 1.899, goodness-of-fit index =.904, comparative fit index =.927, incremental fit index =.929, and root mean square error of approximation (90% confidence interval) =.049 (.040–.057)) with all factor loadings greater than.5 and statistically significant. Cronbach’s alpha coefficients were.853,.686,.685, and.711for the four factors. Moreover, the model structure was invariant across different income groups.Discussion and conclusion:The Persian version of the Moral Distress Scale–Revised demonstrated suitable validity and reliability among nurses. The factor analysis also revealed that the Moral Distress Scale–Revised has a multidimensional structure. Regarding the proper psychometric characteristics, the validated scale can be used to further research about moral distress in this population. (shrink)

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

The psychological cost on emotional well-being due to the collateral damage brought about by COVID-19 in accessing oncological services for breast cancer diagnosis and treatment has been documented by recent studies in the United Kingdom. The current study set out to examine the effect of delays to scheduled oncology services on emotional and cognitive vulnerability in women with a breast cancer diagnosis in Iran, one of the very first countries to be heavily impacted by COVID-19. One hundred thirty-nine women with (...) a diagnosis of primary breast cancer answered a series of online questionnaires to assess the current state of rumination, worry, and cognitive vulnerability as well as the emotional impact of COVID-19 on their mental health. Results indicated that delays in accessing oncology services significantly increased COVID related emotional vulnerability. Regression analyses revealed that after controlling for the effects of sociodemographic and clinical variables, women’s COVID related emotional vulnerability explained higher levels of ruminative response and chronic worry as well as poorer cognitive function. This study is the first in Iran to demonstrate that the effects of COVID-19 on emotional health amongst women affected by breast cancer can exaggerate anxiety and depressive related symptoms increasing risks for clinical levels of these disorders. Our findings call for an urgent need to address these risks using targeted interventions exercising resilience. (shrink)

INTRODUCTION: BUILDING DEMOCRATIC STATES ON NATIONAL DIVERSITY Mohammad-Saïd Darviche & William Genieys Juan J. Linz is one of the most famous scholars in ...

En la época islámica, Apolonio de Tiana (15-100 d.C.) era conocido tanto como “Señor de los talismanes” (ṣāḥib al-ṭilasmāt), así como filósofo neopitagórico y hermético. En su Kitāb al-Aḥŷār, Ŷabir b. Ḥayyān habla de “los defensores musulmanes de Apolonio” (aṣḥāb Balīnās al-Islāmīyūn). La referencia muestra que el trabajo más prominente de Apolonio, Sirr al-jalīqa, ya era famoso en el mundo de habla árabe desde muy temprano. Este artículo proporciona una visión general de las citas de Apolonio en las fuentes islámicas (...) de diferentes campos y de las obras, generalmente, atribuidas a él. Además, reviso en Sirr al-jalīqa, sus influencias en las obras ŷābirianas y su recepción en la tradición ismailí. Este artículo aborda además el comentario árabe de Sirr aljalīqa de ‘Awn b. al-Munḏir (IV/X), conservado en un manuscrito único, y cuya traducción persa era hasta ahora desconocida. Dicha traducción cubre fragmentos del trabajo de Ibn al-Munḏir, no disponibles en árabe, y, por lo tanto, es una fuente sustancial para la historia de la alquimia islámica. Una edición de la traducción persa se presenta como apéndice. (shrink)

The issue of relativism has recently become a vital concern in sociology and politics, along with globalization. This book studies ethical relativism in its most profound and recent forms, and argues that a non-relativist account of morality is capable of validating our moral experiences without undesirable implications. Ethical Relativism brings a fresh-perspective to the on-going debate on post-modernism and relativism, and should be of interest to all who study philosophy, theology, and cultural studies, and those interested in spirituality.

We show that if [Formula: see text] then any nontrivial [Formula: see text]-closed forcing notion of size [Formula: see text] is forcing equivalent to [Formula: see text] the Cohen forcing for adding a new Cohen subset of [Formula: see text] We also produce, relative to the existence of suitable large cardinals, a model of [Formula: see text] in which [Formula: see text] and all [Formula: see text]-closed forcing notion of size [Formula: see text] collapse [Formula: see text] and hence are (...) forcing equivalent to [Formula: see text] These results answer a question of Scott Williams from 1978. We also extend a result of Todorcevic and Foreman–Magidor–Shelah by showing that it is consistent that every partial order which adds a new subset of [Formula: see text] collapses [Formula: see text] or [Formula: see text]. (shrink)

In this paper, we aim to discuss the fake journals and their advertisement and publication techniques. These types of journals mostly start and continue their activities by using the name of some indexed journals and establishing fake websites. The fake journals and publishers, while asking the authors for a significant amount of money for publishing their papers, have no peer-review process, publish the papers without any revision on the fake sites, and put the scientific reputation and prestige of the researchers (...) in jeopardy. In the rest of the paper, we present some viable techniques in order for researchers and students to identify these journals. (shrink)

This article teases out Ella Sykes’ responses to the differences she encounters in the contact zone in Persia in her much-neglected travel narrative Through Persia on a Side-Saddle. The authors argue that Ella Sykes’ position/self-positioning in relation to difference is shaped by various, and at times opposing, factors, which contribute to the ambivalent nature of her representations of Persia and its people in her travel narrative. The paper proposes that even though Through Persia seems to be moulded by and moulds (...) hegemonic Orientalist perspectives, it has its own specificities, as Ella Sykes’ representations of difference are also informed by implications of English gender ideology. It further shows how Ella Sykes’ representations of the differences she encounters in Persia offer her an empowering medium through which she can indulge in self-criticism and self-assertion. (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)

This paper deals with the nature and direction of constitutional thinking and practice in Pakistan. It is argued that the country reflects a general malaise of post-colonial societies characterized by tension between the locus of power in the politico-administrative machinery and the source of legitimacy in the constitution. In the post-independence period, the State increasingly absorbed pressures from the newly enfranchised public, which sought to reshape politics in pursuit of nationalist goals. The institutional-constitutional framework of the post-colonial state was ill-equipped (...) to accommodate much less to sponsor and pursue these goals in earnest. This led to a general accusation of institutional decay, leading to a crisis of democracy. The inherent institutional imbalance between bureaucracy and politicians in Pakistan made a mockery of such constitutional provisions as parliamentary sovereignty, procedural and substantive aspects of the legislative process at the federal and provincial levels and the principle of the government’s accountability to its public representatives. (shrink)

Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do not provide (...) support for the normative layer. This paper will provide a solution to one specific problem that arises from this situation, namely the lack of tool/mechanism to demonstrate how an expert system is well-suited for supporting decision-making activities drawn from existing records and relevant legal requirements aligned existing records stored in various databases.We present a Rule-based reporting systems architecture, which is intended to integrate databases, in particular, relational databases, with a logic-based reasoner and rule engine to assist in decision-making or create reports according to legal norms. We argue that the resulting RuleRS provides an efficient and flexible solution to the problem at hand using defeasible inference. To this end, we have also conducted empirical evaluations of RuleRS performance. (shrink)

Assuming the existence of a proper class of supercompact cardinals, we force a generic extension in which, for every regular cardinal [Formula: see text], there are [Formula: see text]-Aronszajn trees, and all such trees are special.

We present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures. We present several refinements, including a completeness theorem for irreflexive trees. The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E1, a theory axiomatized by T → ⊥. The intersection CPC ∩ E1 is axiomatizable by the Principle of the Excluded Middle A V ∨ ⌝A. If B is a formula (...) such that → B is not derivable, then the lattice of formulas built from one propositional variable p using only the binary connectives, is isomorphically preserved if B is substituted for p. A formula → B is derivable exactly when B is provably equivalent to a formula of the form → A) →. (shrink)