This paper analyses how security affects well-being. Security is understood as someone’s sureness of enjoying some good in the future; well-being is treated as a matter of human flourishing. Security can contribute to our well-being in various ways: if we are in fact bound to enjoy a good, in principle this is positive for our flourishing in the future; if we also believe that we will enjoy this good, we can be more efficient in pursuing our well-being; if we also (...) feel secure, this supports our enjoyment of our physical and mental capacities. For some of these benefits to obtain fully, however, it is important that our beliefs and feelings align with the facts. Furthermore, mirroring security’s upsides, there are also ways in which security can hamper our flourishing: it can obstruct the change, surprise, and pleasurable fear that are sometimes required for a good life too. (shrink)

This article offers a rereading of Monique Wittig's philosophical writing on sex, gender, and sexuality against some of the major criticisms that have led to limited engagement with her work. I argue that reorienting our understanding of Wittig's lesbian-feminism away from notions of sexuality per se enables us to read her in terms of a larger project that takes aim at the primacy of phallocentrism in how we understand subjectivity. In doing so, I establish and situate three themes in her (...) feminism that have remained largely unremarked upon in contemporary philosophical treatments of her work: domination, utopianism, and polysemy. Part of this reorientation also involves taking seriously the place of language in her philosophy and examining the ways in which she textually expresses the “lesbian” in her literature—a facet similarly underexamined. Although the account of Wittig's philosophy given here is by no means definitive, I aim through this preliminary re-evaluation to provide a richer reading of Wittig's work against prevailing criticism, demonstrate her continuing relevance to feminist thought, and present further avenues of investigation. (shrink)

The first English translation of the commentary of Alexander of Aphrodisias on Aristotle's De Sensu.With notes.

Review of Miller's The Berkeley Plato. It is argued that Berkeley University possesses a contemporary portrait of Plato as an aristocrat adorned with the ribbons of athletic victory.

Alexander of Aphrodisias' treatise On Providence presents an argument that global warming is impossible based on the existence of divine providence: this raises the question of the compatibility of theism and environmentalism.

Background: There is no doubt that strawberry diseases are one of the most important reasons that led to the destruction of strawberry plants and their crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases after a good step for proper and correct treatment. Determining the treatment with high accuracy depends on the method used in the diagnosis. Correctly, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) strawberry disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers and students interested in agriculture strawberry in diagnosing many of the strawberry diseases such as: Leaf Spots, Grey Mold, Red Stele/Red Core, Wilt, Powdery Mildew, Alternaria Spot, Black Root Rot, Anthracnose (black spot), and Angular Leaf Spot. The proposed expert system presents an overview about strawberry diseases are given, the cause of diseases are outlined and the treatment of disease whenever possible is given out. CLIPS language was used for designing and implementing the proposed expert system. Results: The proposed strawberry diseases diagnosis expert system was evaluated by Farmers and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Farmers with strawberry problem and students interested in agriculture strawberry. (shrink)

Background: Obstetrics and gynaecology are many and common, where a woman suffers from problems related to pregnancy or her reproductive organs. Any part of her body may be affected due to some symptoms that are completely related to the reproductive organs when she is in a critical period for her, whether in her menstrual cycle, pregnancy, or disease conditions. The bulk of cases of diseases related to women and childbirth are dealt with great care and special care, as all diseases (...) related to women are considered very sensitive diseases due to the presence of the disease in sensitive and not simple places. A gynaecologist is a specialist in all diseases and problems related to the female sexual organs. They perform regular preventive medical exams, such as cervical smear tests and breast exams. It also provides consultations for women of all ages about the problems of contraception, infertility and menopause. Objectives: The objective of this expert system is to help and facilitate women in diagnosing diseases related to their obstetrics and gynaecology, a simple expert system has been designed consisting of ten various common diseases that affect women whether During or without pregnancy, Methods: In this system, the system consists of a list of some common symptoms, the correct diagnosis adopted for these diseases, and how to treat diseases in the correct way with the help of a consultant obstetrician and gynaecologist, Dr. Fathi Muhammad Al-Habibi, and these diseases are: uterine cancer, cervical cancer, Infertility, double uterus, ectopic pregnancy, endometrial cancer, female sexual dysfunction, endometriosis, faecal incontinence, female infertility, CLIPS Expert System language was used to design and implement the proposed expert system. Results: The proposed ten obstetrics and gynaecology diagnostic expert system was evaluated by medical students and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for obstetricians and gynaecologists, patients with reproductive system problems, and recent graduates. (shrink)

