Biobanking is a relatively new concept in Egypt. Building a good relationship with different stakeholders is essential for the social sustainability of biobanks. To establish this relationship, it is necessary to assess the attitude of different groups towards this concept. The objective of this work is to assess the knowledge, attitude, and opinions of Egyptian patients towards biobanking issues. We designed a structured survey to be administered to patients coming to the outpatient clinics in 3 university hospitals in Egypt. The (...) survey included questions estimating the level of knowledge about the term “Biobank”, together with questions about the attitudes and opinions about related issues. Two hundred and fifty-nine patients participated in the survey. Eighty-one percent of participants reported that they never heard about the term before. About 85% expressed that they would be willing to donate their samples for research and about 87% thought that sample donation did not contradict their religious beliefs. Fifty eight percent were willing to participate in a genetic research project, 27.8% supported sharing their sample with pharmaceutical companies, and 32.4% agreed to share their samples with institutions abroad. Although there is limited knowledge about biobanking among Egyptian patients, many had a positive attitude towards sample donation and didn’t show religious concerns against it. However, they showed concerns regarding participation in genetic research and with sharing their samples across borders or with pharmaceutical companies. Public education about biobanking is possible, taking into consideration the specific cultural and legal framework in Egypt. (shrink)

The quality of the products coming from different lines of production requires some tests called comparative life tests. For lines having the same facility, the lifetime of the product is distributed by Burr XII, the lifetime distribution, and units are tested under type-I generalized hybrid censoring scheme. The observed censoring data are used under maximum likelihood and the Bayes method to estimate the model parameters. The theoretical results are discussed and assessed through data analysis and Monte Carlo simulation study. Finally, (...) we reported some brief comments obtained from numerical computation. (shrink)

We study the existence of weak solutions for the coupled system of functional integral equations of Urysohn-Stieltjes type in the reflexive Banach spaceE. As an application, the coupled system of Hammerstien-Stieltjes functional integral equations is also studied.

Drawing on social exchange theory, this study examines a mechanism, namely organizational social capital, through which self-sacrificial leadership is related to two types of employee behaviours: organizational citizenship behaviours and counterproductive behaviours. The results of two different studies in Egypt showed that self-sacrificial leadership is positively related to OSC which, in turn, is positively related to OCBs and negatively related to CPBs. Overall, the findings suggest that self-sacrificial leaders are more likely to achieve desirable employee behaviours through improving the quality (...) of social relationships among employees. (shrink)

Recital 33 GDPR has often been interpreted as referring to ‘broad consent’. This version of informed consent was intended to allow data subjects to provide their consent for certain areas of research, or parts of research projects, conditional to the research being in line with ‘recognised ethical standards’. In this article, we argue that broad consent is applicable in the emerging field of Computational Social Science (CSS), which lies at the intersection of data science and social science. However, the lack (...) of recognised ethical standards specific to CSS poses a practical barrier to the use of broad consent in this field and other fields that lack recognised ethical standards. Upon examining existing research ethics standards in social science and data science, we argue that they are insufficient for CSS. We further contend that the fragmentation of European Union (EU) law and research ethics sources makes it challenging to establish universally recognised ethical standards for scientific research. As a result, CSS researchers and other researchers in emerging fields that lack recognised ethical standards are left without sufficient guidance on the use of broad consent as provided for in the GDPR. We conclude that responsible EU bodies should provide additional guidance to facilitate the use of broad consent in CSS research. (shrink)

This paper attempts to analyze the performance of 57 memberstates of the Organization of Islamic Cooperation based on selectedindicators of some sectors namely demography, economics, educationand technology and innovation. Specifically, it aims at firstly portraying anoverview of OIC performance based on six selected indicators followed byanalyzing the relationship between selected development variables withliteracy and exploring the state of OIC performance as indicated by theirachievement based on selected indicators. The study was undertaken vis-àvisthe prevailing theories on modernization and development as well (...) as thewidely asserted underdevelopment of the contemporary Muslim ummah asclaimed by numerous contemporary Muslim scholars. The data were solicitedamong others from the World Bank Database, Statistical, Economic, and SocialResearch and Training, Centre of Islamic Countries of OIC andsome previous studies. They were then analyzed using SPSS with the resultsbeing generated mainly through the use of descriptive statistics. Among others,the study found that there is a positive correlation between Muslim countries’urban population growth and literacy rate, there is a steady decline in thenumber of OIC countries as they are categorized from lower to higher incomecategory placement and the percentage of the scientific publications of all 57OIC countries is far below that of any one single developed nation. (shrink)

