Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce (...) a new pretabular logic, which we shall name \, and which is a neighbor of \, in that it is an extension of KR. Also in this section, an algebraic semantics, ‘\-algebras’, will be introduced and the characterization of \ to the set of finite \-algebras will be shown. In Section 3, the pretabularity of \ will be proved. (shrink)

It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr, to Fakhr al-Dīn Rāzī. This view is expressed explicitly...

The rule of contraposition has been investigated thoroughly by Arabic logicians. In this paper, we study the work done by Fārābā and Avicenna, the fathers of Arabic logic. Fārābā studied contraposition of universal affirmatives, discussed its four forms, and discovered a relation between one form and the conversion of negative universals. Although Fārābā and logicians before him have used contraposition only for conditionals, as well as for indefinite and universal affirmative categorical propositions, Avicenna generalized the rule to all the four (...) Aristotelian quantified categorical propositions. However, many of his ideas on contraposition were opposed by his 12th and 13th century followers, which are to be investigated later. (shrink)

KR is Anderson and Belnap’s relevance logic R with the addition of the axiom of EFQ: \ \rightarrow q\). Since KR is relevantistic as to implication but classical as to negation, it has been dubbed, among many others, a ‘classical relevance logic.’ For KR, there have been known so far just two pretabular normal extensions. For these pretabular logics, no simple axiomatizations have yet been presented. In this paper, we offer some and show that they do the job. We also (...) introduce some Routley–Meyer semantic conditions for these axioms. All these may facilitate realizing our desire to discover other classical pretabular extensions over KR, if such extensions exist. (shrink)

We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom $$(p\rightarrow q)\vee (q\rightarrow p)$$ ( p → q ) ∨ ( q → p ) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.

The logical rule of contraposition as applied to a particular affirmative proposition (I-contraposition), despite its rejection in the medieval Latin logic, had a different history in the medieval Arabic logic, varying from common acknowledgement to total dismissal (it was accepted by Avicenna and by all of his followers in the eleventh and twelfth centuries and rejected by all of Arabic logicians in the late thirteenth century onwards). This paper is a narrative of the fate of I-contraposition in the early Arabic (...) logic. I will study Avicenna’s, al-Suhrawardī’s, al-Rāzī’s, al-Kashshī’s, and al-Khūnajī’s views on this rule. Although Avicenna explicitly acknowledged I-contraposition in a brief note, and in an apparently Meinongian language, the other four figures found I-contraposition problematic and listed some counterexamples to it. Nonetheless, they all attempted to justify Avicenna’s acceptance of the rule by restricting its application conditions. These efforts led to interesting syntactic and semantic analyses but gathered little attention from later medieval logicians. Finally, in the middle Arabic logic, the revised versions of I-contraposition were also declared invalid. (shrink)

Recently, in ‘An inquiry on Fakhr al-Dīn Rāzī’s authorship of Al-manṭiq al-kabι¯r (MS Aḥmad iii, no. 3401)’, we refuted the quite common view among historians of Arabic logic as to attribute Al-manṭiq al-kabι¯r (Major [book on] logic) to Fakhr al-dīn Rāzī; however, in that paper, we could not identify the real author of the book. In this paper, we try to show that Al-manṭiq al-kabι¯r was written by Burhān al-dīn Nasafī (1203–1288), who authored another book, Sharḥ Asās al-kiyāsa whose logical (...) part is very similar to Al-manṭiq al-kabι¯r in the following significant features: the titles of chapters and sections, the style of writing, some technical as well as some non-technical terms, many sentences word by word. None of these features we find in any other Arabic logical work. So, Al-manṭiq al-kabι¯r and Sharḥ Asās al-kiyāsa are so close to each other that we might most possibly identify the authors of the books as the same scholar, i.e. Burhān al-dīn Nasafī. Fortunately, this has been verified recently by two manuscripts of a medieval Arabic logical book. (shrink)

In his second period of logical research, which includes several books and treatises, Athir al-Din al-Abhari is the only Avicennan logician who vindicated as invalid one of the two most important Avicennan novelties: iqtirani conditional syllogism. His exposition and reasons for this invalidity in these books and treatises are various and rooted in numerous kinds of conditionals and their truth-conditions and their developments in the books and treatises. His most important reason to deny conditional syllogism is notice to the manifold (...) assumptions used to prove the syllogisms. In this paper, we deal with the main reason, studying the mentioned differences and developments. Citing successor logicians’ points of views on Abhari’s claim and assessment of all of them is out of the purposes of this paper and in need to other researches. (shrink)

Contingent conditionals, at the comparative logical works, has yielded different, and often inconsistent, analyses. At contemporaries’ works, there are two approaches to the contingent conditionals: modal and truth-table methods. At the former, there has been used modal connectives of necessity and possibility to analyze the contingent conditionals; but at the latter, some truth-tables has been proposed. At the paper, besides presenting and criticizing the extant theories, we gain new analyses and formulations of the disputed subject matters.

Pretabularity is the attribute of logics that are not characterised by finite matrices, but all of whose proper extensions are. Two of the first-known pretabular logics were Dummett’s famous super-...

