We introduce a herbrandized functional interpretation of a first-order semi-intuitionistic extension of Heyting Arithmetic and study its main properties. We then extend the interpretation to a certain system of second-order arithmetic which includes a (classically false) formulation of the FAN principle and weak König's lemma. It is shown that any first-order formula provable in this system is classically true. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.

Clinical Research and Good Clinical Practice. More Stories to TellPesquisa clínica e boas práticas clínicas. Mais histórias por contarFor guaranteeing the ethical conduct of scientific research on human beings in which the interest in the health and well-being of the participating subjects prevail, various guidelines, standards, and parameters have been established for the scientific community. One of these regulatory parameters is good clinical practice, which, after its implementation by Resolution 2378 of 2008, has become a highly relevant guide for clinical (...) trials in Colombia. This article relates its origins and versions and goes over its limitations regarding the ethical debate on ethics committees evaluating research protocols.Para citar este artículo / To reference this article / Para citar este artigo Suárez-Obando F. Investigación clínica y buenas prácticas clínicas. Más historias por contar. 2020; 24: 188-204. DOI: https://doi.org/10.5294/pebi.2020.24.2.6Recibido: 29/09/2019Aceptado: 07/06/2020Publicado: 27/11/2020. (shrink)

Este artículo utiliza el caso de al-Andalus para discutir las diferencias entre historia y memoria, y su proyección en los debates políticos e identitarios contemporáneos. Tal discusión me permite, también, explorar diferentes formas de construcción de temporalidad ligadas a distintas maneras de gestión del pasado.

Religion does influence personal choices and behavior, even today. In a multireligious society, religions and religious groups influence social life and public policy considerably. Hitherto, Catholic social teaching, thought, and practice were essentially, if not exclusively, based on the Christian vision of socioeconomic and political realities, without paying much attention to the existence and role of the world’s great religions and religious traditions in this endeavor. To revitalize Catholic social teaching in today’s world, the Church must enter into critical dialogue (...) with non-Christian religions and harness their contribution to sociopolitical transformation. The teachings of Pope Francis, especially in recent social encyclicals, emphasize the importance of such conversations and identify possible paths to pursue. (shrink)

Plato’s Sophist offers important elements of his educational theory. This article begins with a brief introduction to this work, and then presents an analysis of several ideas that appear throughout it, with a special emphasis on those dealing directly or indirectly with the central theme of education and human communication. The article concludes with a summary of the work’s main arguments.

Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility relations of the kind studied in many-dimensional modal logic, modulo complications from constraints between translation and entailment (violations in which may trigger re-attunement) and from refinement and underspecification.

O texto faz uma reflexão teórica a partir de Benjamin, Arendt, Foucault e Agamben. Em um primeiro momento faz-se uma análise da assertiva benjamineana de que “tornamo-nos muito pobres de experiências liminares”. Em seguida associamos essa idéia de “aniquilamento das transições” à idéia de homogeneidade e efemeridade da experiência urbana contemporânea. A partir desse ponto o texto articula essa homogeneidade com uma idéia de empobrecimento da esfera do comum, ou seja, do político, em prol de uma “gestão de necessidades”: a (...) gestão como sucedânea do político, que se refletiria na produção contemporânea do espaço e na “construção do comum”. (shrink)

Trata-se de uma resenha das obras Sobrinho de Rameau de Denis Diderot, Sobre a Verdade e Mentira no sentido Extra-Moral de Friedrich Nietzsche e A construção das ciências: introdução à filosofia e á ética das ciências de Gerárd Fourez. Os textos foram lidos com base nas seguintes questões: Quais são as bases de sustentação do conhecimento?; O que é a verdade e se é possível alcançá-la de forma objetiva; O que é a ciência e o que ela representa na busca (...) pela verdade e o conhecimento? e Quais as possibilidades da linguagem na busca pelo conhecimento? Concluiu-se que o que Diderot caracteriza como idiotismo aparenta-se com os valores morais seguidos pelo instinto de rebanho nos indivíduos de Nietzsche. Para Fourez observar é sempre representar e na representação nunca se obtém do objeto sua verdadeira essência. Desconstruir conceitos, apreender o aspecto fluido e mutável das coisas e dos valores, seria essa a linha mestra dos textos tratados neste trabalho. (shrink)

In his pioneering work in the field of inductive inference, Gold (Inf Control 10:447–474, 1967) proved that a set containing all finite languages and at least one infinite language over the same fixed alphabet is not identifiable in the limit (learnable in the exact sense) from complete texts. Gold’s work paved the way for computational learning theories of language and has implications for two linguistically relevant classes in the Chomsky hierarchy (cf. Chomsky in Inf Control 2:137–167, 1959, Chomsky in Knowledge (...) of language: its nature, origin, and use, Praeger, 1986; Shieber in Linguist Philos 8:333–343, 1985; Heinz in Linguist Inq 41:623–661, 2010). Within that same framework, Angluin (Inf Control 45:117–135, 1980) provided a complete characterization for the learnability of language families. Mathematically, the concept of identification in the limit from that classical setting can be seen as the use of a particular type of metric for learning in the limit (Wharton in Inf Control 26:236–255, 1974). In this research note, I use Niyogi’s extended version of a theorem by Blum and Blum (Inf Control 28:125–155, 1975) on the existence of locking data sets to prove a necessary condition for learnability in the limit of any family of languages with the Gold property in any given metric. This recovers the most general version of Gold’s Theorem as a particular case. Moreover, when the language family is further assumed to contain all finite languages, the same condition also becomes sufficient for learnability in the limit. Finally, we discuss questions that are left open and outline a research program regarding language learnability in the limit from other input types and cognitive feasibility. (shrink)

