A maioria, talvez todas, as lógicas não-clássicas são um amálgama da lógica clássica com elementos extralógicos. Possivelmente esta tese nao possui uma prova geral, mas somente um argumento caso a caso possa ser fomecido. Discuto um caso de paraconsistência que resulta da aplicação de urn "filtro" a duas silogísticas. Essas silogísticas incorporam duas idéias de Nikolai Vasiliev: a idéia de um sistema completo de juízos contrários, e a idéia de juízos duplos. Tarnbém mostro como esses resultados podem ser estendidos (...) à lógica proposicional, com a ajuda das formas nornais conjuntiva e disjuntiva. Apesar da aparencia não-clássica, utilize-se, sem exceção, a noção clássica de validade dedutiva: uma conclusão não pode veicular mais inforrnação, mas pode veicular menos inforrnação, do que a informação veiculada pelo conjunto das premissas. (shrink)

Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided. I discuss a case of paraconsistency that results of applying a “filter” to two syllogistics. These syllogistics incorporate two ideas of Nikolai Vasiliev: the idea of a complete system of contrary judgements, and the idea of double judgements. I also show how these results can be extended to propositional logic, with the (...) aid of the conjunctive and disjunctive normal forms. Despite the non-classical appearance, it is used, without exception, the classical notion of deductive validity: a conclusion cannot carry more information, but may carry less information than the information carried by the collection of the premisses. (shrink)

El primer apartado del trabajo considera cómo el pensar es privado de su carácter primario cuando la lógica originaria y el lenguaje de las señas son sustituidos por la lógica del enunciado y el lenguaje de los signos. En segundo lugar, se muestra que la elucidación de las señas del Ser conduce a un examen del peligro que enfrenta el pensar en presencia de la filosofía. El tercer apartado se ocupa del ulterior peligro que surge cuando se intenta derivar el (...) pensar a partir del poetizar. El pensador aguarda señas porque ya no cuenta con sistemas de pensamiento, y en este proceso ha de estar dispuesto para la verdad del ser. Mientras que el poeta instituye de una manera originaria el Ser en una comunidad, el pensador concibe y ensambla, y de ese modo abre por primera vez lo que ha sido desvelado por el poeta. Finalmente, se ofrece un análisis de la relación de la lógica originaria con la hermenéutica y la fenomenología. (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 distingue entre principios racionales sustantivos y metódicos, y entre criterios de aceptabilidad y criterios de cosntrucción de argumentos. Sobre esta base se mantiene que la lógica y semántica formales son componentes necesarios de la teoría de la argumentación. Tmbién se consideran dos objeciones típicas : la retendida inaplicabilidad en genral de esas técnicas debido a su radical insuficiencia, y la presunta inutilidad de la lógica formal.

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

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)

Importantes pensadores de todos los tiempos coinciden en admitir como fundamenal recurso de la inteligencia una clase de inferencia lógica no exactamente del tipo de la lógica simbólica tradicional. En el siglo XX, período de florecimiento de esta lógica, lógicos como Bertrand Russell se refieren a una "inferencia no demostrativa" que interviene en la mayoría de las más importantes argumentaciones filosóficas y no filosóficas.

En este trabajo se examinan las concepciones de Oswaldo Chateaubriand acerca de la naturaleza del lenguaje, así como las relaciones de éste con la lógica y la ontología. En primer lugar, se aborda la tematización del lenguaje como actividad humana. A continuación, se analiza la elucidación que propone Chateaubriand acerca del significado en términos de uso o condiciones sociales de identidad. En tercer lugar, se indaga la fundamentación del lenguaje y del significado en propiedades ontológicas. Finalmente, se plantean observaciones acerca (...) de algunas tesis de Chateaubriand, tales como la distinción entre significado y sentido o el carácter innato de algunos conceptos.In this paper we examine Chateaubriand’s views on language and on its general relation to logic and ontology. We first discuss his account of language as a human activity. Secondly, we analyze Chateaubriand’s explanation of meaning as use or as social identity conditions. Thirdly, we spell out the ontological foundation of language and meaning on ontological properties. Finally, we make observations on some aspects of Chateaubriand’s tenets such as the distinction between meaning and sense and the innateness of some concepts. (shrink)

Gadamer, en Verdad y Método, alude a una llamada "nueva lógica", a propósito del concepto de la ocasionalidad de la obra de arte, desde el punto de vista hermenéutico. El autor se aprovecha de dicho concepto para rastrear en la obra de Lipps el pensamiento de la ocasionalidad y la lógica hermenéutica que le hace justicia, logrando con ello la rehabilitación de un filósofo de interés para el pensamiento kairológico que actualmente representa el autor.

