Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

The main aims of this paper are two: first, to show that the current situation of History of Logic is far from being satisfactory, and second, to put forward a programme for its improvement. To this end it is as well, I think, to take into account a new conceptual and historiographical approach to growth of Iogic as a discipline, some basic notions in this regard -e.g., the notion of being a contribution to develop ment of Iogic-, and some others (...) compIementary aspects, commonly neglected by the History of Logic scholars. (shrink)

Propone develar cómo influye el narcotráfico, las formas de resistencia y reexistencia en la escuela del Norte del Valle del Cauca (Colombia). Desde un enfoque cualitativo se forman textos de las historias de vida y relatos de experiencias construidos en diálogo sobre los temas generadores Escuela y narcotráfico, analizados por medio de matrices de interpretación y su triangulación; autores, actores y maestro participante en una perspectiva hermenéutica pluritópica. En ella participan estudiantes, padres y madres de familia, docentes y otros miembros (...) de la comunidad escolar. En sus conclusiones se destaca: la marca colonial en la economía nacional (glocal); el imperativo impuesto por las precarias condiciones económicas; los altos niveles de corrupción que crean un caldo de cultivo para el surgimiento de grupos delincuenciales; la escuela como posibilidad de formación humana que resiste y reexiste al narcotráfico; las contradicciones a las que son sometidos los jóvenes en el enfoque de atención al problema del consumo y la capacidad de algunos miembros de la comunidad para construir un proyecto de vida que les permite reexistir por fuera de las lógicas del narcotráfico como sujetos históricos. (shrink)

Pese a que la lógica es una disciplina que hace ya tiempo que alcanzó la madurez, su estudio histórico apenas cuenta con poco más de sesenta años de antigüedad, si tomamos como fecha inaugural del mismo la de la piublicación de los escritos de Scholz y Lukasiewicz en el segundo tercio de este siglo, o con poco más de un siglo, si somos lo suficientemente magnánimos como para considerar la obra de Prantl como una incursión en este campo. Tal (...) vez sea ésta una de las razones de que tal estudio suscite, todavía hoy, tan escaso interés no ya entre profesionales de áreas afines sino incluso entre los propios lógicos, pero lo que es seguro es que, como el autor de la obra que aquí comentamos ha escrito en otro lugar, "la historiografía de la lógica es un personaje que todavía anda en busca de autores, o si se prefiere, es un asunto que todavía carece de trama argumental". Por eso, no cabe sino congratularse por la publicación de Una guía de historia de la lógica de Luis Vega, uno de los pioneros entre nosotros en el cultivo de esta disciplina. (shrink)

El presente trabajo se propone examinar la objeción de Leibniz a E1p2 y E1p5 y responder a ella. La objeción es conocida: es falso, según Leibniz, que dos substancias de atributos diversos no tengan nada en común (i. e., E1p2) y, por consiguiente, que en la naturaleza no puedan darse dos o más substancias de mismo atributo (i. e., E1p5). Defiendo que E1p2 y, por tanto, E1p5 resisten a la objeción de Leibniz. Para ello, abordo, primero, el sentido y la (...) función de E1p2 a fin de determinar dos posibles contextos en que la demostración es válida: el contexto delimitado por la doctrina cartesiana del atributo principal y el contexto escolástico de la doctrina lógica de la diversidad esencial. Segundo, examino la objeción de Leibniz, con lo que determino de manera más precisa el marco epistémico tanto de E1p2d como de la objeción de Leibniz. Tercero, propongo un análisis crítico de la objeción de Leibniz a fin de mostrar que, si bien esta objeción tiene cierta apariencia de validez, si consideramos únicamente lo enunciado por Spinoza en las definiciones y axiomas anteriores a E1p2, esta entraña una contradicción. Por último, indico el punto de mayor dificultad en la demostración de E1p2 para proponer una pequeña rectificación a fin de volverla inmune a la objeción de Leibniz. (shrink)

