In this paper, we introduce a quasi-set theory without atoms. The quasi-sets (qsets) can have as elements completely indiscernible things which do not turn out to be the very same thing as it would be implied if its underlying logic was classical logic. A quasi-set can have a cardinal, called its quasi-cardinal, but this is made so that, at least for the finite case, the quasi-cardinal is not an ordinal, and hence the indistinguishable elements of a quasi-set cannot be ordered. (...) In the last sections, we show how the theory can be used to ground a quantum metaphysics of properties, which sees the quantum entities as bundles of properties, and we also introduce a new approach for the use of quantifiers in quantum physics. (shrink)

O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da (...) lógica sem perda da especificidade da disciplina. The text provides some conceptual distinctions generated from a perspective on teaching philosophy according to which the project of a "didactica minima" for logic in high schools is contemplated. After a brief presentation of some positive aspects of the perspective from which the distinctions are proposed, two common ways of teaching logic are considered. The aim of the paper is to show how the perspective proposed can clarify some topics on the issue of teaching logic in an interdisciplinary way, without losing the specifics of the discipline. (shrink)

In this paper, we examine two conceptions of the application of logic and assess their comparative merits. The first is a platonist monist conception that characterizes the logical consequence relation as an abstract relation among propositions. We argue that this proposal, which insists on logic’s topic neutrality, accommodates very well the objectivity of logic. From this perspective, there are no constraints on particular topics. As a result, we have the universality that allows us to go through a wide scope of (...) contexts where logic is applied. In contrast, a non-platonist pluralist conception is examined, and it characterizes the variety of logical consequence relations as concrete, context-dependent in particular cases, and topic-dependent. As will become clear, this conception is particularly well suited to make room for the applications of logic. We conclude that, in order to solve the ontological debate about logic, we need to go beyond its applications. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

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

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

Reseña sobre Lógicas de Mundos de Badiou.

Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e discutiremos o que consideramos ser algumas das principais áreas de investigação da lógica atual. Concluímos o artigo com algumas observações sobre lógicas não clássicas e seus impactos sobre a filosofia. Ao final do texto se encontram mais detalhes que apontam para um (...) aprofundamento e uma ampliação das questões aqui tratadas. (shrink)

Este artigo explora o uso de metodologias lúdicas, como gamificação e narrativas, para tornar o ensino de Lógica mais dinâmico e acessível no Ensino Médio. Através de enigmas como os do tipo Cavaleiros e Patifes, abordam-se tanto a lógica proposicional clássica quanto as não-clássicas (notadamente, as lógicas paraconsistentes e modal),proporcionando um aprendizado ativo e colaborativo. O artigo oferece ferramentas práticas para educadores, com ênfase no desenvolvimento de competências críticas e na criação de um ambiente inclusivo, acessível a todos os (...) alunos. (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)

Quiere Leibniz construir un cálculo lógico de un nuevo género, un cálculo formal que aporte rigor en los procedimientos demostrativos. A tal efecto considera necesaria una ampliación de la lógica tradicional. Frente a la organización apodíctica de Aristóteles, busca un nuevo método científico que no proceda sólo deductivamente desde una certeza expresada mediante axiomas, sino según una lógica heurística, y por lo tanto no clásica, que incluya un conjunto de procedimientos no silogísticos para inventar o producir nuevos conocimientos. Su idea (...) de una Ciencia General, es una planificación modular que consta de una multiplicidad de proyectos, cada uno de los cuales puede actuar separadamente, aunque en vistas a un único fin: su aplicación a la ciencia para aumentar el bienestar social de la humanidad. (shrink)

Este trabalho aduz a contribuição de Pedro Hispano, nas suas obras Summulae Logicales e Syncategoreumata, ao desenvolvimento dos temas da Logica Modernorum, como as propriedades dos termos e os elementos sincategoremáticos. Considera-se, aqui, que as investigações acerca de tais propriedades são uma marca que diferencia a Lógica (Dialética) do século XIII daquela desenvolvida anteriormente. No século XIII, com todo o Organon de Aristóteles conhecido, o filósofo medieval ocupou-se da escrita de manuais para serem usados nas universidades, como os de Guilherme (...) de Shyreswood, Lamberto de Auxerres e Pedro Hispano, nos quais se discorria tanto os temas de logica vetus e logica nova, bem como se desenvolviam reflexões modernas, não mais sobre os silogismos, mas agora sobre cada termo constituinte da proposição. Os termos de uma proposição são o sujeito e o predicado (o nome e o verbo), são as palavras que, mesmo se tomadas fora de um contexto proposicional têm significação, têm um sentido para quem estiver familiarizado com a linguagem empregada no discurso. As propriedades dos termos aduzidas por Pedro Hispano na Summulae Logicales são a significação (significatio), a suposição (suppositio) a relação (relatio), a ampliação (ampliatio), a apelação (appelatio), a restrição (restrictio) e a distribuição (distributio). Ocupamo-nos dessas propriedades no segundo capítulo deste trabalho. Antes, no primeira capítulo, discorremos sobre os seis tratados cujos temas pertencem à logica antiquorum e que oferecem uma propedêutica necessária ao estudo da lógica. Por fim, no terceiro capítulo, expomos a importância da obra Syncategoreumata, que fornece o estudo dos demais componentes das proposições e argumentos. (shrink)

