ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

Summary: Responding to Laudan’s skeptical reading of history an influential group of realists claim that the seriously wrong claims past successful theories licensed were not really implicated in the predictions that once singled them out as successful. For example, in the case of Fresnel’s theory of light, it is said that although he appealed to the ether he didn’t actually need to in order to derive his famous experimental predictions—in them, we are assured, the ether concept was “idle,” “inessential,” “peripheral” (...) or worse. This view, developed by J. Worrall and P. Kitcher in the 1980s and subsequently supplemented by J. Leplin and by S. Psillos has received critical attention in the literature over the last decade, but more needs to be said on the subject—or so I suggest in this paper. I bring forward four converging argumentative lines to show how and why, from the days of Fresnel to at least the decade after the Michelson-Morley experiments, the ether functioned and was understood as an “essential” posit in physics. My first line draws Fresnel’s actual deployment of the ether concept and the way he and his circle understood the achievements of his theory. The second line draws is from epistemological assessments of surprising implication in theories and its impact on leading theorists in the last two-thirds of the century. The third line draws from discussions of the optical ether in end-of-century reports circa 1900. The fourth focuses on entrenched metaphysical assumptions that persisted in the practice of physics until the advent of special relativity. Pulling these four lines together shows, I think, why attempts at synchronic identification of sound theory-parts are bound to fail, and also how realists might try to meet the challenge this creates. (shrink)

Summary: Responding to Laudan’s skeptical reading of history an influential group of realists claim that the seriously wrong claims past successful theories licensed were not really implicated in the predictions that once singled them out as successful. For example, in the case of Fresnel’s theory of light, it is said that although he appealed to the ether he didn’t actually need to in order to derive his famous experimental predictions—in them, we are assured, the ether concept was “idle,” “inessential,” “peripheral” (...) or worse. This view, developed by J. Worrall and P. Kitcher in the 1980s and subsequently supplemented by J. Leplin and by S. Psillos has received critical attention in the literature over the last decade, but more needs to be said on the subject—or so I suggest in this paper. I bring forward four converging argumentative lines to show how and why, from the days of Fresnel to at least the decade after the Michelson-Morley experiments, the ether functioned and was understood as an “essential” posit in physics. My first line draws Fresnel’s actual deployment of the ether concept and the way he and his circle understood the achievements of his theory. The second line draws is from epistemological assessments of surprising implication in theories and its impact on leading theorists in the last two-thirds of the century. The third line draws from discussions of the optical ether in end-of-century reports circa 1900. The fourth focuses on entrenched metaphysical assumptions that persisted in the practice of physics until the advent of special relativity. Pulling these four lines together shows, I think, why attempts at synchronic identification of sound theory-parts are bound to fail, and also how realists might try to meet the challenge this creates. (shrink)

This chapter contains sections titled: Introduction Argentina Mexico Brazil Chile and Puerto Rico Peru Other Centers Concluding Remarks References Further Reading.

The definition of the sophist as "image-maker" allows Plato to add to the novelties he presents in the _Sophist_ two topics he hadn't deepened in his previous dialogues: (a) a "definition" of being (247e) and (b) the influence this position will have on the relationship between image and truth. From a first definition of the image proposed by Theaetetus in 240a we deduce that, even if it is not true, it is "really" (_óntos_) an image, which does not coincide with (...) the devalued or secondary reality that Plato had always attributed to this notion, from which all truth was absent. This conclusion, indeed, astonishes Theaetetus, attached to the Platonic "orthodoxy". This astonishment is not present in the orthodox version of the text of the passage 240a-c of the _Sophist_, which inherits from a modification of the widespread text from 1851. Once the original version is restored, the definition of the fact of being proposed in 247e justifies the "really real" character of the image, which respects the condition required to everything that "possesses" being: the possibility of acting or being affected. Indeed, the image is "affected" by the model, that it tries to imitate, because the model "affects" it. The image, even if it is not true, is real. (shrink)

Heritage values are basic in conservation, nevertheless there is not a methodology to analyze their variation over time and how it has affected the conservation of heritage assets. Therefore, a methodology that allows us to determine their variation in written descriptions about a specific heritage site was needed. In this article we have addressed the concept of heritage values and stressed their importance and their variability over time, but also analyzed different methods from the field of linguistics that would better (...) adapt to determine heritage values variation and their application in the heritage field. (shrink)

