This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs (...) equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs (...) equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Desde 1935 Ortega anunció la publicación de un libro con el título de El hombre y la gente contendría su doctrina sociológica, pero sólo se publicó en 1957 y como la primera de sus obras póstumas. Esta nueva edición incluye el texto, inédito hasta la fecha, de la conferencia pronunciada por Ortega en 1934 a la que había dado el título que hoy lleva este libro, y en la que por primera vez expuso públicamente su idea de los " usos (...) " como realidad constitutiva del hecho social. Por otra parte, el texto va revisado y cotejado conforme a los originales. (shrink)

La Filosofía del Derecho contemporánea plantea retos importantes, que según Carla Faralli se sistematizan en dos. Por una parte, la apertura a los hechos; y por otra a los valores políticos y éticos. La tradicional conversación del iusnaturalismo con positivismo y el realismo jurídico parece haber sido superada, especialmente después de la obra de Hart. Y en este periodo, lo cierto es que las consecuencias del realismo jurídico han derivado en modos de proponer el concepto, aplicación e interpretación del Derecho, (...) mas ajustados con la realidad. En este sentido, la apertura a la economía, protagonizada por el análisis económico del Derecho; la critica abierta al análisis económico llevada a cabo por el movimiento Critical legal Studies; y las argumentaciones de Derecho y Literatura ofrecen alternativas importantes, que se analizan en este articulo. (shrink)

En este artículo tratamos sobre los aspectos empíricos y conceptuales en la Genética Mendeliana y analizamos los vínculos entre ellos. Primero discutimos las ventajas de una representación gráfica de las teorías empíricas; luego pormenorizamos la estructura conceptual de la genécica; en seguida, esquematizamos su protocolo experimental, a continuación destacamos los engarces entre ambas representaciones y, por último, proporcionamos una caracterización holista de la práctica genética, donde el representar y el intervenir se encucntran entremezclados.In this article we deal with the conceptual (...) and empirical features of Mendelian Genetics, and analyze the links between them. First we discuss the challenges of portraying empirical theories as graphical representations. We then give a detailed account of the conceptual structure underlying Mendelian Genetics, followed by a schematization of the experimental protocol involved in this line of research. Links between both representations are highlighted. Finally, we provide a holistic characterization of Mendelian practice, where representing and intervening are intertwined. (shrink)

El 30 de julio de 1916 se eligieron los representantes para la Convención encargada de elaborar la segunda constitución uruguaya que fijó las reglas de la naciente democracia. En esta elección se utilizaron por primera vez el voto secreto y una versión inédita de representación proporcional. Para explicar por qué se usaron esas reglas y no otras, se utiliza la teoría de los órdenes sociales de Emanuel Adler. Las nuevas reglas recogen en el plano institucional la evolución cognitiva de caudillos (...) y doctores, los protagonistas centrales de la comunidad de práctica democrática uruguaya. Los caudillos fueron aprendiendo en la práctica, por ensayo y error, a competir por el poder pero también a pactar. Los doctores, a partir de esas prácticas pero también de las teorías que circulaban en la época, aportaron el conocimiento reflexivo que recogieron las nuevas normas. De todos modos, no es posible comprender la trayectoria doméstica sin tomar en cuenta la influencia de procesos exógenos. La Convención de Buenos Aires y la Ley Sáenz-Peña tuvieron un impacto profundo en Uruguay. (shrink)

El filósofo español José Ortega y Gasset y su traductora al alemán Helene Weyl intercambiaron correspondencia entre los años 1923 y 1946. José Ortega y Gasset y Helene Weyl formaron parte de dos grandes comunidades de intelectuales europeos: Ortega, representante de la filosofía académica en España y Helene Weyl, representante de una intelectualidad vivida más allá de cualquier corsé academicista. Su correspondencia documenta el desarrollo de dos grandes espíritus europeos así como la singular intersección de estos dos mundos y culturas (...) a través de un momento histórico difícil y turbulento del siglo XX. (shrink)

