Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

Buildings energy consumption is growing gradually and put away around 40% of total energy use. Predicting heating and cooling loads of a building in the initial phase of the design to find out optimal solutions amongst different designs is very important, as ell as in the operating phase after the building has been finished for efficient energy. In this study, an artificial neural network model was designed and developed for predicting heating and cooling loads of a building based on a (...) dataset for building energy performance. The main factors for input variables are: relative compactness, roof area, overall height, surface area, glazing are a, wall area, glazing area distribution of a building, orientation, and the output variables: heating and cooling loads of the building. The dataset used for training are the data published in the literature for various 768 residential buildings. The model was trained and validated, most important factors affecting heating load and cooling load are identified, and the accuracy for the validation was 99.60%. (shrink)

The present study examined how the pre-war debate of the US decision to invade Iraq (in March 2003) was discursively constructed in the US/British mainstream newspaper opinion/editorial (op/ed) argumentation. Drawing on theoretical insights from critical discourse analysis and argumentation theory, I problematised the fallacious discussion used in the pro-war op/eds to build up a ‘moral/legal case’ for war on Iraq based on adversarial (rather than dialogical) argumentation. The proponents of war deployed ‘instrumental rationality’ (ends-justify-means reasoning), ‘ethical necessity’ (Bush’s ‘Preemption Doctrine’) (...) and ‘humanitarian virtue’ (the bombing of Iraq to ‘save’ Iraqis from Saddam’s pestilent tyranny) to justify the pending invasion of Iraq. Their arguments intertextually resonated with Bush administration’s ‘war on terror’ rhetoric in a way that created a form of indexical association through ‘recontextualisation’. The type of arguments marshalled by the pro-war op/ed commentators uncritically bolstered the set of US official ‘truth claims’ and ‘presuppositions’. (shrink)

This study investigates the association of a broad set of variables with the ethical decision making of management accountants in Libya. Adopting a cross-sectional methodology, a questionnaire including four different ethical scenarios was used to gather data from 229 participants. For each scenario, ethical decision making was examined in terms of the recognition, judgment and intention stages of Rest’s model. A significant relationship was found between ethical recognition and ethical judgment and also between ethical judgment and ethical intention, but ethical (...) recognition did not significantly predict ethical intention—thus providing support for Rest’s model. Organizational variables, age and educational level yielded few significant results. The lack of significance for codes of ethics might reflect their relative lack of development in Libya, in which case Libyan companies should pay attention to their content and how they are supported, especially in the light of the under-development of the accounting profession in Libya. Few significant results were also found for gender, but where they were found, males showed more ethical characteristics than females. This unusual result reinforces the dangers of gender stereotyping in business. Personal moral philosophy and moral intensity dimensions were generally found to be significant predictors of the three stages of ethical decision making studied. One implication of this is to give more attention to ethics in accounting education, making the connections between accounting practice and Islam. Overall, this study not only adds to the available empirical evidence on factors affecting ethical decision making, notably examining three stages of Rest’s model, but also offers rare insights into the ethical views of practising management accountants and provides a benchmark for future studies of ethical decision making in Muslim majority countries and other parts of the developing world. (shrink)

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.

The design, implementation, and outcome of game-based learning for learners with disabilities have not been sufficiently examined systematically. Particularly, learner-based and contextual factors, as well as the essential roles played by various stakeholders, have not been addressed when game-based learning applications are used in special education. Therefore, a systematic literature review using the Activity Theory was conducted to analyse studies about game-based learning for learners with disabilities. Content analysis of 96 studies reported relevant information with respect to each activity component— (...) subject, technology, object, rules, community, division of labour and outcome. Furthermore, this study identified existing gaps from the reviewed studies, including occasional lack of parental engagement, difficulty of standardising performance measures due to the heterogeneity of learner profiles and contradictions. Finally, recommendations were made under each activity component. The study concluded that both general and domain-specific guidelines should be created for each disability category proposed in this review to assist practitioners who wish to use game-based learning with learners with disabilities. (shrink)

An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1.

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].