Este artículo analiza el prólogo de 1812 a la Ciencia de la lógica (WdL) y responde a los planteos: ¿de qué trata esta obra?, ¿qué hay de lógico en la expresión “lógica”?, ¿es ”lógica” un nombre sustituto para “metafísica” o, más bien, la WdL es la inauguración de una disciplina completamente nueva y que dista de la metafísica en el sentido tradicional? Concluyo que la lógica es aquí el desarrollo del concepto expresada como libertad social.

Las sugerentes problemáticas de la obra y pensamiento de Paul Ricoeur, enunciadas en este artículo, no buscan dar un trabajo apologético ni una descripción acusativa; de lo que se trata, por consiguiente, es de estructurar la subjetividad como acción y hermenéutica. En este contexto, el lenguaje y la acción contienen en sí inherentes interrogantes que fomentan una especie de dedicación cuidadosa y pertinente sobre el sujeto. Los interrogantes que suscitan estas dos temáticas pueden ser: ¿qué es lenguaje?, ¿cuál es la (...) relación del lenguaje con el sujeto y la hermenéutica?, ¿cuál es la necesidad del texto?, ¿cuál es la importancia del discurso? y, sobre todo, ¿qué queremos interpretar por “teoría de la acción subjetiva e intersubjetiva para el hombre actual”? (shrink)

Axiological foundations of free speach. Belandria, Margarita y González R., Javier Voluntad, ausencias, y normas: el sustrato histórico del positivismo en el derecho. Will, absences and norms: the historical background of positivism in law. Carpintero Benítez, Francisco Nominalismo jurídico, escolástica española y tradición republicana. Juridical nominalism, spanish scholasticism and republican tradition. Casanova Guerra, Carlos El primer principio de la razón práctica en la teoría de la ley natural de John Finnis. The first principle of practical reason in John Finnis´s natural (...) law theory. Hocevar G., Mayda G. El derecho a una educación integral de calidad, ¿utopía o posibilidad?. The right to an integral education of quality: utopia or possibility?. López de Cordero, Mery La muerte de la imagen. The death of the image. Peña, Edilio Karl Jaspers: autorreflexión y "existenzerhellung". Karl jaspers: self-reflection and "existenzerhellung". Portuondo Pajón, Gladys L. Derechos humanos y positivismo moderado. Human rights and temperated positivism. Ramos Pascua, José Antonio De la libertad y sus apariencias. On liberty and its appearances. Ramis Muscato, Pompeyo Pensamiento y vida: la "guía" zambraniana. Thought and life: zambrano's "guide" Rivara Kamaji, Greta Interdisciplinares Las mujeres en la ciencia de la salud. Women in the health sciences. Alcaraz Ariza, María Ángeles Cultura arquitectónica y crisis de la contemporaneidad. Architectural culture and crisis of the contemporary. Arellano Spinetti, Leonardo Recensiones Homenaje al filósofo venezolano Alberto Rosales. Walton, Roberto Informaciones Índice acumulado. (shrink)

Se cree en algunos círculos que el proyecto del realismo científico lleva tiempo muerto, a manos –reza la historia– de las críticas propuestas en el último siglo por Thomas Kuhn, Bas van Fraassen, Larry Laudan y otros importantes pensadores. Entre las jugadas libradas en su contra se destacan algunos argumentos globales sobre la infradeterminación empírica de las teorías, así como argumentos inductivos en contra del modelo de refinamiento acumulativo del avance del conocimiento científico. La fuerza de tales argumentos, tal como (...) se los ha presentado, parece, sin embargo, grandemente exagerada. Y aunque el proyecto del realismo científico dista de estar completo, tampoco hay un caso contundente que permita declararlo en agonía (y mucho menos muerto), o tal es mi argumento en este trabajo. (shrink)