Dos instituciones, la Sociedad Española de Filosofía e Historia de la Ciencia y la Sociedad de Lógica y Filosofía de la Ciencia en España contribuyeron, la primera, al inicio de la consolidación de la filosofía de la ciencia en español, y la segunda a su consolidación definitiva. El objeto de este trabajo es mostrar la imagen de la filosofía hispánica de la ciencia, centrada preferentemente en España, en los cuarenta años que median entre ambas sociedades, y que distingo (...) en tres periodos: cimentación, desarrollo y consolidación, en consonancia con su entorno internacional. He reunido la máxima información que he podido, a fin de reflejar la robustez académica de la filosofía actual de la ciencia en aquellos tiempos entre nosotros, y espero haber hecho justicia a quienes precediéndonos la levantaron, mantuvieron y consolidaron. (shrink)

Aunque las contribuciones de Patrick Suppes en el ámbito de la lógica, la metodología y la losofía de la economía (por no mencionar a la propia economía) hayan sido importantes, los metodólogos de la economía apenas las conocen. El propósito de este artículo es cubrir este vacío. Presentaremos su concepción general de la losofía de la ciencia y analizaremos después con detalle su noción de modelos de datos, surgida de sus famosos experimentos sobre aprendizaje. Discutiremos también su concepción de (...) la medición fundamental en relación con tales experimentos. El artículo incluye además una amplia bibliografía de los trabajos de Suppes sobre el tema. (shrink)

Consideramos de utilidad el análisis de la expresión "Historia de la Lógica" apelando a la teoría semántica de Frege, según la cual toda expresión lingüística dotada de sentido puede ser concebida como descompuesta en dos partes, una de las cuales está completa en sí misma (el argumento), mientras que la otra precisa de complemento; es no saturada (la función). A la Historia de la Lógica compete determinar la constitución-desaparación de categorías e ideas que en un proceso (...) de desarrollo e influencia mutua han configurado la lógica y la symploké entre esas categorías e ideas constituyen su cuerpo. Para recomponerlo, hemos procurado actuar, según aconseja Platón, como un dialéctico: cortar por las juntas naturales. El resultado ahí está. (shrink)

En este libro se estudia la disciplina filosófica que trata de los pensamientos. Se divide en diferentes etapas empezando con la Lógica de la Edad Antigua con Aristóteles, el fundador de la Lógica, Platón, Euclides y otros mas. La Edad Media con Porfirio y Santo Thomas de Aquino, La Edad Moderna con René Descartes y su nueva ciencia de la Geometria Analítica y la Edad Contemporanea con Auguste Comte, fundador de la doctrina del positivismo.

Un método de investigación en historia de la filosofía basado en las estructuras conceptuales parte del supuesto de que las doctrinas filosóficas, en autores y épocas diversas, se relacionan en función de semejanzas y diferencias, no tanto por motivos puramente históricos (sucesión de sistemas) o textuales (declaraciones expresas de los auto res), cuanto por las relaciones que guardan entre sí las estructuras en que se organizan los conceptos que las constituyen. Las estrucuras concep tuales de las filosofías se articulan (...) en torno a dos principios básicos, pro venientes ambos del aristotelismo: la unión preconstitutiva de materia y forma y el uso de una doble lógica analógica de proporcionalidad propia y de atribución. La historia de la filosofía, desde el método de investigación de las estruc turas analógicas de los conceptos, trata de establecer un diálogo más fecundo entre el pasado del pensamiento occidental y la actualidad de las nuevas producciones del intelecto humano. (shrink)

Este trabajo orienta su contenido a las aplicaciones de la lógica borrosa, pero no desde una aproximación que trate de abordar ciertas caracterrsticas relevantes de algunas de ellas y/o comentar sus coincidencias y discrepancias desde el punto de vista dei soporte dado por la lógica borrosa. Existen excelentes y abundantes revisiones de este estilo, por lo que nosotros hemos optado por introducir algunas reflexiones a modo de respuesta a preguntas formuladas al hilo de la más general que da (...) trtulo al trabajo. Contestar a algunas de ellas es, sin duda, uncometido realmente arriesgado, como ocurre al tratar de plasmar, por ejemplo, y aunque sea con trazos “borrosos”, cuáles serán las aplicaciones futuras de la lógica borrosa. Esperamos que se nos disculpe si el acierto torna a ser escaso.This paper discusses about the field of fuzzy logic applications, but not from the point of view of its importance or commenting their main features and how they are formally supported by fuzzy logic. Very good, exist in this field, and so we decided to present some reflections trying to answer very general questions about this issue. Answering, for example, to the question about possible futureapplications of fuzzy logic is, no doubts, a very risky task. We look forward to be forgiven if our approach proves not to be very successful. (shrink)

