We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

La semiótica del arte es un campo de estudio que implica, más allá de los análisis formales, la revisión de aspectos y operaciones semióticas que solo son comprensibles desde un modelo tríadico. En este sentido, este texto examina las implicaciones del pensamiento de Charles Sanders Peirce en la semiótica del arte contemporáneo. Para eso, revisa sus principales aportes, presenta algunos de los estudios nucleares sobre la interpretación del arte desde la semiótica, y examina las nociones centrales de la teoría de (...) Peirce que constituyen aportes originales para una semiótica del arte contemporáneo. (shrink)

"¿Qué es el hombre, si el principal bien y el interés de su vida consistieran tan sólo en dormir y comer? Una bestia, nada más. Seguramente. Aquel que nos ha creado como una inteligencia tan vasta que abarca lo pasado y el porvenir no nos dio tal facultad y la divina razón para que se enmoheciera en nosotros por falta de uso".

The surplus of impulses is a key category in Gehlen’s anthropobiology to understand the process of hominisation and humanisation. From the dedifferentiation of human instincts and the primitivisation of man’s anatomy, to the role of experience, institutions, and speech, the surplus of impulses is a source that flows between the inner and the outer, by feeding the action circle that whether translates in activity or is redirected inwards in order to become a movement of volitional constitution. The ambivalence in which (...) Gehlen deals with this function of freedom gives rise to a pessimistic and sacrificial idea of man. However, he posits certain basic elements of a hedonistic theory of speech from which we can better understand the stabilizing task of language as cornerstone of institutions. (shrink)

This paper presents a critical reflection on insights into the ongoing endeavours for community engagement by Ayara and MAL; two urban grassroot organisations in Bogota, Colombia, where a long history of internal conflicts has resulted in diverse human right violations. The paper presents examples of the grassroots organisations’ unique methods of engagement that promotes building collective intelligence from the bottom–up through creative collaboration and design processes, leading to rebuilding social fabrics that support the common good for the people of Bogota.

En este artículo se pretende, a partir de la lectura de los textos literarios de Gabriel García Márquez, reconocer los elementos poéticos que se encuentran presentes de una manera peculiar y hondamente bella en su obra: la extrañeza, el pensamiento poético, la intensidad de sus imágenes, la exploración profunda de la vida, que son condiciones inherentes a la poesía, y que no solo están presentes en los distintos textos de múltiples escritores del realismo mágico Latinoamericano en general, sino de una (...) manera particular y “maravillosa” en los relatos de García Márquez. Tal vez por ello sean tan inolvidables en la memoria del cuerpo y de la inteligencia de sus lectores. (shrink)

El presente artículo pretende hacer una presentación de la filosofía de Peirce definida por él como idealismo objetivo, la puerta de entrada a esta definición de su filosofía está inscrita en la comprensión y funcionamiento de las tres categorías configuradoras de la realidad se hará un exposición de las tres categorías, haciendo un énfasis especial en la de terceridad, punto de quiebre de la definición del idealismo objetivo como un realismo escolástico.

: In this paper I will examine two conceptions of philosophy that were defended in Latin America during the last century. I believe that both models have to be put away and that we must build a new one, recovering elements of both of them. At the end of my paper I will consider very briefly what can we learn from this in order to construct a genuine philosophical dialogue between the United States and Latin America.

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

El rompecabezas de la divagación voluntaria plantea que la divagación mental intencional implica la contradicción de dos modos opuestos de pensamiento: dirigido y no-dirigido a un objetivo o tarea. Sin embargo, existe evidencia empírica que respalda los casos de divagación mental intencional. ¿Cómo es esto posible? En el presente trabajo abordaré dos teorías filosóficas de la divagación mental intencional: la teoría del meta-control y la teoría de la omisión intencional. Mi principal objetivo es analizar cómo podrían articularse para superar el (...) rompecabezas. Además, mostraré que tal articulación es una teoría fuerte, ya que propone una explicación promisoria a dos de los problemas más generales sobre el tema en la filosofía y las ciencias cognitivas: la agencia en la divagación mental intencional y la opacidad definicional del concepto de divagación mental. (shrink)

The well-known algebraic semantics and topological semantics for intuitionistic logic (Int) is here extended to Wansing's bi-intuitionistic logic (2Int). The logic 2Int is also characterised by a quasi-twist structure semantics, which leads to an alternative topological characterisation of 2Int. Later, notions of Fregean negation and of unilateralisation are proposed. The logic 2Int is extended with a ‘Fregean negation’ connective ∼, obtaining 2Int∼, and it is showed that the logic N4⋆ (an extension of Nelson's paraconsistent logic) results to be the unilateralisation (...) of 2Int∼ via ∼. The logic 2Int∼ is also characterised by a Kripke-style semantics, a twist structure semantics and a topological semantics. (shrink)