Purpose Prescription stimulant use as “cognitive enhancers” has been described among undergraduate college students. However, the use of prescription stimulants among future health care professionals is not well characterized. This study was designed to determine the prevalence of prescription stimulant misuse among students at an academic health sciences center. -/- Method Electronic surveys were e-mailed to 621 medical, pharmacy, and respiratory therapy students at East Tennessee State University for four consecutive weeks in fall 2011. Completing the survey was voluntary and (...) anonymous. Surveys asked about reasons for, frequency of, and side effects of nonprescription misuse of prescription stimulants. Given the sensitive material, an opportunity to win one of ten $50 gift cards was used as an incentive. -/- Results Three hundred seventy-two (59.9%) students completed the survey from three disciplines (47.6% medical, 70.5% pharmacy, and 57.6% respiratory therapy). Overall, 11.3% of responders admitted to misusing prescription stimulants. There was more misuse by respiratory therapy students, although this was not statistically significant (10.9% medicine, 9.7% pharmacy, 26.3% respiratory therapy; P = .087). Reasons for prescription stimulant misuse included to enhance alertness/ energy (65.9%), to improve academic performance (56.7%), to experiment (18.2%), and to use recreationally/get high (4.5%). -/- Conclusions Prescription stimulant misuse was prevalent among participating students, but further research is needed to describe prevalence among future health care workers more generally. The implications and consequences of such misuse require further study across professions with emphasis on investigating issues of academic dishonesty (e.g., “cognitive enhancement”), educational quality, and patient safety or health care quality. (shrink)

There is no doubt that tomato diseases are one of the important reasons that destroy the tomato plant and its crops. This leads to clear damage to these plants and they become inedible. Discovering these diseases after a good step for proper and correct treatment. Determining the treatment with high accuracy depends on the method used in the diagnosis. Correctly, expert systems can greatly help to avoid damage to these plants. The expert system diagnoses tomato disease correctly to facilitate farmers (...) to find the correct treatment based on the appropriate diagnosis. Objectives: An expert system has been established based on CLIPS to diagnose tomato plant disease. (shrink)

Background: Mint is a grassy, perennial plant, belonging to the oral platoon, fast growing and spreading, its leaves are green in color, fragrant, tart, refreshing, square-shaped leg, bifurcated, erect, ranging in height from (10 - 201 cm). Home to Europe and Asia. The mint plant has many benefits, the most important of which are pain relief, treatment of gallbladder disorders, the expulsion of gases, anti-inflammatory, and relaxing nerves. While the mint plant is the ideal option for the start of gardens, (...) it is prone to some common diseases that affect the plant's growth. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper, the design of the proposed Expert System was produced to help Farmers and those interested in agriculture in diagnosing many of the Mint diseases such as Mint rust, Verticillium wilt, Anthracnose, Powdery mildew, Black Stem Rot, Stem and stolon canker, Septoria leaf spot. The proposed expert system presents an overview of mint diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Mint diseases diagnosis expert system was evaluated by Agricultural Students at AL Azhar University and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (shrink)

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

