Saul Kripke cuestionó el enfoque de la justificación de la lógica provisto por el modelo de Quine de la red de creencias sobre la base de un resultado que Romina Padró llamó “Problema de la adopción”. Sugiero una solución al problema de la adopción y una defensa de la estrategia quineana para la justificación de la lógica.

Una interpretación particularmente influyente de la teoría de la implicación lógica de Bertrand Russell y Clarence I. Lewis es la propuesta por Quine en su artículo “Reply to Professor Marcus”. Allí Quine sostiene que la lógica modal de Lewis nació en pecado: el pecado de confundir uso con mención, ya que cuando se afirma que una oración implica lógicamente a otra, estas oraciones no están siendo usadas sino mencionadas. Según la interpretación de Quine, Clarence I. Lewis persistió en el error (...) de Russell, que consistió en confundir la implicación material con la implicación lógica, y confundió la implicación estricta con la implicación lógica. Estos ‘pecados’ de Russell y Lewis pueden entenderse mejor si se tiene en cuenta que tanto Lewis como Russell sostienen que los axiomas y los teoremas en un cálculo lógico se usan de dos maneras: (a) como premisas a partir de las cuales se obtienen nuevos teoremas, y (b) como reglas de inferencia mediante las cuales se obtienen nuevos teoremas. En efecto, estos autores suscriben la teoría del doble uso de los principios lógicos que parece originarse en la obra de Peano y que ha sido casi completamente ignorada en la literatura acerca de la historia de la lógica. -/- A particularly influential interpretation of Bertrand Russell’s and Clarence I. Lewis’s theory of logical implication is the one proposed by Quine in his article "Reply to Professor Marcus". In that article Quine argues that Lewis's modal logic was born in sin: the sin of confusing use with mention, since when it is stated that a sentence logically implies another sentence, these sentences are not being used but mentioned. According to Quine's interpretation, Clarence I. Lewis persisted in Russell's error, which consisted in confusing material implication with logical implication, and confused strict implication with logical implication. These 'sins' of Russell and Lewis can be better understood if we take into account that both logicians argue that the axioms and theorems in a logical calculus are used in two ways: (a) as premises from which new theorems are obtained, and (b) as rules of inference by which new theorems are obtained. In fact, these authors subscribe to the theory of the double use of logical principles that seems to originate in Peano's work and that has been almost completely ignored in the literature about the history of logic. (shrink)

Los desarrollos actuales del escepticismo moderno han representado unresurgimiento de algunas de los problemas presentados por Descartes en laPrimera Meditación. Dentro de estos desarrollos son de especial interés lasreconstrucciones del escepticismo cartesiano apoyadas en el principio decierre lógico bajo implicación conocida del concepto. Estas reconstruccionespermiten desembarazar al escepticismo cartesiano de presupuestosontológicos y metafísicos y permiten, además, ver cierta continuidad conel escepticismo pirrónico. El objetivo de este artículo es el de ofrecer unareconstrucción del escepticismo cartesiano de la Primera Meditaciónapoyado en el (...) principio de cierre lógico y analizar sus implicaciones en eldebate contemporáneo. (shrink)

El presente trabajo, se avoca a determinar cuál es el status ontológico del principio de no-contradicción -(P -P). Rechazo que la exigencia que dicho principio implica, sea de naturaleza entitativa, es decir, que sea una dimensión constitutiva de los entes exteriores a la función racional de la mente humana. Afirmo que la exigencia que impone dicho principio, se reduce a ser nada más que una exigencia emanada de la humana mente racional, siempre que ésta participe como uno de los miembros (...) de la relación mente-objeto. (shrink)

El canon filosófico occidental usualmente le atribuye a Gottlob Frege la invención del cálculo lógico, de la estructura axiomática de la lógica proposicional y de la lógica de predicados. De la misma manera, también lo designa como el creador de la lógica contemporánea, después de 2 400 años del dominio de la silogística aristotélica. Sin embargo, otros aspectos de su planteamiento, que no tienen elementos correspondientes en el paradigma actual de la filosofía analítica, frecuentemente se ignoran. Este trabajo se basa (...) en la idea fundamental de que estudiar a Frege únicamente como precursor de puntos de vista filosóficos actuales es insuficiente para entender su obra y se ignoran aspectos de su filosofía que por razones históricas se perdieron en el desarrollo posterior de la filosofía del siglo xx. Comparto esta idea con muchos otros autores, el primero es quizá Hans Sluga en su obra Gottlob Frege, de 1980. Para ilustrar la manera en que la discusión actual de Frege frecuentemente falla en el sentido referido, se estudia aquí la transición del principio de contexto de Frege a Wittgenstein y algunos ejemplos de su discusión en la literatura secundaria. (shrink)

la82 12.00 Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabela normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-fareast-language:EN-US;} Este artigo mostra que o princípio primário da ciência do ente enquanto ente, apresentado e defendido por Aristóteles no Livro IV da Metafísica , é constituído pela bi-implicaçáo necessária (modal) entre os princípios de náo-contradiçáo e do terceiro (...) excluído, e náo somente, como na interpretaçáo tradicional, pelo primeiro destes princípios. Tal é mostrado através de uma interpretaçáo de uma parte do capítulo 3 e, em especial, de três partes do capítulo 4 deste escrito, onde Aristóteles desenvolve o que chamou "demonstraçáo refutativa", que consiste na demonstraçáo indireta do princípio primário por meio da refutaçáo da tese que nega (de modo forte) este mesmo princípio. A interpretaçáo apresentada no artigo mostra que neste procedimento lógico Aristóteles está defendendo tanto o princípio de náo-contradiçáo quanto o princípio do terceiro excluído, assumindo ambos como formulações equivalentes do princípio primário da ciência do ser enquanto ser.  . (shrink)

