We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomatically definable but not finitely atomatically definable.

In this paper we mainly study preservation theorems for two fragments of the infinitary languagesLκκ, withκregular, without the equality symbol: the universal Horn fragment and the universal strict Horn fragment. In particular, whenκisω, we obtain the corresponding theorems for the first-order case.The universal Horn fragment of first-order logic (with equality) has been extensively studied; for references see [10], [7] and [8]. But the universal Horn fragment without equality, used frequently in logic programming, has received much less attention from the model (...) theoretic point of view. At least to our knowledge, the problem of obtaining preservation results for it has not been studied before by model theorists. In spite of this, in the field of abstract algebraic logic we find a theorem which, properly translated, is a preservation result for the strict universal Horn fragment of infinitary languages without equality which, apart from function symbols, have only a unary relation symbol. This theorem is due to J. Czelakowski; see [5], Theorem 6.1, and [6], Theorem 5.1. A. Torrens [12] also has an unpublished result dealing with matrices of sequent calculi which, properly translated, is a preservation result for the strict universal Horn fragment of a first-order language. And in [2] of W. J. Blok and D. Pigozzi we find Corollary 6.3 which properly translated corresponds to our Corollary 19, but for the case of a first-order language that apart from its function symbols has only oneκ-ary relation symbol, and for strict universal Horn sentences. The study of these results is the basis for the present work. In the last part of the paper, Section 4, we will make these connections clear and obtain some of these results from our theorems. In this way we hope to make clear two things: (1) The field of abstract algebraic logic can be seen, in part, as a disguised study of universal Horn logic without equality and so has an added interest. (2) A general study of universal Horn logic without equality from a model theoretic point of view can be of help in the field of abstract algebraic logic. (shrink)

We prove the following preservation theorem for the Horn fragment of Equality-free Logic:Theorem 0.1. For any sentence σ ϵ L, the following are equivalent:i ) σ is preserved under Hs, Hs -1 and PR.i i ) σ is logically equivalent to an equality-free Horn sentence.

Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log (...) 71(3):863–880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625–641, 2011) to non-exhaustive models. (shrink)

In Dellunde et al. 997–1015), we determined the complete theory Te of modules of separably closed fields of characteristic p and imperfection degree e, eω{∞}. Here, for 0≠eω, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions of dimensions and their relationships with the Lascar rank. Finally, we show that Te has uniform p.p. elimination of imaginaries and deduce uniform weak elimination (...) of imaginaries. (shrink)

We consider separably closed fields of characteristic $p > 0$ and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the $p$-component functions.

Este artículo aborda el concepto de discriminación algorítmica desde una perspectiva conjunta de la filosofía y la ciencia de la computación, con el propósito de establecer un marco de discusión común para avanzar en el despliegue de las inteligencias artificiales en las sociedades democráticas. Se presenta una definición no normativa de discriminación y se analiza y contextualiza el concepto de algoritmo usando un enfoque intencional, enmarcándolo en el proceso de toma de decisiones e identificando las fuentes de discriminación, así como (...) los conceptos detrás de su cuantificación para terminar exponiendo algunos límites y desafíos. (shrink)

This paper presents a logical Style painting classifier based on evaluated Horn clauses, qualitative colour descriptors and Explanations. Three versions of $\ell $-SHE are defined, using rational Pavelka logic, and expansions of Gödel logic and product logic with rational constants: RPL, $G$ and $\sqcap $, respectively. We introduce a fuzzy representation of the more representative colour traits for the Baroque, the Impressionism and the Post-Impressionism art styles. The $\ell $-SHE algorithm has been implemented in Swi-Prolog and tested on 90 paintings (...) of the QArt-Dataset and on 247 paintings of the Paintings-91-PIB dataset. The percentages of accuracy obtained in the QArt-Dataset for each $\ell $-SHE version are 73.3%, 65.6% $) and 68.9% $). Regarding the Paintings-91-PIB dataset, the percentages of accuracy obtained for each $\ell $-SHE version are 60.2%, 48.2% $) and 57.0% $). Our logic definition for the Baroque style has obtained the highest accuracy in both datasets, for all the $\ell $-SHE versions. An important feature of the classifier is that it provides reasons regarding why a painting belongs to a certain style. The classifier also provides reasons about why outliers of one art style may belong to another art style, giving a second classification option depending on its membership degrees to these styles. (shrink)

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.

This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fraïssé type theorem. We also give characterizations of elementary classes in equality-free logic. As a by-product we characterize the sentences that are logically equivalent to an equality-free one.

