The use of mobile devices has generated a new way of communication by using unique abbreviations and grammatical shortcuts. This method of communicating has been commonly used by teenagers to socialize with other people in their generation. The use of these texts has alarmed parents and teachers. This study was conducted to discover the correlation of this method of communication called “Tech Speak” to a student's English proficiency. The researcher has surveyed grade 10 students, that has a total of 28 (...) students, at Santiago National high school. The researcher used 10 words that are commonly misspelled as a parameter of the spelling test to measure the proficiency of both techspeak and non-techspeak students. The results yield an average of 8 and 7.7, thus making the students using Tech Speak more proficient in spelling than the students that are categorized as non-techspeak. The findings have led the researchers to conclude that the use of techspeak has no negative effects but rather it improves the student’s spelling proficiency. (shrink)

This research explores the crucial role of leadership transitions in educational institutions, particularly at Immaculate Conception College of Balayan, Inc. (ICCBI). Recognizing the profound impact of leadership practices on organizational effectiveness, this study addresses nuanced aspects of employee engagement during transitions. Using a qualitative case study design involving face-to-face interviews, common themes emerge regarding the transition of leadership, such as inclusive decision-making, resistance to new policies, unclear communication, continuity in vision, mission, and commitment, and transparency. The findings underscore the substantial (...) influence of leadership transitions on the institution's dynamics, shaping its mission, vision, and commitment to both students and employees. Proactively addressing challenges is emphasized as crucial for maintaining a positive work environment and enhancing organizational effectiveness. The study further recommends a strategic focus on transforming challenges into -/- opportunities, prioritizing employee engagement, and implementing the outlined strategies to foster a healthy work- life relationship within Immaculate Conception College of Balayan, Inc. (shrink)

This paper offers a brief analysis of what it is to be moved by a death. It is written as an imitation of a famous European writer and it has an analysis of some newspaper material as well, which was just some gentle fun, if it be permitted.

Diego Gambetta and Gloria Origgi describe Italy as a country in which there is a widespread preference for promising high quality goods and delivering low quality goods. Builders are presented as an example. Gambetta and Origgi make proposals regarding why there are these preferences. I was going to ask, why don’t they just try being builders for a while? But metaphorically speaking, they are builders, which makes explaining the problems they face easier.

In this paper, I present some responses to an argument made by an economist in an online video: that when Britain leaves the European Union, it will be taking many high ranking universities with it, which will lead to an innovation deficit in the union. I present some responses by means of a pastiche of a widely read European fiction writer.

There are some further responses I have to Mary Beard on the relationship between Sir James Frazer’s The Golden Bough and British colonialism: her claim that it provided an image of the empire as a whole. The paper contains two objections, very minor ones perhaps, and some highly speculatively defences. But I find the defences difficult to present in the traditional manner, so I have written the responses as a pastiche imitating a widely read European writer.

I distinguish two senses of the word “offer.” I do so within a brief pastiche, which I put down to the influence of the European Union.

This paper is written as a pastiche of a notable European novelist, and essayist – it is the essayist who is being imitated, my first effort at this. I make some notes on a paragraph from a well-crafted fiction by Stacy Aumonier. I use the pastiche mode not just for fun but because readers may prefer the bolder and less qualified style, despite some information loss.

This paper presents an objection to the theory of names according to which what a name refers to is determined by a description that the speaker or writer associates with that name. Some names are associated with paradoxical descriptions. I use the reputations of Henry Sidgwick and J.M.E. McTaggart to illustrate this problem.

In this paper, I present two puzzles arising from J.M. Coetzee’s novel Elizabeth Costello, a fiction which is closely connected to analytic philosophy.

Much of the recent philosophy literature on the topic of alternative conceptual schemes responds to Donald Davidson. Davidson makes an argument by applying his system to the question, “Could others have an alternative system of concepts, an alternative conceptual scheme?” But he also remarks on the metaphor of organizing. A number of others have joined in. Why? This material may seem unimportant, but I present some reasons for why, and respond to other remarks, by P.M.S Hacker and Hans-Johann Glock.

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way (...) to look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