El presente trabajo es un ensayo sobre lo que, en los últimos años, se ha empezado a llamar "lógica filosófica". La lógica filosófica se origina como consecuencia del progresivo rigor formal de la lógica tradicional. Este rigor ha conducido, en contra de lo que se esperaba, a problemas de significado filosófico fundamental y de profundidad abismal. Son muchos los problemas que interesan a la lógica filosófica, pero, en opinión del autor, el más importante apenas ha sido abordado. Este problema es (...) la relación entre la lógica y la razón. La tradición siempre ha considerado la lógica como una disciplina preeminentemente racional, que se constituye sobre estructuras fundamentales del pensamiento racional. Ahora bien, si se intenta saber cuáles son estas estructuras, se encuentra un grave problema: en los últimos años han proliferado nuevos sistemas de lógica, algunos de los cuales parecen no tener ninguna relación entre sí y con la lógica clásica. Esto da la impresión de que no tiene mucho sentido hablar de "razón humana", es decir, de una facultad que funciona mediante principios necesarios y universales organizados en un sistema unitario. La única manera de abordar este problema es comenzar con un análisis de los sistemas lógicos que difieren del modelo clásico (como, por ejemplo, las lógicas polivalentes y paraconsistentes). A estos sistemas el autor los denomina "lógicas heterodoxas". Una vez analizado el significado y las características de estas lógicas, es posible ver si realmente expresan el hecho de que la razón no puede ser concebida como un sistema de principios o si esta creencia es sólo una consecuencia de un enfoque superficial. La opinión del autor es que, a pesar de la multiplicidad de sistemas lógicos heterodoxos, es posible encontrar un criterio de unidad en el cumplimiento común de ciertas condiciones necesarias de logicidad y la posesión común de algunas condiciones suficientes. La razón no funciona, por supuesto, como creían los clásicos, pero su funcionamiento está determinado por un complejo invariable de principios necesarios y universales. Este funcionamiento es más flexible que el concebido por la lógica tradicional; la razón humana puede prescindir de algunos principios clásicos, pero no de todos, y, por el contrario, puede encontrar nuevos principios basados en evidencias que no habían sido previamente analizadas lógicamente. Pero en ambos casos, siempre presupone un complejo invariable de principios. (shrink)

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

Depois de meio século no esquecimento, a natureza da consciência é agora o tema mais quente nas ciências comportamentais e filosofia. Começando com o trabalho pioneiro de Ludwig Wittgenstein na década de 1930 (os livros azul e marrom) e dos anos 50 para o presente por seu sucessor lógico John Searle, eu criei a seguinte tabela como uma heurística para promover este estudo. As linhas mostram vários aspectos ou formas de estudo e as colunas mostram os processos involuntários e comportamentos (...) voluntários que compõem os dois sistemas (processos duplos) da estrutura lógica da consciência (LSC), que também pode ser considerado como a estrutura lógica de racionalidade (LSR-Searle), de comportamento (LSB), de personalidade (LSP), de realidade (LSOR), de intencionalidade (LSI)-o termo filosófico clássico, a psicologia descritiva da consciência (DPC), a psicologia descritiva do pensamento (DPT) – ou melhor, o Linguagem da psicologia descritiva do pensamento (LDPT), termos introduzidos aqui e em meus outros escritos muito recentes. Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outras. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí estabelecida (...) entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (shrink)

Se presenta una visión de la epistemología como lógica del pensar y se la lleva a una elaboración de la práctica clínica como una lógica del padecimiento psíquico. Esto basado en los planteamientos de Deleuze y Guattari. Para ello se toma como punto de partida la noción de los movimientos aberrantes que, leyendo la obra de Deleuze, elaboró David Lapoujade entendiéndolos como movimientos que se producen en la relación entre distintos términos heterogéneos, pero manteniendo su heterogeneidad. Esto es vinculado con (...) la invitación que hace el mismo Lapoujade a entender la obra deleuzeana como el desarrollo de lógicas irracionales, intentando pensar desde ahí una lógica de la locura y del padecimiento mental con base en, a su vez, una lógica de las obras literarias de Proust y Kafka, tal como las leen los mismos Deleuze y Guattari. En relación con ello destacamos, por un lado, cierta lógica de conjuntos abiertos y no totalizables que estos últimos autores encuentran en la obra de Proust y, por otro lado, una lógica de la contigüidad que encuentran en la obra de Kafka. Al mismo tiempo, se establecen puntos en común entre estas dos lecturas a propósito de lo esquizoide como algo que excede a la significación del discurso, así como a la normatividad de la conducta. Asimismo, en distintos puntos del escrito se extraerán las implicaciones que estos modos de pensar tienen para una práctica clínica en relación con modos de existencia subjetivos que se escapan a lo que está establecido en el campo social. De esa manera, ponemos en conjunción una aproximación epistemológica con una política. (shrink)

La lógica de la Edad Media se presenta a los lógicos contemporáneos, filósofos medievalistas, historiadores y filósofos de la lógica, como un campo tan fascinante como de difícil acceso. Parece demasiado intrincado para casi cualquier investigador de estas áreas encontrar la punta del ovillo que lo conduzca a transitar una presentación ordenada e inteligible de la lógica medieval. Este libro pretende solucionar este problema. Para ello, presenta de manera ordenada y autocontenida los desarrollos lógicos de la parte técnicamente más evolucionada (...) de la lógica de la Edad Media: el siglo XIV. A diferencia de otras presentaciones no evade los hechos históricos y culturales que conforman el panorama de la época ni las cuestiones filosóficas detrás de los desarrollos lógicos, a fin de entender cabalmente las cuestiones técnicas y no desnaturalizar la propuesta medieval. Los primeros tres capítulos se abocan a cuestiones introductorias, históricas y a la genealogía de los tópicos más importantes. El cuarto capítulo está dedicado a la presentación sintáctica del lenguaje de la lógica medieval. El quinto y el sexto a la metateoría de esta lógica. El séptimo explora y presenta la semántica. Los dos últimos nos brindan una reconstrucción racional, en términos del lenguaje simbólico contemporáneo, de la lógica de finales del siglo XIV. (shrink)

La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo (...) algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. (shrink)