En el presente artículo, el autor pretende hacer una reivindicación del proyecto humanista-cosmopolita de Immanuel Kant como un sistema adecuado para la integración de los intereses o fines individuales con los valores particulares y universales, aparentemente tan irreconciliables entre sí. En esta especie de "aldea global" que es nuestro mundo, no cabe obstaculizar la difusión general de los derechos humanos, y menos aún si esa limitación se lleva a cabo en aras de cualquier relativismo ético-cultural o soberanismo de estricta observancia. (...) Como contrapunto al concepto romántico de "comunidad nacional" -orgánica, monolítica, y estructurada jerárquicamente- que algunos intentan recuperar desde planteamientos localistas y excluyentes, reivindicamos los valores humanistas y universales de la Ilustración, en clara consonancia con las aspiraciones de un modelo de sociedad civil, abierto y plural como el que impera en el mundo occidental. Este hecho constituye también un motivo adecuado para evocar la modernidad del pensamiento político kantiano, en el cual se asientan las bases de una futura constitución cosmopolita que garantice a la humanidad una convivencia pacífica, racional y democrática. (shrink)

This book gathers case studies presented at the International Conference on Responsible Research and Innovation in Science, Innovation and Society. It highlights European initiatives and projects in various domains and contexts, each of which explores how to create guidelines and good practices for Responsible Research and Innovation and how to promote them among citizens, industry stakeholders, policy and decision makers, research funders and educational institutions to foster their adoption as a potential benchmark in establishing RRI processes. Further, the book discusses (...) gender and ethical issues, which are highly relevant for RRI initiatives in connection with representativeness, risks and in some cases, minority rights. (shrink)

A partir de las críticas que el igualitarismo fraternal lanzó contra el igualitarismo de la suerte, G. A. Cohen propuso un compromiso a través del denominado modelo de campamento. Puesto que dicho trade-off no quedó formalizado, en este artículo se intenta aportar algunos elementos en tal dirección. En concreto, se argumenta: a) que Cohen tiende un primer puente hacia el igualitarismo fraternal al distinguir los aspectos de equidad y legitimidad en una concepción de lo justo, conjuntamente con la afirmación de (...) que la suerte en las opciones nunca preserva la justicia; b) que los principios igualitario y comunitario, que Cohen postula como deseables para el socialismo, operan sobre la base de la distinción equidad-legitimidad, de modo que las desigualdades generadas por elecciones genuinas y mala suerte en las opciones son justas en tanto resultan legítimas pero no son justas en términos de equidad y, en consecuencia, las desigualdades que rasgan el tejido social son causalmente fundamentales mientras que el principio comunitario es normativamente fundamental; y c) que los elementos comunitarios que impulsan el compromiso de Cohen ya están presentes en sus nociones de igualdad voluntaria, ethos igualitario, lectura estricta del Principio de Diferencia rawlsiano y comunidad justificatoria. (shrink)

This article seeks to highlight some elements of the theory of education and communication present in Book I of Plato’s Republic, first in an analytical way, and then in an attempt at synthesis.

Communication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, we (...) compare partial communication with the public announcement and arrow update settings in terms of both language-expressivity and update-expressivity. Regarding the former, the three settings are equivalent, their languages being equally expressive. Regarding the latter, all three modes of communication are incomparable in terms of update-expressivity. In the second part, we shift our attention to strategic topic-based communication. We do so by extending the language with a modality that quantifies over the topics the agents can ‘talk about’, thus allowing a form of arbitrary partial communication. For this new framework, we provide a complete axiomatisation, showing also that the new language’s model checking problem is PSPACE-complete. Finally, we argue that, in terms of expressivity, this new language of arbitrary partial communication is incomparable to that of arbitrary public announcements and also to that of arbitrary arrow updates. (shrink)

La epistemología política es un ámbito de investigación en progresiva construcción que se sitúa en la intersección de la filosofía política y de la epistemología, que, quizás por su reciente aparición en la literatura académica, tiene más un aire de familia, que muestran las colecciones de temas (injusticia epistémica, ignorancia estructural, democracia y expertos) que una construcción conceptual que dé cuenta de tal intersección de lo político y lo epistemológico. Este trabajo propone una explicación de este espacio de confluencia y (...) lo entiende como la interacción (positiva y negativa) de las posiciones sociales y cognitivas de los agentes. En este espacio, las demandas de justicia y conocimiento se influyen reforzándose o debilitándose. La dinámica común (justicia-conocimiento) es lo que constituye este campo de investigación en el que la diversidad de temas que han sido tratados hasta el momento son expresiones de las situaciones y circunstancias sociales en las que las virtudes de la justicia y el conocimiento se constriñen mutuamente. (shrink)