Background and objectivesIn Bahrain, maintaining life support at all costs is a cultural value considered to be embedded in the Islamic religion. We explore end-of-life decision making for brain dead patients in an Arab country where medical cultures are dominated by Western ideas and the lay culture is Eastern.MethodsIn-depth interviews were conducted from February to April 2018 with 12 Western-educated Bahraini doctors whose medical practice often included end-of-life decision making. Discussions were about who should make withdrawal of life support decisions, (...) how decisions are made and the context for decision making. To develop results, we used the inductive method of thematic analysis.ResultsInformants considered it difficult to engage non-medical people in end-of-life decisions because of people’s reluctance to talk about death and no legal clarity about medical responsibilities. There was disagreement about doctors’ roles with some saying that end-of-life decisions were purely medical or purely religious but most maintaining that such decisions need to be collectively owned by medicine, patients, families, religious advisors and society. Informants practised in a legal vacuum that made their ethics interpretations and clinical decision making idiosyncratic regarding end-of-life care for brain dead patients. Participants referred to contrasts between their current practice and previous work in other countries, recognising the influences of religious and cultural dimensions on their practice in Bahrain.ConclusionsEnd-of-life decisions challenge Western-trained doctors in Bahrain as they grapple with aligning respect for local culture with their training in the ethical practice of Western medicine. (shrink)

The current economic crisis arose in large part from financial activities in which capital was practically and logically alienated from real economy. This essay examines the exploitative logic of modern finance while considering two alternative models—microfinance and Islamic banking. These models will be considered against the backdrop of medieval arguments over usury, notably the debates between Franciscans and Dominicans surrounding the lending institutions known as monti di pietà. While noting that either model is decidedly preferable to current normative banking practices, (...) this essay argues for the interest-free logic of Islamic finance against the logic of usury insofar as usury lends itself to a double alienation—of lender from borrower and of profit from value. (shrink)

FROM POLITICS TO THE MARKETPLACE, FEAR PLAYS AN INCREASINGLY important role in American culture. It shapes decisions as well as character, while it feeds an "ethic of security" that raises personal and national safety to the status of highest good. How might Christians respond faithfully to a culture of fear? This essay draws on Thomas Aquinas' account of fear in the Summa Theologica to provide a set of analytical categories and diagnostic questions in hopes of helping us become more reflective (...) about fear. At the very least, this discussion seeks to reintroduce the premodern categories of ordered and disordered fear to challenge the modern presumption that fear is a pre-political "given" in its twin forms of anxiety and terror. (shrink)

We consider countable so‐called rich subsemigroups of ; each such semigroup T gives a variety CPEAT that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of ω‐dimensional cylindric‐polyadic algebras with equality where substitutions are restricted to maps in T. It is shown that for any such T, if and only if is representable as a concrete set algebra of ω‐ary relations. The operations in the signature are set‐theoretically interpreted like in polyadic equality set (...) algebras, but such operations are relativized to a union of cartesian spaces that are not necessarily disjoint. This is a form of guarding semantics. We show that CPEAT is canonical and atom‐canonical. Imposing an extra condition on T, we prove that atomic algebras in CPEAT are completely representable and that CPEAT has the super amalgamation property. If T is rich and finitely represented, it is shown that CPEAT is term definitionally equivalent to a finitely axiomatizable Sahlqvist variety. Such semigroups exist. This can be regarded as a solution to the central finitizability problem in algebraic logic for first order logic with equality if we do not insist on full fledged commutativity of quantifiers. The finite dimensional case is approached from the view point of guarded and clique guarded (relativized) semantics of fragments of first order logic using finitely many variables. Both positive and negative results are presented. (shrink)

Both in church and culture, discussion of sexual orientation has far outpaced discussion of gender identity, leaving the churches with limited resources to respond to “bathroom bills” or to walk faithfully with transgender persons in their midst. This paper draws on the work of Rowan Williams and Sarah Coakley to argue for understanding gender transition as an eschatological formation ordered to the body’s grace. In critical conversation with Oliver O’Donovan, John Milbank, and David Cloutier, the paper offers a constructive, non-voluntarist (...) theological proposal for transgender affirmation in the service of participation in the triune life that exceeds gender. (shrink)