This article challenges the view most recently expounded by Emily Jackson that ‘decisional privacy’ ought to be respected in the realm of artificial reproduction (AR). On this view, it is considered an unjust infringement of individual liberty for the state to interfere with individual or group freedom artificially to produce a child. It is our contention that a proper evaluation of AR and of the relevance of welfare will be sensitive not only to the rights of ‘commissioning parties’ to AR (...) but also to public policy considerations. We argue that AR has implications for the common good, by involving matters of human reproduction, kinship, race, parenthood and identity. In this paper we challenge presuppositions concerning decisional privacy. We examine the essential commodification of human life implicit in AR and the systematicity that makes this possible. We address the objection that it is an ethically neutral way of having children and consider the problem of ‘existential debt’. After examining objections to the thesis that AR is illegitimate for reasons of public policy and the common good, we return to the issue of decisional privacy in the light of considerations concerning the legitimate role of the state in matters affecting human reproduction. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...) it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (shrink)

Sceptical theists--e.g., William Alston and Michael Bergmann--have claimed that considerations concerning human cognitive limitations are alone sufficient to undermine evidential arguments from evil. We argue that, if the considerations deployed by sceptical theists are sufficient to undermine evidential arguments from evil, then those considerations are also sufficient to undermine inferences that play a crucial role in ordinary moral reasoning. If cogent, our argument suffices to discredit sceptical theist responses to evidential arguments from evil.

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

This paper discusses the uniqueness thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

The research aims to identify the reality of modern methods applied in the process of performance assessments of employees in the municipalities of Gaza-strip, Complete Census method of community study was used, (571) questionnaires were distributed to all members of the community study, (524) questionnaires were recovery with rate of (91.76%). The most important findings of the study: There were statistically significant relationship differences between the applications of modern methods in the performance assessments of employees in the municipalities of Gaza-strip. (...) There was statistically significant relationship between the evaluation criteria that fit the required performance and the application of standards evaluations on performance of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the use of methods, models for the evaluation of appropriate functions and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the feedback and the application of performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the efficient, professional assessors and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the extent of awareness of subordinates, participation in the evaluation of their performance and the application of the performance assessments of employees in the municipalities of Gaza-strip. The research also concluded a series of recommendations, including: that the design of evaluation models must be done with the participation of the employees and inform them of it, and that a date must be set to provide feedback and discuss the results with them, that they should be allowed grievance in front of an ad hoc committee in accordance with the known system. Direct manager must inform employees of their performance assessment date, discuss the results of the evaluation with them, and others should be involved with the direct manager of employees in their performance evaluation. The application of modern methods of performance evaluation through the good and purposeful planning should be used, analyzing and employing the results in administrative decisions regarding the employees, and the application of modern methods must be used in an effective and efficient performance evaluation. (shrink)

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the (...) case for process reliabilism (if any) is already captured by the generality problem. (shrink)

One of the cornerstones of western theology is the doctrine of divine omnipotence. God is traditionally conceived of as an omnipotent or all-powerful being. However, satisfactory analyses of omnipotence are notoriously elusive. In this paper, I first consider some simple attempts to analyze omnipotence, showing how each fails. I then consider two more sophisticated accounts of omnipotence. The first of these is presented by Edward Wierenga; the second by Thomas Flint and Alfred Freddoso. I argue that both of these accounts (...) fail. Finally, I propose and defend a novel account of omnipotence. (shrink)

This research paper presents the development and evaluation of an expert system for diagnosing kidney diseases. The expert system utilizes a decision-making tree approach and is implemented using the CLIPS and Delphi frameworks. The system's accuracy in diagnosing kidney diseases and user satisfaction were evaluated. The results demonstrate the effectiveness of the expert system in providing accurate diagnoses and high user satisfaction.

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

The externalist says that your evidence could fail to tell you what evidence you do or not do have. In that case, it could be rational for you to be uncertain about what your evidence is. This is a kind of uncertainty which orthodox Bayesian epistemology has difficulty modeling. For, if externalism is correct, then the orthodox Bayesian learning norms of conditionalization and reflection are inconsistent with each other. I recommend that an externalist Bayesian reject conditionalization. In its stead, I (...) provide a new theory of rational learning for the externalist. I defend this theory by arguing that its advice will be followed by anyone whose learning dispositions maximize expected accuracy. I then explore some of this theory’s consequences for the rationality of epistemic akrasia, peer disagreement, undercutting defeat, and uncertain evidence. (shrink)