La lógica formal no es una ciencia que se encuentre libre de presupuestos. Más bien, su representación de la forma lógica se basa en presupuestos a los cuales la lógica misma no llega. Este artículo se propone aclararlos. Para ello, en un primer momento, consideraremos las determinaciones fundamentales de la forma lógica. En un segundo paso, esta consideración será profundizada a partir del análisis del concepto lógico-formal de “concepto”. Con él se plantean problemas que hacen necesario avanzar en la reflexión (...) sobre la forma lógica. Ese avance necesario es la lógica trascendental en el sentido en el que la entiende Kant. /// Formal logic cannot claim to represent a presuppositionless science. In fact, its account of logical form rests upon a set of presuppositions, which is not justified within logic itself. This article shall elaborate on this in two steps. First, we shall highlight the primal determinations in formal logic’s account of logical form. Second, we shall deepen this with regard to the account of the concept. In doing so, we will encounter systematic problems, the resolution of which necessarily gives rise to a genuine self-reflection of logical form, which is transcendental logic in terms of Kant. /// Formale Logik ist keine voraussetzungsfreie Wissenschaft, sondern ihre Darstellung der logischen Form beruht auf Voraussetzungen, die sie selbst nicht einholt. Der Aufsatz soll dies verdeutlichen. Dazu werden in einem ersten Schritt die grundlegendsten Bestimmungen in der Fassung der logischen Form vergegenwärtigt. In einem zweiten Schritt wird dies mit Blick auf den formallogischen Begriff des Begriffs vertieft. Dabei treten systematische Probleme auf, deren Auflösung einen Fortschritt in der Selbstreflexion der logischen Form nötig macht: die transzendentale Logik im Sinne Kants. (shrink)

Trata-se da tradução de um ensaio clássico publicado por Rudolf Carnap na revista Erkenntnis. A tradução é precedida por um texto de apresentação, que situa o ensaio e sua importância no contexto da filosofia contemporânea e na obra de Carnap. No ensaio, Carnap indica as principais características que distinguem o que ele chama de nova lógica (a lógica simbólica matemática derivada das obras de Frege, Peano e Hilbert, entre outros) da lógica filosófica tradicional e explica a sua importância como novo (...) método do filosofar. (shrink)

La "lógica viva" de Carlos Vaz Ferreira representa en Uruguay y en la filosofía de lengua española del siglo XX lo que se conoció más tarde como filosofía del lenguaje corriente (Oxford) y filosofía del Círculo de Viena (Wittgenstein en su segundo período). De acuerdo a la imagen del incendio, en José Enrique Rodó, solo la conversión es el objetivo final de una idea, no alcanza con la convicción.

É minha afirmação que a tabela da intencionalidade (racionalidade, mente, pensamento, linguagem, personalidade etc.) que apresenta proeminentemente aqui descreve mais ou menos precisamente, ou pelo menos serve como um heurista para, como pensamos e nos comportamos, e por isso engloba não meramente filosofia e psicologia, mas tudo o resto (história, literatura, matemática, política etc.). Note especialmente que a intencionalidade e a racionalidade como eu (juntamente com Searle, Wittgenstein e outros) a vêem, inclui tanto ações ou reflexos automatizados inconscientes do Sistema (...) 1. Eu forneço uma pesquisa crítica de algumas das principais descobertas de dois dos mais eminentes alunos de comportamento dos tempos modernos, Ludwig Wittgenstein e John Searle, sobre a estrutura lógica da intencionalidade (mente, linguagem, comportamento), tendo como ponto de partida a descoberta fundamental de Wittgenstein – que todos os problemas verdadeiramente 'filosóficos' são os mesmos — confusões sobre como usar a linguagem em um contexto específico, e por isso todas as soluções são as mesmas — olhando como a linguagem pode ser usada no contexto em questão para que suas condições de verdade sejam (Condições de Satisfação ou COS) são claras. O problema básico é que se pode dizer qualquer coisa, mas não se pode significar (COS claro do Estado para) qualquer expressão arbitrária e significado só é possível em um contexto muito específico. Analiso vários escritos por e sobre eles da perspectiva moderna dos dois sistemas de pensamento (popularizados como "pensando rápido, pensando devagar"), empregando uma nova tabela de intencionalidade e nova nomenclatura de sistemas duplos. Eu mostro que este é um heurista poderoso para descrever o comportamento. Assim, todo o comportamento está intimamente conectado se tomar o ponto de vista correto. A Ilusão fenomenológica (esquecimento ao nosso Sistema 1 automatizado) é universal e se estende não apenas ao longo da filosofia, mas ao longo da vida. Tenho certeza que Chomsky, Obama, Zuckerberg e o Papa seriam incrédulos se fossem informados de que sofrem do mesmo problema que Hegel, Husserl e Heidegger, (ou que diferem apenas em grau de viciados em drogas e sexo em serem motivados pela estimulação de seus cortices frontais pela entrega de dopamina (e mais de 100 outros produtos químicos) através do tegmentum ventral e do núcleo accumbens), mas é claramente verdadeiro. Enquanto os fenomenologistas só perderam muito tempo de muitas pessoas, eles estão desperdiçando a terra e o futuro de seus descendentes. (shrink)

Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un (...) análisis semántico puede mostrar no solo que tal polisemia sugiere que ni la disciplina ni las teorías lógicas son tan rigurosas como se ha afirmado, sino también que varias afirmaciones de esas disciplinas carecen de sentido. (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)