Punctuation has so far attracted attention within the linguistics community mostly from a syntactic perspective. In this paper, we give a preliminary account of the information-based aspects of punctuation, drawing our points from assorted, naturally occurring sentences. We present our formal models of these sentences and the semantic contributions of punctuation marks. Our formalism is a simplified analogue of an extension --- due to Nicholas Asher --- of Discourse Representation Theory.

We offer a preliminary account of the information-based aspects of punctuation marks. We give our initial treatment within the Discourse Representation Theory and its segmented version. We hypothesize that this work will be useful in classifying the informational contributions of punctuation marks and bringing them to bear on the semantic characterization of written discourse.

We take em-dash as our sample punctuation mark and examine its usage from a discourse perspective, using sentences from well-known corpora. We particularly comment on how dashes can give hints on information structure, focus, and anaphora. Throughout the paper Discourse Representation Theory is used as a framework.

We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.

As climate change continues to be a pressing issue affecting businesses, firms are taking proactive measures by integrating carbon considerations into their overall strategic planning for environmental sustainability. Nonetheless, the question of whether it pays to be green remains inconclusively answered. Based on an analysis of the 200 largest public listed firms by market capitalisation in Malaysia, the findings indicated that most of the firms are still reactive in managing their carbon activities; however, corporate carbon strategy does, indeed, lead to (...) better financial performance. The findings reaffirmed that going green pays off, particularly for firms with higher levels of foreign ownership. Interestingly, an inverse relationship was observed among firms with higher levels of government shareholdings. Additionally, the firms have been categorised into six different groups based on their scope and level of corporate carbon strategies, ranging from “wait-and-see” to “all-round explorer” classifications. Taken together, these findings enrich corporate carbon and sustainability literature and offer insights into theoretical and policy implications, along with suggestions for future research. (shrink)

As a futuristic emblem, smart cities represent a goal to provide all of the services required for a high-quality existence while conserving natural resources to the maximum extent possible. It turns out that the "Line City in Saudi Arabia" is the most famous and modern of these smart cities in terms of preserving 100 percent natural life, owing to the fact that they rely totally on natural energy and do not use any automobiles. The issues and challenges that have been (...) highlighted will assist in the improvement of municipal management. One of the most generally implemented projects in the field of smart cities is the technological and integrative developments of the use of sensors and data collecting in conjunction with rising difficulties aimed at enhancing human well-being and improving human livelihood. This is especially true in Saudi Arabia, where visitors can arrive quickly by just walking through the checkpoints, resulting in a journey of little more than a few minutes to reach any regular destination. It also splits the city into many different levels of the ground, enabling for the conservation of natural excess energy. (shrink)

Publication date: 27 August 2018 Source: Author: Sayed Mohammad Anoosheh, Mohammed Hussein Oroskhan The beginning of twentieth century experienced significant changes affecting different parts of society. Such considerable changes not only influenced the appearance of the society but also dramatically changed the social bonds gripping different kinds of people together. In this regard, Emile Durkheim as the father modern sociology thoroughly reexamined the previously settled notion of sociology and brought about a new perspective studying the social bonds. With regard to (...) his two main principles namely mechanical solidary and organic solidarity, he justifies the relationships among the individual within the traditional and modern society. Nevertheless, he mentioned that out of few rare situations, the individual may commit a type of suicide which is totally the consequent effect of society on individual. Hence, through this study it is tried to reconsider Shirley Jackson's "The Lottery" in the light of Durkheim's theory. In this case, it is revealed that while previously it was believed that the main character of the story is killed mercilessly by his friends and families, she has indeed committed altruistic suicide as the result of being so much integrated within the structure of the society. (shrink)