Se describen algunos personajes carrasquillescos y sus formas de pensamiento y expresión de acuerdo con sus diferentes entornos y relación con la palabra. Para hablar de los personajes orales, se hace referencia a ciertos prototipos como el campesino, el negro, el anciano, el niño y el contador de historias. Y en cuanto a los personajes letrados, se destacan algunos, como Magdalena Samudio, José Bermúdez, Beatriz Solsona y Bárbara Caballero, resaltando la figura del cura como el letrado del pueblo, y asociando (...) a Ligia Cruz y a Martín Gala con don Quijote por su relación participante con los libros. (shrink)

Un examen panorámico de la obra literaria de Pedro Gómez Valderrama sugiere una esporádica alusión al arte visual. Sin embargo, una revisión detenida de la misma permite ver que el escritor planteó en sus textos una auténtica mirada sobre el arte a partir de la relación historia-literatura. Este artículo presenta un análisis de uno de sus cuentos en el que se puede identificar claramente el tema artístico a través del uso de la ecfrasis literaria. Así, se hace referencia a la (...) pintura de Mazepa y a cómo el escritor juega con la ambigüedad mítica del personaje real, aprovechando el aspecto histórico, el carácter romántico de la obra pictórica y la construcción literaria. (shrink)

A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory (⁠|$\textsf{PTT} $|⁠). The rules for opposite types in |$\textsf{PTT} $| are based on the rules of the so-called constructible falsity. A propositions-as-types correspondence between the many-sorted paraconsistent logic |$\textsf{PL}_\textsf{S} $| (a many-sorted extension of López-Escobar’s refutability calculus presented in natural deduction format) and |$\textsf{PTT} $| is proven. Moreover, a translation of |$\textsf{PTT} $| into intuitionistic type theory is (...) presented and some properties of |$\textsf{PTT} $| are discussed. (shrink)

Este artículo identifica los principales antecedentes legislativos y jurisprudenciales de la evidencia digital en Colombia, con miras a detallar su tratamiento en el proceso judicial; así mismo, pretende evidenciar cómo opera la cláusula de exclusión, y de qué manera se protege el derecho a la intimidad, en la obtención de evidencia digital, desde distintos medios de almacenamiento. La metodología es cualitativa y se utilizó la técnica de la revisión documental y la entrevista a expertos, para mostrar una realidad respecto a (...) una problemática de valoración de las pruebas tecnológicas, en los casos de ilicitud, y brindar aportes para mejorar la comprensión y la dimensión de su práctica en el proceso judicial. La principal conclusión es que no se le puede negar eficacia y validez probatoria por estar en forma de bytes, siempre y cuando se pueda establecer la autenticidad del contenido y la correspondencia con el autor. (shrink)

La experi enci a hermenéut i ca t raduceuna vivencia para realizar un proceso deinvestigación que conlleva la formacióndel ser. La experiencia hermenéutica sevive mediante el proceso, la estructuray e l p r o c e d i mi e n t o . E l p r o c e s o s edesarrolla a través de los prejuicios, lareflexión, el análisis, la compresión, lainterpretación y la síntesis, los cualesinvaden el procedimiento y la estructura.El procedimiento contempla el problema,l a (...) hi pótesi s, l a hi stori a de conceptos,el estado en cuestión y el acopio de lainformación, todo ello con el objeto decrear una cosa, con vida propia; para ello,se procura conversar con las autoridades,llegar a un acuerdo en la unidad de sentidoy l egi t i marl a, mi ent ras es vi vi da porotros. Tanto el proceso y el procedimientose mueven en una est r uct ur a que semanifiesta en el círculo de la compresión,creciendo concéntricamente, mientras varelacionando el todo con sus partes enfusión de horizontes.The hermeneutic experience means ane xpe r i e nc e t o do a r e s e ar c h pr oc e s sthat involves formation of the self. Thehermeneutic experience is lived throughthe process, structure and procedure. Theprocess is developed through prejudice,r e f l e c t i o n , a n a l y s i s , c o mp r e s s i o n ,interpretation and synthesis, which cani nvade t he pr ocedur e and s t r uct ur e.The procedure addresses the problem,hypothesis, the history of concepts, thestate concerned and the recollection ofinformation, all with the aim of creatinga thing with its own life. To this end, onetries to talk with the authorities, reach anagreement on the unity of meaning andlegitimate it, while it is lived by others.Both the process and the procedure aremoving in a structure that is manifestedi n t he cycl e of compressi on, growi ngconcentrically, while is linking the wholeto its parts in fusion of horizons. (shrink)

Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure (...) hidden variables are also used, but in this case to represent the degree of true or falsehood of propositions. (shrink)