Uma vez que os problemas filosóficos são o resultado de nossa psicologia inata, ou como Wittgenstein disse, devido à falta de perspicuidade da linguagem, eles correm ao longo do discurso e comportamento humano, por isso há necessidade infinita de análise filosófica, não apenas no 'humano ciências' de filosofia, sociologia, antropologia, ciência política, psicologia, história, literatura, religião, etc., mas nas "ciências duras" da física, matemática e biologia. É universal misturar as questões do jogo de linguagem com as reais científicas sobre quais (...) são os fatos empíricos. O cientismo está sempre presente e Wittgenstein, indiscutivelmente o maior psicólogo intuitivo de todos os tempos, o colocou diante de nós há muito tempo, começando com os Blue and Brown Books no início dos anos 1930. A linguagem é programada em nossos genes e está envolvida em quase todo o nosso comportamento social. Filosofia no sentido rigoroso (ou seja, filosofia acadêmica), é como Wittgenstein nos mostrou, o estudo da forma como a linguagem é usada (jogos linguísticos) e eu a considero como a psicologia descritiva do pensamento de maior ordem (ou seja, praticamente tudo envolvendo linguagem que muitas vezes é chamado de Sistema 2 ou pensamento lento). No entanto, como espero ter mostrado em meus escritos ao longo da última década, comportamento não linguístico ou Sistema 1 ou pensamento rápido também é descrito com linguagem e isso leva a uma confusão sem fim que eu tentei esclarecer aqui e que é resumida nas tabelas que eu apresento. É minha afirmação que a tabela da intencionalidade (racionalidade, mente, pensamento, linguagem, personalidade etc.) que apresenta proeminentemente aqui descreve mais ou menos precisamente, ou pelo menos serve como um heurista para, como pensamos e nos comportamos, e por isso engloba não meramente filosofia e psicologia, mas tudo o resto (história, literatura, matemática, política etc.). Note especialmente que a intencionalidade e a racionalidade como eu (juntamente com Searle, Wittgenstein e outros) a vêem, inclui tanto ações ou reflexos automatizados inconscientes do Sistema 1. Eu forneço uma pesquisa crítica de algumas das principais descobertas de dois dos mais eminentes alunos de comportamento dos tempos modernos, Ludwig Wittgenstein e John Searle, sobre a estrutura lógica da intencionalidade (mente, linguagem, comportamento), tomando como meu ponto de partida A descoberta fundamental de Wittgenstein – de que todos os problemas verdadeiramente "filosóficos" são os mesmos — confusões sobre como usar a linguagem em um contexto específico, e assim todas as soluções são as mesmas — olhando como a linguagem pode ser usada no contexto em questão para que sua verdade condições (Condições de Satisfação ou COS) são claras. O problema básico é que se pode dizer qualquer coisa, mas não se pode significar (COS claro pelo Estado) qualquer expressão arbitrária e significado só é possível em um contexto muito específico. Analiso vários escritos por e sobre eles da perspectiva moderna dos dois sistemas de pensamento (popularizados como "pensando rápido, pensando devagar"), empregando uma nova tabela de intencionalidade e nova nomenclatura de sistemas duplos. Eu mostro que este é um heurístico poderoso para descrever o comportamento com críticas dos escritos de uma grande variedade de cientistas comportamentais (ou seja, todos). O primeiro grupo de artigos tenta dar alguma visão de como nos comportamos que é razoavelmente livre de ilusões teóricas. Nos três grupos seguintes, comento três das principais ilusões que impedem um mundo sustentável: tecnologia, religião e política (grupos cooperativos). As pessoas acreditam que a sociedade pode ser salva por elas, então eu forneço algumas sugestões no resto do livro sobre por que isso é improvável através de artigos curtos e resenhas de livros recentes de escritores conhecidos. (shrink)

Es mi afirmación que la tabla de intencionalidad (racionalidad, mente, pensamiento, lenguaje, personalidad, etc.) que presenta prominentemente aquí describe más o menos con precisión, o al menos sirve como heurística para, cómo pensamos y nos comportamos, y por lo tanto no abarca simplemente filosofía y psicología, sino todo lo demás (historia, literatura, matemáticas, política, etc.). Tenga en cuenta especialmente que la intencionalidad y racionalidad como yo (junto con Searle, Wittgenstein y otros) lo veo, incluye tanto el Sistema Linguístico deliberativo consciente (...) 2 como las acciones o reflejos inconscientes automatizados del Sistema 1 automatizado. -/- Proporciono una encuesta crítica de algunos de los principales hallazgos de dos de los estudiantes más eminentes de comportamiento de los tiempos modernos, Ludwig Wittgenstein y John Searle, sobre la estructura lógica de la intencionalidad (mente, lenguaje, comportamiento), tomando como punto de partida el descubrimiento fundamental de Wittgenstein -que todos los problemas verdaderamente "filosóficos" son los mismos—confusiones sobre cómo usar el lenguaje en un contexto particular, y por lo tanto todas las soluciones son las mismas— mirando cómo se puede utilizar el lenguaje en el contexto en cuestión para que sus condiciones de verdad (Condiciones de Satisfacción o COS) son claras. El problema básico es que uno puede decir cualquier cosa, pero no se puede significar (indicar COS claro para) cualquier expresión arbitraria y significado sólo es posible en un contexto muy específico. Analizo varios escritos por y sobre ellos desde la perspectiva moderna de los dos sistemas de pensamiento (popularizados como 'pensar rápido, pensar lento'), empleando una nueva tabla de intencionalidad y nueva nomenclatura de sistemas duales. Demuestro que esta es una heurística poderosa para describir el comportamiento. -/- Por lo tanto, todo comportamiento está íntimamente conectado si uno toma el punto de vista correcto. La Ilusión Fenomenológica (olvido a nuestro Sistema automatizado 1) es universal y se extiende no sólo a lo largo de la filosofía, sino a lo largo de la vida. Estoy seguro de que Chomsky, Obama, Zuckerberg y el Papa serían incrédulos si se les dijera que sufren del mismo problema que Hegel, Husserl y Heidegger, (o que difieren sólo en grado de los adictos a las drogas y el sexo en estar motivados por la estimulación de sus cortices frontales por la entrega de dopamina (y más de 100 otros productos químicos) a través del tegmentum ventral y el núcleo accumbens),pero es claramente cierto. Mientras que los fenomenólogos sólo desperdiciaron mucho el tiempo de la gente, están desperdiciando la tierra y el futuro de sus descendientes. (shrink)

