This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

Eduardo Arroyo, Armelle Auris, François Boissonnet, Paul HENRY, Pierre-Jean LABARRIERE, MATIEU, Gilles AILLAUD, Gérad THALMANN, Nicole MATHIEU, Jacques VIMARD, Michel QUAREZ, Leonardo CREMONINI, L'atelier d'Eduardo Arryo: Le carré blanc du ring, Rue Descartes, No. 7, Logiques de l'éthique (Juin 1993), pp. 149-168.

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

Until now, North American and European philosophies have been engaged in debates about the possibility of a postmetaphysical philosophy and the consequences of the linguistic turn for the assessment of modernity; they have done so, however, without departing from the narrow horizons of their respective nationalistic perspectives. In this incisive critique, Dussel demonstrates how most of thse philosophies have either failed to give historically faithful analyses of the genesis of the "myth" of modernity, or have never engaged in a serious (...) questioning of their own Eurocentric presuppositions. He shows how North American and European philosophers have presupposed a no-longer-acceptable philosophy of history that has led them to fall into a "developmental fallacy," the belief that there is a linear sequence that moves from the premodern, underdeveloped, or on the way to industrialization, to the modern, developed, and industrialized. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

A través del presente ejercicio investigativo y hermenéutico se busca proponer la beneficencia como principio articulador entre la Teología Moral de la Persona, la Bioética y las Prácticas Biomédicas, con el fin de salvaguardar al ser humano de forma integral y desde el ámbito interdisciplinar, frente a la manipulación y menoscabo de la persona en su: dignidad, status antropológico, verdad ontológica y trascendente, lo cual nos lleva a proponer alternativas, dadas las nuevas circunstancias por las que atraviesa la humanidad; y (...) es aquí donde adquiere resonancia proponer la Beneficencia como principio articulador entre estas tres ciencias, dado que ella, como principio, está en los tres saberes de forma implícita y explícita y, las cuales, por su misma esencia, tienen puntos de convergencia como son: la determinación de su carácter moral, su estatuto de servicio, la salvaguarda de la riqueza de la vida, el reconocimiento y respeto por la dignidad humana, el reconocimiento de la multidimensionalidad del ser, y el cuidado que requiere toda persona humana en su fragilidad y vulnerabilidad. Además de lo anterior se cuenta con un abordaje teórico sobre la bioética como saber interdisciplinar; los principios de la bioética y la relación de la teología moral de la persona con la bioética. El presente ejercicio investigativo fue llevado a cabo en un lapso de dos años. (shrink)

El inteligente hombre Sin lugar a dudas el más extraordinario descubrimiento que ha hecho el hombre, de lo que de por sí le es innato, es la inteligencia. Una que empezó a ser humana cuando nuestros antepasados decidieron bajar de los árboles y, algún día, ya nutridos de raíces y de frutos secos con un alto valor proteínico, observaron que el palo y la piedra que llevaban en sus manos y a los que habían recurrido para defenderse, al darles unos (...) golpes con destreza, soltaban unos pequeños trozos que, a la vez, creaban unas aristas que los convertían en instrumentos de primerísima categoría para, por ejemplo, ‘crear’ el fuego, carnear los animales cazados, atemorizarlos hasta el punto de poder domesticarlos y cultivar las plantas; creando a su alrededor un hábitat distinto al que la naturaleza les ofrecía. No había que salir a buscar el alimento todos los días recorriendo grandes distancias y exponiéndose a los peligros implícitos en esas actividades; podían valerse de los animales y plantas de la ‘granja, dejando tiempo para el ocio, el entretenimiento, el compartir con los demás integrantes del clan, amar a sus mujeres, educar a sus hijos y cultivar el arte de dejar plasmados en las paredes sus hazañas, sueños, esperanzas y temores. Todo eso gracias a su inteligencia. (shrink)

This volume collects a number of important and revealing interviews with Richard Rorty, spanning more than two decades of his public intellectual commentary, engagement, and criticism. In colloquial language, Rorty discusses the relevance and nonrelevance of philosophy to American political and public life. The collection also provides a candid set of insights into Rorty's political beliefs and his commitment to the labor and union traditions in this country. Finally, the interviews reveal Rorty to be a deeply engaged social thinker and (...) observer. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

