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)

How can evil exist in a world governed by providence? That is the main question addressed in this chapter. To answer it, the author first sets out Proclus’ defence of providence, which combines the gods’ transcendence with their sharing goodness. The next step is to show that despite providence, evils have reality as well. There is, however, no substance or principle of evil, and only human and irrational souls and material bodies are susceptible to it. Evil’s having a ‘parhypostasis’ is (...) explained as its existing upon and alongside real existents; uncaused because a result of weakness, not power; not pure privation because parasitic on good existents, and hence a ‘subcontrary’ of the good. Finally, the author returns to the relation between providence and evil, showing that bodily evil fits the good of the universe, and that providence will punish evil souls in due course. (shrink)

Night: The presence of the absence, the dissolution of the person in the night, the horror of being, the reality of the unreal, it takes us more to the absence of God than to God, to the absence of every entity. Dawn: Not being conscious of the existence of that unchangeable supposed centre of the person within time does not mean that we cannot be able to explain the not static changeable and relational personal identity in other ways. Day: It (...) is me who flows, but I am not in the flow like a support from where life flows, I am flowing in my own reality. This is not similar to an egology, it does not mean that everything exists and is loved to me, but it does mean that everything is seen and loved for me. (shrink)

O presente artigo pretende aplicar para a interpretação do filme_ Os Irmãos Cara de Pau_ (_The Blues Brothers_, 1980), de John Landis, o que o crítico literário canadense Northrop Frye afirmou em relação à Bíblia como sendo o “grande código” da arte. A premissa básica do artigo é que o filme de Landis segue a estrutura básica de três narrativas bíblicas (Êxodo 3.1-10, Isaías 6.1-8 e Atos dos Apóstolos 9.1-15) nas quais há uma manifestação do sagrado, seguida de um comissionamento (...) para uma missão. O artigo apresenta algumas considerações sobre a relação entre cinema e Bíblia, seguidas de uma apresentação do filme propriamente. Depois disso, comenta-se sobre três narrativas bíblicas de chamado e comissionamento, que entendemos fornecem a linha narrativa seguida pelo filme. Como base teórica, o artigo trabalhou principalmente com a ideia de sagrado selvagem, de Roger Bastide, e do elemento indizível do sagrado, a partir de Rudolf Otto. (shrink)

Los interrogantes en torno a la política y a la verdad han acompañado el ejercicio filosófico a lo largo de su historia. Dado el contexto político actual, resulta innegable la necesidad de replantear insistentemente las posibles relaciones y configuraciones que pueden asumir tales conceptos, así como las problemáticas que involucra. Prueba de esto la otorga este número de la Revista, para el cual propusimos un dossier que permitiera reunir algunas reflexiones al respecto. Aunque las posibles perspectivas de análisis acerca de (...) la política y la verdad sean numerosas, nos contentamos con presentar algunas de ellas condesadas en las contribuciones recibidas en esta ocasión. (shrink)

La logique spécifique des jugements de valeur est à chercher dans le discours rhétorique. Cette thèse développée par Ch. Perelman dans L'Empire rhétorique (1977) nous rappelle l'introduction à l'éthique de Jean Buridan (XIVe s.). Selon Buridan la philosophie morale ne peut se contenter d'appliquer la logique générale: elle a besoin d'une logique spéciale, une „logique morale” qui n'est rien autre que la technique persuasive qu'on étudie dans la Rhétorique. Roger Bacon (XlIIe s.) a même essayé d'intégrer cette rhétorique dans l'éthique (...) : elle est la partie pratique de la science morale. Bien que leur textes rappellent parfois les considérations de la ‘nouvelle rhétorique’, la relation entre l'éthique et la rhétorique y est envisagée d'une manière toute différente. Pour les auteurs médiévaux la rhétorique est une science auxiliaire de l'éthique : elle sert de liaison entre la théorie et la pratique. Dans la partie théorétique de l'éthique la logique ‘générale’ reste en vigeur. Ce n'est que pour mettre en pratique les règles et valeurs qui ont été ‘démontrées’ par la théorie qu'on a recours à la technique persuasive et sa logique ‘spéciale’. La rhétorique n'a donc qu'une fonction subsidaire. On retrouve la même conception au début des temps modernes chez Francis Bacon qui attribue à la rhétorique la fonction d'appliquer le dictamen rationis à l'imagination pour exciter ainsi la volonté. Une tout autre conception est défendue par l'humaniste Lorenzo Valla qui essaie de réintégrer l'argumentation morale dans le discours rhétorique où elle trouve sa place originaire. Notre propre point de vue est développé en confrontation avec Aristote, de qui nous avons hérité le projet d'une ‘science pratique’ et l'ambiguité qui en est inhérente 1° La rhétorique présuppose l'éthique. 2° L'éthique qui se veut epistème, ne relève pas de la rhétorique qui n'est qu'une technè. Elle se présente comme une science à caractère dialectique. 3° Les difficultés arrivent dès qu'on exalte la fonction pratique de cette science (cf. récemment R. Hare). Dès que l'éthique veut être efficace dans la vie concrète, elle devient une argumentation qui relève plutôt du discours épidectique (Weltanschauung). Notre société, en pleine crise morale, a certainement besoin d'un tel discours qui essaie d'intensifier l'adhésion à des valeurs morales. Mais il nous semble qu'il reste à côté d'un tel discours - en pleine expansion des nos jours - une place bien discrète pour une reflection critique qui en analyse les raisons : qui n'est pas inutile, bien que peu efficace. (shrink)