Es mi afirmación que la tabla de intencionalidad (racionalidad, mente, pensamiento, lenguaje, personalidad, etc.) que presenta prominentemente aquí describe más o menos con precisión, o al menos sirve como heurística para, cómo pensamos y nos comportamos, y por lo tanto no abarca simplemente filosofía y psicología, sino todo lo demás (historia, literatura, matemáticas, política, etc.). Tenga en cuenta especialmente que la intencionalidad y racionalidad como yo (junto con Searle, Wittgenstein y otros) lo veo, incluye tanto el Sistema Linguístico deliberativo consciente (...) 2 como las acciones o reflejos inconscientes automatizados del Sistema 1 automatizado. Proporciono una encuesta crítica de algunos de los principales hallazgos de dos de los estudiantes más eminentes del comportamiento de los tiempos modernos, Ludwig Wittgenstein y John Searle, sobre la estructura lógica de la intencionalidad (mente, lenguaje, comportamiento), tomando como punto de partida El descubrimiento fundamental de Wittgenstein -que todos los problemas verdaderamente "filosóficos" son los mismos —confusiones sobre cómo usar el lenguaje en un contexto particular, y por lo tanto todas las soluciones son iguales— mirando cómo se puede utilizar el lenguaje en el contexto en cuestión para que su verdad condiciones (Condiciones de Satisfacción o COS) son claras. El problema básico es que se puede decir cualquier cosa, pero no se puede significar (indicar COS claro para) cualquier expresión arbitraria y significado sólo es posible en un contexto muy específico. Analizo varios escritos por y sobre ellos desde la perspectiva moderna de los dos sistemas de pensamiento (popularizados como 'pensar rápido, pensar lento'), empleando una nueva tabla de intencionalidad y nueva nomenclatura de sistemas duales. Demuestro que esta es una heurística poderosa para describir el comportamiento. Por lo tanto, todo comportamiento está íntimamente conectado si uno toma el punto de vista correcto. La Ilusión Fenomenológica (olvido a nuestro Sistema automatizado 1) es universal y se extiende no sólo a lo largo de la filosofía, sino a lo largo de la vida. Estoy seguro de que Chomsky, Obama, Zuckerberg y el Papa serían incrédulos si se les dijera que sufren del mismo problema que Hegel, Husserl y Heidegger, (o que difieren sólo en grado de los adictos a las drogas y el sexo en estar motivados por la estimulación de su cortices frontales por la entrega de dopamina (y más de 100 otros productos químicos) a través del tegmentum ventral y el núcleo accumbens), pero es claramente cierto. Mientras que los fenomenólogos sólo desperdiciaron mucho el tiempo de la gente, están desperdiciando la tierra y el futuro de sus descendientes. (shrink)

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

Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...) ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos traduções de textos importantes ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. O presente volume é constituído de três traduções de verbetes importantes sobre lógica, da Enciclopédia de Filosofia da Stanford: (1) A Lógica de Aristóteles, (2) Lógica Clássica, (3) Lógica Modal. (shrink)

The Question of Truth in Kant’s Transcendental Logic [English] In the third section of the “Introduction” to transcendental logic, Kant dedicates a couple of paragraphs to the subject of truth (KrV B82-83). Based on this passage, Kant’s com¬mentators have justified various and sometimes contradictory interpretations of the Kantian notion of truth. However, few have analyzed the passage in its own context, that is, as part of the strategy to introduce the idea of transcendental logic. In this work, I intend to (...) take a position in this regard. I will try to show that this passage does not subscribe to the distinction between general and transcendental logic, but between analytic and dialectic logic. [Español] En la tercera sección de la “Introducción” a la lógica trascendental, Kant dedica un par de párrafos al tema de la verdad (KrV B82-83). Basándose en este pasaje, los comentaristas de Kant han justificado diversas y a veces contradictorias interpretaciones de la noción kantiana de verdad. Sin embargo, pocos han analizado el pasaje en su propio contexto, es decir, como parte de la estrategia para introducir la idea de una lógica trascendental. En este trabajo se pretende tomar postura a este respecto. Se intentará mostrar que este pasaje no abona a la distinción entre lógica general y lógica trascendental, sino entre analítica y dialéctica. (shrink)

Sobrepondo uma concepção crítica envolvendo os fundamentos do saber às ontologias dogmáticas que se impõem ao trabalho que implica a apreensão das questões filosóficas, o projeto kantiano propõe o fim da filosofia como construção metafísica e a necessidade de se lhe atribuir uma tarefa teórica de caráter essencialmente genealógico e crítico, no sentido que encerra a legitimação do conhecimento racional através da análise das faculdades que se lhe estão atreladas, conforme assinala o artigo, que se detém nos direitos da razão (...) cuja legitimidade a lógica da verdade reconhece e cuja ilegitimidade a lógica da aparência denuncia, convergindo para as fronteiras que encerram a possibilidade da construção do conhecimento científico, à medida que, tornando o entendimento o legislador universal da natureza e circunscrevendo a utilização das categorias aos limites da experiência possível, propõe as condições necessárias para fundá-lo sobre os juízos sintéticos a priori. (shrink)