Liberalism has a complicated and sometimes uneasy relationship with truth. On one hand, liberalism requires that truth be widely valued and widely shared. It demands that governments be truthful and that citizens have ready access to numerous truths. Some liberals even take facilitating the discovery and dissemination of truth to be part of the raison d’être of liberal institutions. On the other hand, liberalism is averse to proclaiming or enforcing truth. It detaches truth from political legitimacy and deems certain truths (...) unfit to serve as bases of government. Some liberals have even suggested that liberal theory must work “without the concept of truth.” How has liberalism come to both demand truth and eschew it? This introductory section provides the beginnings of an answer by surveying some of the origins and core elements of liberal thought. (shrink)

It is sometimes argued that certain sentences of natural language fail to express truth conditional contents. Standard examples include e.g. Tipper is ready and Steel is strong enough. In this paper, we provide a novel analysis of truth conditional meaning using the notion of a question under discussion. This account explains why these types of sentences are not, in fact, semantically underdetermined, provides a principled analysis of the process by which natural language sentences can come to have enriched meanings in (...) context, and shows why various alternative views, e.g. so-called Radical Contextualism, Moderate Contextualism, and Semantic Minimalism, are partially right in their respective analyses of the problem, but also all ultimately wrong. Our analysis achieves this result using a standard truth conditional and compositional semantics and without making any assumptions about enriched logical forms, i.e. logical forms containing phonologically null expressions. (shrink)

The classical Confucian philosopher Xunzi proposed a naturalistic virtue ethics account of ritual: rituals are practices that channel human emotion and desire so that one develops virtues. In this paper I show that William of Auxerre’s Summa de Officiis Ecclesiasticis can be understood as presenting a similar account of ritual. William places great emphasis on the emotional power of the liturgy, which makes participants like the blessed in heaven by developing virtue. In other words, he has a virtue ethics of (...) ritual closely aligned with that of Xunzi. Xunzi’s writings on ritual illuminate and enrich one’s reading of the Summa de Officiis. But unlike Xunzi, William is not a naturalist with regard to ritual: although much of William’s language about the causal power of liturgy can be explained in Xunzian terms, Christian liturgy has an irreducible supernatural element. (shrink)

Plant diseases are numerous in the world of agriculture. These diseases cause a lot of trouble to most farmers. Among these common diseases, we single out the diseases that affect the Passion fruit, which is affected by about seven diseases, with different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert system, a computer program that uses artificial-intelligence methods to solve problems within a specialized domain that ordinarily requires (...) human expertise. The first expert system was developed in 1965 by Edward Feigen Baum and Joshua Lederberg of Stanford University in California, U.S. Dendral, as their expert system was later known, was designed to analyses chemical compounds. Expert systems now have commercial applications in fields as diverse as medical diagnosis, petroleum engineering, and financial investing and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses Passion diseases using CLIPS Expert System language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of Passion -related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose Passion -related diseases. Objectives: is to help farmers diagnose Passion diseases in the correct way and how to treat these diseases. Method: The system contains a program project that diagnoses 7 diseases that affect Passion and the seven diseases are: Brown spot, Septoria spot, Root and crown rot, Fusarium wilt, Anthracnose, Woodiness virus, Scab. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing Passion diseases is effective and usable. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

