Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

In this paper, I propose that time representation should be classified as agent dependent motor-intentional, agent dependent conceptual and agent independent conceptual. I employ this classification to explain certain features of psychological and cultural time and discuss how biological time constrains such features. The paper argues that motor-intentional time is a crucial psychophysical link that bridges the gap between purely biochemical cycles and conceptual-intentional representations of time, and proposes that the best way to understand the transitions from biological to psychological (...) time is to characterize them as phase transitions that emerge on the global properties of a system regardless of specific aspects of the underlying processing units. With respect to hierarchical models of time, the paper claims that although the hierarchical organization of constraints limits the number of possible instantiations of temporal information, informational phases have principles of organization of their own. Based on these proposals, I conclude that since information assembles itself into the temporal behavior of an agent, it is more accurate to call the principles governing such a behavioral unity a phase, rather than a hierarchy. To support these theses, the paper draws upon research in biology, neuroscience, philosophy and psychology. (shrink)

This book offers an account of exile in terms of the perspectives of morality, politics, literature, anthropology, and history. It also explores the moral implications of exile and how it connects to the meaning of life.

Este artículo se halla dividido en tres partes.En la primera, se define el estado de la ciencia física y del positivismo lógico, concluyendo el tránsito de ambos hacia el constructivismo.En la segunda, se realiza un esbozo del constructivismo de Piaget.Finalmente, en el tercer apartado, con la intención de desarrollar un ejemplo de esta confluencia en las ciencias sociales,se constata que ciertos criterios de validez defendidos para la metodología cualitativa se complementan totalmente con los contenidos en la estadística .This article is (...) divided into three sections. First, we define the state of physical science and logical positivism, concluding the transit of both towards constructivism. Second, we outlined the Piaget constructivism. Third, with the intention of developing an example of this confluence in social sciences, we argue that few criteria of qualitative methodology validity are completely complementary to those contained in the statistics. (shrink)

En 1941, deux ans après la fin de la guerre civile, le gouvernement espagnol a signé un accord avec le St-Siège par lequel le Chef de l’État, le Général Francisco Franco, intervenait directement dans la nomination des évêques et des archevêques diocésains. L’accord a été inclus dans le Concordat de 1953, qui a scellé les relations de coopération entre les deux États. Après le Concile Vatican II, le pape Paul VI a personnellement demandé au Général de renoncer à ce privilège, (...) mais Franco refusa, subordonnant son renoncement à une révision totale du Concordat. Le Roi Juan Carlos Ier a renoncé à ce privilège quelques mois après son couronnement ; ainsi les relations Église-État, compliquées pendant les dernières années du franquisme, se sont normalisées.In 1941, two years after the end of the civil war, the Spanish government signed an accord with the Holy See under which the Head of State, General Francisco Franco, intervened directly in the nomination of diocesan Bishops and Archbishops. The accord was included in the Concordat of 1953, which cemented cooperative relations between the two States. After Vatican Council II, Pope Paul VI personally asked the General to renounce the privilege, but Franco refused, linking his renouncement to a total revision of the Concordat. King Juan Carlos I renounced the privilege a few months after his coronation, thus normalizing Church-State relations, complicated during the last years of Francoism.1941, zwei Jahre nach dem Ende des Bürgerkrieges, unterzeichnete die spanische Regierung ein Abkommen mit dem Heiligen Stuhl, durch das der Staatschef, General Francisco Franco, direkt an der Ernennung der Diözesanbischöfe und -erzbischöfe beteiligt wurde. Die Übereinkunft wurde in das Konkordat von 1953 eingefügt, das die Kooperationsbeziehungen zwischen den beiden Staaten besiegelte. Nach dem Zweiten Vatikanischen Konzil hat Papst Paul VI. den General persönlich gebeten, auf dieses Privileg zu verzichten, doch Franco lehnte ab und ordnete seinen Verzicht einer umfassenden Revision des Konkordats unter. König Juan Carlos I. hat schon wenige Monate nach seiner Krönung auf dieses Privileg verzichtet, so dass sich die in den letzten Jahren des Francoregimes schwierig gewordenen Beziehungen zwischen Kirche und Staat normalisierten. (shrink)

"Person� is a very ambiguous word (as most of our words when isolated). The outstanding vagueness of the terms used in philosophical discourse, like "action� or "mind�, is an essential characteristic of language that provides the set upon which philosophy relies. Indeed, inquiries into certainty, objectivity and many other important metaphysical problems would never arise if this indeterminacy were not present in language. The history of philosophy as such can be considered as a quest for meaningful statements on which we (...) can ground our judgment. This search for certainty has an ethical dimension, since it discloses what we have in common and what we cannot share. An important feature of this ethical dimension is that the investigation of "certainty� is, at the same time, a struggle against arbitrariness. However, we must be careful while engaging into this exploration, by refusing to analyze or equate certainty with goodness or correctness. The danger of this attractive analysis is evident in our religious and political history. I believe that Wittgenstein can help us in elucidating some of these difficult issues. The problem of the identity of persons, or what constitutes a human being, pervades through philosophical texts. The general strategy of this paper is to link the issue of certainty, as explained by Wittgenstein, with the concept of person. (shrink)