Proporciono un estudio crítico de algunos de los principales hallazgos de Wittgenstein y Searle sobre la estructura lógica de la intencionalidad (mente, lenguaje, comportamiento), tomando como punto de partida el descubrimiento fundamental de Wittgenstein, que todos los problemas verdaderamente ' filosóficos ' son los mismos — confusiones sobre cómo usar el lenguaje en un contexto particular, y por lo que todas las soluciones son las mismas — observando cómo se puede utilizar el lenguaje en el contexto en cuestión para que (...) sus condiciones de verdad (condiciones de satisfacción o COS) sean claras. El problema básico es que uno puede decir cualquier cosa menos que uno no puede significar (el estado claro COS para) cualquier enunciado arbitrario y significado es solamente posible en un contexto muy específico. Empiezo con ' On Certainty ' (‘En Certeza’) y continúo el análisis de los escritos recientes por y sobre ellos desde la perspectiva de los dos sistemas de pensamiento, empleando un nuevo cuadro de intencionalidad y nueva nomenclatura de sistemas duales. Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punta de vista puede consultar mi libro 'La estructura lógica de la filosofía, la psicología, la mente y lenguaje En Ludwig Wittgenstein y John Searle ' 2nd ED (2019). Los interesados en más de mis escritos pueden ver 'Monos parlantes--filosofía, psicología, ciencia, religión y política en un planeta condenado--artículos y reseñas 2006-2019 3rd ED (2019) y delirios utópicos suicidas en el 21St Century 4TH Ed (2019) y otras. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

Il problema apparentemente insolubile di una giustificazione non circolare dell’induzione diverrebbe più abbordabile se invece di chiederci solo cosa ci assicura che un fenomeno osservato si riprodurrà in modo uguale in un numero potenzialmente infinito di casi futuri, ci chiedessimo anche come si spiega che esso si sia manifestato fin qui in modo identico e senza eccezioni in un numero di casi finito ma assai alto. E’ questa l’idea della giustificazione abduttiva dell’induzione, avanzata in forme diverse da Armstrong, Foster e (...) BonJour: serie talmente regolari di fenomeni sono da un punto di vista logico talmente improbabili che se il mondo fosse puramente casuale (se cioè gli eventi si presentassero con frequenza proporzionale alla loro probabilità logica) esse non potrebbero verificarsi se non per una coincidenza miracolosa. Pertanto, tali regolarità si spiegano solo assumendo che siano prodotte da meccanismi o necessità nomiche; ma se questo è il caso, è corretto concludere che tali regolarità persisteranno anche in futuro senza eccezioni, e dunque le inferenze induttive su di esse sono giustificate. Anche Kornblith argomenta dall’effettivo successo delle inferenze induttive all’esistenza di regolarità oggettive in natura; mentre Sankey parte dall’ uniformità della natura per giustificare l’induzione. Congiungendo le due argomentazioni, dunque, si ottiene di nuovo una giustificazione dell’induzione in base all’argomento del “se non è un miracolo …”. Un ostacolo su questa via è specificare in che senso la natura sia uniforme (dato che ovviamente non lo è in ogni suo aspetto) e di quali regolarità possiamo aspettarci che persistano senza eccezione anche in futuro (dato che evidentemente non tutte lo fanno: l’acqua non bolle sempre a 100°, la pressione non è sempre funzione della temperatura, e così via). Entrano qui in gioco le conoscenze di sfondo e la ripetizione delle osservazioni in condizioni diverse, che ci mostrano quali circostanze siano rilevanti al verificarsi del fenomeno dato. In tal modo, le nostre descrizioni delle regolarità naturali convergono su descrizioni che specificano sia le condizioni individualmente necessarie e congiuntamente sufficienti, sia tutti gli argomenti delle funzioni che costituiscono tali regolarità. Ciò consente di formulare i principi di Uniformità della Natura e di Induzione in modo non generico (e dunque, a seconda della formulazione, vuoto o eccessivo), ma circostanziato: così essi asseriscono, rispettivamente, che la natura è uniforme negli aspetti evidenziati dalle descrizioni su cui convergiamo grazie alle osservazioni ripetute, e che solo queste descrizioni possono essere induttivamente generalizzate. Ciò consente anche di risolvere enigmi alla Goodman, quali: poiché le osservazioni ci hanno mostrato (solo) il verificarsi di una data regolarità fino al momento presente t, come possiamo presumere che essa si verificherà anche dopo t? La risposta è che osservazioni e conoscenza di sfondo non ci dicono che vi sia alcun limite temporale tra le condizioni necessarie della regolarità data. (shrink)

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

É minha afirmação que a tabela da intencionalidade (racionalidade, mente, pensamento, linguagem, personalidade etc.) que apresenta proeminentemente aqui descreve mais ou menos precisamente, ou pelo menos serve como um heurista para, como pensamos e nos comportamos, e por isso engloba não meramente filosofia e psicologia, mas tudo o resto (história, literatura, matemática, política etc.). Note especialmente que a intencionalidade e a racionalidade como eu (juntamente com Searle, Wittgenstein e outros) a vêem, inclui tanto ações ou reflexos automatizados inconscientes do Sistema (...) 1. Eu forneço uma pesquisa crítica de algumas das principais descobertas de dois dos mais eminentes alunos de comportamento dos tempos modernos, Ludwig Wittgenstein e John Searle, sobre a estrutura lógica da intencionalidade (mente, linguagem, comportamento), tendo como ponto de partida a descoberta fundamental de Wittgenstein – que todos os problemas verdadeiramente 'filosóficos' são os mesmos — confusões sobre como usar a linguagem em um contexto específico, e por isso todas as soluções são as mesmas — olhando como a linguagem pode ser usada no contexto em questão para que suas condições de verdade sejam (Condições de Satisfação ou COS) são claras. O problema básico é que se pode dizer qualquer coisa, mas não se pode significar (COS claro do Estado para) qualquer expressão arbitrária e significado só é possível em um contexto muito específico. Analiso vários escritos por e sobre eles da perspectiva moderna dos dois sistemas de pensamento (popularizados como "pensando rápido, pensando devagar"), empregando uma nova tabela de intencionalidade e nova nomenclatura de sistemas duplos. Eu mostro que este é um heurista poderoso para descrever o comportamento. Assim, todo o comportamento está intimamente conectado se tomar o ponto de vista correto. A Ilusão fenomenológica (esquecimento ao nosso Sistema 1 automatizado) é universal e se estende não apenas ao longo da filosofia, mas ao longo da vida. Tenho certeza que Chomsky, Obama, Zuckerberg e o Papa seriam incrédulos se fossem informados de que sofrem do mesmo problema que Hegel, Husserl e Heidegger, (ou que diferem apenas em grau de viciados em drogas e sexo em serem motivados pela estimulação de seus cortices frontais pela entrega de dopamina (e mais de 100 outros produtos químicos) através do tegmentum ventral e do núcleo accumbens), mas é claramente verdadeiro. Enquanto os fenomenologistas só perderam muito tempo de muitas pessoas, eles estão desperdiçando a terra e o futuro de seus descendentes. (shrink)