The COVID-19 pandemic may affect the world severely in terms of quality of life, political, environmental, and economic sustainable development, and the global economy. Its impact is attested to by the number of research studies on it. The main aim of this study is to evaluate the impact of COVID-19 on the psychology of sustainability, on sustainable development, and on the global economy. A computerized literature search was performed, and journal articles from authentic sources were extracted, including MEDLINE, Google Scholar, (...) Science Direct, ProQuest, and Emerald Insight. The references in selected articles were screened to identify any relevant studies. The following inclusion criteria were followed: research articles based on the COVID-19 pandemic, and articles, research papers, journals, and news articles published 2010 to 2020. The exclusion criteria were as follow: psychology research, articles, and journals published before 2010 and research articles having no link with the current pandemic’s impact on the psychology of sustainability, quality of life, and the global economy. Of the initial 350 articles identified, only 61 studies were found to be relevant and meet the inclusion criteria. Based on these articles, the review highlights that compared to developed countries, the developing nations and poor nations such as African countries with compromised health structures have been greatly affected. There are close associations between health, economic, environmental, and political issues globally. The pandemic can be managed if we follow new policies that implement economic and public health changes worldwide. A planned, coordinated approach between the public-private sector is required, designed according to each country’s health system and economy. We can come out of this crisis if we work together and support both developed and developing nations. (shrink)

Let 1 n. We show that the class NrnCAβ of n-dimensional neat reducts of β-dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long-standing open problem of Tarski and his co-authors Andréka, Henkin, Monk and Németi. The proof uses genuine model-theoretic arguments.

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...) representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

Infertility is a prevalent worldwide health issue and is defined by the World Health Organization as a global health problem. Considering the importance of the psychological dimensions of infertility, various measurement tools have been used to measure the variables involved in infertility, of which the most widely used are the following: the Symptom Checklist 90, the Brief Symptom Inventory, the State-Trait Anxiety Inventory Form, and the Depression Anxiety Stress Scale. Therefore, given the problems of infertile people in terms of psychological (...) dimensions, the aim of this meta-analysis was to assess the psychological assessment score in infertility. Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses protocol, we applied an online database with no time restriction. Data were gathered using a random-effect model to estimate the standard mean difference for the evaluation of the strength of association analyses. Our data demonstrated a significant higher SCL90 score, and a non-significant higher DASS score. It is essential to seek for strategies to help infertile patients overcome their infertility-related psychological problems. (shrink)

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α -dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3].

We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.

Technological advances in the field of medicine and health sciences not only manipulate the normal human body and sex but also provide for surgical and hormonal management of hermaphroditism. Consequently, sex assignment surgery has not only become a standard care for babies born with genital abnormalities in the West but even in some Muslim states. On the positive side, it goes a long way in saving children born with abnormal genitalia from numerous legal interdictions of the pre-sex corrective surgery. Nevertheless, (...) the larger ethical and legal questions that medical management of genital abnormality raises to some extent have not been adequately appreciated by contemporary Muslim responses. This article, therefore, in principle argues against surgical management of intersexuality during early infancy from the Islamic legal perspective. (shrink)

We present a property of neat reducts commuting with forming subalgebras as a definability condition.

The Power of Sovereignty attempts to understand the ideas and thoughts of Sayyid Qutb whose corpus of work and, in particular, his theory of hakimiyyah (sovereignty) is viewed as a threat to nationalistic government and peace worldwide. This book provides a detailed perspective of Sayyid Qutb's writings."--Jacket.

Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety of cylindric (...) algebras of infinite dimension, endowed with the merry go round identities, fails to have the amalgamation property answering a question of Németi’s. We also study two variants of the so-called cylindric polyadic algebras introduced by Ferenczi (all are reducts of polyadic equality algebras, that are also varieties). We show that one is more cylindric than polyadic, and that the other is more polyadic than cylindric. Our classification is determined by results on neat embeddings and amalgamation expressed from the point of view of category theory, thereby witnessing, and, indeed, further emphasizing, the dichotomy between the cylindric and polyadic paradigms. For example, the first class does not have the unique neat embedding property, fails to have the amalgamation property and the neat reduct functor does not have a right adjoint, while the second class has the unique neat emdedding property, the superamalgamation property and the neat reduct functor is strongly invertible. Other results, like first order definability of the class of neat reducts and the class of completely representable algebras, confirming our classification along these lines are presented. (shrink)