Let \(2 (...) It is shown that \(\mathbf{K_n}\) is not finitely axiomatizable and that it coincides with the class of atomic algebras in the elementary closure of \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{\omega}\) where \(\mathbf{S_c}\) is the operation of forming complete subalgebras. For any class \(\mathbf{L}\) such that \({\sf At}{\sf Nr}_n{\sf CA}_{\omega}\subseteq \mathbf{L}\subseteq {\sf At}\mathbf{K_n}\), it is proved that \({\bf SP}\mathfrak{Cm}\mathbf{L}={\sf RCA}_n\), where \({\sf Cm}\) is the dual operator to \(\sf At\); that of forming complex algebras. It is also shown that any class \(\mathbf{K}\) between \({\sf CRCA}_n\cap \mathbf{S_d}{\sf Nr}_n{\sf CA}_{\omega}\) and \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{n+3}\) is not first order definable, where \(\mathbf{S_d}\) is the operation of forming dense subalgebras, and that for any \(2shrink)

Despite the persistence of the theoretical model of the cathartic theory in psychoanalysis, it is not what we practice clinically. Freud’s Other Theory of Psychoanalysis deals with eliciting that other unarticulated theory from the Freudian text to replace the catharsis theory and open the theoretical impasse it created.

Dresser le portrait de l'homme, selon une lecture platonico-platonicienne, est la fin de ce livre.

Digital technology has revolutionized connectivity, but it has also overcome spatial obstacles that used to shield people from subjugating gazes and unlimited exercise of power. The home as an auratic space is dead, and this alienation has hindered our democratic capacities and created complex crises. The Death of Home aims to intellectually engage readers via enhancing spatial literacy to critically confront today’s crises.

This paper argues that chance (risk or opportunity) discovery is challenging, from a reasoning point of view, because it represents a dilemma for inductive reasoning. Chance discovery shares many features with the grue paradox. Consequently, Bayesian approaches represent a potential solution. The Bayesian solution evaluates alternative models generated using a temporal logic planner to manage the chance. Surprise indices are used in monitoring the conformity of the real world and the assessed probabilities. Game theoretic approaches are proposed to deal with (...) multi-agent interaction in chance management. (shrink)

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

Some fashionable leftist movements and populist intellectuals habitually blame the sources of information for public ignorance about the miserable state of the world. It could be argued, however, that the masses are ignorant because they prefer ignorance. A mass individual is politically apathetic and intellectually lazy. As a result, even when huge amounts of information are available, which is the case in this epoch, the masses insist on choosing ignorance. It is true that there is not enough information about what (...) has happened in a place such as Darfur, but the masses choose not to access even the amount of information that is available. The great majority of people in China, Iran, and America, despite the fact that they have varying amounts of access to various types of “knowledge,” still tend to be misinformed. It seems that a mass individual is curious only about what directly affects his/her own personal life. I will explore the connection between mass mentality and the culture industry in order to capture the essential role of the former in the latter. I will also argue that a mass individual is the source of fascism although fascism as a phenomenon needs a mass culture in which to flourish. (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)

The study aimed at measuring the dominant pattern of leadership and its relation to the performance of the administrative staff in the Palestinian universities. The study community consists of all the administrative staff from Al-Azhar University and the Islamic University, and through the census of the study society it was found to consist of (655) administrative staff. In order to achieve the objectives of the study, the researchers used the method of random sample in the study, and the study was (...) conducted on a sample of (221) administrative staff of the surveyed universities and the response rate was (82.35%). The study found that there is a high degree of satisfaction with the Dominant Pattern of Leadership in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, which reached (71.67%). There is a high level of performance from the point of view of administrative staff, with a percentage of (82.53%). There is a direct correlation between the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences between the sample according to the gender variable in their perception of the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the age variable. There are differences of statistical significance according to the variable of scientific qualification in the Dominant Pattern of Leadership, while there were no differences in performance, the differences in the dominant pattern of leadership according to the scientific qualification were in favor of those who obtained the diploma degree compared to other practical qualifications, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable years of service, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable level of career (Director, Head of Department, and Administrative Officer). There were differences in the perception of workers to the dominant pattern of leadership depending on the variable of the workplace, where there were differences in favor of workers in deanships and colleges compared with the workers in the technical departments. While there were no differences in job performance according to the workplace variable, the existence of differences in the perception of workers to the dominant pattern of leadership depending on the university in which they work in favor of the Islamic University and the absence of differences in performance between the Islamic University and Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the managements of the Palestinian universities in improving the dominant pattern of leadership, to give universities the opportunity to participate in decision-making, the continued administration of universities interest and continuous improvement of the performance of its employees, enhance the periodic evaluation of job performance and to inform employees and express their opinion, solving workers' problems and giving them the opportunity to contribute to solving their own problems, the use of the staff rotation method periodically and strengthening the democratic the dominant pattern of leadership and empowering university staff. -/- . (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)