Nos hemos acostumbrado a considerar como normales una serie de situaciones de injusticia extrema que son fuente de miseria y esterilización de las posibilidades humanas de vastos sectores de la población mundial. El presente artículo trata de mostrar que tales situaciones no resultan de la violación de principios éticos fundamentales por parte de algunos individuos u organizaciones aisladas, sino, justamente, de la aplicación de los criterios éticos que prevalecen hoy en la práctica económica y política. La vigencia de éstos se (...) debe a que convienen a los intereses de los países y grupos económicos que dominan el escenario global, quienes los aprovechan de manera ideológica para mantener su poder, al margen del perjuicio que causan al desarrollo de las sociedades menos avanzadas económicamente. El texto concluye haciendo énfasis en la necesidad de replantear los criterios éticos que sirven para sustentar las decisiones económicas en el marco de la globalización actual. (shrink)

¿Cómo se forma un sujeto político? En la herencia más antigua de la interrogación filosófica esta pregunta busca recuperar una actitud de asombro suscitada por prácticas diversas de relación consigo y con los otros en las que personas comunes y corrientes ponen en cuestión experiencias sedimentadas sobre el cuerpo y el género, así como fronteras establecidas entre lo natural y lo artificial, lo humano y lo animal, lo común y lo propio. Los artículos aquí reunidos apuntan a mostrar que para (...) pensar estas formas de agencia política es preciso atender a una dimensión amplia de la estética que se refiere al modo en que la materialidad sensorial de la experiencia compartida se ha conformado históricamente y a cómo esta, dada su contingencia, puede reconfigurarse desde ciertas prácticas cotidianas: prácticas de elaboración de sí y de organización colectiva que crean otros escenarios y otras maneras de aparición de los cuerpos, y con esto estrategias de confrontación y antagonismo que atraviesan y afectan lo social. Así, ¿Cómo se forma un sujeto político? es un esfuerzo colectivo de franca resistencia contra la estrechez desde el cual se nos tiende a hacer pensar la política: bien sea desde una política consensual liberal que acaba por neutralizar las diferencias más intratables de nuestra pluralidad, bien sea desde el realismo de una política conflictual y guerrera que funciona desde la polaridad amigo-enemigo. El lector podrá explorar y profundizar, desde otro ángulo, las apuestas epistemológicas, éticas y políticas que resuenan en estas prácticas artísticas y de acción colectiva que nos enseñan hoy, más allá de los paradigmas del "ciudadano" o del "actor racional", cómo se hace un sujeto político. (shrink)

Hegel afirma que la perspectiva del “alma bella” es sostenida por seguidores de Fichte que confunden el Yo absoluto con el yo psicofísico. Estos pensadores y literatos son reconocidos como miembros del Romanticismo alemán. Curiosamente, Hegel no menciona la obra de Jean Paul Richter entre estos casos. Jean Paul sostiene la identificación entre el Yo absoluto fichteano y la conciencia individual. Además, el autor de Hesperus define a los personajes principales de su novela como “almas bellas” y les atribuye cualidades (...) similares a las expuestas por Hegel en la concepción de su figura del Espíritu. El objetivo del presente artículo es demostrar la coincidencia entre la noción hegeliana de “alma bella” y la representación de la subjetividad expuesta por Jean Paul Richter en Hesperus. (shrink)

O presente ensaio aborda o pensamento de Karl Leonhard Reinhold entre 1789 e 1792. Após um curto período em que apareceu como discípulo e divulgador da filosofia de Kant, Reinhold procurou conduzir o kantismo na direcção que lhe parecia a mais adequada para a resolução de dois problemas que Kant deixara em aberto: a clarificação da natureza da coisaemsi e o acabamento dos intentos sistemáticos da sua filosofia. Este último desiderato, Reinhold procurou resolvêlo por meio de uma teoria da faculdade (...) representativa. Este ensaio procura também mostrar de que forma a filosofia de Reinhold estimulou o surgimento das interpretações especulativas do pensamento kantiano, nos grandes sistemas do idealismo alemão. (shrink)

Expondré a continuación algunas notas sobre el pensamiento económico en América Latina a finales del siglo XVIII y comienzos del XIX. Me referiré al pensamiento ilustrado y al mercantilismo, y haré entrar a una filosofía que ejerció bastante influencia entonces -con particular relevancia desde finales de la década de 1810- en España e Iberoamérica, en un episodio poco estudiado en la historia de las ideas: el utilitarismo.