En este trabajo presentamos la traducción al castellano del tratado «Sobre la forma primera y la materia primera» del filósofo zaragozano Avempace, precedida por una introducción que trata de mostrar los cauces por los que ha llegado hasta nosotros esta obra y los problemas que presenta para la traducción.The aim of this essay is to offer the Spanish translation of the "Treatise on Primary Form and Primary Matter" written by the philosopher Avempace, from Saragossa. The preceding introduction is an attempt (...) to show the ways through which this work has reached us and the difficulties it presents for its translation. (shrink)

Human genomics is a translational field spanning research, clinical care, public health, and direct-to-consumer testing. However, law differs across these domains on issues including liability, consent, promoting quality of analysis and interpretation, and safeguarding privacy. Genomic activities crossing domains can thus encounter confusion and conflicts among these approaches. This paper suggests how to resolve these conflicts while protecting the rights and interests of individuals sequenced. Translational genomics requires this more translational approach to law.

The idea that love changes who we are is widely shared, and has been mostly explored from a stance in the middle stage of love (i.e., when people already love each other). But how do we get there? And what happens when love ends? In this chapter, I explore how self-understanding may be shaped in different ways at different stages of love through the notions of narrative and existential feeling. As I will argue, love gains narrative momentum at the beginning, (...) which is maintained during the middle, and ultimately extinguished at the end. This momentum is triggered and later sustained by the existential feeling that ‘things make sense’, which keeps the lovers oriented towards each other. (shrink)

A common approach in the philosophy of love defines love as caring about one another and promoting one another's interests, aims and values. The view faces several problems and has been re-formulated to avoid them. However, here I argue that a larger re-formulation of the definition of love is needed in order to accommodate three instances of what I call 'non-harmonious' relationships. I identify three types of non-harmonious love (featuring problematic interests, opposing interests and neutral interests the lovers do not (...) care about) and ultimately claim that our definition of love must incorporate conflict and self- interest, and we should then abandon the excessive focus on the sharing of values. (shrink)

ABSTRACT My aim in this paper is to present a pluralist thesis about the inferential role of logical constants, which embraces classical, relevant, linear and ordered logic. That is, I defend that a logical constant c has more than one correct inferential role. The thesis depends on a particular interpretation of substructural logics' vocabulary, according to which classical logic captures the literal meaning of logical constants and substructural logics encode a pragmatically enriched sense of those connectives. The paper is divided (...) into four parts: first, I introduce the motivation for the pluralist thesis of the paper; second I introduce the calculus for the different logics endorsed in the pluralist thesis; third, I motivate how the different behaviors of the logical vocabulary of these logics can be pragmatically interpreted, and fourth, I motivate how the different inferential roles that each substructural logic attribute to logical constants can coexist, and how we should reason with a logical constant c given this plurality. (shrink)

Partiendo de la constatación husserliana de la crisis filosófica como crisis vital de una humanidad que se ha desviado de su _télos_ al implantar el modelo tecno-científico del dominio del mundo, el artículo investiga el lugar de la filosofía en el sistema educativo, explorando las reformas propuestas en Baviera y Prusia por Niethammer y Humboldt a principios del siglo XIX y que plantean, cada una a su modo, la necesaria incorporación de la filosofía a una educación de Estado que, frente (...) a las pretensiones utilitarias del filantropismo, logre elevar al hombre a su humanidad. En este sentido, retorna al concepto humanista de formación (_Bildung_) al que se consagran ambas reformas y que Gadamer recupera precisamente en _Verdad y método_ como un ideal para enfrentar la pretensión de universalidad de la ciencia moderna en relación a las nociones de conocimiento y de verdad, así como para pensar el horizonte ontológico de la experiencia hermenéutica. Es precisamente este ideal el que permite localizar el lugar de la filosofía en el conjunto del saber y conducir al hombre a su humanidad. (shrink)

): This study answers the following question: How does John M. Finnis introduce in his Theory of Law the hartian and razian concept of “an exclusionary reason for action”? The search for an answer entails at least the following items: (a) the generic concept of a “reason for action” and its distinction from other possible motivations for action; (b) the distinctive elements of a legal reason for action, and its difference from other classes of reasons for action; (c) the correlative (...) concepts of authority and obligation, as applied to Law. This analysis will highlight some descriptive and evaluative achievements in Finnis’ proposal, particularly regarding his positivist predecessors, but also some theoretical difficulties, which we presume are linked to Finnis’ aim in trying to conciliate Legal Positivism and Natural Law Theory.Resumen:Este estudio intenta responder a la siguiente pregunta: ¿cómo introduce John M. Finnis en la teoría ius-naturalista del derecho, la idea hartiana y raziana de que el derecho proporciona razones excluyentes para la acción? En la búsqueda de una respuesta se abordarán los siguientes ejes temáticos: (a) el concepto genérico de razón para actuar, y su distinción de otras motivaciones posibles para la acción; (b) los rasgos propios de la razón jurídica para obrar, que la diferencian de otro tipo de razones para la acción; (c) los conceptos correlativos de autoridad y obligación en referencia al derecho. En este análisis se señalarán algunas fortalezas en la propuesta de Finnis con respecto a sus predecesores de la tradición positivista, pero también algunas debilidades descriptivas e inconsistencias teóricas. Estas dificultades se presumen ligadas a la dificultad de Finnis en su intento de conciliar el aparato conceptual heredado de la tradición iuspositivista, con el esquema conceptual heredado de la tradición iusnaturalista y, más ampliamente, con la epistemología práctica tomista que recoge de esta tradición. (shrink)