A longstanding issue in attempts to understand the Everett (Many-Worlds) approach to quantum mechanics is the origin of the Born rule: why is the probability given by the square of the amplitude? Following Vaidman, we note that observers are in a position of self-locating uncertainty during the period between the branches of the wave function splitting via decoherence and the observer registering the outcome of the measurement. In this period it is tempting to regard each branch as equiprobable, but we (...) argue that the temptation should be resisted. Applying lessons from this analysis, we demonstrate (using methods similar to those of Zurek's envariance-based derivation) that the Born rule is the uniquely rational way of apportioning credence in Everettian quantum mechanics. In doing so, we rely on a single key principle: changes purely to the environment do not affect the probabilities one ought to assign to measurement outcomes in a local subsystem. We arrive at a method for assigning probabilities in cases that involve both classical and quantum self-locating uncertainty. This method provides unique answers to quantum Sleeping Beauty problems, as well as a well-defined procedure for calculating probabilities in quantum cosmological multiverses with multiple similar observers. (shrink)

This paper responds to an ingenious footnote from Robert Nozick’s book Anarchy, State, and Utopia. Using a table of four possible situations, Nozick defines what it is to be jealous, envious, begrudging, spiteful and competitive. I deny a claim that Nozick makes for his table, a claim needed for these definitions. I also point out that Nozick fails to capture what he has in mind by jealousy.

The expression “The owl of Minerva flies at dusk” is used to convey that philosophers are only able to identify the assumptions that are made within a period of history, a period of which they are part, when that period is coming to an end and those assumptions will soon no longer be made. In this paper, I support a rival view according to which those involved in a historical period can know their assumptions earlier, given appropriate talent and effort.

This paper defends the practice of attributing a worldview to a group against the objection that this practice overlooks different views within the group and wrongly portrays the group as homogeneous.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Social scientists have paid insufficient attention to the role of law in constituting the economic institutions of capitalism. Part of this neglect emanates from inadequate conceptions of the nature of law itself. Spontaneous conceptions of law and property rights that downplay the role of the state are criticized here, because they typically assume relatively small numbers of agents and underplay the complexity and uncertainty in developed capitalist systems. In developed capitalist economies, law is sustained through interaction between private agents, courts (...) and the legislative apparatus. Law is also a key institution for overcoming contracting uncertainties. It is furthermore a part of the power structure of society, and a major means by which power is exercised. This argument is illustrated by considering institutions such as property and the firm. Complex systems of law have played a crucial role in capitalist development and are also vital for developing economies. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

PHILOSOPHY OF SCIENCE, vol. 52, number 1, pp.44-63. R.M. Nugayev, Kazan State |University, USSR. -/- THE HISTORY OF QUANTUM THEORY AS A DECISIVE ARGUMENT FAVORING EINSTEIN OVER LJRENTZ. -/- Abstract. Einstein’s papers on relativity, quantum theory and statistical mechanics were all part of a single research programme ; the aim was to unify mechanics and electrodynamics. It was this broader program – which eventually split into relativistic physics and quantummmechanics – that superseded Lorentz’s theory. The argument of this paper is (...) partly historical and partly methodological. A notion of “crossbred objects” – theoretical objects with contradictory properties which are part of the domain of application of two different research programs – is developed that explains the dynamics of revolutionary theory change. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This document briefly summarizes several objections to Thomas Kuhn on science, including by Feyerabend, Davidson, and Fodor.

I argue for three conclusions. First, responsibility skeptics are committed to the position that the criminal justice system should adopt a universal nonresponsibility excuse. Second, a universal nonresponsibility excuse would diminish some of our most deeply held values, further dehumanize criminals, exacerbate mass incarceration, and cause an even greater number of innocent people (nonwrongdoers) to be punished. Third, while Saul Smilansky's ‘illusionist’ response to responsibility skeptics – that even if responsibility skepticism is correct, society should maintain a responsibility‐realist/retributivist criminal justice (...) system – is generally compelling, it would not work if a majority of society were to convert, theoretically and psychologically, to responsibility skepticism. In this (highly improbable) scenario, and only in this (highly improbable) scenario, the criminal justice system would need to be reformed in such a way that it aligned with the majority's responsibility‐skeptical beliefs and attitudes. (shrink)

Forty years have passed since video-games were first made widely available to the public and subsequently playing games has become a favorite past-time for many. Players continuously engage with dynamic visual displays with success contingent on the time-pressured deployment, and flexible allocation, of attention as well as precise bimanual movements. Evidence to date suggests that both brief and extensive exposure to video-game play can result in a broad range of enhancements to various cognitive faculties that generalize beyond the original context. (...) Despite promise, video-game research is host to a number of methodological issues that require addressing before progress can be made in this area. Here an effort is made to consolidate the past 30 years of literature examining the effects of video-game play on cognitive faculties and, more recently, neural systems. Future work is required to identify the mechanism that allows the act of video-game play to generate such a broad range of generalized enhancements. (shrink)

The aim of this study was to identify the obstacles facing the application of knowledge management and its impact on performance at Palestine Technical University-Kadoorei from the point of view of employees and to detect the differences between the average views of the study sample on the subject of the study according to some variables such as (gender, nature of work, Education Level, specialization, years of experience). The study followed the descriptive analytical method and the questionnaire as a tool for (...) study. It was distributed to 74 employees. After the questionnaire was distributed, the data was collected and coded and entered into the computer and processed statistically using the SPSS program. The study found that the percentage of approval of the obstacles to the application of knowledge management at Palestine Technical University-Kadoorei differed between few and large, and the relative weight of the axis was complete (68.2). The degree of awareness of the workers of the reality of performance excellence at the University of Palestine Technical-Kadoorei was between medium and very large. There is an impact of the constraints of the application of knowledge management on performance excellence at Palestine Technical University-Kadoorei. In light of the results of the previous study, the researchers recommended that the importance of knowledge management should be taken into account in order to raise the university's reputation and reputation at home and abroad and improve its services to students and the local community. And to promote the exchange of experiences and knowledge with local, regional and international universities in order to enhance the knowledge and preserve it and provide modern and sophisticated scientific techniques and use them in administrative and academic work at the university. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward a (...) natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Rainfall prediction is one of the challenging tasks in weather forecasting. Accurate and timely rainfall prediction can be very helpful to take effective security measures in dvance regarding: on-going construction projects, transportation activities, agricultural tasks, flight operations and flood situation, etc. Data mining techniques can effectively predict the rainfall by extracting the hidden patterns among available features of past weather data. This research contributes by providing a critical analysis and review of latest data mining techniques, used for rainfall prediction. In (...) our proposed system we propose a new forecasting method that uses a Convolutional Neural Network monthly rainfall for a selected location. In our proposed system we are going to forecast the rainfall result based on the mean square error, mean absolute error and root mean square error, which we get in train and test of the dataset based deep learning technique. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

The proposed model in this paper employs different integrated detectors, such as heat, smoke, and flame. The signals from those detectors go through the system algorithm to check the fire's potentiality and then broadcast the predicted result to various parties using GSM modem associated with the GSM network system. The system uses various sensors to detect fire, smoke, and gas, then transmits the message using GSM module. After the message, send by the module the help arrives in 15 minutes. The (...) system is associated with water pump and a sprinkler. The Water system is associated with a water tank and a sprinkler. The water tank uses a Ultrasonic sensor to monitor the level of water level in the tank for refilling the water tank. Once fire is detected, it automatically sends the emergency message and sprinkles the water. (shrink)

Some theories of goodness are descriptively rich: they have much to say about what makes things good. Neo-Aristotelian accounts, for instance, detail the various features that make a human being, a dog, a bee good relative to facts about those forms of life. Famously, such theories of relative goodness tend to be comparatively poor: they have little or nothing to say about what makes one kind of being better than another kind. Other theories of goodness—those that take there to be (...) absolute goodness—are comparatively rich: they offer grounds for judging some types of things better than others because they have more absolute goodness. Moorean accounts, for example, can tell us that humans and human experiences are superior to bees and blades of grass. But such theories tend to be descriptively poor: they struggle to tell us in virtue of what this is so. In this essay we motivate and flesh out a view that splits the difference between accounts of goodness as relative and accounts of goodness as absolute. Such a view holds promise only if the mechanics of this kind of metaphysics of goodness can be worked out. Here we present a view on which the paradigm for absolute goodness is God and the paradigm for each kind of relative goodness is a divine idea. (shrink)

There have been times in the history of ethical theory, especially in this century, when moral realism was down, but it was never out. The appeal of this doctrine for many moral philosophers is apparently so strong that there are always supporters in its corner who seek to resuscitate the view. The attraction is obvious: moral realism purports to provide a precious philosophical good, viz., objectivity and all that this involves, including right answers to (most) moral questions, and the possibility (...) of knowing those answers. In the last decade, moral realism has re-entered the philosophical ring in powerful-looking naturalistic form. ln this paper we provide a dialectical overview: we situate the new wave position itself, and also our objections to it, in the context of the evolving program of philosophical naturalism in 20th century analytic philosophy. We seek to show that although this new contender might initially look like championship material, it succumbs to punches surprisingly similar to those that knocked out the old-fashioned versions of naturalist moral realism. (shrink)