Scielo RSS <![CDATA[Revista de humanidades de Valparaíso]]> https://scielo.conicyt.cl/rss.php?pid=0719-424220190001&lang=es vol. num. 13 lang. es <![CDATA[SciELO Logo]]> https://scielo.conicyt.cl/img/en/fbpelogp.gif https://scielo.conicyt.cl <![CDATA[The Influence of Tractatus in the Positivist Criterion of Meaning]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100006&lng=es&nrm=iso&tlng=es Resumo: Uma das motivações para as pesquisas realizadas pelos membros do Círculo de Viena a respeito dos fundamentos da linguagem científica se encontra na obra de Wittgenstein “Tractatus Logico-Philophicus”. Embora haja divergências sobre a legitimidade dessa influência, o livro foi, com efeito, tomado como motivação teórica para a estruturação da linguagem científica, desenvolvida pelos empiristas lógicos. Este artigo apresenta as teorias desenvolvidas pelos membros do Círculo de Viena ressaltando os elementos presentes no Tractatus que foram tomados, em grande parte, como influência sobre o “critério de significado” de uma proposição filosófica adotado pelos empiristas lógicos na tentativa de se estabelecer uma fundamentação para o conhecimento.<hr/>Abstract: One of the motivations for the researches leaded by the members of Vienna Circle with regard to the foundations of scientific language is found on Wittgenstein’s “Tractatus Logico-Philophicus”. Even though there are divergences about the legitimacy of this influence, the book was, in effect, taken as a theoretical motivation for the structuring of scientific language, developed by logical empiricists. This paper will present the theories developed by members of Vienna Circle emphasizing the elements presents in Tractatus that were taken, largely, as influence over the “criterion of meaning” of a philosophical proposition adopted by logical empiricists in an attempt to set a foundation for knowledge. <![CDATA[Sobre las reglas de predicador e indexicalidad]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100018&lng=es&nrm=iso&tlng=es Abstract We argue that no attempt of reducing meaning to a systematic set of rules, according to which the role of linguistic expressions is to be normatively defined, can be abstracted from an irreducibly decisional compound. By comparing Lorenzen’s project of building an Ortho-language (Orthosprache) and Brandom’s inferentialist take on meaning, we distinguish two ways of acknowledging this fact, while claiming that Lorenzen’s take is more genuinely constructive, insofar as choices be thought of as genuine features of constructions. It brings into a new perspective the relation between dialogical constructivism and Brouwer’s intuitionism. Finally, we bring up a philosophical argument for the claim that interaction rules should be indexed on players and on their choices, when providing deontic bases to semantics.<hr/>Resumen Argumentamos que ningún intento de reducir el significado a un conjunto sistemático de reglas, según el cual el papel de las expresiones lingüísticas debe definirse normativamente, puede abstraerse de un compuesto irreductiblemente decisional. Al comparar el proyecto de Lorenzen de construir un lenguaje ortodoxo (Orthosprache) y el enfoque inferencialista de Brandom sobre el significado, distinguimos dos formas de reconocer este hecho, al tiempo que afirmamos que el enfoque de Lorenzen es más genuinamente constructivo, en la medida en que las elecciones se consideran características genuinas de las construcciones. Esto lleva a una nueva perspectiva la relación entre el constructivismo dialógico y el intuicionismo de Brouwer. Finalmente, presentamos un argumento filosófico para la afirmación de que las reglas de interacción deben indexarse en relación a los jugadores y sus elecciones, al proporcionar bases deónticas a la semántica. <![CDATA[La lógica híbrida como extensión de las lógicas modal y temporal]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100034&lng=es&nrm=iso&tlng=es Abstract Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal (temporal) operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal Logic are consequently related. In fact, Temporal Logic is an extension of Modal one. Even when both logics mechanisms are able to formalize modal-temporal information with some accuracy, they suffer from a lack of expressiveness which Hybrid Logic can solve. Indeed, one of the problems of Modal Logic consists in its incapacity of naming specific points inside a model. As Temporal Logic is based on it, it cannot make such a thing neither. But First-Order Logic does can by means of constants and equality relation. Hybrid Logic, which results from combining Modal Logic and First-Order Logic, may solve this shortcoming. The main aim of this paper is to explain how Hybrid Logic emanates from Modal and Temporal ones in order to show what it adds to both logics with regard to information representation, why it is more expressive than them and what relation it maintains with the First-Order Correspondence Language.<hr/>Resumen La lógica temporal fue creada por Arthur Prior para representar información temporal en un sistema lógico mediante operadores modales-temporales como P, F, H o G. Intuitivamente tales operadores pueden entenderse respectivamente como “fue alguna vez en el pasado...”, “será alguna vez en el futuro...”, “ha sido siempre en el pasado...” y “será siempre en el futuro...”. La evaluación de las fórmulas construidas a partir de ellos se lleva a cabo en semánticas kripkeanas y, de este modo, la lógica modal y la temporal están relacionadas. Sin embargo, aunque sus mecanismos permiten formalizar la información modal-temporal con cierta precisión, ambas lógicas adolecen de un problema de expresividad que la lógica híbrida es capaz de solventar. En efecto, uno de los problemas de la lógica modal reside en su incapacidad para nombrar puntos concretos dentro de un modelo. La lógica temporal, al basarse en ella, tampoco puede hacerlo. Pero la lógica de primer orden sí es capaz gracias a las constantes y a la relación de identidad. La lógica híbrida, que resulta de combinar la lógica modal con la lógica de primer orden, sería una solución a este problema. El principal objetivo de este artículo consiste en explicar el origen de la lógica híbrida a partir de la modal-temporal para mostrar qué añade a ambos sistemas en la representación de información, por qué es más expresiva que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica de primer orden. <![CDATA[Giro dinámico y lógica de la investigación científica]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100068&lng=es&nrm=iso&tlng=es Resumen Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica contemporánea, junto con el programa de dinámica lógica de la información y la interacción. Sucintamente presentamos las principales características de la lógica favorable a la independencia y la semántica juego-teórica (IF-logic y GTS, respectivamente, en Hintikka y Sandu 1997), de la lógica dialógica (Redmond y Fontaine 2011), así como los elementos esenciales de dicho programa. Si bien a partir de cualquiera de estos puntos de vista se cuenta con un elenco de herramientas lógicas para abordar cuestiones más claramente epistemológicas, destacamos el papel de la lógica epistémica dinámica (LED), a la que dedicamos la siguiente sección. Sigue otra en la que entramos en los estudios lógicos de la abducción como uno de los problemas fundamentales de la epistemología contemporánea y, en una nueva sección, en términos de los constructos teóricos de las secciones precedentes, presentamos y explicamos un fenómeno surgido en el campo de la lingüística, el caso del descubrimiento de la lengua amazónica pirahã, que debería ser considerado una anomalía en el marco de la teoría chomskiana.<hr/>Abstract In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics (IF-logic and GTS, respectively, in Hintikka and Sandu 1997), of dialogical logic (Redmond and Fontaine 2011), as well as the essential elements of this program. Although from any of these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic (DEL), to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory. <![CDATA[Paraconsistencia total]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100090&lng=es&nrm=iso&tlng=es Resumen Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad en ellas. Finalmente, propondré una nueva caracterización de la paraconsistencia, la que llamaré paraconsistencia total y mostraré que la regla de monotonía juega un rol crucial en todas las presentaciones de dicho concepto.<hr/>Abstract In the context of non-classical logics, many philosophers have been particularly interested in the paraconsistent logics. In addition to traditional definitions, in recent years, new ways of characterizing the notion of paraconsistency have been proposed. In all of these definitions the rule or the meta-rule of explosion is abandoned. In this article, I present those definitions and evaluate the role that the negation and the transitivity play in each of them. Finally, I propose a new definition of paraconsistency which I call total paraconsistency and show that the rule of weakening plays a crucial role in all of the characterizations of such a concept. <![CDATA[La subversión de la democracia]]> https://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000100102&lng=es&nrm=iso&tlng=es Resumen Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad en ellas. Finalmente, propondré una nueva caracterización de la paraconsistencia, la que llamaré paraconsistencia total y mostraré que la regla de monotonía juega un rol crucial en todas las presentaciones de dicho concepto.<hr/>Abstract In the context of non-classical logics, many philosophers have been particularly interested in the paraconsistent logics. In addition to traditional definitions, in recent years, new ways of characterizing the notion of paraconsistency have been proposed. In all of these definitions the rule or the meta-rule of explosion is abandoned. In this article, I present those definitions and evaluate the role that the negation and the transitivity play in each of them. Finally, I propose a new definition of paraconsistency which I call total paraconsistency and show that the rule of weakening plays a crucial role in all of the characterizations of such a concept.