Es mi afirmación que la tabla de intencionalidad (racionalidad, mente, pensamiento, lenguaje, personalidad, etc.) que presenta prominentemente aquí describe más o menos con precisión, o al menos sirve como heurística para, cómo pensamos y nos comportamos, y por lo tanto no abarca simplemente filosofía y psicología, sino todo lo demás (historia, literatura, matemáticas, política, etc.). Tenga en cuenta especialmente que la intencionalidad y racionalidad como yo (junto con Searle, Wittgenstein y otros) lo veo, incluye tanto el Sistema Linguístico deliberativo consciente (...) 2 como las acciones o reflejos inconscientes automatizados del Sistema 1 automatizado. -/- Proporciono una encuesta crítica de algunos de los principales hallazgos de dos de los estudiantes más eminentes del comportamiento de los tiempos modernos, Ludwig Wittgenstein y John Searle, sobre la estructura lógica de la intencionalidad (mente, lenguaje, comportamiento), tomando como punto de partida El descubrimiento fundamental de Wittgenstein -que todos los problemas verdaderamente "filosóficos" son los mismos —confusiones sobre cómo usar el lenguaje en un contexto particular, y por lo tanto todas las soluciones son iguales— mirando cómo se puede utilizar el lenguaje en el contexto en cuestión para que su verdad condiciones (Condiciones de Satisfacción o COS) son claras. El problema básico es que se puede decir cualquier cosa, pero no se puede significar (indicar COS claro para) cualquier expresión arbitraria y significado sólo es posible en un contexto muy específico. Analizo varios escritos por y sobre ellos desde la perspectiva moderna de los dos sistemas de pensamiento (popularizados como 'pensar rápido, pensar lento'), empleando una nueva tabla de intencionalidad y nueva nomenclatura de sistemas duales. Demuestro que esta es una heurística poderosa para describir el comportamiento. -/- Por lo tanto, todo comportamiento está íntimamente conectado si uno toma el punto de vista correcto. La Ilusión Fenomenológica (olvido a nuestro Sistema automatizado 1) es universal y se extiende no sólo a lo largo de la filosofía, sino a lo largo de la vida. Estoy seguro de que Chomsky, Obama, Zuckerberg y el Papa serían incrédulos si se les dijera que sufren del mismo problema que Hegel, Husserl y Heidegger, (o que difieren sólo en grado de los adictos a las drogas y el sexo en estar motivados por la estimulación de su cortices frontales por la entrega de dopamina (y más de 100 otros productos químicos) a través del tegmentum ventral y el núcleo accumbens), pero es claramente cierto. Mientras que los fenomenólogos sólo desperdiciaron mucho el tiempo de la gente, están desperdiciando la tierra y el futuro de sus descendientes. -/- . (shrink)

En este artículo se desarrolla una reflexión acerca del suicidio hetero-referido o no-personal. Se lo analiza en tanto forma de voluntad e instrumento de presión política que tensiona críticamente los modos en que se organiza la vida en nuestras sociedades. Se indaga en el potencial de contra-soberanía que supone en tanto intenta desactivar el poder al que se enfrenta. Se tematiza cierta ética de la pasividad que surge en esta acción y se examina la lógica que recorre el acto de (...) darse muerte. Finalmente, el artículo contribuye a complejizar el debate en torno al suicidio hetero-referido en tanto se destacan sus límites y potencialidades, así como las paradojas que plantean a nuestras democracias liberales las diversas demandas de grupos minorizados. (shrink)

Resumo -/- A partir da experiência de produção de uma videoaula de Lógica em Libras (Testa, Moraes, Bizio e Caló, 2021) para o IFSP FILOLIBRAS, inserida no contexto do projeto ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (Moraes e Bizio, 2021), levantamos algumas questões relativas ao arcabouço teórico do projeto. Após introduzirmos as motivações do projeto, explicamos como sua metodologia foi tratada no contexto da aula de Lógica, expondo as principais dificuldades (...) e soluções encontradas. Através da análise desta experiência, pretendemos levantar subsídios teóricos para pesquisas futuras no tema, incluindo a produção de um curso inteiramente voltado para o ensino de Lógica em Libras, não apenas enquanto área da Filosofia, mas também enquanto área de estudo multi e transdisciplinar, propedêutica ao fomento do Pensamento Crítico. -/- Palavras-chave: Ensino de Lógica, Educação Especial, Pedagogia Bilíngue, Libras. -/- Abstract -/- Based on the experience of producing a video lesson on Logic in Libras (Testa, Moraes, Bizio and Caló, 2021) to the IFSP FILOLIBRAS, inserted in the context of the project ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (‘Teaching Philosophy for Deaf students: elaboration of didactic material in a perspective of inclusive education’, in a free translation) (Moraes and Bizio, 2021), we raise some questions regarding the theoretical framework of the project. After introducing the motivations of the project, we explain how the chosen methodology was considered in the context of the Logic class, exposing the main difficulties and solutions found. Through the analysis of this experience, we intend to raise theoretical subsidies for future research on the subject, including the production of a course entirely focused on the teaching of Logic in Libras, not only as an area of Philosophy but also as a multi and transdisciplinary area of study, propaedeutic to fostering Critical Thinking. -/- Keywords: Teaching Logic, Special Education, Bilingual Pedagogy, Libras. (shrink)