El artículo trata sobre las Cartas inéditas enviadas por la escritora chilena Flora Abasolo al filósofo vasco Miguel de Unamuno. Se da cuenta, primero, de la producción literaria de la escritora dado el evidente desconocimiento que de ella existe dentro del ámbito intelectual nacional. Luego se hace referencia a las Cartas en tanto forman parte de la iniciativa comunicacional y editorial emprendida por Flora en pro del reconocimiento del nombre de su padre, el filósofo Jenaro Abasolo, y de su obra (...) póstuma, La personalidad política y la América del porvenir. Conforme a esto, se explicita el contexto de las Cartas, sus fechas, número y finalidad, y se lleva a cabo una hermenéutica crítica de parte de su contenido con el objetivo de incorporar nuevos antecedentes biográficos y literarios de la escritora y de su progenitor. Se indaga, a su vez, en las razones que pudo tener Unamuno para dejar incumplido el compromiso de reseñar la obra de Abasolo, atendiendo a las circunstancias, a las estrategias seguidas por Flora y a su talante, diferente al de su padre en la búsqueda de reconocimiento. Este trabajo es parte de una investigación mayor que venimos desarrollando desde el año 2008 sobre Abasolo. Sumamos las Cartas a esta labor como un nuevo documento que sobrepasa las expectativas respecto del valor que tienen para la reconstrucción de la vida y obra del filósofo santiaguino, y para la evaluación que de la misma escritora chilena se pueda hacer. Destacamos por tanto la conveniencia de incorporar a las investigaciones de la filosofía en Chile esta clase de documentos que evitan, más allá de su inicial apariencia intrascendente, recorrer caminos que hay que desandar cuando el peso de la evidencia documental vuelve erróneo parte de lo que la especulación sin antecedentes había establecido. (shrink)

The incredible achievements of modern scientific theories lead most of us to embrace scientific realism: the view that our best theories offer us at least roughly accurate descriptions of otherwise inaccessible parts of the world like genes, atoms, and the big bang. In Exceeding Our Grasp, Stanford argues that careful attention to the history of scientific investigation invites a challenge to this view that is not well represented in contemporary debates about the nature of the scientific enterprise. The historical record (...) of scientific inquiry, Stanford suggests, is characterized by what he calls the problem of unconceived alternatives. Past scientists have routinely failed even to conceive of alternatives to their own theories and lines of theoretical investigation, alternatives that were both well-confirmed by the evidence available at the time and sufficiently serious as to be ultimately accepted by later scientific communities. Stanford supports this claim with a detailed investigation of the mid-to-late 19th century theories of inheritance and generation proposed in turn by Charles Darwin, Francis Galton, and August Weismann. He goes on to argue that this historical pattern strongly suggests that there are equally well-confirmed and scientifically serious alternatives to our own best theories that remain currently unconceived. Moreover, this challenge is more serious than those rooted in either the so-called pessimistic induction or the underdetermination of theories by evidence, in part because existing realist responses to these latter challenges offer no relief from the problem of unconceived alternatives itself. Stanford concludes by investigating what positive account of the spectacularly successful edifice of modern theoretical science remains open to us if we accept that our best scientific theories are powerful conceptual tools for accomplishing our practical goals, but abandon the view that the descriptions of the world around us that they offer are therefore even probably or approximately true. (shrink)

The place of the emotions among the passions -- The analytic of the emotions I -- The analytic of the emotions II -- The dialectic of the emotions -- Pride, arrogance, and humility -- Shame, embarrassment, and guilt -- Envy -- Jealousy -- Anger -- Love -- Friendship -- Sympathy and empathy.

The main aim of this article is to offer a sociological concept of crisis that, defined as the expected yet non-lineal outcome of the internal dynamics of modern societies, builds on the synergies between critical theory and systems theory. It contends that, notwithstanding important differences, both traditions concur in addressing crises as a form of self-reproduction of social systems as much as a form of engagement with the complexities and effects of such processes of reproduction. In order to make our (...) comparison exhaustive, this article explores critical and systems theories’ notions of crisis at three levels: (1) their conceptual delimitation of crises; (2) their methodological proposals to empirically observe crises; and (3) their normative attempts to contribute to their resolution. As crises remain a distinctive structural feature of the social world and a rich source of knowledge about it, reflexivity must be seen as a crucial form of engagement with the negative expressions of social life itself. (shrink)