En el siguiente trabajo se explicará el Principio de Tolerancia en Carnap y su relación con valores derivados del pragmatismo en la elección de sistemas lógicos. La intención es la de hacer un sucinto repaso a la filosofía de Carnap que nos lleve a comprender las bases de tal principio, en el cual existen premisas pragmáticas que incluyen valores Ilustrados en el ejercicio de la ciencia. Tales valores nos ayudarían a elegir entre sistemas científicos (matemáticas newtonianas o einstenianas; geometrías (...) euclidianas o no euclidianas) que aunque igualmente lógicos, son seleccionados acorde con su función práctica. Esto, siguiendo la línea interpretativa de A. W. Carus, representa cierta novedad en la exposición clásica de Rudolf Carnap. (shrink)

Con este artículo nos proponemos dilucidar el alcance del principio de identidad, tal como lo presenta Leonardo Polo. En el orden fenomenológico el principio de identidad juega un papel decisivo, ya que permite trascender la temporalidad inmanente de la conciencia. Al nivel lógico no es nítida su distinción con el principio de contradicción y el lugar jerárquico de cada uno, ya que ambos principios se apoyan mutuamente. Tras examinar las dificultades de anclar ambos principios en la sustancia, según la propuesta (...) de Aristóteles, Polo toma por eje de sustentación el acto de ser y su distinción según sea idéntico o creado. Asimismo, Polo tiene especialmente en cuenta la variante del ser personal creado y sus dualidades constitutivas como vía para acceder a la identidad simple del Creador. (shrink)

As observações dessa pesquisa propõem como hipótese de trabalho a perspectiva de que o Princípio de Ockham pode ser identificado na estrutura do Tractatus logico-philosophicus de Wittgenstein. O texto aborda aspectos da lógica e da linguagem na filosofia analítica, aspectos da lógica e da linguagem na filosofia do Tractatus e estabelece uma intermediação que permite tratar com a possibilidade de uma aproximação entre o Princípio de Ockham e a filosofia tractariana. Os resultados contidos nas observações explicitadas nesse texto apontam para (...) a perspectiva de que a proposição 7 do Tractatus de Wittgenstein, sobre aquilo que não se pode falar deve se calar, assemelha-se ao postulado do Princípio de Ockham de que não se deve multiplicar desnecessariamente os entes numa explicação. Nesse sentido, é oportuno indicar que as concepções de ambos os filósofos esvaziaram a realidade de entidades supérfluas. (shrink)

Prácticamente cualquier propiedad o estado de cosas implicado en el debate bioético —así como en la vida cotidiana y en la mayoría de las ciencias— posee unos límites difusos y comprende casos fronterizos, sin unas líneas de demarcación precisas, como sucede con la eutanasia, el aborto, la investigación con embriones, los híbridos, la experimentación con animales, etc. Sin embargo, existe una profunda discordancia entre una realidad continua y gradual, caracterizada por los matices y las transiciones, una realidad en grises, y (...) una lógica, un análisis descriptivo de esta realidad, bivalente, cifrado entre la verdad absoluta y la completa falsedad, en términos de “todo- o-nada”, blanco o negro. Como alternativa a este ‘principio de bivalencia’ que caracteriza en general el análisis estándar de la realidad y, en particular, de la bioética, sostenemos el ‘principio de gradualidad’ según el cual todo es cuestión de grado, por lo que un enfoque lógico-gradualista sería el método apropiado para la bioética. (shrink)

A metafísica de 'Os Princípios da Matemática' de Russell e a controvérsia à respeito da suposta semelhança entre essa metafísica e a ontologia meinongiana Resumo: No presente artigo, objetiva-se apresentar as principais características da metafísica do realismo lógico, desenvolvido por Russell em Os Princípios da Matemática, de 1903, e, principalmente, analisar a controvérsia sobre se os princípios dessa metafísica podem realmente ser interpretados como semelhantes aos princípios da ontologia meinongiana. São comparados os pontos de vista opostos (...) dessa controvérsia à luz dos trechos de Os Princípios da Matemática que supostamente comprometeram Russell de ter elaborado uma gramática filosófica na qual todo e qualquer nome próprio ou descrição definida, ocupando a posição de sujeito lógico nas proposições, referem-se a objetos com alguma categoria de Ser. Ao realizar tal análise, conclui-se que o problema central diz respeito aos nomes próprios vazios e que, portanto, a metafísica de Os Princípios da Matemática expressa uma perspectiva instável da teoria da denotação de Russell. Palavras-chave: Russell; Ser; Existência; Significado. Russell’s The Principles of Mathematics metaphysics and the controversy over the supposed similarity between this metaphysics and the meinongian ontology Abstract: This article aims to present the main characteristics of the metaphysics of logical realism, developed by Russell in The Principles of Mathematics, of 1903, and, mainly, to analyze the controversy about whether the principles of this metaphysics can really be interpreted as similar to the principles of meinongian ontology. The opposing points of view of this controversy are compared in the light of the excerpts from The Principles of Mathematics that supposedly committed Russell to having elaborated a philosophical grammar in which all and any proper names or definite descriptions, occupying the position of logical subject in the propositions, refer to objects with some category of Being. In carrying out such an analysis, it is concluded that the central problem concerns empty proper names and that, therefore, the metaphysics of The Principles of Mathematics expresses an unstable perspective of Russell’s theory of denotation. Keywords: Russell; Being; Existence; Meaning. La metafísica de Los Principios de las Matemáticas de Russell y la controversia sobre la supuesta similitud entre esta metafísica y la ontología meinongiana Resumen: Este artículo tiene como objetivo presentar las principales características de la metafísica del realismo lógico, desarrollada por Russell en Los Principios de las Matemáticas, de 1903, y, principalmente, analizar la controversia sobre si los principios de esta metafísica pueden realmente interpretarse como similares a los principios de la ontología meinongiana. Los puntos de vista opuestos de esta controversia se comparan a la luz de los extractos de Los Principios de las Matemáticas que supuestamente comprometieron Russell a haber elaborado una gramática filosófica en la que todos y cualquier nombre propio o descripción definida, ocupando la posición de sujeto lógico en las proposiciones, se refieren a objetos con alguna categoría de Ser. Al realizar tal análisis, se concluye que el problema central concierne a los nombres propios vacíos y que, por lo tanto, la metafísica de Los Principios de las Matemáticas expresa una perspectiva inestable de la teoría de la denotación de Russell. Palabras clave: Russell; Ser; Existencia; Significado. Data de registro: 10/04/2020 Data de aceite: 08/12/2020. (shrink)