In questa sua ultima opera Nishida Kitarō, padre indiscusso della moderna filosofia giapponese, si concentra sul sentimento religioso, analizzandolo attraverso una logica imperniata sul suo concetto di Nulla Assoluto, luogo ultimo in cui emergono realtà e ragione, mondo e uomo. Dialogando sulla soglia che unisce e separa la tradizione buddhista e quella cristiana, Nishida invita a pensare una religione della “trascendenza immanente”, del Dio che si svuota della sua divinità per donarla alle sue creature, del Buddha che sempre è impresso (...) nel cuore dell’uomo. Nella sua dettagliata introduzione, il traduttore, Tiziano Tosolini, ripercorre i concetti fondamentali che Nishida ha sviluppato lungo gli anni tentando di capire il retroscena filosofico che ha portato l’autore alla stesura de La logica del luogo e la visione religiosa del mondo. L’introduzione serve così da guida al lettore perché lo scritto di Nishida possa essere accolto come un testo su cui meditare, interrogarsi ed interagire. Solo così le parole di Nishida, il suo spirito indagatore e religioso, potranno risuonare in tutti coloro che si lasciano affascinare da un pensiero che ha avuto come suo unico e vero confine non tanto quello di una cultura e tradizione filosofica, ma quello più universale ed umano della ragione e della fede. (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)

Karl Popper presenta al realismo como su posición acerca del conocimiento, distinguiéndola del instrumentalismo y del esencialismo. Ataca del primero la consideración meramente instrumental de las teorías científicas. Del segundo, critica que sostenga la posibilidad de establecer la verdad definitiva de las teorías, y que éstas describen esencias. El instrumentalismo coincide con Popper en que no hay conocimiento de esencias a través de las teorías científicas, pero de ello infiere que las teorías son meros instrumentos. Popper señala que el carácter (...) meramente instrumental de las teorías las vuelve irrefutables. Porque un instrumento de predicción no puede ser refutado (cf. Popper (1972a, p. 149)). Además, el instrumentalismo no puede explicar el interés del científico por la verdad. Su esencialismo modificado, toma del esencialismo que “el científico aspira a una verdadera descripción del mundo o de algunos de sus aspectos, y a una explicación verdadera de los hechos observables” (Popper, 1972a, p. 150). Pero agrega que no es posible saber con certeza si sus hallazgos son verdaderos. Resaltar el carácter conjetural de las teorías científicas no implica disminuir la aspiración del científico a describir algo real. (shrink)

Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (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)

El seminario consiste en la lectura comentada y el análisis del libro Computability, Computable Functions, Logic, and the Foundations of Mathematics , de Richard L. Epstein y Walter A. Carnielli. Este texto trata problemas de lógica y matemáticas vinculados con sus fundamentos filosóficos y sus alcances en el campo de la informática.

1. Da Leibniz a Kant.--2. L'algebra della logica.

El propósito de este artículo es mostrar las diferencia entre las verdades lógicas y el resto de verdades analíticas, y en especial mostrar los distintos tratamientos formales.

Con el fin de cuestionar la primacía del contrato sobre la lógica del don en la modernidad, se contrastan tres arquetipos de relación social a la luz de los radicales polianos, así como los tipos de reciprocidad que se derivan de cada uno de ellos. A la reciprocidad cerrada-dual moderna se opone la reciprocidad abierta-triádica, que es la que caracteriza a las relaciones de don, tanto en su versión clásica como cristiana. Se concluye que sólo el radical cristiano de la (...) persona integra la lógica del don con el sentido radical de la libertad, desde una antropología que complementa la práctica de virtudes como camino de perfección moral con la apertura a la trascendencia y la ayuda al más necesitado. (shrink)

A lógica do engajamento: literatura e metafísica em Sartre.

Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.

Alberto Moretti en “La lógica y la trama de las cosas” presenta y defiende una concepción de la lógica según la cual existen principios lógicos que estructuran el lenguaje y, consecuentemente, el mundo. Este modo de entender la lógica ofrece una respuesta al problema de su normatividad, al tiempo que disuelve el problema de su justificación. En este trabajo, analizo críticamente esta mirada acerca de la lógica y propongo una concepción alternativa que permite vindicar la legitimidad de ambos problemas y (...) darles una respuesta satisfactoria. (shrink)

