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

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)

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)

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.

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.

Después de algunas décadas de desarrollo teórico del feminismo, el mismo perfil de la filosofía se ha transformado con la inteoducción de temas y conceptos novedosos como la perspectiva de género. Los profesores de la Facultad de Filosofía de la Universidad Michoacana de San Nicolás de Hidalgo (UMSNH) (y las destacadas invitadas que colaboran en este libro), sensibles a los avances y al despliegue de las categorías culturales que las reflexiones feministas aportan al mundo contemporáneo, se dan a la tarea (...) de describir algunos fenómenos y analizar el impacto que la teoría feminista ha tenido en los diferentes ámbitos del saber filosófico, sin menoscabo de su propia identidad de género. La confluencia entre las reflexiones feministas y los procesos de reflexión sobre la cultura, y a percibir la relación que éstos tienen con los procesos de identidad y diferenciación de género. La teoría feminista ha resultado ser así un recurso teórico de inapreciable valor en el intento de comprención general de la cultura.Tres secciones articulan este libro: Mitos y Logos de lo femenino, Reflexiones metodológicas sobre Teoría Feminista y Filosofía, y Filosofía de la Cultura y diferencia sexual. La amplitud y diversidad de temas que los integran no muestra la dimensión del espectro de conocimiento que se abre ante los perplejos ojos del filósofo contemporáneo que busca dotar a su actividad de la dignidad que el feminismo ha recuperado para el mundo plenamente humano. Si bien en otros campos de la filosofía ha resultado posible (con toda su cuestionabilidad) hacer abstracción de los hechos de la diferencia sexual, en este campo de análisis tal omisión resulta imposible, como lo muestan los trabajos integrados aquí. Y salvo que el sesgo de la neutralidad obnubile la claridad intelectual, es evidente que este proceso debería ser necesario en todo intento de reflexión sobre el mundo. (shrink)

Die vorliegende Arbeit bemüht sich, die Unvereinbarkeit von Selbstbewußtsein und Theorie zu erweisen. In Auseinandersetzung mit einschlägigen Positionen der Philosophie des Selbstbewußtseins - insbesondere derjenigen Ernst Tugendhats in ,,Selbstbewußtsein und Selbstbestimmung" sowie einiger klassischer Autoren - arbeitet sie dazu zunächst einen gemeinsamen Mangel dieser Positionen heraus, nämlich ihre Unterschlagung des konkreten Individuums. In Anwendung dieses Resultates wird sodann unter der Leitfrage nach dem anschaulichen Gegenstand des Kapitels zu Herr und Knecht in Hegels ,,Phänomenologie des Geistes" eine Interpretation dieses Textabschnittes versucht. (...) Mit ihr soll zur Klärung der Streitfrage nach der Anzahl Personen in diesem Kapitel beigetragen werden, indem die Frage als falsch gestellt erwiesen wird: die Differenzierbarkeit einzelner Individuen und damit deren Abzählbarkeit ist Ergebnis dieses Kapitels und kann folglich noch nicht im Lauf des Textes selbst erkennbar werden. (shrink)

Manuel Herrera Gómez es Profesor Titular de Sociología de la Universidad de Granada (1998). Sus publicaciones más recientes son Las políticas sociales en las sociedades complejas (2003), Sociedades complejas (2004), Metateoría de las Ciencias Sociales (2005), La cultura de la sociedad en Talcott Parsons (2005) y Teorías y métodos de planificación social (2005). También ha coordinado las obras Administración Pública y Estado de Bienestar (2004) y Teorías sociológicas de la acción (2005). En las últimas décadas se ha desarrollado un intenso (...) debate que contrapone a los defensores de un modelo liberal de sociedad y a los que apuestan por un modelo comunitario. Bajo el manto liberal se engloban todas aquellas teorías políticas cuyo objetivo es buscar procedimientos, universalmente compartidos, de agregación de los intereses individuales. Por su parte, en el bando comunitarista, nos encontramos aquellos planteamientos -cuyo denominador común es una crítica a toda visión puramente procedimentalista de la filosofía pública-, que consideran que sólo se posee una comunidad política cuando se recurre a un patrimonio común de contenidos, valores y tradiciones, en el que todos los miembros de la comunidad se sienten radicados. En esta obra se presenta un análisis detallado de los protagonistas y de las etapas de este debate, proponiendo como conclusión un modelo de sociedad que pretende dar respuesta tanto a las instancias radicadas en el modelo procedimental como a las presentes en el modelo comunitario. (shrink)

Se trata de una obra en la que se hace una delimitación de los diversos tipos de “contenido” del lenguaje. En esta delimitación radica la base diferencial entre una lingüística de la lengua y una lingüística del hablar.

Exposición de algunas teorías de la auto-organización en el paradigma de la orden a través del desorden. Se analizan las crisis y las catastrofes por su valor auto-organizador en la formación de comportamientos colectivos.

El libro intenta responder a la pregunta: ¿qué relación existe entre las representaciones de la alteridad, de lo ético y del sentido de la existencia? Apoyándose en una arqueología del modo de representación de la alteridad que estructura el pensamiento colonial y postcolonial en América desde el propio “descubrimiento”, este libro se propone mostrar la importancia central de la experiencia del estar-con-el-otro para la definición de una ética universalista. En el desarrollo de este programa, que reúne análisis histórico y reflexión (...) crítica, se busca al mismo tiempo abrir nuevas perspectivas para una mejor comprensión de los hechos ocurridos en torno a 1492. (shrink)

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.

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)

Sayings on Hinduism by a Hindu philosopher-saint from Kerala, India.

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)

Contains proceedings presented at the II Congreso de la Sociedad Académica de Filosofía, held at Santiago de Compostela, on February,10-12, 2005.