En Lingüística Cognitiva se sostiene como fundamental lo que Lakoff (1990) ha denominado el compromiso cognitivo, según el cual el lingüista debe incorporar en su descripción cuantas categorías empíricas, procedentes de las ciencias cognitivas, sea posible. Sin embargo, este compromiso, llevado a su extremo lógico, puede llegar a dejar en un segundo plano el potencial explicativo de las propias herramientas de análisis puramente lingüístico. En este trabajo se explora el problema de la comprensión lingüística del lenguaje (especialmente el figurado) mediante (...) métodos puramente lingüísticos, pero cuyos resultados son compatibles con los fundamentos de la teoría de los modelos cognitivos idealizados, de inspiración empírica.…. (shrink)

Investiga-se a possibilidade de uma abordagem do fenômeno do pluralismo lógico a partir de uma perspectiva inspirada no pensamento de Quine. A matematização da lógica termina por levar à flexibilização da teoria lógica, logo surgindo, não apenas sistemas complementares e alternativos à lógica clássica, mas também a questão da admissibilidade de mais do que um sistema lógico. A tal posição se dá o nome “pluralismo lógico”. Quine foi um destacado defensor da lógica clássica a partir de uma perspectiva monista, ainda (...) que admitisse em princípio a possibilidade de sua revisão. Pode-se, contudo, investigar se as linhas gerais do pensamento quineano são compatíveis com uma perspectiva pluralista. Algumas possibilidades são levantadas tomando em consideração propostas como as teorias pluralistas de Carlo Dalla Pozza e Richard Epstein. Conclui-se que, embora Quine não concebesse a possibilidade de apoiar o pluralismo lógico, a sua filosofia ajuda a enquadrar e avaliar as maneiras de estudar o assunto. (shrink)

O objetivo do presente artigo é apresentar a correlação entre o programa logicista fregeano de fundamentação da aritmética, o neologicismo de Crispin Wright e os chamados princípios de abstração. Minha tese é que uma análise geral de princípios de abstração, do ponto de vista lógico e explanatório, é mais basilar que o projeto de fundamentação da aritmética na forma como ele foi proposto pelo logicismo. Isso fica evidente através do fato de que o fracasso do programa logicista esteve (...) intimamente ligado à imprecisão e inconsistência no uso de procedimento de abstração. (shrink)

Cuando G. K. Chesterton en su corto ensayo Aproximación al tomismo quiere resumir los descarríos o los logros de los sabios sobre la realidad, muestra las tres controversias generales del pensamiento: (1) la disolución de las cosas en las soluciones químicas del escepticismo, que es la controversia entre el flujo o la transición informe; (2) la difícil clasificación de las unidades ideales, que es la controversia entre realismo y nominalismo; y (3) el reconocimiento, también arduo, de la variedad cuando a (...) la vez se admite la unidad, que es el viejo acertijo metafísico de la unidad y lo múltiple. Este libro se concentra en la segunda controversia, sin el olvido de los otros dos problemas, en la persona de Guillermo de Ockham, el lógico sagaz que vivió entre los siglos XIII y XIV d.C. Las relaciones de la Literatura con la Filosofía o con la ciencia no se acaban en la especulación poética o estética de motivos filosóficos, mucho más que esto, se extienden a la práctica o ejercicio de los conceptos filosóficos. Erguido en este principio, he rescatado a la figura de Guillermo de Ockham, así como al debate por la realidad o no de las Ideas, en composiciones literarias de Carlos Fuentes, Jorge Luis Borges, Umberto Eco, el ya mencionado G. K. Chesterton, y más. (shrink)