We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.

We review different studies of the Periodic Law and the set of chemical elements from a mathematical point of view. This discussion covers the first attempts made in the 19th century up to the present day. Mathematics employed to study the periodic system includes number theory, information theory, order theory, set theory and topology. Each theory used shows that it is possible to provide the Periodic Law with a mathematical structure. We also show that it is possible to study the (...) chemical elements taking advantage of their phenomenological properties, and that it is not always necessary to reduce the concept of chemical elements to the quantum atomic concept to be able to find interpretations for the Periodic Law. Finally, a connection is noted between the lengths of the periods of the Periodic Law and the philosophical Pythagorean doctrine. (shrink)

It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.

En el trabajo "El mérito ejecutivo de fa póliifi de seguro y sus implicaciones frente al proceso rjecutivo", se busca responder la siguiente preglli11ta problemática: ¿Cuáles son las condiciones y límites para que la póliza de seguro se constituya en fundamento para la satisfacción de un derecho cierto por vía del proceso ejecutivo? En el desarrollo del ensayo se considera que la póliza de seguro, en los términos dispuestos por el artículo 1053 del Código de Comercio, se constituye en un (...) evento especial por el que se posibilita la ejecución, aunque no se cumplan los requisitos consagrados en el artículo 488 del Código de Procedimiento Civil. En el trabajo se presenta un cuestionamiento crítico frente a la regulación existente sobre el carácter ejecutivo de la póliza de seguro. Se estudian las connotaciones especiales del artículo 1053 del Código de Comercio frente a la regla general de los títulos ejecutivos del artículo 488 del Código de Procedimiento Civil. Adicionalmente, se establecen parámetros para entender cuándo la aseguradora ha objetado de manera seria la reclam.ación, y acerca de los cómputos frente al plazo que se tiene para objetar. Se consideran las ventajas y deficiencias del proceso ejecutivo para.obtener la satisfacción del derecho del asegurado o beneficiario en los eventos del artículo 1053 del Código de Comercio. De otro lado, se analizan las implicaciones surgidas del silencio de los aseguradores que dentro del plazo legal no objetan las reclamaciones realizadas. Finalmente, se delimitan los problemas que surgen en el proceso de ejecución, desde un perfil teórico procesal, teniendo en cuenta el postulado constitucional del debido proceso. (shrink)

El recurso de amparo en España es la principal garantía jurisdiccional para la protección dederechos definidos como fundamentales por la Constitución frente a actos concretos de las autoridades públicas y secundariamente de particulares. En este estudio se reflexiona sobre el referido mecanismo de tutela reforzada y privilegiada existente en el país europeo. El amparo constitucional es una garantía que sólo es posible considerar frente a aquellos derechos que en España se comprenden como fundamentales, no incluyendo numerosos derechos constitucionales o derechos (...) humanos que no se ajustan a la referida categoría conceptual.El Tribunal Constitucional se constituye en la sede básica para la resolución del amparo considerado como un recurso extraordinario, excepcional y subsidiario de protección de derechos fundamentales. Aunque sus sentencias de amparo resuelven casos concretos, sus motivaciones o consideraciones contienen parámetros para la interpretación de los referidos derechos, vinculando los poderes públicos frente a un razonamiento que pasa a tener un valor erga omnes.En este ensayo se busca contribuir, en cuanto a derecho comparado, en el estudio de las vecindades y diferencias del amparo con la acción de tutela en el caso colombiano. (shrink)

Resumen Describo tres caminos de personalización: el de la autenticidad, el del reconocimiento y el de la compenetración. En cada uno de ellos se corre el riesgo de caer en “vértigos existenciales” como los descritos por Sören Kierkegaard y Carlos Pereda. Con base en lo anterior, ofrezco una interpretación de la película de Ingmar Bergman Persona y propongo algunas estrategias para el cuidado de la persona.I distinguish between three paths of becoming a person: the path of authenticity, the path of (...) recognition, and the path of deep empathy. In each there is a risk of falling into ‘existential vertigoes’ as the ones described by Sören Kierkegaard and Carlos Pereda. Based on this, I provide an interpretation of Ingmar Bergman’s film Persona and suggest some measures for a person’s self-care. (shrink)