En el Escolio acerca del “Espacio y el Tiempo”, Newton expone su concepción referida a un Espacio absoluto, elcual posee existencia tan real, como la de los demás cuerpos físicos pero en forma independiente de estos, es asíque una de las características de la física newtoniana‡ va a ser el interés por conceder una existencia independientey real al espacio y al tiempo, así como a la materia, ya que en las leyes del movimiento de Newton aparece elconcepto de aceleración, y (...) en esta teoría, la palabra aceleración sólo puede denotar “aceleración con respecto alespacio”. Por consiguiente, el espacio de Newton debe ser concebido “en reposo absoluto” o, al menos, con elfin de que sea posible considerar que la aceleración que aparece en las leyes del movimiento sea una “magnitud”o (fuerza), con algún significado. Por tal motivo, se propone: “distinguir el reposo y el movimiento tanto relativoscomo absolutos, por sus propiedades, causas y efectos.”. (shrink)

According to some authors, Popper’s realism is blatantly incoherent mainly because of his commitment with the correspondence theory of truth and due to the fact that in his theory of cience is granted that, though the general aim of science is the search for truth, it might happen that a specific theory reaches that aim without us being able of knowing it. In this paper, I explain, briefly, the particularities of Popper’s realism, his views on truth as a regulative ideal (...) for science, and I show that, regardless the impossibility of establishing in a efinitive way that truth has been reached, there is no incoherence that endangers his project. In this way, I answer Cardenas and others’ criticisms against Popper’s realism and his views on the general aim of science, and I identify the sources from which this kind of misunderstanding springs. (shrink)

La metodología teológico-pastoral, que configuró no solo los textos sino la dinámica de trabajo de Medellín, tuvo en la década del sesenta importantes desarrollos y debates. La presente contribución se concentra, particularmente, en una crítica radical a dicha Conferencia formulada entonces por Eduardo Briancesco. Primero, presenta las objeciones del teólogo argentino, quien afirma que hay en Medellín una exaltación indebida de lo empírico. En segundo lugar, el artículo realiza una evaluación de la posición del autor, prestando atención, de forma particular, (...) a algunos aspectos importantes del estado de la cuestión en el debate metodológico de entonces. De esta manera se contextualiza mejor la crítica y también se comprenden más adecuadamente algunos logros y limitaciones de la obra de Medellín desde el punto de vista de la metodología teológica. (shrink)

The notion of stimulus meaning, a key notion for Quine's Indeterminacy of Translation thesis, has undergone an essentiaJ change fi'om the beginning of the nineties. Then, this essay offers an expository work oj this change (its origin and motivations) and its final result. Th~ main aim of this essay is to show the validity of the reasons that forced Quine to modify his stimulus meaning notion and the failure of its substitutes (global stimulus, stimulus range, and perceptual similarity) to solue (...) the problems they were thought to give an account of. Moreover, these new notions make the Indeterminacy Thesis, mainly the Inscrutability of Reference Thesis, face new problems and, if I'm right, unsolvable ones. (shrink)

In this article, we formally define and investigate the computational complexity of the definability problem for open first-order formulas with equality. Given a logic $\boldsymbol{\mathcal{L}}$, the $\boldsymbol{\mathcal{L}}$-definability problem for finite structures takes as an input a finite structure $\boldsymbol{A}$ and a target relation $T$ over the domain of $\boldsymbol{A}$ and determines whether there is a formula of $\boldsymbol{\mathcal{L}}$ whose interpretation in $\boldsymbol{A}$ coincides with $T$. We show that the complexity of this problem for open first-order formulas is coNP-complete. We also (...) investigate the parametric complexity of the problem and prove that if the size and the arity of the target relation $T$ are taken as parameters, then open definability is $\textrm{coW}[1]$-complete for every vocabulary $\tau $ with at least one, at least binary, relation. (shrink)

A partir de una consideración sobre la incidencia del lenguaje en la tarea filosófica, en especial sobre la filosofía del lenguaje, examinaré, en primer lugar, los alcances de las caracterizaciones más relevantes: análisis lingüístico y semiología, para cotejarlos con los desarrollos de la hermenéutica contemporánea. Procuraré mostrar que las consecuencias sobre los rendimientos del lenguaje son de mayor radicalidad en el caso de esta última, por la específica atención que presta a las diversas modalidades de experiencia lingüística. Una vez reconocida (...) la especificidad de ese enfoque, distinguiré los aportes de las tres versiones que se destacan en el panorama hermenéutico actual: la ontológica, la crítica y la analógica. Finalmente, presentaré a la tercera en relación de comparación con las anteriores como una contribución de gran poder heurístico para revisar las consecuencias generales del giro lingüístico. (shrink)