Modal Logic’s theorems and rules are valid in possible worlds but Relevant Logic’s theorems and rules are valid, respectively, in logical worlds and situations. Robert Meyer in 1974 removed this asymmetry between the theorems and the rules of Relevant Logic by establishing a logical system, whose theorems and rules are valid in all situations. Introducing a new kind of truth and falsity operators, the authors in this article sketch a logical system defined on the basis of Relevant Logic. Such a (...) system can not only preserve symmetry, but also remove some inconsistency between Modern Classical Logic and Relevant Logic, because the latter, like the former, puts possible worlds as a criterion for validity. (shrink)

Background: Euthanasia is a controversial issue in many countries. However, there is little evidence about attitudes of nurses and nursing students toward euthanasia. Research aims: The present study aimed to compare nurses and nursing students' attitudes toward euthanasia. Research design: This is a descriptive cross-sectional study. Participants and research context: Using census sampling, 390 nurses and 125 nursing students were enrolled in this study. Methods: Data were collected using a socio-demographic questionnaire and Euthanasia Attitude Scale that included 20 items that (...) sought to record participants’ level of agreement with euthanasia based on a Likert-type scale. Ethical considerations: Objectives of the study were stated for all samples, and emphasized the confidentiality of their specifics and responses, and informed written consent was obtained from all participants. Findings: The mean score of nurses and nursing students’ attitudes about euthanasia was 3.14 ± 0.26 and 3.22 ± 0.24 out of 5, respectively. The majority of nurses and nursing students had a positive attitude toward euthanasia. There was a significant statistical difference between the attitudes of nurses and nursing students to euthanasia. Discussion: The results indicated that the majority of students and nurses had a positive attitude regarding euthanasia. Conclusion: It was recommended to conduct more studies on euthanasia in Iran. (shrink)

Selective protein degradation maintains cellular homeostasis, but this process is disrupted in many diseases. Targeted protein degradation (TPD) approaches, built upon existing cellular mechanisms, are promising methods for therapeutically regulating protein levels. Here, we review the diverse palette of tools that are now available for doing so throughout the gene expression pathway and in specific cellular compartments. These include methods for directly removing targeted proteins via the ubiquitin proteasome system with proteolysis targeting chimeras (PROTACs) or dephosphorylation targeting chimeras (DEPTACs). Similar (...) effects can also be achieved through the lysosomal system with autophagy‐targeting chimeras (AUTACs), autophagosome tethering compounds (ATTECs), and lysosome targeting chimeras (LYTACs). Other methods act upstream to degrade RNAs (ribonuclease targeting chimeras; RIBOTACs) or transcription factors (transcription factor targeting chimeras; TRAFTACs), offering control throughout the gene expression process. We highlight the evolution and function of these methods and discuss their clinical implications in diverse disease contexts. (shrink)

BackgroundDiscrimination in health care is an international challenge and a serious obstacle to justice and equality in health.Research objectiveThe purpose of this study was to design a grounded theory of discrimination in health care based on the experiences and perceptions of Iranian healthcare providers and patients.Research designThis qualitative study was conducted using by the grounded theory method.Participants and research contextData were collected through semi-structured interviews with 18 healthcare providers including 11 nurses, two physicians, two nurse’s assistants, and three patients in (...) two general hospitals in Tehran, Iran. Participants were selected through purposeful sampling and analyzed simultaneously using the Corbin and Strauss (2015) approach.Ethical considerationsThe study was approved by the Research Ethics Committee of the University of Social Welfare and Rehabilitation Sciences (Ethics code: IR.USWR.REC.1398.023). Also, after explaining the objectives of the study, all the participants completed and signed the written consent form.FindingsThe “culture of discrimination” was the study’s core category, reflecting the nature of discrimination in health care. The theory of “culture of discrimination in health care” is the result of five main categories: “individual social stimuli,” “culture of discrimination,” “unintentional discrimination,” “conflict with discrimination,” and “dissatisfaction with discriminatory behavior.” These categories cover the underlying factors, strategies, and outcomes of the discrimination process in health care.DiscussionThe results of the study showed that nurses and other health care providers experience unintentional discrimination. Unintentional discrimination refers to discriminatory behaviors and practices of health care providers.ConclusionThe theory of culture of discrimination in health care can be used as a practical guide to describe and understand the role of health care providers, especially nurses. Further studies with a quantitative approach to applying this theory in medical settings are recommended. (shrink)

This study examined cross-sectional links of the theistic and non-theistic sanctification of marriage and positive and negative religious coping with marital adjustment for 316 married Muslims from Iran. Perceiving marriage to be a manifestation of God and reflective of sacred qualities as well as engaging in positive and negative religious/spiritual coping strategies each uniquely contributed variance to marital adjustment, after controlling for each other and global indicators of devotion to Islam, and demographic variables. Specifically, theistic sanctification, non-theistic sanctification, and positive (...) r/s coping were uniquely tied to higher marital adjustment whereas negative r/s coping was uniquely tied to lower marital adjustment theistic in a hierarchical regression model with all primary variables and controls entered. These findings replicate and extend prior findings on the perceived sanctity of marriage with US samples of predominantly Christians to Muslims living in the Middle East, and offer novel cross-cultural insights into the possible roles that sanctification of marriage and r/s coping may play for marital well-being for non-distressed married Muslims. (shrink)

Background:Privacy is a complicated and obscure concept, which has special meanings in the healthcare environment; therefore, it is essential for healthcare providers to fully understand this conce...