This book explores policy innovation for same-sex couples throughout the Americas and includes same-sex marriage legislation, civil unions, and other new developments for same-sex couples throughout the Americas at both national and sub-national levels. This scholarship is innovative because though much has been written regarding developments in North America, there is very little work dealing with recent developments in the rest of the Americas.

The market relationships are being contested. This can be seen in the increasing number of alternative social experiments in the ‘North’ and the ‘South’ which propose to think out the present market relationships in a different way, in particular in establishing exchange value and in facilitating access to trade. These practical alternatives are supported by trends in academic circles that over the past three decades have opposed neoliberal capitalism and individualism in today's commercialised society. Calling for greater solidarity and social (...) justice in economic relationships, in particular, partisans of social and solidarity economics, identifying with these trends, demand new forms of exchange. The objective of this article is to re-examine these demands. What exactly do the SSE mean by ‘solidarity’ and ‘solidarity-based economy'? We would like to trace the contours of this theoretical and political project and to assess the practicability of the proposed alternative to neoliberal capitalism. (shrink)

The primary and secondary sources of Islamic law often assume a binary distinction between ijtihād and taqlīd, ignoring a third level of engagement with the sources, which was conceptualized by some jurists as forming a distinct category. In this article I discuss the evolution of the terms ijtihād, taqlīd, and ittibāʿ, using a conceptual-historical approach. I argue that the use of taqlīd to mean “precedent-following” did not emerge as a technical term until after the time of al-Shāfiʿī. The distinction between (...) precedent-following and verifiable-following did not appear in legal discourse until the time of Aḥmad b. Ḥanbal. I also demonstrate that there were three approaches to these terms in legal discourse after the time of Ibn Ḥanbal, with three groups of jurists defining them in ways that advanced their different visions of law-making. I conclude with a discussion of the debate over the meanings of these terms in the eighteenth and nineteenth centuries. (shrink)

This study presents an Islamic conception of sovereignty from mainstream Sunni theology by closely examining Ghiyāth al-umam fī iltyāth aẓ-ẓulam, the major political work of Abū al-Ma‘ālī al-Juwayn...

In recent years, scholars have sought to investigate the impact that ethical leaders can have within organisations. Yet, only a few theoretical perspectives have been adopted to explain how ethical leaders influence subordinate outcomes. This study therefore draws on social rules theory (SRT) to extend our understanding of the mechanisms linking ethical leadership to employee attitudes. We argue that ethical leaders reduce disengagement, which in turn promotes higher levels of job satisfaction and organisational commitment, as well as lower turnover intentions. (...) Co-worker social undermining is examined as a moderator of the relationship between ethical leadership and disengagement, as we suggest that it is difficult for ethical leaders to be effective when co-worker undermining prevails. To test the proposed model, questionnaires were administered to 460 nurses in Romanian hospital settings over three time points separated by two-week intervals and the hypotheses were tested using generalised multilevel structural equation modeling (GSEM) with STATA. The findings revealed that ethical leadership has a beneficial effect on employee attitudes by reducing disengagement. However, the relationship between ethical leadership and disengagement was moderated by co-worker social undermining, such that when undermining was higher, the significance of the mediated relationships disappeared. These results suggest that while ethical leaders can promote positive employee attitudes, their effectiveness is reduced in situations where co-worker undermining exists. (shrink)

(1996). Science and technology in the discourse of Sayyid Qutb. Social Epistemology: Vol. 10, Islamic Social Epistemology, pp. 289-304. doi: 10.1080/02691729608578820.

We revisit the flight-to-quality and flight-from-quality occurrences vis-à-vis the stock-bond nexus across differing investment time scales in the COVID-19 era, using a novel technique hinged on a denoised frequency-domain transfer entropy. Our findings divulge that flights, both FTQ and FFQ, could be attained during stress periods. Generally, in the intermediate term of the COVID-19 pandemic, both Islamic and conventional bonds could act as safe havens, diversifiers, and hedges for international equities, and the same could be observed for international equities. We (...) reiterate empirically that flights may improve the financial system’s stability and robustness by allowing diversity to be effective when it is most required. The findings have financial and portfolio implications for investors considering how to deploy their investments in the COVID-19 era. Our findings may impact policymakers’ responses to changes in various asset classes, allowing them to better monitor financial markets and adjust macroeconomic policies. (shrink)