The claim of this paper is to argue contra Waluchow’s and Raz’s versions of legal positivism – as main representatives of the inclusive and exclusive variants – that legal interpretation always requires an appeal to law’s rea- son or purpose. The main thesis could be expressed as follows: one technique of legal interpretation (the author labels it as systematical), one that demands that the interpreter interprets the law through its general pur- poses in legal practice, is not one technique amongst (...) many, it is necessary in all legal interpretation.The second purpose of the paper is to argue that this systematic approach towards legal interpretation enables an evaluative role on the part of the interpreter that may be called “interpretative creativity”. Due to this, the creative role in legal interpretation is not an exception, but a necessary element in all interpretation. This creative role is not a defect or an inevitable evil in law, but is functional and instrumental to law’s coordinating activity of citizen’s conducts in a reasonable manner.Resumen:Este trabajo se propone mostrar, en contraposición al positivismo jurídico de Wilfrid Waluchow y Joseph Raz —como representantes, respectiva- mente, de la versión incluyente y excluyente del positivismo contemporáneo—, que la interpretación jurídica supone atender siempre, y no de modo excepcional o recortado, a las razones o fines del derecho. La expresión metodológica de esta tesis podría enunciarse diciendo que la interpretación teleológica-sistemática, mediante la cual el intérprete determina el sentido de las normas a la luz de los fines globales de la práctica jurídica, no es un método interpretativo más, sino el modo necesario de toda interpretación jurídica.El segundo propósito de este trabajo es argumentar que la dimensión teleológica sistemática de la interpretación abre un espacio para la valoración por parte del intérprete que podría denominarse, “creatividad interpretativa”. Por esto mismo, la creatividad en la interpretación jurídica no es una excepción, sino una nota general y necesaria de toda interpretación. Se intentará mostrar, por último, que esta creatividad interpretativa no es un defecto o un mal inevitable del derecho, sino que es funcional o instrumental a la función del derecho de coordinar conductas de modo razonable. (shrink)

The stream on political corporate social responsibility argues that companies have recently assumed state-like roles to influence global governance. However, following emerging calls for greater contextualization of CSR, we trace the historic evolution of PCSR in the case of Colombia and argue that such political engagement by firms is not new. Looking beyond a linear chronological account, we reveal the sedimentation process behind PCSR by exploring the archetypical political roles businesses have taken on in providing public goods and acting as (...) regulators, and chart their transformation. Our findings allow us to make two main contributions. First, by unearthing different strata of business and society relations, we enrich the research on PCSR, highlighting its historical sedimentation dynamics. By integrating institutional and historical perspectives, we respond to calls for complementary accounts of one of the premises found in the literature that considers globalization as the starting point of PCSR. Second, our exploration of the past and present of PCSR in Colombia provides scholars and practitioners with an overview of the complex state and stakes of CSR in that country. We also discuss the implications of sedimentation for PCSR theory and future research directions. (shrink)

Spain occupies an area of 504.645 km, and it has a population of 46.5 million people, out of which 4,538,503 are immigrants. Life expectancy is 82.5 years. Its economy grew 1.4 % in 1014. Its current Constitution was enacted in 1978. It has been part of the European Union since 1986. Spain is a social and democratic state subject to the rule of law. Liberty, justice, equality, and political pluralism are the highest values of the legal order of the rule (...) of law. Spain is a constitutional monarchy with a parliamentary government. The legislative power rests upon two chambers: the Congress and Senate. The government exercises the executive powers and the regulatory powers. There have been six presidents since 1978 from all parties, socialist, centrist, and conservative. The judicial power rests upon the courts and tribunals established by law. (shrink)