Se ha tratado de desprestigiar al postmodernismo y no se ha valorado su gran contribución a la cultura universal. El postmodernismo empieza a desarrollarse cuando el ser humano se da cuenta que no tan solo sus órganos de los sentidos pueden engañarlo, sino que también su intelecto, razón y sus facultades superiores más preciadas. Las caídas del positivismo y del racionalismo le abrieron la puerta, apoyado por la insuficiencia de la ciencia y la filosofía para entender el universo. La nomología (...) (legalidad) ha tenido que resignarse frente a la ideografía (procesos irrepetibles e irreversibles) para entender el desarrollo universal. La antinomia del mentiroso, el teorema de Gödel, los procesos caóticos, la impredecibilidad, la incertidumbre, son parte de sus elementos sustantivos. El postmodernismo ha condenado a los ideologismos nomológicos o raciales que terminaron en las masacres de la Revolución Francesa, el Nazismo y las dos Guerras Mundiales, entre otros. (shrink)

La Meditación de la técnica contiene las reflexiones de José Ortega y Gasset sobre un fenómeno de invasora presencia en el mundo contemporáneo. Trata, en suma, de inscribir el hecho de la técnica en el marco de una antropología filosófica, fundada en el sistema orteguiano, para así contribuir a la comprensión del momento histórico contemporáneo. El volumen incluye, además del curso ¿Qué es la técnica?, desarrollado en 1933 en la Universidad de Santander, otros textos afines: la conferencia El mito del (...) hombre allende a la técnica pronuncida en Darmstadt y varios ensayos sobre el conocimiento científico, que prueban la permanente atención que Ortega prestó a las novedades de la ciencia contemporánea. En esta nueva edición el texto se ha revisado y corregido conforme a los manuscritos originales o las primeras ediciones. La principal novedad es una Introducción al curso ¿Qué es la técnica?, sólo editada póstumamente. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

6 volumenes: 1. Meditaciones del Quijote, I. 3a ed. 2. Personas, obras, cosas. 2a ed. 3. España invertebrada. 4-6. El espectador. t. 1-3. 2a ed.

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

Este libro va dirigido esencialmente a los estudios de Postgrado de las Facultades de Filosofía de la UNED y de la UAM, en primer lugar, y de las universidades españolas e iberoamericanas en general. Pero sin duda interesará a cualquier persona que quiera estar al tanto del pensamiento filosófico actual. Es decir, de las Ideas propias de nuestro tiempo-espacio del pensar y de su diferencia histórica y mediática. La cuestión de la Filosofía de la Historia y la Historia Universal puesta (...) en cuestión, están en el centro de las investigaciones que se van hilvanando cronológicamente en estos dos libros dedicados al pensamiento y la intervención de Los hijos y las hijas de Nietzsche. Ya que estos dos libros: Materiales de Ontología Estética y Hermenéutica (Los hijos de Nietzsche I) y El retorno teológico-político de la inocencia (Los Hijos de Nietzsche II) tratan precisamente de eso: de dar cuenta de cómo y por qué se ha producido ese giro transhistórico: el que va, por así decirlo (y lo significativo es que se pueda decir así) desde la Dialéctica de La Historia Universal –Y la lógica de la Emancipación y Superación que la preside – hasta la Hermenéutica de la Historicidad Plural –y la lógica de la comprensión e interpretación dialogal que la constituye –, en busca de nexos o de acuerdos posibles entre las diferencias enlazadas. La percepción sincrónica y sus regímenes de enlace y sentido, como sobredeterminación condicional de los universos diacrónicos y cinéticos está en el centro operacional y corazón noético de todos estos escritos. Pues no otro sino el predominio condicionante de la sincronía sobre la diacronía expresa el giro esencial de nuestra época, en medio de las sociedades telemáticas de la comunicación. Estos trabajos que se entregan al lector, ya de escritura, ya de recreación audiovisual de la palabra, son solamente eso: materiales para una ontología estética y hermenéutica, del espacio y el tiempo, del acontecer del lenguaje del ser, en el que todos nosotros nos jugamos la vida–muerte que se construye entre todos; que cada cual puede construir a su manera para que podamos jugar juntos, con tal de respetar una sola regla: la ley del límite limitante que es condición del juego ontológico mismo y de su hermosa, inagotable, intensa, creatividad. Comprender que este desafío nos reclama hacia un nuevo pensar, viniendo desde la apelación de la propia voz del ser del tiempo, tal y como se vierte en las obras y en la experiencia del lenguaje de las acciones participativas extáticas, proporciona a la ontología estética (del espacio y el tiempo) y la ontología política (de la ley común) un complejo e inaplazable enclave: el de la ontología de nuestro propio presente, hoy todavía por emerger, y sometida a brutales fuerzas ilimitadas. (shrink)