The paper "Environmental Ethics and Cultural Values related to the Philosophical Approaches to Eco-Axiology" examines the complex interplay of ethical concerns about the environment, cultural viewpoints, and human values. This research explores eco-axiology, the philosophical study of values in connection to the natural world, observing at how moral precepts influence how people interact with the natural world. For measuring, the research study used SPSS software and generated results, including descriptive statistics and one-way ANOVA test analysis, which also explains the pair (...) sample analysis between them. The contrast between ecocentrism and anthropocentrism is examined, emphasizing the range of moral viewpoints and the influence of cultural norms on environmental ethics. The usefulness of environmental ethics in solving urgent environmental issues like climate change and biodiversity loss is highlighted, along with its practical implications in policymaking, education, corporate practices, and individual behavior. The research found a positive and significant relationship between environmental ethics and cultural values. Ultimately, this discussion is a call to action, imploring people to practice moral stewardship and substitute a more peaceful coexistence with nature for the sake of both the current and the future generations. (shrink)

Le cri que porte l'intitulé de cet ouvrage est un appel aux lecteurs et aux historiens du Rushdisme à une halte réflexive sur ce que l'auteur appelle cri. Car le cri est une revendication légitime du philosophe. C'est une sorte de voix extra temporelle qui, par fidélité à l'esprit de sa philosophie, s'insurge et déclare que sa pensée a été trahie. Qui est donc ce philosophe à qui on a prêté tant de légendes et commis à son égard tant d'erreurs? (...) Est-ce un grand philosophe réduit au statut de simple commentateur? Ou est-ce une grande méprise à l'égard d'un penseur dont le seul tort est d'avoir voulu sauver le rationalisme philosophique? C'est avec force et détermination que l'auteur de cet essai nous démontre ses convictions sur un personnage historique essentiel, manifestement trop méconnu... Ahmed Mellah est professeur de philosophie. Il a pour ambition de soumettre la philosophie islamique à une analyse critique qui la débarrasserait du dogmatisme institué et autres a priori qui la gangrènent et rendent toute lecture audacieuse totalement inopérante. (shrink)

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.

Cette monographie porte sur la question de la connaissance dans le commentaire coranique de Fakhr al-Dīn al-Rāzī. Ahmed Oulddali y étudie, à travers plusieurs sources, les théories psychologiques et épistémologiques sur lesquelles cet exégète sunnite fonde son interprétation du Coran. This monograph addresses the question of knowledge in Faḫr al-Dīn al-Rāzī's Qurʾān commentary. Utilizing a variety of sources, Ahmed Oulddali presents the psychological and epistemological theories on which this Sunni exegete bases his interpretation of the Qurʾān.

[fr] La présente étude a pour but de contribuer, par l´examen des textes du dīwān du plus ancien poète populaire mauritanien connu, Saddūm Wuld Nd̆aṛtu, à identifier le vocabulaire ancien et à en expliquer la signification. Nous interrogeons ce dīwān en tant qu´ unique témoin conservé de l´époque de l´auteur (18ème siècle) pour qu´il nous aide à identifier dans ses poèmes les mots anciens qui sont depuis longtemps tombés en désuétude et sont aujourd´hui considérés comme des archaïsmes, des termes étranges (...) ou peu familiers à la plupart des locuteurs ou à tous. L´étude comprend, d´une part une description du contexte historique dans lequel vivait le poète et, d´autre part, une brève présentation du contenu du dīwān, avant d´aborder le sujet principal, à savoir le vocabulaire ancien du ḥassāniyya contenu dans l´ouvrage. Quant aux caractéristiques communes de ce vocabulaire, il convient de noter l´abondance de termes issus du champ lexical de la guerre (batailles, armes, chevaux, etc.). (shrink)

The model of feminism as humanist in practice and postmodern in theory is inadequate. Feminist practice and theory directly inform each other to displace both humanist and postmodern conceptions of the subject. An examination of feminism's use of rights discourse suggests that feminist practice questions the humanist conception of the subject as a self-identity. Likewise, feminist theory undermines the postmodern emphasis on the constitutive instability and indeterminacy of the subject.

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)