La presente compilación de artículos es resultado del trabajo en colaboración realizado en el seminario institucional intitulado “Sociosemiótica y Cultura: Principios de Semiótica y Modelos de Análisis”, que durante 2016 se desarrolló en las instalaciones del Instituto de Investigaciones Sociales de la Universidad Nacional Autónoma de México (IIS-UNAM). En dicho espacio de intercambio académico se dieron cita diferentes investigadores que —desde sus particulares enfoques— contribuyeron a adoptar una visión holística acerca de los temas y problemas semióticos implicados en la investigación (...) científica. En principio, el objetivo del seminario fue la divulgación; a saber: dar a conocer la vinculación tanto teórico-empírica como teórico-metodológica de las categorías semióticas en la construcción de explicaciones científicas sobre fenómenos sociales y procesos de conocimiento en la ciencia. Para ello, el programa de presentaciones abordó diferentes ámbitos de conocimiento, tanto de las ciencias naturales: física, biología, matemáticas, lógica, como de las ciencias sociales: sociología, antropología, comunicación, al igual que estudios concretos desde las humanidades: filosofía y arte. En este sentido, acercarse a los estudios de semiótica desde diferentes disciplinas científicas (en términos generales, no sólo en ciencias sociales), obligó a reconocer el valor epistemológico de la explicación semiótica. Dicho valor consiste en aceptar que el conocimiento científico se constituye a partir de procesos de significación, donde intervienen relaciones sígnicas en el nivel lingüístico (términos, conceptos, categorías); en el nivel icónico-visual (esquemas, imágenes, diagramas), icónico-lógico (fórmulas, operaciones), entre otros; y que —en conjunto— dichas relaciones de significación dan como resultado “ensamblajes sígnicos”; es decir (a la manera de Javier Echeverría, 1985: 71 y ss.), sistemas de signos que construyen modelos explicativos, cuya validez y sentido están determinados por la coherencia/consistencia interna de dichos sistemas. (shrink)

O objetivo deste artigo é elucidar a ideia tractariana de forma lógica. Partimos da identificação de diferenças conceituais significativas entre ocorrências do termo “forma” no texto do Tractatus. Estas diferenças permitem a obtenção de dois conceitos distintos. O primeiro deles é a forma dos objetos; o segundo, a forma de afiguração. No interior desta última noção, é possível ainda identificar a ideia de uma forma lógica de afiguração, a qual é distinta da forma de afiguração devido à sua generalidade. Argumentamos (...) que tanto a noção de forma dos objetos quanto a de forma lógica de afiguração podem ser entendidas sob a luz de uma reflexão sobre a apropriação wittgensteiniana do Princípio do Contexto de Frege. O uso relevante deste Princípio para a noção de forma lógica, o qual configura um expediente também utilizado por Frege numa explicação sobre a função de letras variáveis em matemática, envolve a noção tractariana de expressão [Aüsdruck]. Por seu turno, a forma dos objetos é um conceito que surge de uma espécie de intromissão ontológica do princípio na ontologia tractariana. Este movimento contraria um pressuposto de Frege quanto ao alcance do princípio, cuja aplicação está restrita à linguagem e não se estende à referência ou significado [Bedeutung] dos sinais linguísticos. (shrink)

La silogística aristotélica muestra algunos antecedentes del formalismo lógico en tanto sistema deductivo axiomático que emplea nociones de implicación y validez, además de usar variables en los términos. Los megárico-estoicos estudiaron la implicación material y formal o estricta, mientras que los escolásticos formaron ideas sobre un lenguaje depurado para la lógica. Además de las ideas de Lulio, Descartes, Leibniz o Hobbes, los estudios combinatorios de Alberto Magno, la insistencia de Roger Bacon en la importancia de la matemática como paradigma de (...) la demostración en las ciencias y en la lógica, y las consideraciones formales de Juan Buridan y Walter Burleigh sobre la lógica pura en tanto estudio sitáctico-semántico de los esquemas de inferencia y los principios primitivos que comandan el funcionamiento de la lógica, son algunos antecedentes del cálculo lógico que vino por primera vez con George Boole en el siglo XIX. (shrink)

El problema de la adopción presentado por Kripke y Padró sostiene que no es posible adoptar nuevos principios lógicos porque para hacerlo es necesario razonar previamente con ciertos principios básicos, y si ya tenemos dichos principios, la adopción no es necesaria. Siguiendo esta idea, para razonar es necesario tener la capacidad de utilizar principios básicos, por lo tanto, si un agente no los tiene, sería incapaz de realizar los razonamientos. Kripke y Padró suponen un caso limitado de razonamiento, al (...) que presuponen como primitivo. En contra de esta idea, muestro que no existen garantías de que el razonamiento tenga una estructura similar a los principios lógicos, dado que es posible llegar a las mismas conclusiones a partir de distintas formas. Argumento que no es posible justificar cuál es la forma del razonar, por lo que el razonamiento no debe ser el objeto de la lógica. A partir de esta argumentación, muestro que el problema de la adopción tiene un aspecto cierto en el que ningún principio puede ser adoptado, porque el razonamiento no tiene una estructura similar a alguna lógica. Además, sostengo que es posible utilizar distintas lógicas como modelos que guíen la comunicación de argumentos. (shrink)