This important new volume brings together Habermas' key writing on religion and religious belief. Habermas explores the relations between Christian and Jewish thought, on the one hand, and the Western philosophical tradition on the other. In so doing, he examines a range of important figures, including Benjamin, Heidegger, Johann Baptist Metz and Gershom Scholem. In a new introduction written especially for this volume, Eduardo Mendieta places Habermas' engagement with religion in the context of his work as a whole. Mendieta (...) also discusses Habermas' writings in relation to Jewish Messianism and the Frankfurt School, showing how the essays in Religion and Rationality, one of which is translated into English for the first time, foreground an important, yet often neglected, dimension of critical theory. The volume concludes with an original extended interview, also in English for the first time, in which Habermas develops his current views on religion in modern society. This book will be of great interest to students and scholars in theology, religious studies and philosophy, as well as to all those already familiar with Habermas' work. (shrink)

info:eu-repo/semantics/publishedVersion.

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

María Pía Lara's two books, La Democracia como proyecto de identidad ética and Moral Textures: Feminist Narratives in the Public Sphere are described and analyzed. Her contribution to a feminist left-Habermasian theory of the relationship between the aesthetic dimension and the political imaginary are discussed. Questions and concerns, however, are raised regarding the assumptions of universal pragmatics and Lara's attempt to offer a positive reading of the dependence of the political imaginary on literary acts and genres.

El artículo busca dilucidar algunas características del epistolario en tanto que fuente historiográfica y encontrar claves de comparación con la autobiografía. Con importantes aspectos en común, sus propósitos, sus sesgos y la posición subjetiva de sus autores evidencian importantes diferencias. A partir de esta problemática, se analizará la correspondencia sostenida por Max Weber desde el servicio militar durante la Gran Guerra. En un período en el que no tiene intervención pública alguna, el análisis se centra en la evolución de su (...) perspectiva sobre el papel de Alemania y sobre su actividad específica en los lazaretos. Cada uno de estos aspectos se relaciona respectivamente con dos piedras angulares de la obra weberiana: el problema nacional y el proceso de burocratización. (shrink)

This paper deals with the ways in which jurists and law professors applied transnational systems of public law, in particular US constitutionalism and French droit administratif, in their approaches to the state building process in late nineteenth century Argentina. In covering these movements of adaptation of a nascent legal culture to changing ideological and political circumstances, this article attempts to illuminate the strong links between the process of institutionalization of certain academic disciplines or forms of social knowledge, and modern state (...) building in Latin America. (shrink)

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...) *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence. (shrink)

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

Entrevista com o Prof. Eduardo Jardim, Revisor técnico da edição brasileira de "Pensar sem corrimão", mais recente livro de Hannah Arendt no Brasil.

We study the algebraizability of the logics constructed using literal-paraconsistent and literal-paracomplete matrices described by Lewin and Mikenberg in [11], proving that they are all algebraizable in the sense of Blok and Pigozzi in [3] but not finitely algebraizable. A characterization of the finitely algebraizable logics defined by LPP-matrices is given.We also make an algebraic study of the equivalent algebraic semantics of the logics associated to the matrices ℳ32,2, ℳ32,1, ℳ31,1, ℳ31,3, and ℳ4 appearing in [11] proving that they are (...) not varieties and finding the free algebra over one generator. (shrink)

El autor presenta la democracia como un concepto y espacio complejo, que precisa definición, y que nos exige dar la cara a sus dificultades –fragilidad, pluralidad de pensamientos, exigencia del respeto, amenaza del dogmatismo, entre otros. Luego la vincula a la educación, para preguntarse cómo la educación podría ser democrática; y postula que en la educación es importante adquirir el amor a vencer las dificultades reales.

O artigo busca abordar o pensamento de Auerbach quanto ao romance do século XX, especificamente o que ele chama de romance realista. Realismo, representação, historicismo são alguns dos conceitos-chave para a compreensão do pensamento auerbachiano e cuja apresentação serve como abertura do artigo. A seguir há uma investigação das características do romance entreguerras tal como Auerbach o pensa. Finalmente faço a relação entre o projeto filológico e o tratamento que o filólogo dá ao romance do século XX.

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Con el objeto de dar cuenta de la dinámica del derecho, Alchourrón y Bulygin distinguen los conceptos de sistema jurídico y de orden jurídico. El primero hace referencia a un conjunto de enunciados que contiene todas sus consecuencias deductivas, entre las cuales hay normas cuyo contenido son actos coactivos. Se trata de una entidad estática. El orden jurídico, por su parte, es concebido como una secuencia de sistemas jurídicos enlazados por algún criterio de legalidad o validez, y conserva su identidad (...) a través de los cambios producidos por la sanción o derogación de normas. Es mi propósito presentar argumentos tendientes a sostener que la noción de orden jurídico no es adecuada para los fines que se propone y, además, su postulación, con el sentido que le atribuyen los autores, resulta innecesaria. Aiming to account for the dynamic nature of law, the Argentinian philosophers Carlos Alchourrón and Eugenio Bulygin discriminate the concepts of legal system and legal order. The first makes reference to a set of statements that includes all their deductive consequences, among which there are norms that prescribe coercive acts. It is a static entity. legal order, on the other hand, is conceived as a sequence of legal systems connected by some criterion of legal validity and keeps its identity through the changes produced by the passing or abrogation of laws. The aim of this paper is to present arguments leading to support that the notion of legal order is inadequate for its declared purpose and, furthermore, its conception, with the meaning the authors assign to it, is unnecessary. (shrink)

El objeto principal de este trabajo consiste en discutir una propuesta de C. Alchourrón y A. Martino para hacer frente al problema de la fundamentación de la lógica deóntica, planteado por el dilema de Jørgensen. La propuesta criticada se basa en la idea de que no existe obstáculo alguno en compatibilizar la idea de que las normas carecen de valor de verdad con la idea de que poseen una lógica, una vez que se renuncia al "prejuicio filosófico" de que es (...) indispensable caracterizar semánticamente las relaciones y propiedades lógicas y se explica la lógica a partir de la noción abstracta de consecuencia, desligándola de las nociones de verdad y falsedad. Sostienen que el significado de los operadores deónticos, al igual que el de los términos lógicos en la deducción natural, puede quedar totalmente expresado una vez que se explicita su uso mediante reglas de introducción y eliminación. Para ilustrar su propuesta, pretenden ofrecer una fundamentación puramente sintáctica de la lógica deóntica standard. Mis críticas se centran en tres puntos: a) no utilizan auténticas reglas de introducción para los operadores deónticos; b) no derivan la lógica deóntica standard como pretenden haber hecho, y c) no se establecen criterios para relacionar las fórmulas del cálculo con el lenguaje normativo ordinario, con lo que no existen razones para considerar que se trata de una lógica deóntica. Defiendo la idea de que, a los fines de fundamentar semánticamente la lógica deóntica, sólo es necesario que existan interpretaciones admisibles que atribuyan valores de verdad a las normas, y que este requisito es cumplido por la semántica usual de la lógica deóntica standard, con lo que el dilema de Jørgensen resulta ser un seudoproblema. In this paper I discuss a proposal from C. Alchourrón and A. Martino with which they try to face the problem posed to the foundation of deontic logic by Jørgensen' s dilemma. Their proposal is based on the idea that there is no problem at all in compatibilizing the fact that norms lack truth values with their possession of a logic, once it is denied that it is absolutely necessary to offer a semantic characterization of logical properties and relations, and the abstract notion of consequence is taken as primitive. They claim that the meaning of deontic operators, like that of logical terms in natural deduction, is completely expressed through their use, which is explained by means of rules of introduction and elimination. As an illustration, they present a calculus with which they intend to offer a foundation for standard deontic logic. I make three objections: a) They don' t use real rules of introduction for deontic operators; b) They don' t have derived standard deontic logic as they claim; c) There are no criteria for relating the formulas with ordinary normative discourse; so there are no reasons for considering their calculus as a deontic logic. I claim that, in order to give a semantical foundation to deontic logic it is only necessary that there are admissible interpretations that assign truth values to norms, and that this requisite is satisfied by the usual semantic of standard deontic logic. I conclude that Jørgensen' s dilemma is a pseudoproblem. (shrink)

El artículo con el título “Acerca de los progymnasmata” firmado con el nombre de Diony González Rendón fue publicado en la revista Escritos, vol. 16, No. 36 (enero-junio de 2008), pp. 260-282. Después de su publicación el día 10 de 0ctubre de 2012, el profesor Jose Antonio Fernández Delgado comunicó a la jefatura de la editorial UPB que este artículo era de su autoría y consideraba que era un plagio. En consecuencia, el profesor Delgado procedió a adjuntar las evidencias necesarias (...) para determinar que se ha había incurrido en un plagio por parte del señor Diony Gonzalez, de la obra titulada: “Influencia literaria de los progymnásmata” publicado en el libro J. A. Fernández Delgado, F. Pordomingo & A. Stramaglia (Eds.), Escuela y literatura en Grecia Antigua, Cassino 2007, pp. 273-306, libro que recoge los trabajos presentados en el simposio internacional que tuvo lugar en la Universidad de Salamanca del 17 al 19 de noviembre de 2004. Dicho libro se terminó de imprimir en mayo de 2007, según consta en sus datos de copy rightajun. (shrink)