We review, and in the process unify two techniques , for proving results concerning amalgamation in several classes studied in algebraic logic. The logical counterpart of these results adress interpolation and definability properties in modal and algebraic logic. Presenting them in a functorial context as adjoint situations, we show that both techniques can indeed be seen as instances of the use of the Keisler-Shelah ultrapower Theorem in proving Robinson's Joint Consistency Theorem. Some new results are surveyed. The results of this (...) paper are presented in such a way that further establishes the hitherto existing well developed duality theory between boolean algebras with operators and modal logic. (shrink)

In France, John Baptist Say has the merit of producing a very superior work on the subject of Political Economy. His arrangement is luminous, ideas clear, style perspicuous, and the whole subject brought within half the volume of [Adam] Smith's work. Add to this considerable advances in correctness and extension of principles.

Fix a finite ordinal \ and let \ be an arbitrary ordinal. Let \ denote the class of cylindric algebras of dimension \ and \ denote the class of relation algebras. Let \\) stand for the class of polyadic algebras of dimension \. We reprove that the class \ of completely representable \s, and the class \ of completely representable \s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety \ between polyadic algebras (...) of dimension \ and diagonal free \s. We show that that the class of completely and strongly representable algebras in \ is not elementary either, reproving a result of Bulian and Hodkinson. For relation algebras, we can and will, go further. We show the class \ is not closed under \. In contrast, we show that given \, and an atomic \, then for any \, \ is a completely representable \. We show that for any \, the class of completely representable algebras in certain reducts of \s, that happen to be varieties, is elementary. We show that for \, the the class of polyadic-cylindric algebras dimension \, introduced by Ferenczi, the completely representable algebras coincide with the atomic ones. In the last algebras cylindrifications commute only one way, in a sense weaker than full fledged commutativity of cylindrifications enjoyed by classical cylindric and polyadic algebras. Finally, we address closure under Dedekind-MacNeille completions for cylindric-like algebras of dimension \ and \s for \ an infinite ordinal, proving negative results for the first and positive ones for the second. (shrink)

The philosophy of Bruno Latour has given us one of the most important statements on the part played by technology in the ordering of the human collective. Typically presented as a radical departure from mainstream social thought, Latour is not without his intellectual creditors: Michel Serres and, through him, René Girard. By tracing this development, we are led to understand better the relationship of Latour’s work, and Actor-Network Theory more generally, to traditional sociological concerns. By doing so we can also (...) hope to understand better the role that objects play in structuring society. (shrink)

Some recent studies in computational linguistics have aimed to take advantage of various cues presented by punctuation marks. This short survey is intended to summarise these research efforts and additionally, to outline a current perspective for the usage and functions of punctuation marks. We conclude by presenting an information-based framework for punctuation, influenced by treatments of several related phenomena in computational linguistics.

Fix 2 < n < ω. Let CA n denote the class of cylindric algebras of dimension n, and let RCA n denote the variety of representable CA n ’s. Let L n denote first-order logic restricted to the first n variables. Roughly, CA n, an instance of Boolean algebras with operators, is the algebraic counterpart of the syntax of L n, namely, its proof theory, while RCA n algebraically and geometrically represents the Tarskian semantics of L n. Unlike Boolean (...) algebras having a Stone representation theorem, RCA n ⊊ CA n. Using combinatorial game theory, we show that the existence of certain finite relation algebras RA, which are algebras whose domain consists of binary relations, implies that the celebrated Henkin omitting types theorem fails in a very strong sense for L n. Using special cases of such finite RA ’s, we recover the classical nonfinite axiomatizability results of Monk, Maddux, and Biro on RCA n and we re-prove Hirsch and Hodkinson’s result that the class of completely representable CA n ’s is not first-order definable. We show that if T is an L n countable theory that admits elimination of quantifiers, λ is a cardinal < 2 ℵ 0, and F = 〈 Γ i : i < λ 〉 is a family of complete nonprincipal types, then F can be omitted in an ordinary countable model of T. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 121-122 [Access article in PDF] Harold Tarrant. Plato's First Interpreters. Ithaca, NY: Cornell University Press, 2000. Pp. viii + 263. Cloth, $55.00. This is Tarrant's third book on the ancient Platonist tradition, following his Scepticism or Platonism? (1985) and Thrasyllan Platonism (1993). In those earlier volumes his focus was on the first centuries bc and ad. Here his scope is much (...) wider. Stating that "Platonic interpretation is today at a crossroads," he has written a book that explores "ancient attempts to wrestle with this corpus," with the ultimate objective "to encourage a fresh, almost primitive reading of Plato himself" (vii).He begins engagingly by confronting the ancients with questions any modern reader of Plato must ask: What kind of text is this? Are there doctrines here? Where do I look for Plato's doctrines? The second part of his book is a historical survey, taking us from Plato, the early Academy and Aristotle, through the Hellenistic and early Roman Imperial period, and concluding with the principal Neoplatonist interpreters. In the third and longest part, he focuses on the interpretation of specific dialogues, giving most space to the Gorgias and Theaetetus, but also dealing in particular detail with the Meno, Parmenides, and Philebus. Something is said about every dialogue, but Tarrant writes only briefly about such major works as the Republic and Timaeus. He explains his selectivity (not very convincingly) as due to his wish to "discuss issues of meta-interpretation, with emphasis on the period before Plotinus" (198).Taking his book as a whole, one realizes that few strands of modern interpretation were not prefigured to quite a large extent in antiquity. The two most obvious exceptions are the chronological and developmental approach (Early, Middle, and Late), at present under strong attack from some quarters, and the theological, numerological, and allegorical readings practiced by Neoplatonists. Plato's ancient interpreters were doctrinal unitarians, but they implicitly anticipated our tendency to distinguish "Socratic dialogues," which some of them called "gymnastic" and "inquisitive," from such "canonical" works as the Phaedo,Republic, Symposium, and Timaeus, to which they applied the labels "dogmatic" and "expository." And they recognized that both types of characteristics could be found in the same dialogue, as in the Meno and Theaetetus. Plato himself, they proposed, spoke primarily through the voices of Socrates, Timaeus, and the Eleatic and Athenian strangers; but other characters, such as Pausanias in the Symposium, or Protagoras in the dialogue of that name, utter thoughts with some philosophical value. In explaining difficult passages of one dialogue, they would typically refer to passages from other parts of the corpus. An especially intriguing instance is the strategy of the Anonymous Commentator on the Theaetetus, who reads the Meno into the dialogue on which he is officially commenting.Ancient scholars, just like ourselves, asked questions about the unifying themes of complex dialogues. Hence the sub-titles given to certain works: "On the soul" for the Phaedo, and "On justice" for the Republic, etc. For Olympiodorus (whose commentary on the Gorgias Tarrant has recently co-edited [Leiden, 1998]), earlier interpreters have seriously erred by giving too limited an account of that dialogue's scope. It is not, he says, simply about rhetoric, nor about justice and injustice; nor is its theme the divine demiurge (as some Neoplatonists had strangely proposed, on the basis of the concluding myth). Rather, the subject of the Gorgias is "the ethical principles that lead to constitutional well-being" (125). [End Page 121] However, Olympiodorus's eminently "sensible" reading (as Tarrant calls it) is deeply embedded in the Neoplatonic contrast between the "purificatory virtues" of the Phaedo and the "constitutional virtues" of Republic4.Strong or weak scepticism, esotericism, unwritten doctrines, spurious versus genuine, a canon of central dialogues, dramatic considerations, and the philosophical importance or non-importance of the dialogues' prologues—all of these are interpretive approaches that Tarrant surveys in this immensely learned book, and all of them continue to resonate for us. Modern scholars, who emphasize the literary and philosophical unity of each dialogue, are walking... (shrink)

We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras.

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for Ln, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. Ln has been recently (and quite extensively) studied as a many-dimensional (...) modal logic. (shrink)

This paper examines the journey of Islamic philosophy in various schools to explore how it deals with the fundamental concepts of Islam within deistic circles. The fundamental concepts of Islam are unity of God, the prophethood, and the resurrection. This paper also takes a look at the position of religion in Islamic philosophy. It presents a distinction between theism and deism and then try to illustrate how classical Muslim philosophers work within deism and interpret Islamic ideas accordingly. We will see (...) a wide, historical survey of all Islamic schools of philosophy including the peripatetic, illuminative, and transcendental. Based on analytical and historical method, the paper proves that this philosophy possesses a foundation of deism with a slight opening toward theism. While focusing on primary sources, we also consider some secondary sources in Islamic philosophy. (shrink)