En el presente trabajo se propone rebajar una de las condiciones para adoptar un principio lógico. La condición a la cual se rebaja tiene que ver con la aceptación del conocimiento proposicional y, por otro lado, con contemplar las consecuencias prácticas efectivas beneficiosas que nos da un principio lógico. Para esto, primero se realiza una reconstrucción del problema de la adopción entendido como una reductio, mostrando que el problema se encuentra en el modo en que los agentes aceptan el conocimiento (...) proposicional. Luego de haber diagnosticado el problema muestro que al rebajar el peso de la adopción es necesario introducir las consecuencias prácticas efectivas beneficiosas del principio lógico para que el agente pueda adoptar el principio lógico. Por último se analizan algunas posibles objeciones a mi propuesta y doy una breve conclusión. (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.Em sua forma mais forte e geral, o princípio da referência universalista afirma que toda proposição refere-se ao universo completo do discurso propriamente dito, independentemente de quão limitados sejam os referentes de seus termos não-lógicos ou com conteúdo. Embora Boole mudasse de um modelo monístico de universo-fixo nos seus trabalhos iniciais de 1847 e 1848 para um modelo pluralista de universo-múltiplo no seu tratado maduro de 1854, ele nunca hesitou em sua aceitação franca do princípio da referência universalista, possivelmente em uma forma ligeiramente mais fraca. De fato, ele considerou este princípio como um acompanhamento essencial para a sua teoria de formação de conceitos e de proposições. Visões semelhantes são encontradas em lógicos posteriores, e algumas das mais recentes formulações da lógica clássica de primeira ordem parecem estar de acordo com uma forma deste, se é que elas não implicam, de fato, o próprio princípio. (shrink)

Ao considerarmos a conexão entre a vivência e o filosofar estabelecemos um ponto de partida espontâneo, relativo a uma determinada atitude, expressa na transposição a uma significação mais abrangente às nossas questões, ao serem estas existencialmente assumidas. Observamos, com isso, que o filosofar estabelece uma inter-relação produtiva entre o silêncio de eventos interiores, relativamente idiossincráticos, aos quais denominamos vivências, e as exigências de clarificação, ordenação e rigor, dentre outras, no âmbito lógico-lingüístico, por uma infinita aproximação entre estes dois pólos.

Resumo: Lopes dos Santos, ao colocar o Tractatus Logico-Philosophicus no que denomina “tradição crítica”, mostra que Wittgenstein delimita o alcance da filosofia ao eliminar sua pretensão de ser um tipo de conhecimento que, como a ciência, possa formular proposições verificáveis sobre objetos. E Wittgenstein faz isso de modo distinto da crítica moderna à metafísica, pois elimina o sujeito do problema: não é preciso recorrer a faculdades subjetivas para fazer essa delimitação, mas apenas à linguagem na qual o pensamento se expressa. (...) Por outro lado, na perspectiva da “tradição lógica”, há na mesma obra uma identificação entre a essência do “logos” que pode enunciar algo verdadeiro sobre o ser e do próprio ser do qual se fala nesse discurso. Nosso objetivo é destacar este vínculo com a “tradição lógica” para defender que, para além de uma “virada linguística”, há no Tractatus uma espécie de “metafísica silenciosa” que coloca problemas tais como o do sujeito e o da “essência” do mundo em seu correto lugar após passá-los pelo crivo da crítica. (shrink)

Este artigo tem por objetivo expor algumas ideias para elaborar uma perspectiva teórica sobre a negaçáo que permita comparar as abordagens dos filósofos, lógicos e linguistas sobre esse tema. Na introduçáo sáo apresentadas algumas das questões discutidas sobre a negaçáo. Na primeira parte é feita a distinçáo entre frase, enunciado e proposiçáo. Essa análise nos permitirá por um lado diferenciar entidades linguísticas (frases, enunciados) de entidades lógicas (proposições), e pelo outro separar três planos na abordagem das questões sobre a (...) negaçáo: o plano do código linguístico, o do uso do código linguístico ou plano da enunciaçáo, e o plano da lógica. Na segunda parte distinguimos entre os conceitos de oposiçáo, de negaçáo e de expressáo intrínsecamente negativa. Na terceira parte abordamos a teoria fregeana da negaçáo a partir das distinções feitas anteriormente. Na quarta parte discutimos as concepções de Platáo e de Aristóteles sobre a negaçáo. Na quinta parte distinguimos entre a negaçáo de um enunciado, a negaçáo de uma componente de enunciado, a negaçáo proposicional e a negaçáo predicativa. Na sexta parte discutimos a questáo de se haveria um ato ilocucionário de negar oposto ao ato de afirmar. Na última parte apresentamos nossas conclusões. (shrink)

En este artículo nos centraremos en las reflexiones de G. W. Leibniz sobre el problema de la individuación en torno a 1686, principalmente a partir del análisis del Discours de Metaphysique1 y de los textos de la correspondencia que entabló con Arnauld2. Nuestros objetivos principales son, en primer lugar, poner de relieve los principales elementos teóricos que definen la posición leibniziana y, en segundo lugar, atender a la recepción de tales ideas por parte de la filosofía del lenguaje contemporánea, especialmente (...) en lo que respecta a la utilización del principio de individuación de Leibniz como base para una semántica modal. (shrink)

This paper examines an aspect of the debate between the so-called “traditional” and “resolute” (or “therapeutic”) interpretations of Wittgenstein’s Tractatus, by focusing on the notion of nonsense and on the role that the context principle plays for a correct interpretation of that notion. In the first section the author distinguishes between “substantial” and “austere” conceptions of Tractarian nonsense; in the second section it is discussed how the austere conception of nonsense – held by the resolute interpreters of Wittgenstein’s Tractatus – (...) derives from a literal reading of the context principle. In the third section, by concentrating on some sections of the Tractatus where the notion of nonsense in explicitly discussed, it is shown that such a literal interpretation of the context principle cannot be attributed to Wittgenstein. In the last section, by combining remarks on contextuality, meaning and nonsense, a reading aimed at reconciling the Tractatus’ view of nonsense and the context principle is sketched. (shrink)

¿Podemos adoptar una regla de inferencia como si fuera una hipótesis e inferir algo en virtud de esa regla? ¿Podemos revisar nuestras reglas y principios lógicos en virtud de la evidencia disponible? El antiexcepcionalismo lógico desafía la idea de que la lógica es excepcional y la vincula con el resto de las teorías científicas. Sin embargo, el desafío de la adopción planteado por Kripke y Padró imponen límites a esta concepción. En esta sección, se exploran distintos aspectos vinculados a (...) la imposibilidad de adoptar reglas, el antiexcepcionalismo, la revisión y la normatividad de la lógica. (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)

I carry out in this paper a philosophical analysis of the principle of excluded middle. This principle has been criticized, and sometimes rejected, on the charge that its validity depends on presuppositions that are not, some believe, universally obtainable; in particular, that any well-posed problem is solvable. My goal here is to show that, although excluded middle does indeed rest on certain presuppositions, they do not have the character of hypotheses that may or may not be true, or matters of (...) fact that may or may not be the case. These presuppositions have, I claim, a transcendental character. Hence, the acceptance of excluded middle does not necessarily require, as some have claimed, an allegiance to ontological realism or some sort of cognitive optimism, construed as factual theses concerning the ontological status of domains of objects and our capability of accessing them cognitively. (shrink)

El objeto de este artículo es analizar el problema de la justificación del conocimiento básico y ofrecer una solución basada en un tipo de justificación deflacionaria no-evidencialista a partir de la noción de habilitación de T. Burge y la de _garantía racional_ de C. Wright. El problema, en el caso del conocimiento básico lógico, es que justificar las reglas lógicas inferencialmente supone utilizar principios lógicos, con lo cual se genera un círculo vicioso. Examinamos la viabilidad del enfoque no-inferencialista de (...) Wright y sostendremos que una garantía racional es una respuesta viable para el problema de la justificación del conocimiento lógico básico. (shrink)

Neste artigo, pretendo examinar a tese cartesiana da livre criação das verdades eternas a partir da conjugação dos atributos divinos que, segundo Descartes, são conhecidos por nós e sua tese de que, entre as verdades eternas livremente criadas por Deus, estão incluídos os princípios lógicos. A partir desse exame, concluo que, até onde o intelecto finito do homem pode conceber, a tese cartesiana da livre criação das verdades eternas envolve ao menos as seguintes teses: a) Deus, por ser (...) infinito e puro pensamento em ato, estabelece necessariamente em si todas as essências e verdades, incluindo essências e verdades que para o intelecto finito parecem impossíveis, já que lhe aparecem como contraditórias; b) ao estabelecer as essências e verdades, Deus instancia algumas (e assim as cria) como conteúdos de ideias inatas nas mentes finitas, que são criadas com estrutura lógica; c) ao estabelecer as essências e verdades, Deus instancia no mundo atual ao menos algumas das essências e verdades não contraditórias instanciadas nas mentes finitas; e d) embora a mente humana finita não as possa conceber clara e distintamente, é certo que Deus instancia no mundo atual ao menos algumas das essências e verdades que aparecem como contraditórias, isto é, instancia no mundo atual ao menos algumas das essências e verdades que para a mente finita aparecem como impossíveis por serem por ela inconcebíveis, o que é confirmado por ao menos dois casos mencionados por Descartes. In this article I intend to examine the Cartesian view on the free creation of the eternal truths considering the conjunction of the divine attributes, which according to the Cartesian thesis, are known to us and his thesis that logical principles are among the eternal truths freely created by God. From this examination I conclude that, as far as the finite intellect of man can conceive, the Cartesian view of the free creation of the eternal truths involves at least the following theses: a) being pure and infinite thinking in action, God necessarily sets in himself all the form of essence and truth, including all essence and truth that for, the finite intellect, seem impossible since they may appear to him as contradictory; b) while establishing all essence and truth, God instantiates some of them (and thus creates some of them) as contents of innate ideas in finite minds, which are created with a logical structure; c) while establishing all essence and truth God instantiates in the actual world at least some of the non-contradictory essences which are instantiated in the finite mind; and d) although the finite human mind cannot conceive it clearly and distinctly, it is certain that God instantiates in the actual world at least some of essence and truth that seem to be contradictory for the human mind, that is, God instantiates at least some of the essences and truths which appear to the finite mind as impossible since inconceivable, which is confirmed by at least two cases mentioned by Descartes. (shrink)

This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...) implausible consequences if excluded middle is accepted. In the second place, it addresses the question of why one should reject bivalence, and finds no satisfactory answer. /// Este artículo trata el problema de los futuros contingentes, y se enfoca en dos principios lógicos clásicos: el tercero excluido y la bivalencia. Se podría pensar que una solución del problema requiere actitudes diferentes hacia estos dos principios. Según una hipótesis que parece ampliamente compartida, el tercero excluido debe ser aceptado, mientras que la bivalencia debe ser rechazada. Este artículo argumenta en contra de esta línea de pensamiento. En primer lugar, se aborda cómo el rechazo de la bivalencia lleva a consecuencias poco plausibles si el tercero excluido es aceptado. En segundo lugar, se enfrenta la cuestión de por qué se debería rechazar la bivalencia, sin encontrar una respuesta satisfactoria. (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)

Se afirma que los enunciados necesarios a posteriori, propuestos por S. Kripke, exigen una comprensión débil de la necesidad; esto quiere decir: a) existencia contingen-te del designatum(no existencia en toda situación contrafáctica) y b) dependencia racionalista en principios lógicos a priori, particularmente los de diferencia y de identidad. La principal consecuencia es que los enunciados necesarios a posteriori corresponden a instancias de dichos principios lógicos. Contrario al racionalismo, esto no exige que dichos enunciados sean a priori, pues su (...) justificación requiere in-formación empírica. Finalmente, se defiende que la distinción entre denotación y designación permite sostener que la necesidad débil se aplica a las instanciasde la clase, y no a esta, con lo que se evita el indeterminismo referencial. (shrink)

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)