Esta investigación da cuenta de cómo ha sido expresada, interpretada y fundada poéticamente la ciudad colombiana durante el siglo XX en las obras de los poetas colombianos Luis Vidales (Suenan Timbres), Rogelio Echavarría (El Transeúnte) y Juan Manuel Roca (Luna de ciegos y Los ladrones nocturnos). Indaga cómo estos tres poetas colombianos han fundado ciudades como textos escriturales y levantado cartografías simbólicas citadinas; realiza una interpretación de los universos de sus poéticas, de las constelaciones simbólicas que asume el poema como (...) universo del lenguaje, el cual construye topologías imaginarias sobre la ciudad, revelando arquetipos fundamentales, presentes en la poesía urbana colombiana. (shrink)

The aim of this paper is to point out significant and meaningful overlapping between several styles of scientific thinking, as they were proposed by Crombie (1981) and discussed by Hacking (1985; 2009). This paper is divided in four sections. First, I examine an interpretation made by Barnes (2004) about the incompatibility among scientific styles. As explained by its author, this interpretation denies any possibility of similarities between styles of scientific reasoning. In opposition, the following sections of this paper include explanations (...) of relevant characteristics of Geometry, as stated in Euclid's Elements, which are also present in other three scientific styles: modeling, experimental exploration and taxonomic style (and some of the shared characteristics are even used to define such styles). By stressing out these characteristics I argue that these four styles discussed by Hacking are not so different from each other, in fact, they overlap and may even be abridged into one foundational style: geometric. El objetivo de este artículo consiste en explicar traslapes importantes y significativos entre varios estilos de pensamiento científico, tal como fueron propuestos por Crombie (1981) y discutidos por Hacking (1985; 2009). El presente artículo está dividido en cuatro secciones. Primero, se examina la interpretación de Barnes (2004) sobre la incompatibilidad entre diversos estilos. Según este autor, no existe posibilidad alguna de encontrar similitudes en los estilos de razonamiento científico. En oposición a esta interpretación, las siguientes secciones explican características relevantes de la Geometría, tal como fueron plasmadas en Los Elementos de Euclides, y que están presentes en otros tres estilos: de modelación, de experimentación y taxonómico (las características compartidas incluso definen algunos de estos estilos). Destacar estas características me permite argumentar que estos cuatro estilos discutidos por Hacking no son tan diferentes entre sí, de hecho, se traslapan e incluso pueden ser condensados en un estilo fundacional: el geométrico. (shrink)

A nossa situação atual, em termos de fé cristã, é muito semelhante à do cego de nascença de que nos fala o evangelho (Jo 9,1-41). A experiência de vinte séculos de cristianismo não impede que Jesus mesmo nos dirija também esta pergunta: “Crês no Filho do Homem?” (Jo 9,35). A questão é saber se teríamos a simplicidade do cego para responder: “Quem é ele, Senhor, para que eu creia?” (Jo 9,36). Porque equivaleria a reconhecer que o conhecemos sem conhecê-lo. E (...) só quando aceitamos isso, pode recomeçar o processo de crer. A situação atual do cristianismo repercute no modo de crer e o condiciona. Não podemos continuar a crer por inércia. Aderir à pessoa de Jesus Cristo deixou de ser algo “evidente”. Não só para as novas gerações ou para os que julgam a fé cristã incompatível com o mundo moderno. Também para nós. Queiramos ou não, somos afetados por essa situação de desamparo. E o problema não é só de linguagem . Trata-se de uma experiência , a experiência de uma vida desconcertante mas fascinante, humana como a nossa mas “diferente”. Podem ainda as mesmas e velhas palavras da fé desencadear em nós a experiência que aqueles primeiros seguidores – homens e mulheres – fizeram diante da existência concreta de Jesus de Nazaré? Aderir a essa vida com a mesma significação que tinha para os primeiros cristãos: isso seria crer em Jesus Cristo hoje. Mas para isso teríamos que sentir o mesmo desamparo do cego de nascença: “Quem é ele, Senhor, para que eu possa crer”? O nosso perigo é sabermos demais. Por isso, para podermos recuperar a “diferença” cristã no que ela tem de verdadeiramente original é necessário aceitar que sejam questionadas as nossas “evidências” e reconhecer que a nossa figura de Jesus foi muitas vezes deformada. (shrink)

En esta nota crítica (i) se hace una breve descripción de cada uno de los artículos que componen Orayen: de la forma lógica al significado, (ii) se señalan algunas cuestiones que no están claras en ellos o en las réplicas de Orayen y, (iii) en la medida de lo posible, se indica si los autores desarrollan ulteriormente los problemas abordados en sus artículos. The aim of this critical note is threefold: (i) it briefly describes and comments on each of the (...) articles of Orayen: de la forma lógica al significado; (ii) identifies some issues that may not be clear enough or not fully developed whether in the articles or even in Orayen's replies; (iii) as far as possible, it refers to further studies made by the authors themselves on the same, or quite related, subjects addressed by them in their papers. (shrink)