En este trabajo analizamos una de las propuestas recientes que defienden modificaciones metodológicas en la evaluación de riesgos respecto a los estándares de prueba: el enfoque basado en el peso de las pruebas. Este enfoque puede interpretarse como un caso de ciencia precautoria en la investigación sobre riesgos. Esto es, se trata de una metodología que pretende proporcionar resultados más protectores de la salud pública y del entorno que las metodologías usuales en la evaluación de riesgos. Sin embargo, existe la (...) posibilidad de que quienes se muestran en contra de la regulación de ciertas aplicaciones tecnológicas introduzcan artificialmente incertidumbre en el cuerpo de la evidencia. En consecuencia, la metodologia del peso de las pruebas no conduce de manera automática a una mayor protección de la salud pública y del ambiente. Por ello es necesario analizar cada innovación valorando los posibles riesgos y los posibles beneficios sociales, y decidir en cada caso cuál de las dos posibilidades, la subregulación o la sobrerregulación, es más aceptable. El conocimiento científico es un elemento necesario para llevar a cabo esta valoración, pero no la determina.This paper analyzes one recent proposal for modifying the metodologies used in risk assessment: the Weight-Of-Evidence approach. This approach is an example of precautionary science in risk research, i.e. a methodology which aims at a better protection of human health and the environment. However, some groups opposed to the regulation of certain technologies have started artificially introducing uncertainties into the body of evidence. This means that the WOE approach does not automatically lead to a higher level of health or environmental protection. It is therefore necessary to analyze each innovation on a case-by-case basis in order to evaluateits risks and benefits, and decide if to accept lower or, on the contrary, higher standards for its regulation. Scientific knowledge is a necessary element in this assessment, but not the decisive one. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

El presente artículo se propone evaluar los posibles aportes de la deconstrucción a la filosofía de la ciencia. Esta tarea aparece enfrentada con cierta visión de la deconstrucción como charlatanería, discurso vacío o escepticismo. Se lleva a cabo una revisión de las implicaciones filosóficas de la deconstrucción con el objetivo de elaborar una definición de la misma y elucidar la posición que ella tiene respecto del conocimiento científico. Dicha revisión revela que se la debe entender como una práctica contextualista y (...) crítica. Es una práctica porque aparece como un acto y no bajo la unidad de una teoría. Es contextualista porque no tiene contenido ni forma, sólo el mandato de leer y explorar contextos. Es crítica porque pretende desarmar la violencia contra la alteridad presente en toda ontología. Se establece que la deconstrucción puede aportar un abordaje estratégico capaz de relacionar y poner en tensión cada una de las instancias del trabajo científico. Esta aproximación problematiza las nociones clásicas de tiempo y espacio, cuestionando la perspectiva antropocentrista en pos de una defensa de lo que Derrida denomina alteridad. ARK: ark:/s18537960/rxmvh:/e8. (shrink)

"El amor en su singularidad erótica es tratado en esta obra desde el auspicio de la poesía y la filosofía, las cuales nos llevan de la mano a los desolados parajes del mundo biológico-psíquico para retener aquello de lo que "no se puede decir nada". Aun así, no es éste un intento de explicar fenomenológicamente el amor, sino una modesta evocación de los momentos y comportamientos humanos en su tránsito hacia el Eros y la experiencia que de ellos se ha (...) obtenido."-- Cubierta trasera. (shrink)

In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...) axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. (shrink)