The aim of this paper is to give a general solution to the paradoxes of the material conditional, including the paradoxes generated by embedded conditionals. The solution consists in a pragmatic reinterpretation of the formal languages of classical logic LK and relevant logic LR as presented in Paoli. In particular I argue that the material conditional in the classical logic LK captures the truth conditions of “if...then”, but ignores certain pragmatic enrichments that are associated to it, while relevant logic LR (...) can give a systematic diagnostic of the cases in which a conditional is pragmatically enriched and those cases in which it is not. This diagnostic shows the reason why the paradoxes seem unacceptable and why they are, nevertheless, truth-preserving. This reinterpretation will also cover the solution that Paoli gives to McGee’s paradoxes of the Modus Ponens. (shrink)

Critical aspects in the field of education are currently related to low levels of socioemotional competences and high rates of school dropouts. However, there are no standard practices or guidelines for helping countries to assess and train social and emotional competences. To overcome this limitation, the project Learning to be (L2B) aims to propose a comprehensive model of the assessment and development of social and emotional competences that bring together policymakers, researchers, teachers, school authorities and learners from different participating countries: (...) Finland, Italy, Latvia, Lithuania, Portugal, Slovenia, and Spain. The project attempts to create an international framework for regulating activities and supporting teachers working on the social and emotional competences of the students and to provide tools which can be used across countries. The aim of the paper is to describe how L2B has been developed in Spain by analyzing the contributions of the international framework and extracting the specific needs in the Spanish context. Specifically, we describe two products of the project: a) the process for creating a toolkit, a tool focused on creating activities and materials for helping teachers develop social and emotional competences of students and b) the results of an exploratory study in Spain in which social and emotional competences are assessed and compared to the international framework. First, we explain the definition of social and emotional competences used for creating the toolkit. Second, we analyze responses of Spanish students to questionnaires administered before applying the toolkit in the schools. The paper describes social and emotional competences in Spain and evaluates the overlap between relevant variables in Spain and those used for developing the toolkit, the international tool. Specific needs in Spain are discussed, as well as the contribution of the project for promoting the improved development of students’ social and emotional competences, improving learning outcomes and stronger social cohesion in schools and local communities, as well as the utility of the results for creating new educational policies. (shrink)

En este ensayo se destaca fundamentalmente las aportaciones de T.S. Kuhn, quien al aproximarse al conocimiento científico a partir del quehacer o práctica científica, observando a los observadores científicos, apunta a dos aspectos centrales sobre el cambio radical que ha experimentado la concep..

Las frutas y hortalizas han sido siempre noticia debido principalmente a sus propiedades beneficiosas para la salud. Sin embargo, cada vez más ocupan titulares debido a su implicación en toxiinfecciones alimentarias. Por este motivo, desde 2008, las frutas y hortalizas frescas son consideradas por muchos organismos internacionales como un alimento de riesgo. Uno de los principales problemas microbiológicos de las hortalizas de hojas son las bacte­rias entéricas que pueden adherirse rápidamente al tejido durante el cultivo, coexistir con las bacterias epífitas (...) y persistir por largos periodos de tiempo. La prevalencia de microorganismos patógenos en las frutas y hortalizas es baja y la cuantificación de las bac­terias patógenas o de microorganismos indicadores generalmente muestra niveles muy bajos, lo que no justificaría el elevado número de alertas microbiológicas asociadas a este tipo de productos. Sin embargo, existen dudas sobre si los recuentos obtenidos utilizan­do las técnicas convencionales son capaces de reflejar realmente todos los microorganismos presentes en el producto vegetal, así como en el agua de riego y en el suelo. Varios estudios han demos­trado que cuando las bacterias son sometidas a distintos factores de estrés entran en un estado temporal de baja actividad metabóli­ca en el cual las células pueden persistir durante largos periodos de tiempo sin división celular, llamado estado de latencia o viable pero no cultivable. La relevancia que el estado fisiológico de las bacterias puede tener en el desarrollo de toxiinfecciones alimenta­rias causadas por las frutas y hortalizas es un tema de gran interés que está atrayendo más y más la atención de los investigadores. (shrink)