From the information previously available, the Triclinian edition of Theocritus, known through the manuscripts Paris, BNF gr. 2832 and Vaticano, BAV gr. 1825 + 1824, was believed to end with the Syrinx and the Ara Dosiadae. Thanks to the discovery of a folio of the MS. Vaticano, BAV gr. 1824 in the Bodleian Library in Oxford, we now know that it continued with at least the Ara Ionica and the Securis, both with Holobolus's scholia. Folio 144 of the MS. Oxford, (...) BL D'Orville 71 thus now constitutes a prime witness of these scholia. (shrink)

The emigrant Byzantine humanist Theodorus Gaza (c. 1400 -1475) is well known as a teacher of Greek in various Italian cities, as a copyist of Greek manuscripts, and as a translator of Greek philosophical works into Latin. His undertakings as a translator of Latin works into Greek, among which his version of Cicero’s De senectute deserves mention, have gone relatively unnoticed. In this article we rediscover a largely forgotten translation of Cic. Fam. 1.1, despite it having been printed independently twice (...) (Paris 1542 and 1548) and having been included as an example of translation in the oft reprinted manual of rhetorical exercises, Elementa rhetoricae (first printed in Basel in 1541), by the Lutheran Joachim Camerarius. (shrink)

Background:The high level of satisfaction of users of a health service is largely due to the fact that they receive excellent care from healthcare professionals. Compassionate care is an essential...

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)

KOINONIA/ASETT MINGA/MUTIRÃO DE REVISTAS DE TEOLOGIA LATINO-AMERICANAS Teología de la Liberación y movimiento ecuménico: breve reflexión desde una práctica (Liberation Theology and ecumenical movement: a brief reflection from praxis).

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Entre las teorías de Thomas Hobbes y Baruch de Spinoza hay destacadas coincidencias y también importantes diferencias. Inician y revelan cambios en la teoría y la práctica políticas que ocurren en corto espacio de tiempo pero que son decisivos. Antecesores del positivismo, ambos compartieron bases ontológicas y metodológicas, lo que suele interpretarse, por razones cronológicas, como una influencia de Hobbes en Spinoza. Las diferencias entre ambos versan sobre el sentido de la religión en relación con su papel en la política; (...) las relaciones entre la revelación divina, la ley y la razón naturales y el orden moral; el iusnaturalismo como fundamento del sistema jurídico-político; el sentido y contenido del contrato social como fundamento de la obligación civil. Todas estas divergencias conducen a la más importante de todas, y es que Hobbes se enroca en un absolutismo que desconoce los derechos de la conciencia, mientras que Spinoza se erige en defensor del fuero interno. (shrink)

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

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.

Este ensayo trata de un tema esencial en el surgimiento de la conciencia moderna: la cuestión litigiosa entre la libertad y la gracia, en «La controversia entre Erasmo y Lutero acerca del libre albedrío», —asunto poco estudiado pese a su alcance en la historia de las ideas religiosas y morales—. Analiza con detalle la tensión entre el humanismo moderno y la religión reformada, y la desarrolla en los diversos planos implicados en la misma: en la metafísica, el conflicto entre predestinación (...) y libertad; en teología, la relación entre razón y fe, en antropología, la oposición entre la carne y el espíritu, y en moral, el problema del mal y la liberación de la servidumbre. Sostiene, además, como conclusión, que la recta comprensión de esta controversia y su superación constituye la médula del humanismo cristiano, tal como se acuñó en el Renacimiento. (shrink)