El fenómeno de que una rama relativamente autónoma de la ciencia sea absorbida por, o “reducida” a, otra disciplina es innegable y es una característica recurrente de la historia de la ciencia moderna, y no hay razón para suponer que dicho fenómeno no continuará teniendo lugar en el futuro. Esto afirmaba Ernest Nagel hace exactamente setenta años en el intento por justificar la necesidad de esclarecer la reducción científica (NAGEL, 1949, p. 100). Incluso varios años antes reclamaba el que (...) no se contara con un estudio cuidadoso de la naturaleza de la reducción ni siquiera por parte de aquellos cuya preocupación exclusiva era la lógica de la ciencia (NAGEL, 1935, p. 46). Los posteriores debates acerca de la noción de reducción en la ciencia estuvieron motivados especialmente a partir del modelo de reducción nageliano; el cual ha tenido tanto innumerables adherentes como variadas objeciones. Entre las respuestas inmediatas ante los problemas que adolecía este modelo clásico, puede contarse la ofrecida por el programa estructuralista como una de las primeras. En este trabajo se expondrá lo relativo a la noción de reducción en el marco del programa estructuralista. Una vez presentado este recorrido, se intentará un análisis ulterior acerca de la condición de reducción en sentido ontológico (MOULINES, 1984) tomando en cuenta uno de los más actuales refinamientos del marco conceptual estructuralista como lo es la noción de subestructura parcial escalonada. (shrink)

El nuevo imaginario social del conocimiento teórico del siglo XVIII, que, entre otros rasgos, contenía el de la utilidad del saber, comportó un cambio semántico en el término «filosofía», estrechamente relacionado con la enseñanza, tras ser desplazado por el de «ciencia». En las universidades se impartían las ciencias filosóficas, de tradición escolástica, enfocadas, fundamentalmente, a formar a funcionarios del Estado y la Iglesia, pero las nuevas ciencias matemáticas y naturales requerían ocupar un lugar en la enseñanza para instruir a la (...) sociedad civil. Los ilustrados españoles, entre otros, Jovellanos, concibieron entonces dos tipos de centros, unos para las primeras, que siguieron siendo las universidades, mientras que para las segundas propusieron instaurar institutos específicos. En cambio, los liberales, y, en particular, Quintana, decidieron unificar la enseñanza de las ciencias en centros únicos, las universidades de provincia y una de nueva creación, la Universidad Central. Las ciencias filosóficas fueron entonces marginadas, como la lógica, sustituida por la matemática como ciencia instrumental fundamental, y la metafísica, que fue abandonada. (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)

En este artículo se muestra una comparación de las lógicas diagramáticas lulianas y peirceanas. En la Sección 1, se introduce una problemática general del tránsito y de sus resoluciones triádicas y espaciales, aprovechando perspectivas de las obras de Aby Warburg y Walter Benjamin. La Sección 2 es una síntesis de los engranajes fundamentales del sistema diagramático de Llull. En la Sección 3, se resumen las características geométrico-topológicas esenciales de los gráficos existenciales de Peirce. Y finalmente, en la Sección 4, se (...) efectúa un rastreo de las apariciones de Llull en los textos de Peirce, y proponemos un reencuentro entre los dos pensadores. (shrink)

Resumen: Este artículo constituye una detallada exploración de la profunda transformación experimentada por el concepto de “historia” a la luz del salto intentado por Martin Heidegger desde la metafísica hacia el ámbito del pensamiento (del Ser). En un primer momento, la exposición sigue de cerca la lógica interna del pensar metafísico para demostrar luego con ello el carácter necesariamente metafísico de sus dos maneras de “procesar” la historia: la filosofía de la historia y la historiografía. Desde (...) ahí, el artículo avanza hacia un modo radicalmente nuevo de entender la naturaleza de la historia: aquello que Heidegger llama “el otro inicio”.Palabras clave: historia del ser; historiografía; filosofía de la historia; metafísica; ‘el otro inicio’. (shrink)