Intuition or rational trust? Resumen: Según la concepción tradicional, la justificación de las creencias lógicas básicas —entendida tanto inferencial como no-inferencialmente— no logra evitar ni la circularidad, ni la regresión al infinito. Justificar reglas básicas lógicas inferencialmente conlleva usar principios lógicos con lo que se genera un círculo vicioso. Apelar a fuentes básicas como la intuición, no sortea todas las dificultades. Argumentaré que es preciso recurrir a una “habilitación”, una sub-clase dentro de las garantías epistémicas. Si además aceptamos que (...) intuir es algo que hacemos y no algo que nos pasa, podemos sostener que la intuición, de hecho, se apoya en una confianza racional. Palabras clave: justificación, conocimiento lógico, garantía racional, intuición, habilitación.: According to the traditional conception, the justification of basic logical beliefs —understood both inferentially and non-inferentially— cannot avoid either circularity or regression to infinity. To justify logical basic rules inferentially involves using logical principles, so a vicious circle is generated. Appealing to basic sources such as intuition, does not avoid such problems. I will argue that it is necessary to resort to an entitlement, a sub-class within the epistemic warrants. If we also accept that intuiting is something that we do and not something that happens to us, we can sustain that intuition, indeed, is based on a rational trust. Keywords: justification, logical knowledge, rational warrant, intuition, entitlement. (shrink)

A teoria do Direito internacional de Kelsen é monista, ou seja, o autor reúne a legislação nacional e internacional em um único sistema normativo. Com isso, descarta o dualismo e promove uma tese fundada no princípio lógico da não-contradição, traduzido juridicamente para o princípio da imputação. Por essa afirmação, o Direito internacional, considerando o primado estadual, existe a partir do reconhecimento interno da validade da legislação externa; mais, a recepção dos acordos internacionais na legislação nacional acopla internamente o Direito internacional, (...) com seus tratados bi/multilaterais, pactos, instituições, costumes e tribunais. A teoria de Kelsen torna-se complexa, porém, quando, indagando o inverso dessa premissa, o Direito internacional posto e eficaz, já inserido internamente, não reconhece a validade normativa de eventual interpretação ou norma interna e atua como agente determinante da ordem jurídica nacional. Com isso, o Direito externo torna-se decisivo desse mesmo sistema jurídico interno, não necessariamente por uma ação coercitiva, mas por intermédio do seu reconhecimento da validade da legislação interna. Vimos esse fenômeno materializar-se no caso dos dois presidentes simultâneos da Venezuela: tanto o presidente Nicolás Maduro, quando o presidente Juan Guaidó, foram formalmente designados, por países e instituições distintas, como governantes válidos. Sendo assim, o objetivo do livro consiste em compreender esse fenômeno de reconhecimento externo dos sistemas normativos nacionais através da segunda edição da Teoria de pura do Direito como marco teórico. Igualmente, utiliza-se do estudo de caso sobre a determinação do presidente válido da Venezuela como elemento empírico e de falseabilidade. Com isso, defende a hipótese da necessidade do reconhecimento normativo-objetivo do Estado a partir da formação do Direito internacional, independentemente de seu primitivismo. Os quatro primeiros capítulos, na primeira seção, estabelecem uma interpretação sobre a obra de Kelsen, focada em seu aspecto internacionalista. Nos quatro últimos, na seção II, submeto as conclusões teóricas ao caso concreto, falseando-as ou não conforme seu teste empírico. (shrink)

En esta contribución intentaré mostrar que el criterio lex superior derogat legi inferiori conduce a una consecuencia que, al menos en lo que conozco, no ha sido todavía advertida. Si las normas de la máxima jerarquía de un sistema jurídico, verbigracia, normas constitucionales constituyen un conjunto consistente, entonces necesariamente el sistema jurídico es consistente. Dicho de otra manera, lex superior preserva necesariamente la consistencia. Si las normas del nivel más alto son miembros de un conjunto consistente, los niveles inferiores de (...) la jerarquía no podrían admitir normas contradictorias con las superiores. Más aún, habida cuenta que de una contradicción se sigue cualquier norma, en virtud del principio lógico ex falso quodlibet, de dos normas contradictorias que pertenecen a algún nivel inferior se derivan algunas normas en contradicción con normas del nivel superior; así normas contradictorias no podrían ser admitidas en los niveles inferiores. In this contribution, I shall intend to show that the criterion lex superior derogat legi inferiori has a consequence which, as far as I know, has not been noted yet: if the higherlevel norms in a legal system, i.e. constitutional norms, configure a consistent set, then necessarily the legal system is consistent. Lex superior preserves necessarily the consistency, as it were. If higher-level norms are members of a consistent set, then the lower-levels could admit no norm in contradiction with the higher-level norms. Moreover, given that from a contradiction follows anything, in virtue of the logical principle ex falso quodlibet, from two contradictory lower-level norms follow some norms in contradiction with norms of the higher-level, thus contradictory norms could never be admit in the lower-levels. (shrink)