Ernst Bloch formulated problems of enormous philosophical and human relevance. He held that in our contemporary situation we have but two questions concerning the fundamental direction of our lives and history: we must choose, first, between hopeless nihilism and transcendent hope; and, second, between transcendent hope with transcendence and transcendent hope without transcendence. Bloch opted for the transcendent hope without transcendence and formulated a hard critique of hope with transcendence. Josef Pieper and Bernard Schumacher have offered a competent response to (...) Bloch from the Catholic perspective. However, we offer here a little explored aspect of the problem by demonstrating that Bloch’s metaphysical arguments do not consider that (a) a material reality necessarily has the concrete potentiality of dissolving, and (b) therefore, left to itself, it will dissolve necessarily in infinite time; and that (c) no effect can have a reality disproportionate to its cause, which is the reason why (d) no immortal reality can proceed from mortal reality without the intervention of a higher cause. (shrink)

As much in the processes of education of sciences like in the methodological and epistemological analyses, usually are not examples of social theories that they allow to show how they are resisted with the experience. This work tries to show not only the methodological skeleton used by E. Durkheim i..

Este trabajo defenderá la universalidad de la metáfora en arte (Arthur Danto), contra quienes piensan (Davidson, Carrol, Vilar) que en él la atribución de propiedades expresivas es literal y no metafórica. Se defiende la tesis de que la metáfora artística es como un símbolo tensivo que apunta a significados (epífora) y al mismo tiempo crea presencia (diáfora). Gracias a ambos elementos el arte crea presencia, crea realidad o transfigura lo usual y le otorga súbitas y asombrosas posibilidades de presencia, a (...) las cuales se corresponde no sólo con los sentidos, sino también con el afecto, el entendimiento y la imaginación. (shrink)

Resumen Este texto formula una teoría de los problemas complejos, que trata de distinguir cuándo y cómo un problema puede ser dicho como complejo y cuándo no. Un mundo diferente de suma cero, altamente entreverado, con múltiples sensibilidades y con crisis sistémicas y sistemáticas demanda una teoría de problemas complejos, inexistente a la fecha. Negativamente, las comprensiones o aproximaciones analíticas son insuficientes. Es precisa una estructura sintética sobre los problemas. Para ello, tres ejes emergen como referencias: la teoría matemática de (...) nudos, la teoría de la complejidad computacional y los problemas retorcidos. Este texto elabora una síntesis de estos tres ejes y propone una teoría para problemas entrelazados, dinámicos, difíciles, con fuertes implicaciones en varios planos y contextos entre sí. En una cuarta sección se trata de apreciar cómo la teoría de los problemas complejos contribuye a la epistemología de las ciencias sociales. Abstract This paper brings forth a theory of complex problems, distinguishing when and why a problem can be said to be complex, and when and why not. A world of non-zero sum, highly intertwined, with multiple sensitivities, with systemic and systematic crises requires a theory of complex systems, which does not exist today. Negatively said, analytical understandings and approaches are insufficient. It is needed, we argue, a synthetic structure regarding problems. Henceforth three axes emerge as referents: mathematical knots theory, theory of computational complexity, and the wicked problems. This paper consists of a synthesis of the three axes, and develops a theory for problems highly intertwined, dynamic, difficult, and with strong implications in various levels and contexts. A fourth section is devoted to the study of how the epistemology of the social sciences can benefit from the theory of complex systems. (shrink)

Como bien su título indica, el presente artículo busca dar cuenta de la génesis de la razón humana. Lo anterior se lleva a cabo, en primera instancia, a través del análisis de la Idea de Dios como lo que, según Schelling, es el contenido de la razón humana, aunque por ello, precisamente, él se constituye como algo racional. Es justamente este carácter racional de Dios lo que constituye el paso de lo absoluto a él, es decir, lo que Schelling denomina (...) la forma más primaria del espíritu. Esta búsqueda de la genealogía de la razón se lleva a cabo, en el presente texto, en los libros “Escrito sobre la libertad” (1809) y en las diferentes versiones de “Las edades del mundo” (1811-1815). En estos textos se elabora un análisis de la presencia de pensadores alemanes como Kant y Fichte en el pensamiento schellinguiano y, además, de conceptos como acto, a través del cual se busca dar cuenta de mejor manera de la llamada potencia originaria, es decir, del querer de aquello llamado ser originario. Así, a través de este análisis, se concluye, por ejemplo, que la potencia es lo siempre pensable que genera el acto pensar. Respecto a una teoría de la racionalidad esto significa lo siguiente: la razón, cuya forma ontologizada es Dios, se instituye espontáneamente a sí misma pero sobre una base que ella no ha puesto. (shrink)