Frente a las lecturas que minimizan la significación lógico-genética de lo absoluto esencial en la Ciencia de la Lógica, el presente estudio se propone demostrar que dicha categoría cumple una función decisiva en el curso del proceso lógico. La tesis principal del trabajo defenderá que ella permite la conexión sistemática entre la lógica objetiva y la subjetiva, garantizando la continuidad del movimiento genético en el paso de una a la otra y estableciendo el presupuesto reflexivo indispensable para la (...) formulación de una teoría de la subjetividad absoluta. La argumentación procederá mediante un análisis exhaustivo del capítulo correspondiente de la doctrina de la esencia, desde un enfoque hermenéutico orientado a dilucidar el contenido categorial del concepto mentado. (shrink)

La legitimidad del cultivo de la lógica aristotélica fue cuestionado en el siglo XX. Como resultado, actualmente la pregunta de si debe ser sustituida o restituida permanece sin respuesta, a pesar de que al mismo tiempo ha habido nuevos resultados que manifiestan que se trata de una teoría con perspectiva de desarrollo interno, con independencia de lo que establece la lógica matemática. En este artículo restauramos su unidad interna, perspectivas de desarrollo e independencia, a través del uso de (...) tres axiomas o reglas que permiten incorporar términos indefinidos en la silogística clásica, categórica e hipotética, lo cual le otorga una expresividad comparable a la lógica de primer orden de predicado monádico. (shrink)

Este trabajo aborda el fenómeno de involución que se ha producido en los últimos años en el entendimiento de las relaciones entre libertad y seguridad en la tradición democrática. Tras el 11 de septiembre de 2001, la estrategia de guerra contra el terrorismo sustituye la lógica del Estado de Derecho por la del Estado de sitio y difunde el viejo recurso del miedo al otro y el paradójico repliegue en un nosotros cada vez más reducido, incluso en sociedades que (...) hacen bandera del universalismo. Entre el miedo a la amenaza exterior y el miedo al enemigo interno, se acrecienta el rechazo a la inmigración, construida de nuevo como un problema-obstáculo. El autor muestra, además, como la actual crisis económica se ha convertido en un factor añadido que ha multiplicado los discursos acerca de la urgencia de ofrecer respuestas adecuadas frente a la inmigración en las que se opta por una lógica jurídica de la excepcionalidad, de derogación o al menos suspensión de alguno de los principios y reglas del Estado de Derecho cuando se trata de regular el status jurídico de quienes son identificados como amenaza. (shrink)

Author: Ioanna Bartsidi (Université Paris Nanterre). Translated by Pedro Sepúlveda Zambrano (UCSH). Gérard Gérard Lebrun (1930-1999) fue un historiador de la filosofía francés y estudioso de Hegel influido por el estructuralismo y la epistemología histórica francesa. Su libro de 1972 La patience du concept marcó el campo de los estudios hegelianos y se convirtió en un referente para las lecturas «no metafísicas» contemporáneas de Hegel en Francia. Insistiendo en la oposición entre discurso representacional y especulativo, Lebrun presenta el pensamiento de (...) Hegel como una filosofía no dogmática, a-sistemática y antifundacionalista de la creación de sentido. Para comprender plenamente lo que está en juego en la interpretación postestructuralista de Lebrun sobre Hegel, este trabajo propone comprenderla como una respuesta al antihegelianismo vehemente de los grandes filósofos franceses de los años 1960 y 1970. Para ello, en primer lugar, intento situar La patience du concept en su contexto filosófico a partir de una lectura comparada del Prefacio de Louis Althusser a Para leer El capital (1965) de Louis Althusser y El orden del discurso (1971) de Michel Foucault. Sostengo que la conceptualización de Lebrun de «lo especulativo hegeliano» como discurso pretende defender a Hegel contra las acusaciones de logocentrismo. Por último, subrayo el uso que Lebrun hace del concepto althusseriano de «corte epistemológico» contra el propio Althusser, en lo que considero un intento de formular una crítica del antihegelianismo como ideología «predicativa». (shrink)

El artículo presenta una discusión sobre cuál es el lugar de la creencia (fides) en la silogística hipotética de Boecio (De syllogismis hypotheticis). Propone que la creencia se integra en la teoría sin distorsionarla ni convertirla en una dialéctica u otra disciplina informal. Y discute si es la materia de las proposiciones la doctrina que permite esta inclusión de la creencia en la lógica hipotética y si es plausible que esta forma de entender la teoría lógica que Boecio (...) reporta proviene de Teofrasto y la primera escuela peripatética. (shrink)