Cohen’s “Logic of Pure Knowledge” marks a transformation of transcendental philosophy through its new and radical interpretation of pure thinking. For Cohen, thought is in its essence creative and needs no external elements in order to produce knowledge. This study is an attempt to reconstruct the way in which Cohen understands how thinking can create its pure content from nothing. My thesis is that Kant’s distinction between the determinable and the determining I offers the theoretical context in which the productivity (...) of thinking in Cohen’s system can be understood. Thinking creates its pure content by questioning the nothing that stands before it. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

El punto de partida del calculus universalis leibniziano es la teoría aristotélica del silogismo, pero Leibniz se independiza de las ideas de Aristóteles para desarrollar su propio sistema lógico, mucho más general, aplicando el instrumento combinatorio a la silogística. Lo que propone es una importante modificación del modelo demostrativo axiomático, mediante la creación de cálculos lógico-simbólicos que no se limitan a los ámbitos tradicionales de la deducción, sino que admiten procedimientos discursivos más complejos que los de la lógica clásica, ampliando (...) con ello la noción de racionalidad. (shrink)

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.

Detendo-se na investigação dos dois grandes modelos que caracterizam o pensamento político, a saber, o modelo clássico e o modelo jusnaturalista, o artigo em questão, distinguindo no âmbito daquele as teorias idealistas e realistas, empreende uma abordagem que nas fronteiras deste último sublinha desde a questão que envolve Como nasceu o Estado?, proposta pela perspectiva historicista, que traz como fundamento o homem como animal político, até a leitura racionalista, que acena com o problema Por que existe o Estado?, identificando o (...) homem como um ser naturalmente antissocial, salientando que se o bem comum determina a visão platônico-aristotélica, a leitura hobbesiana instaura uma lógica que emerge através do contrato social e assinala a tendência natural da autopreservação como fundamento da ação humana, consistindo, em suma, na transição da ordem mecânica da matéria à ordem final da vontade. (shrink)

En este documento se despliega todas las distributividades y asociatividades posibles de construir en el formato tradicional de la lógica bivaluada, asimismo se presenta el valor que resulta de efectuar dichas operaciones de distributividad y asociatividad, sean o no tautológicas a través del operador de la equivalencia lógica. El valor resultante de realizar una operación de distributividad o asociatividad se expresa como el código binario de su columna veritativo-funcional, presentado en base decimal.

Sobrepondo-se ao ideal que se impõe à teoria política que circunscreve a sua atividade à busca do bem comum e se detém, por essa razão, na investigação dos princípios capazes de viabilizar a instauração do bom governo, a perspectiva de Maquiavel, através do fundamento da experiência e das exemplificações da historialidade, converge para a descoberta de leis que possibilitem a fundação de um Estado, a obtenção do poder e a sua conservação, a instituição da ciência empírica da política, que, caracterizada (...) pela objetividade e realismo, demanda, no âmbito da relação que envolve ética e política, uma distinção entre a moral privada e a moral pública, implicando uma correspondência com a interpretação de Weber, que analisa os fundamentos do poder e imputa ao Estado a condição de detentor da violência “legítima”, identificando a política como uma relação de dominação e a possibilidade do exercício de duas éticas, a saber, a “ética das últimas finalidades” (“ética da convicção”) e a “ética da responsabilidade”. (shrink)

Investigando a racionalidade científico-técnica e a lógica da dominação na relação entre o sistema educacional e a formação econômico-social, o artigo traz como fundamento crítico as análises de Marcuse, Adorno e Bourdieu, recorrendo à produção de Entre os muros da escola (2008), do cineasta francês Laurent Cantet, para caracterizar o pluralismo étnico-racial, socioeconômico e histórico-cultural da realidade social e a tensão que se impõe ao processo de construção do conhecimento que, convergindo para a constituição da “natureza” humana, encerra ambivalência e (...) antagonismo, à medida que se não escapa ao determinismo histórico-cultural e econômico-social, a sua atividade não possibilita senão o exercício da liberdade concreta, tendo em vista a dialética que preside a articulação envolvendo objetividade e subjetividade que implica a sua experiência formativa. (shrink)

O pensamento axiomático de Hilbert foi um influente modelo filosófico que motivou movimentos como o positivismo no início do século XX, em diversas áreas dentro, e fora, da filosofia, como a epistemologia e a metamatemática. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais, e pela visão positivista, também (...) a filosofia. Contudo, no caso mais específico da matemática, existe uma certa descomunicação entre os fundamentos da matemática e sua prática, onde métodos informais, ainda promovem elegantes ferramentas para matemáticos de diversas áreas, inclusive, quando certos paradigmas tentam ser quebrados. É exatamente esta assincronia entre os fundamentos da matemática, e a sua prática que iremos investigar neste estudo. Lawvere, insatisfeito com a “fundação não fundamentada” do método axiomático proposto por Hilbert, e inspirado pela dialética hegeliana, procurou revisar os fundamentos da matemática pela lógica categórica e a Teoria das Categorias. Vemos neste estudo, como as interpretações de Lawvere de conceitos da lógica de Hegel, como, equivalência, unidade dos opostos e “aufheben”, permitem uma nova abordagem matemática, com um posicionamento filosófico que procura, de certa forma, transcender a dicotomia entre escolas analíticas e continentais. Lawvere trata a lógica objetiva de Hegel como uma possível estratégia para resolver o problema de aterramento lógico em metafísica. Por fim, vemos como as contribuições de Lawvere para a axiomatização da lógica categórica tiveram impactos inovadores na metamatemática, especialmente no desenvolvimento das fundações univalentes de Vladimir Voevodsky. (shrink)