La Guerra Civil fue una experiencia decisiva en la evolución del pensamiento de María Zambrano. Entendida y vivida como una tragedia cuyo sujeto es el pueblo, personificación de lo más elemental de la condición humana en su lucha contra el fascismo, esa experiencia abolió cualquier razón en clave idealista y reductora de la vida. En su lugar y en diálogo íntimo con la poesía de Antonio Machado, Zambrano elaborará una razón amorosa que retoma su reflexión anterior a la guerra y (...) la proyecta hacia una razón poética que, ya en el exilio y ante la imposibilidad de una redención de la tragedia, tendrá que orientarse hacia una interioridad radical. (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.

La pérdida inesperada de nuestro amigo Pablo Posada Varela el pasado doce de septiembre representa una tragedia a duras penas expresable. Escribir sobre algo o alguien implica un ejercicio de distancia; consiste, ante todo, en buscar, escoger y tomar una perspectiva (o varias, acaso unidas todas ellas en la concreción de un espectro, del espectro fenomenologizante, figura conceptual acuñada por Pablo). Si escribir se ha, que ocurra entonces desde la cercanía, que hoy más que nunca llega transverberada de desgarro, incredulidad (...) y estupor. (shrink)

A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. Thus, providing renewed momentum to the relatively new research area of eXplainable AI (XAI). Nowadays, the importance of XAI lies in the fact that the increasing control transference to this kind of system for decision making -or, at least, its use for assisting executive stakeholders- already affects many sensitive realms (as in Politics, Social Sciences, or Law). The decision-making power handover to (...) opaque AI systems makes mandatory explaining those, primarily in application scenarios where the stakeholders are unaware of both the high technology applied and the basic principles governing the technological solutions. The issue should not be reduced to a merely technical problem; the explainer would be compelled to transmit richer knowledge about the system (including its role within the informational ecosystem where he/she works). To achieve such an aim, the explainer could exploit, if necessary, practices from other scientific and humanistic areas. The first aim of the paper is to emphasize and justify the need for a multidisciplinary approach that is beneficiated from part of the scientific and philosophical corpus on Explaining, underscoring the particular nuances of the issue within the field of Data Science. The second objective is to develop some arguments justifying the authors’ bet by a more relevant role of ideas inspired by, on the one hand, formal techniques from Knowledge Representation and Reasoning, and on the other hand, the modeling of human reasoning when facing the explanation. This way, explaining modeling practices would seek a sound balance between the pure technical justification and the explainer-explainee agreement. (shrink)

O artigo – desde uma perspectiva da educação como direito humano universal que reconhece a diversidade – realiza um recorrido panorâmico por uma série de dimensões da educação intercultural no ensino superior do Chile, especialmente universitária, discute criticamente a situação atual da interculturalização na universidade – entendida genericamente – e conclui com algumas perguntas que podem orientar pesquisas ou decisões que levem a que o ensino superior considere os direitos indígenas, permita a expressão de sua cultura, promova a interculturalidade, forme (...) os técnicos e profissionais que requerem o desenvolvimento da sociedade e das comunidades e enriqueça a docência e a ciência com outros paradigmas de conhecimento. Desse modo, que reconheça e valide a interculturalidade e os aportes das culturas indígenas a sua identidade, formação e produção de conhecimento. Trata das comunidades e dos estudantes indígenas em geral, mas aprofunda a situação desde o povo mapuche, embasando-se em projetos de pesquisa e desenvolvimento e em experiências em e desde a Região da Araucanía. A proposta se centra na ideia de que o direito à educação, desde a lei e inconstitucionalidade atual, se centra no sistema escolar formal de ensino básico e médio e não considera a educação superior ou a um sistema de educação continuado como direito universal, no qual poderia se especificar uma condição especial aos estudantes indígenas. Por isso, hoje se luta pela igualdade de oportunidades de inclusão entre indígenas e não indígenas. Palavras-chave: Ensino Superior. Interculturalidade. Cultura mapuche. (shrink)

We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining betweenmultisets. We motivate and state basic definitions of relevant consequence relations, both (...) in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.

We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.

En el presente trabajo examinaremos la relevancia de la categoría de decisión en el surgimiento del pensamiento impolítico contemporáneo en Italia. Con este objetivo, buscaremos elaborar una exégesis del rol de dicha noción en los desarrollos de Massimo Cacciari de finales de la década de 1970. Nuestro punto de partida se encontrará en su lectura nietzscheana sobre el diagnóstico de crisis de las categorías metafísicas y políticas tradicionales. Tal interpretación nos conducirá a estudiar su análisis de la soberanía desde una (...) “concepción criatural” del orden político. En este sentido, sostendremos que la crítica que Cacciari realiza al concepto de decisión no sólo vertebra desde sus inicios al horizonte impolítico, sino que también nos permite comprender los alcances filosóficos de su perspectiva. (shrink)

The concepts expressed by social role terms such as artist and scientist are unique in that they seem to allow two independent criteria for categorization, one of which is inherently normative. This study presents and tests an account of the content and structure of the normative dimension of these “dual character concepts.” Experiment 1 suggests that the normative dimension of a social role concept represents the commitment to fulfill the idealized basic function associated with the role. Background information can affect (...) which basic function is associated with each social role. However, Experiment 2 indicates that the normative dimension always represents the relevant commitment as an end in itself. We argue that social role concepts represent the commitments to basic functions because that information is crucial to predict the future social roles and role-dependent behavior of others. (shrink)

ArgumentThis paper analyzes the public fasts of two Italian “hunger artists,” Giovanni Succi and Stefano Merlatti, in Paris in 1886, and their ability to forego eating for a long period (thirty and fifty days respectively). Some contemporary witnesses described them as clever frauds, but others considered them to be interesting physiological anomalies. Controversies about their fasts entered academic circles, but they also spread throughout the urban public at different levels. First, Succi and Merlatti steered medical debates among physicians on the (...) “scientific” explanations of the limits of human resistance to inanition, and acted as ideal mediators for doctors’ professional interests. Second, they became useful tools for science popularizers in their attempt to gain authority in drawing the boundaries between “orthodox” and “heterodox” knowledge. Finally, in the 1880s, Succi and Merlatti’s contest, the controversy around the liquids they ingested, and their scientific supervision by medical doctors, all reinforced their own professional status as itinerant fasters in a golden decade for that kind of endeavor. For all those reasons, Succi and Merlatti can be viewed as useful, epistemologically-active charlatans. (shrink)

Este trabajo indaga en las raíces de la perspectiva impolítica de Roberto Esposito en Categorie dell’impolitico (1988). La hipótesis consiste en que la noción de impolítico como “más allá de Schmitt” resulta la estructura conceptual que vertebra la formulación de Esposito. A partir de esta interpretación, analizaré las implicancias filosóficas de la apropiación crítica de la posición schmittiana sobre el problema de la representación. Considero que, a partir de esta hipótesis, se comprenderá no sólo la relevancia de la categoría de (...) “oltre” (“más allá”) en la argumentación de Esposito, sino también el sentido mismo de lo impolítico entendido como ulterioridad. (shrink)

This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary.