La reflexión tarskiana sobre el concepto de consecuencia lógica puede dividirse – básicamente – en dos enfoques: el enfoque axiomático inicial – cuyo programa es elaborado hacia fines de los 20 y cuyos primeros resultados aparecen en ‘On Some Fundamental Concepts of Metamathematics’ de 1930 – y el enfoque semántico – expuesto en el célebre artículo de Tarski de 1936, ‘On the Concept of Logical Consequence’. El propósito de esta comunicación es reflexionar acerca de algunos aspectos metodológicos y (...) conceptuales de la perspectiva axiomática, basándose esencialmente en el artículo inicial programático de 1930. Más aspecíficamente, apoyándose en ese primer escrito, se intentará responder las dos cuestiones siguientes: a) ¿es posible atribuir a Tarski – en 1930- una perspectiva meta-teórica sintactista?, y b) ¿es posible entender tal empresa taraskiana como un esfuerzo de análisis o elucidación? Estas dos cuestiones han sido sugeridas por diversos autores. No conozco empero un análisis minucioso de las mismas y, en particular, un esfuerzo por mostrar la articulación entre las respuestas a ambas cuestiones. Este trabajo es un modesto intento en esa dirección. (shrink)

En este trabajo, me propongo discutir la plausibilidad de la tesis de que es posible captar las características modales del concepto intuitivo de consecuencia a través de un concepto de consecuencia definido generalizando sobre interpretaciones. Desde mi perspectiva, las argumentaciones que han ofrecido aquellos que, como Ray, quieren salvar el salto de lo general a lo modal, mostrando que hay suficientes interpretaciones como para representar las características modales de la noción preteórica de consecuencia, poseen un mismo tipo (...) de limitación. La misma es producto de la imposibilidad de contar con una interpretación de los cuantificadores suficientemente general como para abarcar sin restricción contextual alguna, la totalidad de las interpretaciones. Al mismo tiempo, sostengo que estos problemas están emparentados con los límites expresivos propios de la estrategia que intenta ofrecer una teoría matemática precisa del concepto de interpretación por medio de algún tipo de cuantificación sobre estructuras (sean estas conjuntistas o no). Por eso, tales límites expresivos no tienen que ver especialmente con los rasgos modales propiamente dichos del concepto de consecuencia, sino con la cuantificación irrestricta que el análisis requeriría para ser adecuado. (shrink)

According to Etchemendy, in attempting to offer an analysis of the modal features of the intuitive concept of logical consequence, Tarski has committed a modal fallacy. In this paper, I consider the thesis according to it is posible to analyze the modals properties of concept of logical consequence through of a generalization on set-theoretical interpretations. As is known, some philosophers have tried to argue for the transit from the general to the modal by showing that there are enough settheoretic interpretations (...) so as to be able to represent the modal features of the intuitive concept of consequence. As is also known, those people have encountered a lot of difficulties. In the present paper, I will try to show that those problems are related not with the specific possibility of accounting for the modal features by means of a set-theoretic notion of model but with the possibility of coming up with a precise mathematical theory for the concept of interpretation, and, as such, they can be solved by way of appealing to the usual solutions to this problem. (shrink)

[ES] La teoría de modelos parte generalmente de la definición de consecuencia lógica ofrecida por Tarski en 1936. John Etchemendy asevera que esta definición contiene una falacia si se le toma como definición genuina de este concepto. Esta aseveración ha desatado una polémica interesante. El presente ensayo resume los puntos principales en discusión y sugiere en su conclusión que el rechazo de la propuesta de Etchemendy se basa en un malentendido de la intención de su crítica, cuyo objeto (...) no es, propiamente dicho, la definición de Tarski, sino que ésta ofrece un fundamento insuficiente para la teoría de modelos. [EN] Model Theory generally assumes the definition of logical consequence proffered by Tarski in 1936. John Etchemendy suggests that Tarski’s definition contains a fallacy, from which an interesting controversy ensued about the definition and its meaning. The main points in discussion are summarized and it is suggested that the controversy is based on a misunderstanding of the intentions of Etchemendy’s criticism: the target is not so much Tarski’s definition, but that it offers an insufficient foundation for Model Theory. (shrink)

En el presente trabajo se pone de relieve una tesis del último Kuhn que ha sido, y aún es, desatendida: el carácter no universal del lenguaje. Luego de ubicarla en los textos y contextos teóricos donde aparece, se intenta aclararla a partir de algunos de sus textos posteriores. En este afán, el trabajo presente en primer lugar muestra, cómo, deben ser modificadas algunas de las propuestas filosóficas atribuidas al Kuhn clásico para poder comprender esta tesis y en segundo lugar, intenta (...) dar cuenta muy brevemente de ciertas innovaciones filosóficas del último Kuhn. Además, se comparan algunas de esas nuevas tesis de Kuhn con sus posibles -aunque nunca explicitados- interlocutores, a saber: N. Chomsky y J. Fodor. This paper draws attention to one of the theses of the Later Kuhn, which has been ignored: the non-universal character of language. After locating the thesis in the texts and theoretical contexts in which it appears, it is attempted to be clarified in view of some of his later texts. In regard of this, the paper firstly shows, how some of the philosophical proposals attributed to the Early Kuhn must be modified in order to understand it. Secondly, a very brief account for certain philosophical innovations in the Later Kuhn is attempted to be given. In addition, some of Kuhn's new theses are compared with his most likely, even if never explicit, interlocutors, namely N. Chomsky and J. Fodor. (shrink)

En el contexto de ofrecer lógicas alternativas que lidien no trivialmente con paradojas semánticas y superen a la vez la objeción de incoherencia que se alza habitualmente contra ellas, el BA-Plan propone una definición de lógica en el sentido de secuencia infinita de nociones de consecuencia que especifica estándares de validez para el nivel inferencial y para los metainferenciales. El presente trabajo argumenta que si se admite la conveniencia de esta definición de lógica es posible desacoplar la (...) noción de coherencia entre estándares de validez de la noción de uniformidad entre estándares de validez. (shrink)

Este trabajo utiliza el rastro analítico y hermenéutico producido por la resolución del “sofisma de los tres prisioneros”, que Lacan incluyó en su artículo de 1945 “El tiempo lógico y el aserto de certidumbre anticipada. Un nuevo sofisma” . Lo que con ello nos propusimos, fue mostrar la importancia de la alteridad como un elemento crucial para reflexionar sobre el deseo. La relevancia del “otro” aparece, así, no sólo como un complemento esencial para la constitución del sujeto, sino también como (...) el fundamento ontológico que hace de este sujeto un ser deseante, con el poder del lenguaje y volcado a la acción, es decir, un ser humano atado a la red social. (shrink)

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent of (...) the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué (...) sentido la validez es una propiedad formal. La segunda sección contiene la introducción histórica; nos detenemos, en particular, a estudiar dos hitos: el nacimiento de la lógica como disciplina con Aristóteles, y la intervención de Gottlob Frege, a quien se debe, en gran parte, el surgimiento de la lógica tal como la conocemos. Finalmente, damos un breve comentario del estado actual de la disciplina. (shrink)

Se revisan en este trabajo diversas concepciones sobre la lógica procurando mostrar los alcances, pero también las limitaciones, de la concepción dominante en al menos la primera mitad del siglo XX. Intento mostrar que la noción asociada a la relación de consecuencia que el formalismo lógico clásico captura, relacionado al programa de fundamentación de la matemática es limitada, tanto respecto de las nociones intuitivas de lógica como de las diferentes disciplinas vinculadas. Sostenemos que la caracterización de la (...) lógica ofrecida por A. Moretti ofrece una perspectiva más amplia y superadora de la lógica. (shrink)

En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una (...) familia de sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista. (shrink)

El objeto principal de este trabajo consiste en discutir una propuesta de C. Alchourrón y A. Martino para hacer frente al problema de la fundamentación de la lógica deóntica, planteado por el dilema de Jørgensen. La propuesta criticada se basa en la idea de que no existe obstáculo alguno en compatibilizar la idea de que las normas carecen de valor de verdad con la idea de que poseen una lógica, una vez que se renuncia al "prejuicio filosófico" de (...) que es indispensable caracterizar semánticamente las relaciones y propiedades lógicas y se explica la lógica a partir de la noción abstracta de consecuencia, desligándola de las nociones de verdad y falsedad. Sostienen que el significado de los operadores deónticos, al igual que el de los términos lógicos en la deducción natural, puede quedar totalmente expresado una vez que se explicita su uso mediante reglas de introducción y eliminación. Para ilustrar su propuesta, pretenden ofrecer una fundamentación puramente sintáctica de la lógica deóntica standard. Mis críticas se centran en tres puntos: a) no utilizan auténticas reglas de introducción para los operadores deónticos; b) no derivan la lógica deóntica standard como pretenden haber hecho, y c) no se establecen criterios para relacionar las fórmulas del cálculo con el lenguaje normativo ordinario, con lo que no existen razones para considerar que se trata de una lógica deóntica. Defiendo la idea de que, a los fines de fundamentar semánticamente la lógica deóntica, sólo es necesario que existan interpretaciones admisibles que atribuyan valores de verdad a las normas, y que este requisito es cumplido por la semántica usual de la lógica deóntica standard, con lo que el dilema de Jørgensen resulta ser un seudoproblema. In this paper I discuss a proposal from C. Alchourrón and A. Martino with which they try to face the problem posed to the foundation of deontic logic by Jørgensen' s dilemma. Their proposal is based on the idea that there is no problem at all in compatibilizing the fact that norms lack truth values with their possession of a logic, once it is denied that it is absolutely necessary to offer a semantic characterization of logical properties and relations, and the abstract notion of consequence is taken as primitive. They claim that the meaning of deontic operators, like that of logical terms in natural deduction, is completely expressed through their use, which is explained by means of rules of introduction and elimination. As an illustration, they present a calculus with which they intend to offer a foundation for standard deontic logic. I make three objections: a) They don' t use real rules of introduction for deontic operators; b) They don' t have derived standard deontic logic as they claim; c) There are no criteria for relating the formulas with ordinary normative discourse; so there are no reasons for considering their calculus as a deontic logic. I claim that, in order to give a semantical foundation to deontic logic it is only necessary that there are admissible interpretations that assign truth values to norms, and that this requisite is satisfied by the usual semantic of standard deontic logic. I conclude that Jørgensen' s dilemma is a pseudoproblem. (shrink)

1. EI dilema de Jørgensen. 2. La salución propuesta. 3. Breve historia de un prejudicio filosófico. 4. Normas sin lógica. 4.1. Imperativos sin lógica. 4.2. Normas y proposicienesnormativas. 4.3. Proposiciones normativas y normas verdaderas. 4.4. Mundos posibles. 4.5. Validez e invalidez. 4.6. La racionalidad del legislador. 5. La noción abstracta, sintáctica y semántica de consecuencia. 5.1. La noción abstracta de consecuencia. 5.2. La noción sintáctica de consecuencia. 5.3. La noción semántica de consecuencia. 5.4. EI (...) sentido dado por las reglas de uso en un contexto. 5.5. Qué operadores para la lógica. 5.6. Solo en un contexto la parte cobra sentido. 6. La lógica deóntica. 7. De donde la solución del dilema interesa a toda la lógica. 8. Consecuendas para la informática. (shrink)

El objetivo del presente artículo es someter a escrutinio la afirmación de Hintikka según la cual la verdadera lógica elemental no es la clásica sino la lógica IF y, en consecuencia, el marco en que ordinariamente son pensadas las relaciones entre lógica y matemáticas es por completo inadecuado. Pa..

Este artículo pretende ser una interpretación de algunos pasajes de la lección Los conceptos fundamentales de la metafísica. Mundo, finitud, soledad que Martin Heidegger dictara en la Universidad de Friburgo , el semestre de invierno de 1929/30. Mi hipótesis investigativa es que Heidegger lleva a cabo una lectura metafísica de la lógica, cuyas consecuencias son antropológicas, en el sentido que permiten establecer la distinción entre el animal y el ser humano. En otras palabras, me parece que el detenido análisis (...) sobre el “como” es, en parte, la respuesta heideggeriana a una de las preguntas antropológicas fundamentales de la época, esto es: ¿dónde radica la diferencia entre el animal y el ser humano? (shrink)

¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la (...) verdad y resalta el papel fundamental de la información semántica en la construcción de sistemas formales concebidos como modelos de las lenguas naturales. (shrink)

El problema de la adopción, desarrollado por Kripke (2021) y elaborado por Padró (2015, 2021), ha generado considerable debate en la filosofía del lenguaje y de la lógica debido a sus consecuencias para las teorías de la racionalidad y la naturaleza de los principios lógicos. Se ha propuesto que existe una íntima relación entre este problema y el tipo de argumento de inconsistencia metarreferencial dirigido contra la defensa monista de una lógica no clásica. Esto ha llevado a pensar (...) que la postura de Kripke contra la adopción de una lógica implica una crítica al monismo lógico no clásico. El presente trabajo evalúa las dificultades de interpretar de este modo el problema de la adopción, en la forma en que ha sido presentado por Barrio, Fiore y Pailos (2021). Se busca argumentar que esta interpretación ignora elementos clave tanto del argumento como de la conclusión de Kripke. Se avanza una lectura alternativa al problema, y se argumenta que reviste ventajas interpretativas y filosóficas. Se espera con esto aportar a la comprensión del complejo problema kripkeano, así como a su relación con las discusiones contemporáneas en torno al monismo lógico. (shrink)

La filosofía ha reflexionado a menudo acerca de la naturaleza de la burocracia, de su lógica y método, de sus consecuencias. En este artículo se quiere presentar cómo la inimputable y, por ello, irrazonable lógica burocrática se fundamenta en una psicopatológica religiosa, “mística”. Para mostrar esta temática nos servimos de lo que han escrito Max Weber en su Economía y sociedad y Hannah Arendt en Los orígenes del totalitarismo, ya que nos parecen los autores que más han comprendido (...) y señalado el fundamento místico-religioso de la lógica burocrática. Por ello, en un primer punto mostraremos en qué consiste según estos autores la lógica del pensamiento burocrático y, en un segundo punto, señalaremos el fundamento patológico-religioso de esta lógica. (shrink)

¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la (...) verdad y resalta el papel fundamental de la información semántica en la construcción de sistemas formales concebidos como modelos de las lenguas naturales. (shrink)

John Etchemendy argumenta que, dado el fracaso del análisis tarskianode la noción intuitiva de consecuencia lógica, no hay razones para considerara la formalidad una condición necesaria para dicha relación. En el presentetrabajo critico este argumento. Primeramente, busco mostrar que la crítica deEtchemendy al análisis tarskiano asume dos requisitos de éxito elucidatorio queno es razonable adoptar conjuntamente. En segundo lugar muestro que, rechazadala anterior asunción, dos argumentos a favor de la adecuación extensionalde dicho análisis confieren apoyo al formalismo. Finalmente, (...) menciono algunasconocidas consideraciones de índole pragmática en favor del formalismo. (shrink)

El psicoanálisis surgió, hacia fines del siglo XIX, como una teoría científica que pretende explicar el aparato psíquico y como una forma de psicoterapia que es una aplicación de ella. Desde entonces, su metapsicología y sus técnicas de intervención han cambiado mucho, sobre todo como consecuencia del contraste permanente con la evidencia clínica. En muchos casos, sin embargo, su epistemología y su filosofía de la mente siguen siendo deudoras de los presupuestos teóricos con los que nació. Eso es doblemente (...) negativo. Por una parte, porque esa epistemología decimonónica suele estar comprometida con formas de fisicalismo y reductivismo que son por lo menos discutibles y que tienen consecuencias respecto de su concepción de lo mental. De otro lado, porque no facilita su integración con la filosofía de la mente actual. En este texto me propongo reseñar y comentar algunas tesis del libro de Carlos Caorsi, con el objetivo de mostrar la necesidad de mayor diálogo entre psicoanálisis y filosofía de la mente, concentrándome sobre todo en la ontología de lo mental que pudo haber presupuesto Freud y en la tesis de Caorsi sobre los sistemas lógicos que subyacerían a los sistemas psíquicos de la primera tópica freudiana. (shrink)

El método de forcing usado (junto con el Método de "los constructibles" de Gödel) para probar la independencia de la hipótesis del continuo respecto de la axiomática de Zermelo-Fraenkel en los textos "Set Theory" de Kunen, y "Set Theory" de Jech, tiene entre sus fundamentos lógicos principales las propiedades de completitud y de Lowenheim -Skolem (hacia abajo). Por otro lado, se sabe por Lindström que no hay una lógica de mayor capacidad expresiva que la lógica de primer orden (...) que satisfaga simultáneamente ambas propiedades. Esto sugiere que no existe una lógica de mayor capacidad expresiva que la lógica de primer orden con la cual se pueda aplicar tal método. En este artículo se pretende argumentar a favor de tal sugerencia. (Nota: En mi ensayo "El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos", publicado en el 2016, desarrollo con mayor rigurosidad y precisión matemática el tema, ver tal trabajo en la web o en esta página). The method of forcing used (along with Gödel's "constructibles" method) to prove the independence of the continuum hypothesis from the Zermelo-Fraenkel axiomatic system, in Kunen’s book "Set Theory" and in Jech's "Set Theory", is logically founded on the properties of completeness and Lowenheim-Skolem (downwards). On the other hand, Lindström has proved that there is no logic of greater expressive capability than the first order logic that is able to satisfy simultaneously both properties. This suggests that there is no logic of greater expressive capability than the first order logic with which this method can be wed. To provide a ground for this assertion is the purport of this paper. (Note: In my essay "The Forcing Method: Some applications and an approach to its metamathematical foundations", published in 2016, I develop with greater rigor and mathematical precision the topic, see such work on the web or on this page). (shrink)

Partiendo de una serie de tesis respecto del significado de la negación lógica, se ofrece una reflexión acerca de la relación entre el pluralismo lógico y el estatus de ciertos principios lógicos fundamentales. El objetivo de este trabajo es mostrar que el Problema de la Adopción, tal como se encuentra formulado por Kripke-Padró, no representa un conflicto para una visión antiexcepcionalista de la lógica. Las leyes lógicas no poseen un status privilegiado, independientemente de que existan algunas que no (...) podemos adoptar, porque sí podemos decidir abandonar principios lógicos y es abandonando reglas y no adoptándolas como se revisa una teoría lógica; en consecuencia es aceptable un tipo de pluralismo lógico que parta de considerar que más de un conjunto de principios capturan de manera adecuada el significado de la negación. (shrink)

¿Cómo, en el contexto de la lógica aristotélica encontrar una alternativa para darle una base semántica a la sintaxis con la que funciona un proceso computacional superando tanto la objeción del "experimento mental" propuesto por Searle, como la idea del "Escape de la habitación china" sugerido por M. Boden? Este problema exige: primero, mostrar la forma en que una lógica de términos, la de Aristóteles, puede ser transformada en una la lógica de proposiciones y de esta manera (...) automatizada su sintaxis; y, segundo, lograr -en la automatización del razonamiento- la incorporación del sentido, es decir, de su semántica. Para ello se vuelve a las Categorías de Aristóteles, las cuales, tal como se mostrará, siguiendo en esto a Husserl, son estructuras noético-noemáticas, que presentan lo que se piensa de un mundo y las cuales efectivamente son representadas en forma automatizada, por ejemplo, en juegos como Awale o Azul, por las reglas con las que se puede actuar, la representación del jugador, sus jugadas, las consecuencias de sus jugadas y la manera como se enfrenta en la escena del juego. (shrink)

El excepcionalismo de la lógica asume que la lógica tiene un estatus epistemológico privilegiado, es normativa y no es revisable. El antiexcepcionalismo, en cambio, rechaza ese carácter excepcional. Recientemente, se ha sugerido que el problema de la adopción de reglas lógicas es transversal a la discusión que se da entre excepcionalistas y antiexcepcionalistas. En este trabajo defiendo la tesis contraria. En particular, sostengo que, si el problema de la adopción de reglas es un problema central para la (...) class='Hi'>lógica como disciplina, el antiexcepcionalismo debe ser incorrecto. En caso contrario, debe ser incorrecta la postura excepcionalista. Evalúo, además, consecuencias directas del análisis presente sobre la discusión en torno al monismo y el pluralismo de la lógica. (shrink)

Marcelo Dascal destaca en diversos artículos en los que analiza las consecuencias de la concepción pragmática del significado, la importancia de estudiar la estructura dialógica de la controversia argumentativa tanto epistemológica como lógica para la formulación de un concepto de conocimiento alternativo al concepto representacional y computacional usual en las ciencias cognitivas. Ahora bien, se supone que la lógica linear es el instrumento más apropiado para describir procesos computacionales de deducción. Irónicamente, las semánticas formales usuales, que podrían utilizarse (...) para una fundamentación representacional de la lógica linear han sido hasta ahora más bien infructuosas. Es más, parece que la semántica de la lógica linear es esencialmente pragmática y basada en una estructura dialógica. Objetivo de este trabajo es discutir una nueva semántica para la lógica linear que destaca precisamente los fundamentos pragmáticos de tales aspectos dialógicos entendidos como una controversia argumentativa, a saber, contexto de argumentación, relevancia e intercambio de información. (shrink)

La pregunta inicial relacionada con este artículo es: ¿cómo el arte ha ido asimilando los procedimientos lógicos de los algoritmos computacionales? Nuestra hipótesis es que estamos siendo entrenados por procedimientos lógicos que conforman, informan y forman nuestro pensamiento, tales como simulaciones, modelos, patrones, códigos y conjuntos de códigos, algoritmos, dispositivos, interfaces, y estos son el núcleo de lo que llamamos de «pensamiento conformado». Es importante resaltar que al decir que un pensamiento está conformado no se limita a formas, aspectos físicos, (...) expresiones de patrones, sino que es un conjunto de hábitos o costumbres comunes y socialmente definidos, determinados por la sociedad, comunidad o grupo. Por lo tanto, el pensamiento conformado provoca cambios significativos e impulsa nuestro pensamiento, lenguaje y, en consecuencia, nuestro comportamiento. El objetivo es comprender cómo la lógica de los algoritmos, especialmente de la inteligencia artificial, que están presentes en los modelos conceptuales y perceptuales de las obras de arte actuales, puede generar un desmembramiento estético. La premisa es que la comprensión de los procedimientos tecnológicos aumenta las posibilidades creativas y el potencial expresivo de los proyectos de arte. Esto se verá reflejado de alguna manera en la experiencia estética, porque, cambiando conceptos y técnicas, también cambian el pensamiento y las formas de acción y, en consecuencia, los procesos creativos y los resultados estéticos. Este es el resultado de un estudio que busca comprender cómo estos procedimientos afectan los sistemas sensoriales y cognitivos, cómo nuestra mente procesa esta información y consecuentemente interactuamos en el mundo. Nuestro punto de vista es que los artistas tienen el papel crítico no solo de aplicar estos principios lógicos en sus obras de arte, sino también de intervenir en estos procesos de manera disconforme. (shrink)

En este trabajo analizo la propuesta de Moretti según la cual las verdades lógicas tienen dos aspectos. Por un lado, las verdades lógicas son constitutivas del vínculo entre lenguaje y mundo, por ende, siempre es necesario algún sistema lógico. Por otro lado, las verdades de una teoría lógica específica son tan revisables como las verdades de cualquier otra teoría científica, sea formal o empírica. Propongo que dicha propuesta está relacionada inevitablemente con dos cuestiones cuyas posibles respuestas ponen en duda (...) la posibilidad de revisar o cambiar una lógica. La primera cuestión es acerca del rasgo que distintas nociones de consecuencia comparten, el cual les permitiría desempeñar un rol constitutivo en la relación lenguaje-mundo. La segunda cuestión apunta a la necesidad de precisar los criterios que conducen a la sustitución de una lógica. (shrink)

A lo largo de una serie de textos, Merleau-Ponty criticó el proyecto husserliano que alternativamente denominó “gramática universal” y “eidética del lenguaje”, y al cual asoció una serie de consecuencias: la tesis de que la gramática universal implica (I) la previa cognoscibilidad de las “formas” universales con respecto a los lenguajes naturales; (II) la univocidad con la que las palabras en los lenguajes naturales se vincularían con sus significados, y la transparencia con que esta relación unívoca se presentaría ante la (...) conciencia, (III) la secundariedad del lenguaje con respecto al pensamiento y (IV) la intertraducibilidad universal. El autor francés rechaza estas consecuencias y por tanto cuestiona la plausibilidad del proyecto universalista en cuestión. sin embargo, no es claro que estas presuntas consecuencias estén realmente implicadas por la propuesta que Merleau-Ponty está discutiendo ni que, de obtenerse, tengan la forma específica necesaria para que la crítica tenga éxito. Trataremos de mostrar que tal crítica en última instancia falla. (shrink)

El presente artículo aborda el problema hegeliano del comienzo de la ciencia filosófica desde el prisma de la circularidad constitutiva del proceso lógico y, en consecuencia, de la vinculación especulativa entre el comienzo y el resultado. Siguiendo una metodología hermenéutica, la exposición está organizada en tres secciones. En la primera de ellas, el comentario se atendrá a la cuestión de la actualidad del comienzo de la Lógica. La segunda sección ofrecerá una aproximación al concepto del método, con la (...) intención de dilucidar en su naturaleza extensivo-intensiva el fundamento de la circularidad especulativa de lo lógico y de la integración dialéctica de sus momentos. En la última parte, la argumentación se enfocará en determinar la relevancia de dicha operación circular para la comprensión de la totalidad del programa filosófico hegeliano. (shrink)

El Anti-Excepcionalismo Lógico afirma que la Lógica es como cualquier otra ciencia. Si esta afirmación es cierta, entonces ella no sólo es revisable, sino que además todo lo que se puede decir sobre las ciencias aplica, mutatis mutandis, para la misma. El propósito de este artículo es explorar esta consecuencia del Anti-Excepcionalismo Lógico, acercando a la Filosofía de la Lógica el marco teórico de las Máquinas Nomológicas de Nancy Cartwright. De acuerdo con esta visión, lo que hay (...) de verdadero en las teorías científicas no está en el mundo sino en sus modelos: sistemas altamente controlados, estables, artificiales y específicos, dentro de los cuales se manifiestan regularidades sistematizables y enseñables. Mi afirmación es que lo mismo puede decirse de la Lógica: ella no captura las Leyes del Pensamiento o de la Razón, porque el pensamiento y la razón no están gobernados necesariamente por leyes. Sobre lo que sí puede decirse que versan las Leyes de la Lógica son metafísicas posibles: historias acerca de qué son las proposiciones, el pensamiento, la verdad y la validez. A fin de ilustrar y defender esta tesis, presento un ejemplo de Máquina Nomológica de la Lógica Clásica, basada en una lectura original del Tractatus de Wittgenstein, e investigo algunas de sus consecuencias. Mi conclusión es que esta imagen de la Lógica impacta en el problema de la revisión de la Lógica Clásica, en la medida en que muestra que dicha revisión no necesariamente responde a un proceso racional de adecuación de la teoría a los hechos porque los “hechos” relevantes no son anteriores a la teoría misma, sino que están moldeados y conducidos por ella. Palabras clave: Anti-Excepcionalismo Lógico, Abductivismo, Máquinas Nomológicas, Revisión Lógica, Filosofía de la Lógica. (shrink)

Resumen Ante el dilema de si la Lógica de Hegel debe entenderse como una ontología o como una continuación del proyecto kantiano de la lógica trascendental, el artículo sostiene que no es propiamente una ontología, ni un análisis de conceptos y categorías subjetivas. Su vocación metafísica se basa en el postulado según el cual la reflexión del pensamiento sobre sí mismo tiene consecuencias para la comprensión del ser de lo que no es pensamiento, de modo que resulta ser (...) un proyecto novedoso de ontología mediada por la autorreflexión del pensar.This text faces the dilemma whether Hegel’s Logic must be understood as ontology or as continuation of the Kantian project of transcendental logics. It upholds the thesis that Hegel’s Logic is not properly an Ontology -a direct and immediate description of object’s immanent way of being- nor an analysis of merely subjective concepts and categories. The metaphysical vocation of Hegel’s Logic draws rather on the claim that thought’s self-reflection has necessarily consequences for the comprehension of the being of all that is not thought. Hence, we are facing a groundbreaking project of an ontology that is mediated by thought’s self-reflection. (shrink)

¿En qué condiciones hay política? Esta pregunta subyace al conjunto de la teoría de Rancière. Para quien no siempre la hay, lo que siempre hay, en cambio, es dominación, una división policial de lo sensible. Aprehender tales condiciones, y lo que ello nos dice sobre esta teoría de lo político, es el objetivo principal del presente artículo. Con tal fin se realizará una lectura interna de dicha teoría, indagando la lógica propia de los materiales ranciereanos, en pos de captar (...) sus potencialidades pero también sus puntos ciegos al problematizar lo político. En definitiva, se realizará una “crítica inmanente” de su teoría, la cual se enfocará especialmente en cómo este autor tematiza la relación entre conocimiento y política. Así, se estudiarán, por un lado, los factores que llevan a que el conocimiento (filosófico, sociológico, etc.) suprima a la política, al litigio que la caracteriza, según Rancière. Esto conducirá, a su vez, a detallar cuáles son las condiciones que él señala como necesarias para que “haya política”. Por el otro lado, y en vínculo con lo anterior, se analizará el estatus que en esta teoría se da a la “igualdad”, en tanto desligarla de toda pretensión de verdad (cognoscitiva) resulta clave en las objeciones a la relación entre conocimiento y política que plantea Rancière, en lo que constituye, al mismo tiempo, uno de los cuestionamientos contemporáneos más radicales de dicha relación. El fin que persigue la crítica inmanente de esta teoría es elaborar los elementos para una nueva problematización de ese lazo entre conocimiento y política, particularmente del lugar que el conocimiento crítico puede tener en una política democrática. (shrink)

[ES] ¿Cómo caracteriza Aristóteles a la episteme teoretiké? Aristóteles consideraba a toda ciencia como un sistema S de enunciados que responden varios cánones, por ejemplo, aquellos que se refieren a un tipo o clase particular de objetos, los que son verdaderos, lo que refieren a sus consecuencias lógicas, lo que se aceptan sin definición, y los que que se aceptan sin demostración. Es así que, en este trabajo, por una parte reconstruiré los argumentos que Aristóteles da para sostener dicho sistema, (...) y por otra, analizaré la vigencia de tales argumentos. La hipótesis que manejaré, es que si se suponen verdaderos los requisitos que Aristóteles prescribió para el conocimiento científico se arriba a conclusiones que en la mayoría de los casos están en pugna con las tesis centrales de la metodología y de las ciencias contemporáneas. [EN] How does Aristotle characterize the episteme teoretiké? Aristotle considered all science as a system S of statements that answer to various canons, for example, those that refer to a particular type or class of objects, those which are true, those which refer to their logical consequences, those which are accepted without definition, and those that are accepted without demonstration. Thus, in this work, on the one hand I will reconstruct the arguments Aristotle gives to support this system, and on the other, I will analyze the validity of such arguments. The hypothesis that I will handle is that if the requisites that Aristotle prescribes for scientific knowledge are assumed to be true, then conclusions are reached that in most cases are in conflict with the central theses of the methodology and contemporary sciences. (shrink)

Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don’t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, (...) I argue that, since logical connectives are more homogeneously used in our ordinary speech, we can appeal to pretheoretical intuitions to establish their meaning in a logical theory. In the second part of the paper, I consider and reply to four objections to this moderate proposal. Two of them try to show that, if this position is adopted, then the pretheoretical intuitions about the connectives are completely unreliable and useless. One of them argues that this mixed position is unstable: pretheoretical intuitions about the connectives are also pretheoretical intuitions about validity. The last problem is related to the definition of validity and the possibility of revising it. (shrink)

En este artículo, ofrezco una caracterización del desacuerdo lógico. Segúnmi noción, los desacuerdos meramente verbales en lógica son inusuales.La mayoría de los desacuerdos lógicos son simplemente desacuerdosdescriptivos sobre el mundo o sobre el significado de los conectivos, mientrasque otros son desacuerdos evaluativos sobre la noción de validez.

Dirigido a docentes, el texto aborda las implicaciones educativas de un enfoque actualizado e integrador del desarrollo moral, que recomienda diferenciar entre los dominios personal, convencional y moral. Desde esa perspectiva, examina dos temas relacionados, según los diferentes niveles educativos o de edad: Primero, la importancia del clima social y emocional predominante en las aulas y escuelas, ya que los climas caracterizados por la calidez, la equidad y la confianza promueven la conducta prosocial y una “orientación de buena voluntad”. Especial (...) atención se le presta a los riesgos de las camarillas y la exclusión entre pares durante la adolescencia, así como a la necesidad de subdividir las escuelas grandes en comunidades educativas más pequeñas ―o a escala humana―. Segundo, la importancia práctica y ética de complementar una atmósfera moral positiva con una disciplina constructivista o evolutiva. Una disciplina que además de las metas comunes de control y eficiencia, también se propone elevar la competencia social y moral de los estudiantes enfatizando la motivación intrínseca, las habilidades de solución de problemas sociales, y un uso moderado de las consecuencias lógicas del mal comportamiento; en lugar del énfasis usual en modelar la conducta mediante recompensas y castigos extrínsecos. (shrink)

En este artículo, me propongo exponer algunas dificultades relacionadas con la posibilidad de que la Teoría de Modelos pueda constituirse en una Teoría General de la Interpretación. Específicamente la idea que sostengo es que lo que nos muestra la Paradoja de Orayen es que las interpretaciones no pueden ser ni conjuntos ni objetos. Por eso, una elucidación del concepto intuitivo de interpretación, que apele a este tipo de entidades, está condenada al fracaso. De manera secundaria, muestro que no hay algún (...) supuesto conjuntista que sea imprescindible para que surja la mencionada paradoja: sólo se necesita que las interpretaciones sean objetos. Voy a argumentar que si las interpretaciones son objetos, tal como lo supone la posibilidad de cuantificar sobre las mismas para poder dar una caracterización satisfactoria de consecuencia lógica, la au-toaplicación (como un caso de aplicación de los recursos semánticos de la teoría de modelos para encontrar una interpretación con máxima generalidad) es imposible. Finalmente, discuto cada una de las dos soluciones que el propio Orayen imaginó frente a su paradoja, y muestro que cada una posee diferentes dificultades.In this paper, I intend to present some problems to construe the Model Theory as a Theory of Interpretation. Specifically, I am going to defend that, according to the Paradox of Orayen, interpretations can not be neither set nor object. Thus, an explication of the intuitive concept of interpretation that appeals to these types of entities will be condemned to failure. Secondary, I will show that there is not any like-set assumption indispensable to get rise to that paradox: only all is needed is the assumption that interpretations are objects. I am going to argue that if interpretations are objects, as it is assumed by the possibility of quantifying over interpretations in order to offer an satisfactory characterization of logical consequence, self-application (as a case of application of semantics resources of the Model Theory for finding a interpretation with absolute generality) is not possible. Eventually, I will discuss both of the solutions provided by Orayen to his paradox and I will support that both have different difficulties. (shrink)

Deben distinguirse tres condiciones para la libertad humana: la realidad de la actividad de vivir de los individuos; la relevancia causal de los estados mentales; y, un irreductible aspecto subjetivo en vivir las cosas. Estas condiciones proveen una manera de describir la relación entre el cuerpo y el alma, tal que las condiciones se cumplen: primero, la realidad de la actividad implícitamente asume la identidad sustancial del cuerpo y el alma en cada actividad individual que existe como cuerpo. Segundo, existen, (...) sin embargo, diferencias formales fundamentales entre los estados mentales y los estados físicos de tales cuerpos, de manera que la dualidad de los estados poseídos por un individuo viviente tienen que ser reconocidos junto con la identidad sustancial de su cuerpo y alma. De ahí que la relevancia causal de los estados mentales para la ocurrencia de ciertas acciones pueda actuar como la marca peculiar de la libertad. Finalmente, la distinción entre la existencia objetivamente reconocible de estados y la posesión subjetiva de los mismos es la razón de que ciertas acciones no sean deducidas del conocimiento objetivo de la realidad, por muy completos que sean. Este argumento muestra que las acciones no pueden verse como la consecuencia lógica de los estados precedentes del mundo, aún si las acciones en cuestión fueron determinadas causal y completamente. Tal visión de las acciones es, no obstante, la justificación estándar de que la libertad sea incompatible con el determinismo. (shrink)

Tal como se ha plasmado en la historia, la crisis del pensamiento moderno, más que nada, ha dependido del hecho de haberse estructurado en franca colisión con las verdades relativas a la naturaleza de las cosas y al modo humano de conocerlas. Si bien tuvo su origen en una pluralidad de causas, este suceso fue provocado principalmente por el rechazo nominalista de la solución de la querella de los universales enunciada en el siglo XIII por Santo Tomás de Aquino. Rechazada (...) la solución tomista de tal controversia, el nominalismo propuso una serie de argumentos enderezados a reemplazar el conjunto de teorías aquinianas adversas, pero con ello no ha podido esquivar las consecuencias lógicas que se siguen de dicha recusación. En este sentido, en la medida en que Santo Tomás ha resuelto la querella de los universales, en esa misma medida la desestimación nominalista de tal solución ha contravenido la inteligencia del ente en cuanto ente, que es lo mismo que decir el conocimiento de las cosas en cuanto tales. (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común (...) al de A y de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)