Legal contracts and litigation documents common to the American legal system were encoded in the eXtensible Markup Language (XML). XML also represents rules about the contracts and litigation procedure. In addition to an expert system tool that allows one to make inferences with that engine, a Graphical User Interface (GUI) generates the XML representing the rules. A rulebase is developed by marking up examples of the XML to be interpreted and the XML to be generated, analogously to Query By Example. (...) This article provides a broader context of the synergy between XML and artificial intelligence by including discussions of: (1) the role of Artificial Intelligence in handling routine litigation; (2) how the use of XML enables legal expert systems to get their `input' without the user having to enter the same information again for the expert system;(3) the advantages of XML markup over other forms of markup for documents; (4) the relationship between XML and ontologies; (5) other projects using XML with rules or legal affairs. (shrink)

This paper is concerned with implicit computational complexity of the exptime computable functions. Modifying the lexicographic path order, we introduce a path order EPO. It is shown that a termination proof for a term rewriting system via EPO implies an exponential bound on the lengths of derivations. The path order EPO is designed so that every exptime function is representable as a term rewrite system compatible with EPO (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

This chapter tells how, within a century, the notions of judgment and inference were driven out of logical theory and replaced by propositions and consequence. Systematic considerations guide the treatment. The history is unashamedly Whiggish: the current position is shown as the outcome, or even culmination, of a historical development.

My note on McShane's “Implementation” article indicates what I have learned from it (a) about its author, (b) about Lonergan, and (c) about implementation of Lonergan’s transcendental method. My sheaf of quotations from the article may offer a focus – not distorting, I hope – different from the reader’s own.

Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of (...) the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

Objectives: This study aimed to conduct a systematic review and meta-analysis of randomized controlled trials (RCTs) to improve subjective well-being (SWB), including evaluative, hedonic, and eudemonic well-being, and the mental component of quality of life (QOL) of working population. Methods: A literature search was conducted, using PubMed, Embase, PsycINFO, and PsycARTICLES. Eligible studies included those that were RCTs of any intervention, conducted among healthy workers, measured SWB as a primary outcome, and original articles in English. Study characteristics, intervention, outcomes, and (...) results on SWB outcomes were extracted by the investigators independently. After a brief narrative summarizing and classifying the contents of the interventions, the included outcomes were categorized into each aspect of SWB (evaluative, hedonic, and eudemonic well-being, and the mental component of QOL). Finally, the characteristics of the effective interventions for increasing each aspect were summarized, and the pooled effect of interventions on SWB was investigated by a meta-analysis. Publication bias was investigated by drawing a funnel plot and conducting Egger's test. Results: From the 5,450 articles found, 39 met the inclusion criteria for the systematic review. The interventions included in this review were classified into six categories (physical activity, ergonomics, psychological, environmental, multicomponent intervention, and others). The meta-analysis from 31 studies showed that the pooled effect of included interventions on SWB was significantly positive (standardized mean difference (SMD) = 0.51; standard error (SE) = 0.10). A funnel plot showed there were extremely large or small SMDs, and Egger's test was significant. Thus, we conducted sensitivity analysis, excluding these extreme SMDs, and confirmed that the estimated pooled effect was also significantly positive. Subgroup analyses for separate types of interventions showed the effects of psychological interventions (e.g., mindfulness, cognitive behavioral based approach, and other psychological interventions) were also significantly positive. Conclusion: The current study revealed the effectiveness of interventions for increasing SWB. Specifically, psychological interventions (e.g., mindfulness, cognitive behavioral based approach, and other psychological interventions) may be useful for improving SWB. (shrink)

En el seno de la historia es el resultado de no pocas horas de reflexión de dos amigos que comparten algunas pasiones, como son -y por este orden- la historia y la universidad. Hartos de oír hablar de crisis en las dos, salieron de su cubículum y vieron, primero, que nunca como ahora había habido tantos libros buenos de historia, algunos verdaderos best-seller, segundo, que jamás en la universidad española había habido tantos estudiantes -y estudiosos- y nunca se había investigado (...) más y mejor que ahora. ¿Dónde está, pues, la crisis? La intentaron buscar en el impacto producido por las novedades, desde lo postmoderno a la historia basura, pero acabaron por ver que incluso en los más rabiosos rupturistas afloraba la solidez de la historia y la fortaleza de algunas grandes tradiciones científicas. Sin embargo, notaron que ni así se consuelan los defensores de una Clío amenazada por mil peligros. Sospachando alguna razón inconfesable -externa al oficio, queremos decir- que explique la paradoja, los dos amigos se contentan por ahora con poner por escrito lo que tienen más seguro: lo que está probado en la mejor tradición clásica y lo que de bueno aporta la novedad. Siempre,... en el seno de la historia. (shrink)

El propósito de este libro es de examinar cuales fueron los órdenes epistemológicos, las prácticas discursivas y los mecanismos disciplinarios que hicieron posible en el siglo XX la construcción de un objeto de conocimiento llamado "Latinoamérica", y de una serie de saberes filosóficos sobre "lo latinoamericano". El autor realiza un ejercicio deconstructivo de aquellas narrativas que, con base a la creación de identidades homogéneas, buscaron presentar a Latinoamérica como lo "otro" de la modernidad occidental, e incluso como el continente llamado (...) a mostrar un camino nuevo de liberación para toda la humanidad. A través de un diálogo con pensadores como Foucault, Said, Rama, Lyotard, Mignolo y Spivak, el autor muestra que los principales temas, registros y motivos esgrimidos a favor de una "exterioridad" latinoamericana con respecto a la modernidad, son en realidad discursos pertenecientes a un orden moderno del saber. (shrink)

A concise and accessible introduction to natural law ethics, this book introduces readers to the mainstream tradition of Western moral philosophy.

Karl Christian Friedrich Krause war ein bemerkenswerter Denker des Deutschen Idealismus. Seine Schriften können ohne Zweifel mit denen Hegels, Schellings und Fichtes konkurrieren. Gerade im Bereich der theoretischen Philosophie bietet das Krausesche Œuvre eine Fundgrube an Einsichten und Argumenten, die der heutigen, oftmals betont postmodernen oder atheistischen Philosophie eine dringend benötigte Kontrastfolie sein können. Sinn und Zweck der Arbeit ist es, den Panentheismus Krauses zeitgemäß darzustellen und Brückenschläge zur heutigen religionsphilosophischen Debatte aufzuzeigen.

Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. (...) Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher. (shrink)

Postcolonial theory has enjoyed wide influence in the humanities but it has left sociology comparatively unscathed. Does this mean that postcolonial theory is not relevant to sociology? Focusing upon social theory and historical sociology in particular, this article considers if and how postcolonial theory in the humanities might be imported into North American sociology. It argues that postcolonial theory offers a substantial critique of sociology because it alerts us to sociology’s tendency to analytically bifurcate social relations. The article also suggests (...) that a postcolonial sociology can overcome these problems by incorporating relational social theories to give new accounts of modernity. Rather than simply studying non-Western postcolonial societies or only examining colonialism, this approach insists upon the interactional constitution of social units, processes, and practices across space. To illustrate, the article draws upon relational theories (actor-network theory and field theory) to offer postcolonial accounts of two conventional research areas in historical sociology: the industrial revolution in England and the French Revolution. (shrink)

The book provides the first analysis of Karl Christian Friedrich Krause_s system of philosophy and his panentheism in English. Karl Christian Friedrich Krause has bequeathed to us a system of philosophy which is little recognised in contemporary philosophy. This is both surprising and unfortunate, because Krause_s philosophical system has much to offer: Through transcendental reflection on the nature of the human, Krause understands God as the one infinite and unconditioned reality, and the ultimate necessary condition of knowledge. God makes humanity, (...) nature, and reason ultimately comprehensible as the essential categories of the divine Essence. God is thus the single, primary, object of science that is already logically presupposed even before His discovery. Science presupposes theology, and theology is best read as panentheism. (shrink)

The world is undeniably full of injustice. Many feel that much political philosophy is practically impotent and engaged instead in overly abstract theorising insufficiently sensitive to the realities of the world. One response to this concern is David Miller’s influential model of evidence-based political philosophy, which claims to be sensitive to empirical evidence from the social sciences, takes seriously people’s opinions, and defends the role of facts in grounding normative principles. Using various examples from the field of global justice, one (...) of Miller’s key areas of work, I show that Miller’s method is unconvincing on two levels. His theoretical argument for fact-dependence is flawed, and his practical argument for an opinion-sensitive political theory is either guilty of status quo bias or, in an attempt to escape it, becomes self-defeating. While the paper is primarily critical, I endeavour also to draw out the implications of my critiques for the role of the ‘real world’ in theorising. (shrink)

Transgender people have among the highest rates of suicide attempts of any group in society, driven strongly by the perception that they do not belong in the sex of their physical body. Gender reassignment surgery is a procedure that can change the transgender person’s physical body to accord with their gender identity. The procedure raises important ethical and distributive justice concerns, given the controversy of whether it is a cosmetic or medical procedure and the economic costs associated with performing the (...) procedure. This paper argues that there is a strong case for funding GRS as a matter of clinical necessity and justice. This paper will be divided in four key sections: First, the state of transgender health will be outlined, including the role of GRS and common objections to it. Second, a number of common objections to GRS will be analysed at the outset and shown to be unconvincing. Third, a constructive argument will be advanced, arguing that publicly funded GRS is clinically necessary, cost-effective, and demanded by principles of justice. Fourth, the paper will briefly discuss moralistic biases and why we demand a higher burden of justification for funding GRS compared with other analogous procedures. (shrink)

The goal of this book is to make available to the scholarly public solid reconstructions and editions of two of the most important essays which Godel wrote on ...

In this concise and accessible introductory text, Gómez-Lobo and Keown introduce a "human goods" approach to bioethics as an alternative to the dominant principle-based method in the field (best illustrated by Beauchamp and Childress, Principles of Biomedical Ethics, OUP). Following Aristotle and the natural law tradition, the authors demonstrate how an emphasis on human goods--such as health, life, family, friendship, work and play, the experience of beauty, knowledge, and integrity--provides a necessary context for medical decisions and can help us understand (...) critical issues at the beginning and end of life. The manuscript includes two parts: Foundations and Issues. In the Foundations section the authors explain how one can think about bioethics, offering definitions of ethics and ontology (the study of being) and prudential reasoning. In the Issues section they address genetics, abortion, infanticide, suicide and physician-assisted suicide, nutrition and hydration, and transplantation ethics. The book includes appendices featuring personal statements by Gómez-Lobo on the status of the human embryo and criteria for the determination of death. (shrink)

Kommunismus : Historischer Materialismus - Dialektischer Materialismus : [Lehrbuch].

A journal of studies in the arts, humanities and social sciences.

Role-based database management systems are most widely used for information storage and analysis but are known as vulnerable to insider attacks. The core of intrusion detection lies in an adaptive system, where an insider attack can be judged if it is different from the predicted role by performing classification on the user’s queries accessing the database and comparing it with the authorized role. In order to handle the high similarity of user queries for misclassified roles, this paper proposes a deep (...) metric neural network with strategic sampling algorithm that properly extracts salient features and directly learns a quantitative measure of similarity. A strategic sampling method of heuristically generating and learning training pairs through Monte Carlo search is proposed to select a training pair that can represent the entire dataset. With the TPC-E–based benchmark data trained with 11,000 queries for 11 roles, the proposed model produces the classification accuracy of 95.41%, which is the highest compared with the previous models. The results are verified through comparison of quantitative and qualitative evaluations, and the feature space modelled in the neural network is analysed by t-SNE algorithm. (shrink)

This volume is a collection of the Nobel Lectures delivered by the prizewinners, together with their biographies, portraits and the presentation speeches for the period 1991 – 1995. Each Nobel Lecture is based on the work that won the prize. These volumes of inspiring lectures by outstanding physicists should be on the bookshelf of every keen student, teacher and professor of physics as well as of those in related fields.Below is a list of the prizewinners during the period 1991 – (...) 1995 with a description of the works which won them their prizes.(1991) P-G de GENNES–for discovering that methods developed for studying order phenomena in simple systems can be generalized to more complex forms of matter, in particular to liquid crystals and polymers; (1992) G CHARPAK – for his invention and development of particle detectors, in particular the multiwire proportional chamber; (1993) R A HULSE & J-H TAYLOR JR. – for the discovery of a new type of pulsar, a discovery that has opened up new possibilities for the study of gravitation; (1994) B N BROCKHOUSE — for the development of neutron spectroscopy; C G SHULL — for the development of the neutron diffraction technique; (1995) M L PERL — for the discovery of the tau lepton; F REINES — for the detection of the neutrino. (shrink)

1996 : David M. Lee, Douglas D. Osheroff and Robert C. Richardson -- 1997 : Steven Chu, Claude N. Cohen-Tannoudji and William D. Phillips -- 1998 : Robert D. Laughlin, Horst L. Störmer and Daniel C. Tsui -- 1999 : Gerardus 't Hooft and Martinus J.G. Veltman -- 2000 : Zhores I. Alferov, Herbert Kroemer and Jack S. Kilby.

Nuestra época está marcada por el movimiento de poblaciones diaspóricas arrojadas al centro de las paradojas entre los derechos humanos y el sistema político global organizado en torno a la Nación-Estado. Refugiados que son criminalizados y abandonados a morir en el Mediterráneo e inmigrantes indocumentados recluídos en campos de detención en la frontera de Estados Unidos con México. Prisioneros torturados abiertamente por Estados liberales como se vio en Abu Gharib o, personas declaradas "enemigos combatientes" presas en Guantánamo sin que medie (...) ninguna acusación de delito o en proceso judicial. En India y otros países están siendo desnacionalizados aquellos que no cumplen con los criterios fundamentalistas de definición de la nacionalidad que impone el Estado, y así, sucesivamente. Mientras tanto, los partidos y movimientos de la derecha extrema, xenofóbica y racista, están en ascenso en distintas partes del mundo. Ante este alarmante escenario, la pertinencia de este libro que aborda la crisis de los "derechos humanos" desde una perspectiva interdisciplinaria en la que se destacan el entrecruzamiento conceptual de las ópticas vinculadas al Derecho, Psicoanális, las Ciencias Sociales, la Filosofía y la Historia. Más importante aún, Derechos y reveses de lo humnao demuestra la potencia del pensamiento teórico para comprender los problemas del mundo contemporáneo"--Page 4 of cover. (shrink)