This paper aims to identify the decision support systems and their role on the strategic management development in the Universities- Case Study: Islamic University of Gaza. The descriptive approach was used where a questionnaire was developed and distributed to a stratified random sample. (230) questionnaires were distributed and (204) were returned with response rate (88.7%). The most important findings of the study: The presence of a statistically significant positive correlation between the decision support systems and strategic management in the Islamic (...) University in Gaza, and this shows that there is a role for decision support systems in strategic management development. The senior management is convinced of the importance of strategic management of the organization, and this conviction paid to clearly understand the process of the development of strategic management and thus led to a commitment to this process to improve its performance. There is an impact on the strategic management of the capabilities available for the use of decision support systems, and the type of decision support systems used, while there is little effect of top management support for the use of decision support systems. Also, the results showed that there were no statistically significant differences between the averages of the respondents answers attributed to personal data. The research also concluded a series of recommendations: The Islamic University of Gaza need to develop its infrastructure of decision support systems when it develops the strategic management. It should increase its interest in organizational potential through the necessity of a separate unit for decision support systems. As well as increased interest in the physical and technical capabilities available to decision support systems through continuity in keeping pace with technological means and techniques, continued support of senior management in the organization of strategic management for its positive role on decision support systems, that senior management will continue in the organization in creating a culture of strategic management, and it should encourage employees to participate in the strategic management process. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity to visual experience (...) is therefore no motive for resisting the natural, Galilean response to a scientific understanding of light and vision. The best interpretation of colour experience ends up convicting it of widespread and systematic error. (shrink)

In the early twentieth century, many philosophers in America thought that time should be taken seriously in one way or another. George P. Adams (1882-1961) argued that the past, present and future are all real but only the present is actual. I call this theory ‘actualist eternalism’. In this paper, I articulate his novel brand of eternalism as one piece of his metaphysical system and I explain how he argued for the view in light of the best explanations of temporal (...) experience and the present. I argue that his exploitation of analogies between time and modality offer some lessons for current debates about time such as the importance of providing a temporal epistemology. I also extract what I call the temporal boundary problem and argue that it gives rise to an unaddressed challenge for presentists and growing block theorists. (shrink)

A theory of the first-person plural occupies a unique place in philosophical investigations into intersubjectivity and social cognition. In order for the referent of the first-person plural—“the We”—to come into existence, it seems there must be a shared ground of communicative possibility, but this requires a non-circular explanation of how this ground could be shared in the absence of a pre-existing context of communicative conventions. Margaret Gilbert’s and John Searle’s theories of collective intentionality capture important aspects of the We, but (...) fail to fully account for this shared ground of communicative possibility. This paper argues that Merleau-Ponty’s concept of intercorporeity helps reconcile the positive aspects of these accounts while also explaining how the genesis of the social world is continuous with perceptual life in general. This enables an account of the first-person plural as dependent on reciprocal communicative interaction without the need to posit a primitive or primordial “we-mode” of consciousness. “Intercorporeity” designates a bodily openness to others that is not fundamentally different in kind from the general style of bodily comportment found in Merleau-Ponty’s rich analyses of perceptual life. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

This paper brings together several strands of thought from both the analytic and phenomenological traditions in order to critically examine accounts of cognitive enhancement that rely on the idea of cognitive extension. First, I explain the idea of cognitive extension, the metaphysics of mind on which it depends, and how it has figured in recent discussions of cognitive enhancement. Then, I develop ideas from Husserl that emphasize the agential character of thought and the distinctive way that conscious thoughts are related (...) to one another. I argue that these considerations are necessary for understanding why forms of cognitive extension may diminish our cognitive lives in different ways. This does not lead to a categorical rejection of cognitive enhancement as unethical or bad for human flourishing, but does warrant a conservative approach to the design and implementation of cognitive artifacts. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

There has recently been a revived interest in temporal justice among political philosophers. For example, lone mothers have, on average, 30 h less free time per week than people in couples without children. Recent work has focussed on free time as a distinct distributive good, but this paper argues that it would be a mistake for a theory of temporal justice to focus only on shares of free time. First, I argue that the concept of free time does not succeed (...) in tracking discretionary control over time. All of time is a resource, and the particular moral relevance of free time must be established otherwise. Second, hours of time differ in use value, and we cannot fully track our concerns about the allocation of time, whether free or necessary, without taking this into account. We care about free time but also about ‘quality time’. To explain this observation, I develop an account of the value of time as a resource. The value of time periods differs with the prospects for which a time period can be used, that is, what we can do and be with it. What we are allocating when we are allocating time is not just hours; it is hours of time with a certain value. Finally, I argue that a concern for the value of time is compatible with a resourcist theory of temporal justice. (shrink)