Este texto foi elaborado no contexto da disciplina História da Filosofia Moderna 2, cursada no curso de graduação em Filosofia, na UNIFESP, sob a qualidade de avaliação final. Trata-se de uma apresentação do problema geral da razão pura, tal como aparece na obra kantiana a partir da discussão teórica que o autor empreende com Hume. Este teria criado um impasse ao enunciar o clássico problema da indução, que em última instância retirava legitimidade à ciência, uma vez que declarava ser o (...) princípio da causalidade não princípio lógico, mas tão somente psicológico. Coube a Kant refundar as bases do problema, abrindo o caminho que um século depois seria trilhado pelas pesquisas fenomenológicas. (shrink)

En la conferencia “Las lógicas y las cosas”, Alberto Moretti sostiene que los enfoques que se centran en el fenómeno de la interpretación para dar cuenta del problema del significado adolecen de un problema, a saber, no admiten las condiciones trascendentales que posibilitan la significatividad. Así, en el contexto de la interpretación, el hecho de distinguir a otros como hablantes es la posibilidad de distinguir a otros como objetos relacionados en el mundo. Esta distinción es posible porque los principios (...) class='Hi'>lógicos específicos exponen la estructura básica para el discurso y el pensamiento pero también, la estructura elemental del mundo o realidad. En otras palabras, los principios lógicos que estructuran nuestro lenguaje son también principios de las cosas. Este argumento puede ser considerado un argumento trascendental por establecer, a través del señalamiento de ciertas condiciones necesarias, la íntima conexión lenguaje-mundo que da cuenta de la significatividad, y por insinuarse como una respuesta al problema del mundo externo. Me propongo discutir el alcance de este argumento a partir de la idea de la autonomía del lenguaje que Wittgenstein desarrolla en Sobre la Certeza, la cual conlleva una estrategia disolutoria alternativa frente al desafío escéptico. Para dar cuenta de dicha estrategia, me centraré en la distinción entre proposiciones lógicas y empíricas. También analizaré la distinción mostrar-decir que, en su relación con la noción de “formas de vida”, permite iluminar aspectos de su enfoque praxiológico sobre el lenguaje. Así, defenderé un enfoque que no omite, sino que rechaza, la posibilidad de un punto de vista externo, tanto para dar cuenta del lenguaje como para responder al escéptico. (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)

Durante os séculos XVI e XVII a filosofia, a ciência e a arte começam a se separar, principalmente por conta da consolidação da ciência e de sua produção de conhecimento racional, baseada em princípios lógicos e matemáticos, buscando compreender e dominar a natureza de modo objetivo, enquanto a arte irá se ocupar da sensibilidade, utilizando de discursos e meios subjetivos de levantar questionamentos, tendo como base as faculdades do juízo e, por fim, a filosofia irá promover uma reflexão (...) mais profunda e uma análise mais precisa das produções de conhecimento das duas áreas, não se separando, mas partindo delas. Assim sendo, o presente trabalho buscou oferecer uma proposa didática e interdisciplinar para o ensino médio normal ou integrado, a fim de abarcar os conhecimentos produzidos pela ciência, arte e filosofia, tendo como aporte teórico as discussões desenvolvidas pela Teoria Crítica. Para tanto, apresentou uma discussão teórica a respeito das inter-relações existentes entre as grandes áreas; e para o desenvolvimento da proposta didática trabalhou com diferentes materiais didáticos como a filosofia da Escola de Frankfurt, as obras do artista Ai Weiwei, entre outros. Como resultados, pretende-se ilustrar as possibilidades de trabalhar com diferentes saberes de forma interdisciplinar e integradora. (shrink)

La lógica, tal como sostienen algunos autores, es una disciplina normativa. Nos dice qué está bien y qué está mal a la hora de inferir, e influye en nuestras prácticas inferenciales. Por otro lado, el problema de la adopción de Kripke y Padró propone que la idea de adoptar principios lógicos no tiene sentido o no es posible. Mediante una comparación con distintas interpretaciones de la idea de normatividad en la lógica, analizaré la compatibilidad entre ambas posturas. La aparente (...) desconexión entre lo que es correcto y las prácticas de los agentes, sumada a la impotencia de las normas para influir en las prácticas inferenciales, llevarán a una conclusión poco alentadora para quienes quieran sostener ambas posturas: si aceptamos que el problema de la adopción es un problema real, entonces hay que borrar todo rastro de normatividad de nuestra concepción de la lógica. (shrink)

A epistemologia de Charles Sanders Peirce parece paradoxal quando comparada a de Rudolf Carnap e W.V. Quine. Como Carnap, mas diferentemente de Quine, Peirce considera que o conhecimento científico reside em princípios lógicos que devem se sustentar para que o discurso sobre o verdadeiro e o falso tenha sentido. Ele também compartilha a visão de Carnap de que esses princípios são anteriores à, e independentes das constatações nas ciências naturais, uma visão que Quine notoriamente rejeita. Todavia, como (...) Quine, mas diferentemente de Carnap, Peirce insiste que não há conhecimento além daquele que é obtido por meio de testes empíricos, que as verdades da lógica estão epistemologicamente a par das verdades descobertas nas ciências naturais, e que nos revelam algo sobre como as coisas são, em vez de carecerem de conteúdo fatual, como Carnap afirma. Um ar de paradoxo emerge no comprometimento simultâneo de Peirce às visões comumente consideradas próprias das teorias epistemológicas incompatíveis. A análise desse paradoxo pela comparação da concepção de conhecimento de Peirce ao de Quine e Carnap nos ajuda a apreciar melhor sua importância na tradição filosófica e na profundeza e originalidade de suas razões. (shrink)