Juan Caramuel es un tratadista importante de lógica que, aunque enclavado en la escolástica tardía, ofrece muestras innovadoras de indudable interés, entre las que cabe destacer la lógica oblicua. En ella se ofrecen, por ejemplo, un timido ensayo de representacón simbólica de las proposiciones oblicuas, una regulación deI silogismo oblicuo mixto y un listado de los modos silogísticos oblicuos, tanto puros como mixtos. En este trabajo se analizan, fundamentalmente, las Reglas silogísticas establecidas para el silogismo oblicuo mixto. Juan Caramuel is (...) a great essayist of Logic, who, though belonging to the late scholasticism, he shows signs of very important innovations, just like his oblique logic. In that logic he presents, for exampIe, a timid essay to get a symbolic representation of the oblique propositions; he presents too the rules of the oblique and mixed syllogism, and a quasifull catalogue of the oblique syllogism modes .In this work you can see analised, essentially, the Rules establisheh for the oblique and mixed syllogism. (shrink)

This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the history of logic in either German or English. Serving as the inaugural volume in this series, the book explores the contemporary interpretation of logic across many centuries and cultures. The first section of the volume comprises a compilation of papers dedicated to ancient and medieval logic, examining prominent thinkers such as Plato, Aristotle, Seneca, Porphyry, Proclus, Boethius, (...) Buridan, and Kilwardby. The second section shifts focus towards early-modern and contemporary logics, including the works of Caramuel, Kant, Drobisch, Husserl, and Jaskowski. Topics of discussion encompass the relationship between mathematics and logic, natural deduction, intuitionism, graph theory, categorical judgments, theories of truth, modal logic, opposition relations, logic diagrams, definitions of formal logic, many-sorted logic, model theory, and paraconsistent logic. (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..

El tema de la presente reflexión es, por una parte, la Fenomenología genética de Edmund Husserl, desarrollada en gran medida en Lógica formal y lógica trascendental de 1929; por otra, la llamada Fenomenología trascendental frente a la Filosofía kantiana en la Crítica de la razón pura (1973). Aborda el problema del origen del conocimiento junto a su legitimación y el problema de la validez. El propósito aquí es explicar el origen del conocimiento desde el análisis de la experiencia y/o la (...) intencionalidad según la posición de Husserl, en estos términos las referencias a la lógica y a las matemáticas son constantes. (shrink)

La lógica modal epistémica estándar se ha constituido en una herramienta realmente útil para los estudiosos interesados en la descripción formal de diferentes nociones epistémicas, tales como las de conocimiento y creencia, que desempeñan un importante papel en muchos estudios ? losó? cos. En este trabajo se muestra cómo el mayor poder expresivo de las modalidades graduadas puede ser utilizado en la lógica epistémica para poder hacer referencia a un tipo de conocimiento que no es siempre absolutamente verdadero, sino que (...) puede admitir excepciones e incertidumbre. (shrink)

Estas páginas abordan de nuevo algunas de las complejidades irreductibles del problema filosófico de la violencia (su delimitación teológico-política y su eventual uso), aprovechando la reciente edición crítica en inglés de Peter Fenves y Julia Ng del clásico ensayo de Walter Benjamin Zur Kritik der Gewalt (Hacia la crítica de la violencia) (1921), publicada en el centenario del texto original alemán. Partiendo de este contexto eminentemente filológico, nos gustaría mostrar cómo, en este ensayo, la verdadera y antagónica intimidad entre la (...) llamada «no violencia» (una política de puros medios) y la «doctrina de la no acción» (una inversión taoísta de la moral kantiana) se determina a través de una crítica lógica del pacifismo (como dogmático, contradictorio, metafísico, «un teorema más remoto»). La crítica de Benjamin también se cristaliza a través de una lectura excepcional y abisal del mandamiento divino de la Torá: «No matarás» (Ex 20, 13). (shrink)

Logica Magna Part 1 Fasc 1 Tractatus de Terminis.

Lógica, formação escolar e filosofia entre os jesuítas Resumo: O interesse mais direto deste artigo é a relação entre a Lógica e a formação filosófica na educação jesuíta. Para compor uma imagem da importância e da concreção da Lógica na formação proposta pelos inacianos, nós nos concentraremos na Ratio Studiorum e na obra do jesuíta português Pedro da Fonseca (1526-1599). A razão do recorte proposto é que as reflexões de Fonseca sobre o tema parecem, por um lado, orientar outros jesuítas, (...) como é o caso de Sebastião do Couto, que é o autor da dialética do Curso Conimbricense; por outro, elas são mais completas, sobretudo pela atenção dada por Fonseca ao método e às disputationes. De posse do conceito de Lógica de Fonseca, concluímos com a indicação de caminhos contemporâneos de revisitação de lógicas do passado. Palavras-chave: lógica; método; educação; jesuítas. Logic, school education and philosophy among the Jesuits Abstract: The most direct interest of this article is the relationship between Logic and philosophical formation in Jesuit education. In order to produce an image of the importance and concretion of Logic in the formation proposed by the Ignatians, we will focus on the Ratio Studiorum and on the work of the Portuguese Jesuit Pedro da Fonseca (1526-1599). The reason for the proposed approach is that Fonseca's reflections on the subject seem, on the one hand, to guide other Jesuits, such as Sebastião do Couto, who is the author of the dialectic of Curso Conimbricense; on the other hand, Fonseca’s conception of logic is more complete regarding the other Jesuits, especially due to the attention given by our author to the method and the disputationes. In possession of Fonseca's Logic concept, we conclude with an indication of contemporary paths for revisiting the logics of the past. Key-words: logic; method; education; Jesuits. Logica, educazione scolastica e filosofia tra i gesuiti Abstract: L’interesse più diretto di questo articolo è il rapporto tra Logica e la formazione filosofica nell’educazione dei gesuiti. Per produrre un’immagine dell’importanza e della concretezza della Logica nella formazione proposta dagli inaziani, ci concentreremo nella Ratio Studiorum e nell’opera del gesuita portoghese Pedro da Fonseca (1526-1599). Il motivo di questa scelta è che le riflessioni di Fonseca sull’argomento sembrano, da un lato, guidare gli altri gesuiti, come Sebastião do Couto, cioè, l’autore della dialettica del Curso Conimbricense; da l’altro, la concezione di logica di Fonseca è più completa riguardo ad’altri gesuiti, soprattutto per l’attenzione data dall’autore al metodo e alle disputationes. Possedendo il concetto di logica di Fonseca, concludiamo con l’indicazione di modi contemporanei di rivisitare le logiche del passato. Parole chiave: logica ; metodo ; educazione ; gesuiti. Data de registro: 16/09/2021 Data de aceite: 01/12/2021. (shrink)

"La Lógica pura, la idea de la Gramática pura y el problema de una filosofí­a del lenguaje en las Investigaciones Lógicas" Una de las cuestiones centrales que hasta hoy en dí­a se siguen debatiendo en torno a la recepción de las Investigaciones Lógicas, se refiere a la relación entre pensamiento y lenguaje, entre significado y expresión lingí¼í­stica, entre percepción y juicio, entre Lógica y Gramática que estableció en el debate con G. Frege y A. Marty, entre otros. El (...) autor se ocupa de las influencias -en parte directas o indirectas- que ha dejado la obra de Husserl sobre la lingí¼í­stica moderna, la filosofí­a del lenguaje del siglo XX y la filosofí­a analí­tica del lenguaje. "The pure Logic, the pure Grammar's idea and the problem of a philosophy of the language in the Logical Investigations". One of the central questions that until today is continued debating around the reception of the Logical Investigations, it refers to the relationship between thought and language. between meaning and linguistic expression, between perception and judgement, between Logic and Grammar that Husserl settled down in the debate with G. Frege and A. Marty, among others. The author is in charge of the influences -direct or indirectly- that has left the work of Husserl on the modern linguistics, the philosophy of the language of the XX century and the analytic philosophy of the language. (shrink)

En este artículo que dedicamos a las concepciones epistemológicas de Jean Cavaillès sobre el pensamiento formal y la teoría de la ciencia, analizaremos, en un primer tiempo, cómo la filosofía de las matemáticas de Cavaillès se presenta como una severa censura del logicismo y, en particular, de la empresa universalista de Carnap cuya sintaxis lógica es el blanco de las reprobaciones del filósofo francés, tanto en lo que atañe a la cuestión del formalismo como a la que estudia la relación (...) que mantiene la mathesis formalis con la física en la epistemología de Carnap. En un segundo tiempo, dado las simpatías de Cavaillès por la matemática intuicionista y una cierta resonancia de su epistemología con la de Brouwer, procuraremos subrayar, a partir del análisis crítico realizado por el propio Cavaillès, las dificultades a las que se expone el intuicionismo. Lo veremos, por una parte, en la indeterminación de la matemática a la física y, por otra parte, en el peligro de encontrarse la ciencia absorbida por la matemática si se admite, con el matemático holandés, que ésta es pensamiento racional del mundo. En la tercera y última parte del artículo, esbozaremos el programa de trabajo de Cavaillès, su última hoja de ruta, a favor de una epistemología constructiva y refinada de las matemáticas, entendidas a la vez en su esencia más pura y en su relación praxeológica con las ciencias de la naturaleza. En definitiva, se tratará de aproximarnos al proyecto de Cavaillès, entendido como una epistemología conceptual, fundada en una aproximación rigurosamente bolzaniana de lo lógico, una teoría pura de los encadenamientos racionales, que contempla a la vez la determinación de las posibilidades de los objetos y las posibilidades de determinación de éstos. Tal empresa, lo veremos, se apoya sobre una noción fuerte de necesidad cuyo carácter imprevisible escapa a las mallas de la lógica y atraviesa toda la praxis matemática en su temporalidad propia. (shrink)