http://dx.doi.org/10.5007/1808-1711.2012v16n1p33 Falando informalmente, o Princípio da Identidade , um dos enunciados considerados como uma das principais “leis da lógica”, nos garante em uma de suas formulações mais conhecidas que todo objeto é idêntico a si mesmo. Sistemas de lógica não-reflexiva, grosso modo, são lógicas em que este princípio não é válido irrestritamente. Uma das dificuldades para estes sistemas provém do uso dos quantificadores: argumenta-se que para que os quantificadores façam sentido, devemos pressupor o conceito de identidade, e (...) deste modo, sistemas de lógica não-reflexiva empregando quantificadores pressupõe a validade de uma forma do princípio da identidade que se desejava derrogar. Argumentaremos que podemos compreender o uso da quantificação em sistemas não-reflexivos sem pressupor a identidade. Faremos isto tanto de um ponto de vista sintático quanto semântico. Finalizamos com algumas considerações sobre a linguagem natural e sua relação com sistemas não-reflexivos. (shrink)

O método axiomático é considerado uma das principais ferramentas para a sistematização do conhecimento. Inaugurado na Grécia antiga, o método axiomático passou por grandes mudanças ao longo da história. Este artigo busca estabelecer as fases de evolução da abordagem axiomática. Divide-se a axiomática em três categorias: concreta, abstrata ou formal. Divide-se em a axiomática três categorias: concreta, abstrata ou formal. Em um segundo momento, o artigo aproxima a utilização do método axiomático na física quântica, através da apresentação informal da axiomática (...) de uma lógica não-reflexiva. Batizada pelo filósofo e lógico brasileiro Newton da Costa como Lógica de Schrödinger, sua motivação encontra-se na posição teórica perante o status ontológico das entidades postuladas pela física quântica, denominada Received View. (shrink)

Ludwig Wittgenstein é unanimemente reconhecido como um dos pensadores mais marcantes do século xx, tendo influenciado decisivamente o debate filosófico da contemporaneidade. Apoiando-se não nas edições clássicas mas no espólio do autor, problematizando a formalidade sui generis característica daquele, esta obra propõe-se acompanhar o evoluir do pensamento wittgensteiniano, nos seus diferentes planos, determinando a metodologia que o vai definir, enquanto possibilidade concreta de compreensão da visão filosófica que lhe subjaz. Ao indagar toda a trajectória reflexiva que se estabelece entre (...) o anúncio inaugural do Tractatus e o do livro que no princípio dos anos 30 é projectado em contraposição àquele mas que nunca será concluído, Lógica, Ética, Gramática assume, na verdade, um carácter propedêutico, pretendendo lançar as bases para uma nova leitura da «segunda» filosofia wittgensteiniana, crítico-geneticamente definida em relação à «primeira». Este livro interessará, assim, a estudantes e investigadores de várias disciplinas filosóficas, nomeadamente Epistemologia, Ética, Filosofia da Linguagem, Lógica e Metodologia Filosófica, onde os apuramentos de Wittgenstein são incontornáveis, bem como a todos aqueles que trabalham em Filologia ou Teoria da Literatura. (shrink)

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

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

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)

O artigo procura mostrar alguns elementos da análise deleuziana da pintura de Francis Bacon, concentrando-se nos aspectos que permitem considerar tal pintura como visceralmente anti-representativa. A pintura de Bacon figura sensações, promovendo, ao mesmo tempo, a experimentação e novas corporeidades por meio dessa produção figural. Pensando as relações entre os corpos e as forças que atuam sobre eles, provocando as ondas sensoriais, Deleuze concebe a pintura em geral, e a de Bacon em particular, como paradoxal experiência histérica do pensamento, experiência (...) em que corpo e pensamento encontram-se maximamente articulados. (shrink)

ESTUDOS SOBRE O PENSAMENTO LUSO-BRASILEIRO Os estudos que compõem o presente volume, centrados em temas já presentes em colectâneas anteriores, como a metafísica da saudade, a ideia de Deus e a filosofia da religião ou a problemática ontológica e ética, embora, em primeira linha, busquem surpreender e patentear a individualidade e íntima unidade do pensamento de cada um dos filósofos aqui considerados, não deixam de ter, igualmente, em consideração as relações especulativas, expressas ou implícitas, que mantenham com outros pensadores de (...) língua portuguesa, por pensar o autor serem as filosofias portuguesa e brasileira expressões complementares de um mesmo logos, que vem designando por razão atlântica Coordenação de Maria Celeste Natário Grupo de Investigação Raízes e Horizontes da Filosofia e da Cultura em Portugal Instituto de Filosofia da Universidade do Porto. (shrink)

Os principais objetivos do artigo podem ser formulados da seguinte forma: a) Hegel tem uma noção forte de contingência. Contingência não é, para ele, a ausência simples de necessidade, tampouco subdeterminidade simples. Contingencia é uma noção original, que tem o mesmo peso e a mesma dignidade lógica e metafísica que a noção de necessidade; b) essa noção forte de contingência é decisiva para a concepção de Hegel de subjetividade na medida em que pode ser remetida a sua filosofia do (...) real. À diferença do que é assumido em muitas outras interpretações comuns de Hegel, sugiro que a possibilidade de ir da necessidade à contingência caracteriza uma parte essencial da liberdade subjetiva, tanto quanto a possibilidade de ir contingência à necessidade. Isso tem consequências importantes, especialmente na filosofia da história, que aparece não como apriorística ou dogmática, mas como aberta à contingencia ; e, c) consistentemente com o reconhecimento da irredutibilidade da contingencia à conceitos a priori, Hegel também reconhece a necessidade da narração não-filosófica da contingência e nos fornece algumas pistas importantes sobre isso e sobre sua relação com a filosofia. Ao longo da minha argumentação dessas três teses, espero fornecer evidências para a tese de que a construção dogmática na filosofia da história de Hegel pode ser atenuada pela referência ao entendimento de Hegel da contingência. Em uma escala geral, isso também mostra que o fundamento lógico da filosofia do real de Hegel não pode ser abandonado sem que se prejudique o potencial da filosofia de Hegel de contribuir aos debates filosóficos contemporâneos. Meu argumento estrutura-se como se segue. Eu irei, primeiramente, comentar algumas passagens da Ciência da Lógica de Hegel do começo da Lógica Subjetiva sobre a lógica da contingência e a presença da contingência na estrutura lógica da subjetividade. Eu irei, então, ilustrar, com referência a um caso específico, o papel desempenhado pela contingência na filosofia hegeliana da história. Na última seção, discutirei a relação entre verdade e contingência, por um lado, e filosofia e narratividade, por outro, tentando esboçar as principais linhas da narração da contingência sob bases hegelianas. (shrink)

Pascal assegura que acima de tudo ele preza a honestidade, mas tem um pensamento curto que diz “poète, et non honnête homme”. A ficção seria uma desonestidade. Outro pensamento comenta o provérbio latino “in vino veritas”, dizendo que é preciso não haver vinho demais nem vinho de menos para buscar a verdade. Se o vinho é o acesso ao subconsciente, isso significa que é preciso ampliar a racionalidade para além do âmbito consciente. Será que Pascal, saindo da ciência e se (...) tornando monge católico, era honesto a ponto de acusar os poetas de serem desonestos, por que não ver antes a desonestidade nas crenças? Ele acreditou na ficção do “milagre do espinho de Port Royal” e nas ficções produzidas por poetas em Roma sobre Cristo. (shrink)

A idéia da vida concerne um objeto tão concreto e, se se quiser, tão real, que ela parece ter ultrapassado o âmbito da lógica, tal como é comumente concebida. Certamente, se a lógica não contivesse nada além de formas de pensamento, vazias e mortas, então não poderia ela tratar de nenhum conteúdo tal como a idéia ou a vida. Se, porém, a verdade absoluta é objeto da lógica e a verdade como tal consiste essencialmente em conhecer, então (...) o conhecer teria que, pelo menos, ser tratado por ela. (shrink)

Objetivamos elaborar um balanço sobre lógica das perguntas científicas na produção do conhecimento stricto sensu. Tomamos como fontes 100 dissertações e 32 teses escritas por docentes que trabalham em cursos de Educação Física no Estado da Bahia – 1982 a 2018, abordando enquanto objeto a lógica instituída pelas perguntas científicas na referida produção. Trata-se de uma pesquisa documental, tendo como método o materialismo histórico e dialético. Os resultados apontam que 48% das produções têm suas perguntas de investigação construída (...) a partir da lógica formal; 28% apresenta uma lógica dialética na elaboração das perguntas científicas; e 24% não apresentam problema de investigação. (shrink)

Ponto de partida do presente artigo é uma interrogação acerca do significado existencial das proposições. Em primeiro lugar, é considerada a ideia de existência simbólica na lógica de MacColl, ao mesmo tempo que se assinalam os problemas que, na perspectiva de Bertrand Russell, estão associados com a auta-referência e o significado da classe-nula. Por outro lado, o artigo demonstra também até que ponto a própria perspectiva de Russell não está livre de problemas, de ambiguidades e de mudanças de opinião. (...) O autor do artigo partilha a crítica de Russell sobre o significado do quantificador, acabando por usar Russell contra Russell, ou seja, a réplica russelliana de 1957 a G. J. Warnock contra a réplica russelliana de 1905 a MacColl. Assim, a partir de uma análise lógica do debate entre Russell e MacColl, o artigo procede a uma investigação da relação entre Lógica e Ontologia, considerando de um modo especial o caso dos objectos não-existentes. /// Moving from a technical, logical point of view in the RusselUMacColl debate about the existential import of propositions and the significance of the null-class, the paper tries to inquiry the relationship between logic and ontology, considering in special the case ofnon existing objects, Russell's philosophical treatment of the existential quantification gains his full meaning in his realistic perspective. But it is possible to use this treatment versus Russell intentions, to deny that there is a supplementary (in space-time) existence, that "lies wholly outside Symbolic Logic". (shrink)

RESUMO No Livro I, parte IV, do "Tratado da natureza humana", Hume desenvolve aquilo que vamos chamar de lógica da ficção. Não se trata de um simples erro da imaginação enquanto fantasia, mas de uma propensão a criar ideias, entidades e objetos a partir das percepções presentes na mente. O que resulta daí é um sentido rico e novo de ficção que permite a Hume desenvolver uma história natural da filosofia, descrevendo a gênese inevitável de conceitos metafísicos. Partindo de (...) uma inspiração kantiana, iremos abordar esse tema ressaltando as semelhanças e diferenças entre as ficções naturais e a ilusão transcendental. ABSTRACT In Book I, part IV, of the "Treatise of Human Nature", Hume develops what we will call logic of fiction. It is not the case of a mere error of imagination as fancy, but a tendency to feign ideas, entities and objects from the perceptions in the mind. The result is a rich and new sense of fiction that allows Hume to establish a natural history of Philosophy, describing the unavoidable genesis of metaphysical concepts. From a Kantian point of view, we will approach this subject by highlighting the similarities as well as the differences between the natural fictions and the transcendental illusion. (shrink)

Este artigo visa esclarecer a relação entre a lógica formal e a lógica especulativa. Esta relação é tal que entre os dois tipos de lógica há um desenvolvimento interno na direção de uma única noção, ou seja, a de forma lógica. Tomarei como ponto de partida a análise da lógica de Wolff e mostrarei que esta é já uma lógica que vai além do sentido meramente formalista dessa disciplina, na medida em que está já (...) voltada para a objetividade. Na viragem transcendental kantiana há, por sua vez, uma tentativa de passar das determinações conceituais abstratas para o desenvolvimento de determinações orientadas para os objetos de conhecimento e, assim, para o conteúdo do próprio conhecimento. Finalmente, o projeto lógico hegeliano é tal que não implica a saída das malhas da rede conceitual da lógica formal e transcendental, mas a investigação dessas malhas de modo a delinear a estrutura interna de cada um dos nós da rede. Mais especificamente, Hegel pretende desenvolver uma noção de forma lógica que não mais é limitada e dependente de um conteúdo externo a ela, porque é uma forma absoluta, ou seja, uma forma capaz de gerar o seu próprio conteúdo através do desenvolvimento da sua dialética imanente. (shrink)

O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a (...) reconstrução lógica do direito positivo não se trata de uma tarefa de criação do direito, mas uma tarefa de representação daquilo que o conceito de direito usual reconhece como tal. Para ilustrar estas dificuldades, abordaremos as propostas de Carlos Alchourrón em artigo de 1975, “Condicionalidad y la representación de las normas jurídicas”. (shrink)

Neste artigo, o trabalho seminal de Luciano Floridi “A Lógica de Estar Informado” é examinado em detalhes, em especial quais aspectos tornam tal lógica relevante para que a mesma não colapse em sistemas lógicos epistêmicos ou doxásticos conhecidos. Ao final, é apresentado um cenário para demonstrar que a refletividade da relação de acessibilidade não é necessária, e desse modo os axiomas de introspecção positiva e negativa podem ser descartados, e.g. quando se afirma que um agente pode deter uma (...) informação sem estar informado que ele detém uma informação. (shrink)

A pesquisa a priori se propôs realizar um esboço etnográfico das quatro comunidades quilombolas no médio sertão maranhense, atentando para os elementos intrínsecos da produção de conhecimentos. Como suporte metodológico, as interlocuções seguiram pelo viés dos estudos que privilegiam as alteridades e os saberes locais como pressupostos analíticos fundamentais. Nessa perspectiva, procuramos nos afastar da maioria dos estudos voltados para comunidades quilombolas que trazem como abordagem central, as lutas fundiárias, o reconhecimento por direitos, no entanto, compreendemos que essas abordagens são (...) fundamentais como marco de compreensão das lutas políticas. As comunidades quilombolas aqui pesquisadas somente foram certificadas pela Fundação Palmares no ano 2006, porém há mais de meio século essas comunidades mantém entre si relações de sociabilidade e intercâmbios culturais. Não obstante, a nossa busca de conhecimento está pautada nos saberes, nas trajetórias e nas concepções de espaço social referenciado na alteridade. Dessa forma, procuraremos captar os processos de criatividade cosmopolítica, sociocosmológica e antropológica, dando ênfase para as suas próprias elaboração e construção de conceitos. Para esse fim, o trabalho de campo foi um instrumental metodológico de suma importância, aliado a outras metodologias, por exemplo, a história oral, a etnohistória e os cuidados com a linguagem local, elementos fundamentais inerentes às ciências sociais. Palavras-chave: Quilombolas, Cosmopolítica, médio sertão maranhense. (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)

A "modernidade" desempenhou processos de barbárie e incultura a regiões externas à Europa, em seculares relações entre sociedades do Ocidente e não ocidentais. O potencial da imprensa e do letramento produziu "atitude textual" na Europa, utilizada na invenção do Oriente pelo Ocidente. Portadora da hegemonia ocidental, a escrita letrada, entre racismos e exclusões anularam alteridade de outros povos, como entre povos negros e nativos. Povos tradicionais de África e Américas, socializados em tradições orais, na aceleração da modernidade Ocidental, acumulam tensões (...) culturais, acirradas na ampliação de mercados, extração de minerais e desequilíbrios da natureza, onde o meio ambiente vivido é anterior a expansão do Ocidente. Como vivem no entre-lugar povos da diáspora no Nordeste e Yanomami no Norte do Brasil. (shrink)

O artigo destina-se a sugerir que a pergunta "o que é a lógica?", antes de ser extrínseca à questão fundamental da filosofia heideggeriana, é, ao contrário, indissoluvelkmente entrelaça à Seinsfrage. A ponto de a própria "questão do ser" correr o risco de permanecer opaca e inteligível se não a reconduzirmos à questão da lógica.

O artigo clarifica em que medida a Lógica, no sentido mais comum e até ingênuo do termo, enquanto composta pelas leis necessárias do pensamento correto, pode ser entendida como Mística. Isto parece estranho, pois a Mística é normalmente entendida como uma vivência de superação das dualidades, onde o pensamento racional colapsa e encontra seu limite. Já a Lógica é entendida como paradigma de pensamento racional. Argumenta-se que as leis mais gerais da razão e do discurso se relacionam com (...) a Mística na medida mesma em que o fundamento da razão é equacionado ao seu limite. A linguagem encontra-se assim com o silêncio e as leis e fundamentações não mais operam como tais. Conclui-se que a adesão necessária que acompanha o colapso entre o sentido e o valor de verdade de determinadas expressões linguísticas constitui o que chamamos de vivência mística. Trata-se de uma vivencia a qual somos conduzidos pelo próprio funcionamento de nossa significação e, ao mesmo tempo, institui o que se compreende por experiência religiosa. Palavras-chave : Mística. Wittgenstein. Lógica. Intensão. Extensão.This paper clarifies the extent to which Logic, in the usual sense (and even naïve) of the term, as composed of the correct thinking’s necessary laws, can be understood as Mystic. This seems strange, because the Mystic is usually understood as an experience of overcoming the dualities, where rational thinking collapses and finds its limit. On the other hand, the logic is understood as the paradigm of rational thinking. It is argued that the most general laws of reason and speech are related to Mystic in the sense that the foundation of the reason is equated to its limit. The language lies thus with the silence and the laws and justifications no longer operate as such. We conclude that the adherence necessary that accompanies the collapse of meaning and truth value of certain linguistic utterances is what we call mystical experience. It is about an experience to which we are led by the workings of our linguistics meaning, establishing what is meant by religious experience. Keywords: Mystic. Wittgenstein. Logic. Intension. Extension. (shrink)

Em linguística gerativa, distinguem-se várias propriedades formais dos sistemas representacionais: a infinidade discreta, a finitude discreta e a infinidade do contínuo. Não é frequente filósofos aplicarem essas distinções ao estudo da forma lógica. O fato de essas distinções serem raramente aplicadas resultou em os filósofos pressuporem, geralmente sem discutir, que todas as formas lógicas apresentam una infinidade discreta, como o faz a linguagem natural. Este artigo defende a existência de outros tipos de forma lógica, além daquela que apresenta (...) infinidade discreta. Na representação mental é possível encontrar formar apresentando infinidade contínua e finitude discreta, além da infinidade discreta. Além disso, tais representações mantêm relações lógicas entre si, parcialmente em virtude dessas formas. Isso equivale à alegação de que o estudo da lógica natural precisa ir além da faculdade de linguagem, abrangendo formas lógicas pertinentes a representações mentais que não se assemelham a sentenças. Isso incluiria formas lógicas pictóricas. O ponto final é que, no estudo da lógica natural, é preciso considerar as formas lógicas representadas a sistemas mentais que antecedem a evolução da linguagem. (shrink)

Resumo: A proposta desse trabalho é repensar a linguagem, tema central da filosofia contemporânea, não mais como um instrumento do qual o sujeito se apropria e desapropria de acordo com a própria vontade, mas, juntamente com Heidegger, como a própria casa do ser. A função de comunicação é apenas uma das múltiplas possibilidades da linguagem. Com Heidegger é desenvolvida a questão de como a fenomenologia transforma-se em hermenêutica e de como a autocompreensão surge paralela a toda compreensão. A filosofia autêntica (...) é aquela na qual, ao questionar-se sobre algo, o sujeito é inserido na própria questão. A compreensão nunca é impessoal, pois a aletheia perpassa o sujeito que, ao compreender algo, está compreendendo a si mesmo. Palavras-chave: Filosofia. Martin Heidegger. Linguagem. Lógica. Verdade. Metafísica.: The purpose of this paper is to rethink the language, the central theme of contemporary philosophy, not as an instrument to which the subject is appropriate and unappropriate according to their will, but, along with Heidegger, as the house of being. The function of communication is only one of the many possibilities of language. With Heidegger is developed the question of how phenomenology turns to hermeneutics and how the selfunderstanding is parallel to all understanding. The authentic philosophy is that in which is questioned about something and the subject is inserted in the issue. The understanding is never impersonal, therefore Aletheia permeates the subject that by understanding something is to understand yourself. Keywords: Philosophy. Martin Heidegger. Language. Logic. Thuth. Metaphysics. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam (...) capazes de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

Qual é o objeto da lógica? Seria a arte de bem conduzir o discurso? Mas conduzí-lo para onde, com que finalidade? Haveria uma normatividade independente, que definisse o racional independente do real? É Lacan que pergunta e nos responde no sem. XIX: “eu proponho definir o objeto da lógica como aquilo que produz a necessidade de um discurso. E afirmo que o simbólico, o imaginário e o real se afirmam nos impasses da lógica. ” (LACAN, 2011, p. (...) 40). Muitos comentadores encaram os recursos lógicos de Lacan como uma provocação, mas entendo que não, pois são muito coerentes com seus princípios, tanto lógicos, quanto linguísticos, antropológicos e principalmente matemáticos. (shrink)

Este artigo é resultado de reflexões emergentes a partir de uma série de conferências que se inscrevem no campo do currículo e da educação infantil. A organização do texto se dá inicialmente pelo debate sobre criança e currículo, retomando as ideias apontadas por John Dewey em um célebre texto que aborda a relação entre estes dois campos, não na perspectiva da oposição, mas da complementaridade. Na sequência, centro a discussão sobre como tenho lido o documento da Base Nacional Comum Curricular (...) - BNCC para a Educação Infantil e de que modo compreendo que este documento pode nos auxiliar para a implementação de princípios, condições e objetivos já anunciados nas Diretrizes Curriculares Nacionais para a Educação Infantil - DCNEI. Por fim, aponto alguns elementos que podem ser estruturantes para compreender a noção de campos de experiência. (shrink)

Investigamos a lógica de Leonhard Euler com ênfase no papel dos “diagramas de Euler”. Concluímos que os referidos diagramas constituem um instrumento intuitivo, embora não sistemático, para determinar validade na silogística tradicional, isto é, a silogística munida de implicações conversacionais. Nisto, contrastam-se com os diagramas de Venn que constituem um instrumento sistemático, porém menos intuitivo, para determinar validade numa silogística mais voltada para os fundamentos da matemática moderna.: We investigate the logic of Leonhard Euler, giving emphasis to the role (...) of “Euler diagrams”. We conclude that these diagrams are an intuitive, non-systematic instrument for determining validity in the traditional syllogistic, that is, the syllogistic furnished with conversational implications. In this regard, they contrast with Venn diagrams which are a systematic, less intuitive instrument for determining validity in a syllogistic more appropriate for the foundation of modern mathematics. Keywords: History of Logic. Leonhard Euler. Euler Diagrams. Venn Diagrams. (shrink)

Este texto procura explicitar alguns aspectos da interpretação bergsoniana de Aristóteles, sobretudo aqueles que fazem de Aristóteles um eminente representante do que Bergson denomina Filosofia das formas. A leitura bergsoniana procura mostrar que não há diferença significativa entre Aristóteles e Platão, na medida em que ambos comprometem-se com a fundação do conhecimento a partir da ontologia de Parmênides. Desta maneira, o quadro categorial aristotélico e o princípio ontológico da Forma da Formas, ou Forma Pura, tentam solucionar a aporia parmenídica remetendo (...) a imobilidade ao estranho lógico do conhecimento, ou a objetividade ao conhecimento das existências em seu caráter lógico. (shrink)

Resumo: Ludwig Wittgenstein tentou desenvolver, desde 1929, uma abordagem à filosofia da lógica em termos de escalas de medição. Embora mostrasse grande sensibilidade a diversos tipos de escalas, Wittgenstein não estava bem posicionado para fazer seu projeto render frutos, porque a teoria das medidas não começou a fazer avanços significativos antes do final da década de 1940, e continuou desfrutando de um progresso relevante, até os anos 80. Não obstante, nas suas obras e palestras dos anos 30, Wittgenstein fez (...) diversas tentativas de entender a lógica, ou a “gramática” da linguagem religiosa e ética relativa à medição. Este artigo é uma tentativa de desenvolver algumas dessas ideias que ocorreram a Wittgenstein, na sua fase intermediária, dentro do contexto da evolução posterior da teoria da medição. Especificamente, defende-se que as linguagens religiosa e ética são formas extremas de medição, não empíricas nem fatuais. Elas representam o caso-limite da medição.: Ludwig Wittgenstein attempted to develop an approach to the philosophy of logic in terms of measurement scales. While he showed great sensitivity to different kinds of scaling, Wittgenstein was not in a good position to bring this project to fruition; measurement theory did not begin to develop significantly until the late 1940s, and only made pertinent advances as late as the 1980s. However, in writings and lectures from the 1930s, Wittgenstein made a number of attempts to understand the logic, or “grammar”, of religious and ethical language in relation to measurement. This article is an attempt to develop some of these nascent ideas in intermediate Wittgenstein in terms of later developments in measurement theory. Specifically, it is argued that religious and ethical language are extreme forms of non-empirical and non-factual forms of measurement; they represent the limit-case of measurement. (shrink)

RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de proposições “ditas verdadeiras” tanto quanto as proposições “ditas falsas” como determinantes da noção de validade das inferências. Após analisar algumas lógicas (...) associadas à semântica proposta, introduzimos a lógica E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B.ABSTRACT In the present work I introduce a semantics based on the cognitive attitudes of acceptation and rejection entertained by a given society of agents for logics inspired on Dunn and Belnap’s ‘First Degree Entailment’. Distinctly from the original epistemic situation of E, the cognitive attitudes do not coincide with truth-values and it seems more suitable for logics that intend to consider the informational content of propositions “said to be true” as well as propositions “said to be false” as determinants of the notion of logical validity. After analyzing some logics associated with the proposed semantics, we introduce the logic E B, whose underlying semantic entailment relation - the B-entailment - is able to express several kinds of reasoning towards the cognitive attitudes of acceptance and rejection. Acorrect and complete sequent calculus for E B is also presented. (shrink)

Resumen En la actualidad, a la teoría crítica se le objeta su pretensión de fundarse normativamente, por imposibilitarle ello acoger el pluralismo, presupuesto del orden democrático. Partiendo de esa objeción, este trabajo busca sostener que en Horkheimer y Adorno hay elementos con los que avanzar en la elaboración de una teoría crítica “postnormativa”. Esto en estrecha conexión con - lo que Habermas llama - el carácter “postmetafísico” de su pensamiento, es decir, su rechazo a todo intento por fundar el edificio (...) cognoscitivo en una instancia incondicionada. Sobre esta base, se propone un abordaje dialéctico del pluralismo, a partir de la relación entre diferencia y semejanza. Vía por la cual tematizar esa configuración de lo social que posibilitaría ser diferente sin temor. Al mismo tiempo que se caracterizan dos lógicas que entrañan la cancelación de dicha configuración de lo social, de su dialéctico acogimiento del pluralismo: la instauración de un absoluto, por un lado, y la apática frialdad, por el otro. Todo esto con vistas a interrogar el modo en que producimos un conocimiento crítico, a la vez que se busca hacer de él una instancia que contribuya a la democratización de la sociedad establecida.Currently, the critical theory is refuted for its pretensions to have a normative foundation. Because that generate it an impossibility to accept the pluralism, ground for the democratic order. Taking that as starting point, this paper seeks to sustain that in Horkheimer and Adorno work there are elements for the elaboration of a “post-normative” critical theory. This in close connection with - what Habermas calls - the “post-metaphysical” character of their thought, namely, their rejection to any try to found the knowledge’s building in an unconditioned instance. In base of that, this paper propose a dialectical approach of pluralism, through the relationship between difference and likeness. In this way, it is thematized that social configuration that would make possible being different without fear. At the same time, they are characterized two logics that contain the cancellation of that social configuration, of its dialectical acceptance of pluralism: the instauration of an absolute, on one hand, and the apathetic coldness, on the other hand. All of this with the main objective of interrogates the mode in which we produce critical knowledge, at the same time that it looks forward to make of it a instance that contributes to the democratization of the established society. (shrink)

RESUMO De acordo com a teoria das funções de verdade, a verdade/falsidade de uma proposição é computável a partir da verdade/falsidade das suas proposições “internas”: para cada proposição há uma função entre valores de verdade. Aplicada a proposições modais, origina a semântica dos mundos possíveis e, aplicada a proposições normativas, origina uma semântica que reduz os conceitos normativos aos conceitos modais, a semântica modal. Esta redução fica posta em questão com a existência dos chamados ‘paradoxos da lógica deôntica’. Estes (...) não podem ser vistos como meras anomalias, mas devem ser vistos como indícios da incorreção da semântica modal. Em todos eles, a regra da necessitação, assim como o axioma da distribuição, “não batem certo”. Não obstante, o cumprimento/incumprimento das normas já é computável a partir da verdade/falsidade das proposições que expressam os estados de coisas devidos. ABSTRACT According to the theory of truth-functions the truth/falsehood of a proposition is computable from the truth/falsehood of its “internal” propositions: for each proposition there is a function between truth values. Possible world semantics arises from the application of that theory to modal propositions; modal semantics - the reduction of normative concepts to modal concepts - arises from its application to normative propositions. But the ‘paradoxes of deontic logic’, as they are called, undermine such reduction: they cannot be seen as mere anomalies but instead as evidence for the wrongness of modal semantics. In all these paradoxes, the necessitation rule, as well as the distribution axiom, fail. Nevertheless, the fulfillment/nonfulfillment of norms is computable from the truth/falsehood of the propositions which express the required states of affairs. (shrink)

Há alguns anos atrás, algumas pessoas acreditavam que a tese de que a existência não é um predicado, uma tese defendida por autoridades como Gottlob Frege e Bertrand Russell, era um dos traços distintivos da chamada filosofia analítica. Que uma tal crença é afinal falsa pode ser tomado como mais um sinal da vitalidade e do anti-dogmatismo que caracterizam em geral a tradição analítica; e o mesmo se aplica a quaisquer outras crenças do género, que comprometam esta tradição com teses (...) filosóficas substantivas. O meu propósito neste ensaio é duplo. Por um lado, descrevo o estado actual da questão relativamente ao venerável tópico da existência, caracterizando e examinando as principais teorias disponíveis. Por outro, argumento a favor de um ponto de vista específico sobre o tópico. Esse ponto de vista consiste na conjunção das seguintes três teses: (F) Não há objectos não-existentes; (H*) A existência é um predicado; e (H**) As afirmações de existência não são uniformes quanto à forma lógica, tendo por vezes a forma de quantificações existenciais e por vezes a forma de predicações monádicas de primeira ordem. (shrink)

A tese fundamental da Estética kantiana contida na Crítica do Juízo é a de que os juízos de gosto, eminentemente subjetivos, proferidos com base num sentimento de prazer desinteressado da existência do objeto julgado e não fundados em conceitos do entendimento ou ideias da razão prática, apresentam validade universal. “Universalidade estética” é o conceito-chave com base no qual a terceira Crítica, que já havia afrontado as estéticas racionalistas com a tese da não-conceptualidade do juízo de gosto, rechaça, no outro fl (...) anco, o ceticismo estético dos defensores de um gosto privado e incomunicável. Em sua versão expositiva e analítica, o tema da universalidade do gosto é discutido no segundo momento da Analítica do Belo, que se conclui com a tese de que “belo é o que apraz universalmente sem conceito”. A essa conclusão Kant chega, tendo estabelecido no §8, entre outras coisas, a distinção entre a universalidade própria dos juízos refl exionantes estéticos e uma certa universalidade que se deve reconhecer em juízos determinantes de conhecimento teórico ou prático. À primeira, Kant atribui três títulos: o acima referido de “universalidade estética” (ästhetische Allgemeinheit), o de “validade comum” (Gemingültigkeit) e o de “validade universal subjetiva” (subjektive Allgemeingültigkeit). Quanto à segunda, a Analítica parece pretender batizar com os nomes supostamente equivalentes de “universalidade lógica” (logische Allgemeinheit) e “validade universal objetiva” (objektive Allgemeingültigkeit). O que defendo, no presente trabalho, é que a inteligência da noção de universalidade estética fi ca comprometida por três níveis de ambiguidade presentes no estabelecimento desses conceitos. Primeiramente, discutirei as difi culdades concernentes à apresentação kantiana dos conceitos de “universalidade” (Allgemeinheit) e de “validade universal”. (shrink)

Este ensaio examina a explicação de Husserl sobre o que afinal acontece quando ocorre a compreensão. Os tópicos de sua Primeira Investigação Lógica são familiares ao ponto de serem menosprezadas: distinções essenciais envolvendo atos conferidores de significação e preenchedores de significação e seus conteúdos, caracterizações dos atos conferidores de significação, a flutuação dos significados das palavras e a idealidade das unidades de significação, e os conteúdos fenomenológico e ideal das vivências de significação. Uma vez feitas as distinções essenciais, a (...) investigação abre um caminho direto. Ela conduz dos atos psiquicamente reais de significação e seus conteúdos subjetivamente flutuantes às significações logicamente ideais e seus conteúdos objetivamente constantes. Dado que aparentemente a estratégia de Husserl para lidar com expressões essencialmente ocasionais e suas significações aparentemente flutuantes pode funcionar para a Lógica pura, com sua necessidade de rigor de identidade e determinação de sentido, mas não, entretanto, para o discurso ordinário, parece que a Primeira Investigação Lógica não pode prover uma explicação sobre a compreensão. Contudo, este ensaio tenta mostrar que Husserl apresenta uma hermenêutica fundamental na Primeira Investigação Lógica e que ela se volta da linguística para a ontologia, ou de ‘meras palavras’ para as ‘coisas elas mesmas’.: This paper examines Husserl’s account of what then happens when understanding takes place. The topics of his First Logical Investigation are familiar to the point of contempt: essential distinctions involving meaning-conferring and meaning-fulfilling acts and their contents, characterizations of meaning-conferring acts, the fluctuation of word meanings and the ideality of meaning unities, and the phenomenological and ideal contents of the experiences of meaning. Once the essential distinctions have been made, the investigation clears a straight path. It leads from mentally real acts of meaning and their subjectively fluctuating contents to logically ideal meanings and their objectively constant contents. Because it appears that Husserl’s strategy for dealing with essentially occasional expressions and their apparently fluctuating meanings may work for pure logic, with its need for strictness of identity and determinacy of sense, but not for ordinary discourse, however, it seems that the First Logical Investigation cannot provide an account of understanding. Yet this paper attempts to show that Husserl presents a foundational hermeneutics in the First Logical Investigation and that it turns from linguistics to ontology, or from ‘mere words’ to ‘things themselves’. Keywords: Understanding. Hermeneutics. Phenomenology. Husserl. (shrink)

ResumoO texto aqui apresentado pretende dar uma pequena contribuição à discussão sobre a relação entre lógicae ontologia na filosofia kantiana. Seu objetivo é mostrar como Kant segue a lógica dos wolffianos, mantendosua abordagem geral, não sem introduzir algumas mudanças importantes. Ao contrário dos filósofosdogmáticos, Kant, como se sabe, enfatiza a neutralidade ontológica e epistemológica da lógica geral, diferenciando-a da lógica transcendental, que apresenta as condições universais necessárias apenas com basenas quais se pode falar de conhecimento objetivo. Leibniz, (...) Wolff e seus seguidores teriam negligenciadoessa distinção e dado à lógica geral um significado ontológico e heurístico, que absolutamente não lhepertence. Este artigo examina até que ponto essa versão da lógica dogmática, tão bem construída por Kante geralmente aceita pelos estudiosos, é confiável; tenta também mostrar que Kant flerta aqui e ali comasserções ontológicas e, ao fazê-lo, sua lógica também funciona como uma heurística. Os juízos categóricoe hipotético, bem como seus respectivos silogismos, serão aqui examinados em sua relação recíproca comocasos emblemáticos desse uso menos neutro da lógica formal por Kant. Além disso, espera-se que esteexame revele alguns dos procedimentos metódicos seguidos pelo filósofo em sua investigação conceitual,modo de proceder que, embora respeitando estritamente as regras lógicas estabelecidas, introduz modulaçõesdentro dessas mesmas regras, para enfrentar os desafios do pensamento crítico.Palavras-chave: Kant, lógica, ontologiaAbstractThe text presented here intends to make a small contribution to the discussion on the relationship betweenlogic and ontology in Kantian philosophy. Its purpose is to show how Kant follows the logic of theWolffians, maintaining their general approach, not without introducing some important changes. Unlikedogmatic philosophers, Kant, as is well known, lays stress on the ontological and epistemological neutralityof general logic, differentiating it from transcendental logic, which presents the necessary universal conditionsonly on the basis of which one can speak of objective knowledge. Leibniz, Wolff and his followerswould have neglected this distinction and given general logic an ontological and heuristic meaning, whichabsolutely does not belong to it. This article examines to what extent this version of dogmatic logic, so wellconstructed by Kant and generally accepted by the scholars, is reliable; it also tries to show that Kant flirtshere and there with ontological assertions and, in doing so, his logic also functions as a heuristic. The categoricaland the hypothetical judgments, as well as their respective syllogisms, will be examined here in theirreciprocal relationship as emblematic cases of this less neutral use of formal logic by Kant. Furthermore, thisexamination will hopefully reveal some of the methodical procedures followed by the philosopher in hisconceptual investigation, a way of proceeding that, although strictly respecting the established logical rules,introduces modulations within these same rules, to face the challenges of the critical thought. (shrink)

Este artículo tiene el objetivo de delimitar el componente epistemológico en la indagación reflexiva de las teorías procedimentales de la justicia, específicamente, describiendo el modo en el que se exacerban en un modus operandi que se denomina como cartesianismo político, es decir, como la búsqueda cognitiva de ideas claras y distintas que normativizan la administración de la vida; posteriormente, se propondrá, en antagonismo al cartesianismo político, la posibilidad de regular la indagación en torno a los procedimientos para lograr una (...) estructura básica de justicia social a partir del principio de interlocución lógica, como garantía del primer principio de una teoría procedimental de la justicia: la imparcialidad. En esta dirección, se expondrá el carácter cultural y epistémico de la imparcialidad, tratando de relaborar un marco de comprensión que, en vez de prescindir de las mentalidades culturales, las incluya como elemento dinamizador de la interacción en los procedimientos de elección de estructuras básicas de justicia. (shrink)

Este artigo aborda os problemas teóricos da concepção da soberania popular que consistem no fato de que a idéia de todo o povo reunido enquanto sujeito da soberania é uma ficção.As ambivalências lógicas do conceito de soberania do povo serão analisadas através de uma reconstrução crítica das respectivas teorias de Bodin e Rousseau assim como da teoria de democracia de Ingeborg Maus,que,por sua vez,apresenta uma nova interpretação da teoria Kantiana de democracia.Em contraposição às teorias ilusórias e utópicas de democracia fundamentadas (...) na concepção da soberania popular, apresentaremos uma teoria alternativa de democracia representativa que se destaca pelo seu realismo político. . (shrink)

Em minha tese de doutorado defendi que, para compreender como Hegel articula a passagem da contradição dialética à lógica, o conceito hegeliano de contradição deve ser analisado sob a perspectiva de uma antinomia. Para sustentar este argumento, propus uma atualização deste conceito a partir de uma estrutura antinômica. Essa atualização, porém, trouxe um outro problema: nessa reconstrução, a contradição, em Hegel, continua a se desenvolver de maneira gradativa, ao passo que a lógica tradicional trabalha apenas com valores de (...) p e -p, e não com níveis de gradação. Assim, para continuar sustentando o argumento de que o conceito hegeliano de contradição, sob a perspectiva de uma antinomia, pode ser compreendido como uma contradição lógica, seria necessário encontrar uma lógica que não operasse apenas com valores binários, mas também com níveis de gradação. Foi a partir dessa necessidade que surgiu a ideia de aplicar o conceito de contradição em Hegel à Lógica Difusa, e esta é, portanto, a proposta do presente artigo. (shrink)

O filósofo alemão Friedrich Heinrich Jacobi (1743-1819) foi um dos grandes representantes no período pós-kantiano de uma concepção de filosofia como harmonia entre discurso filosófico e modo de vida, ação e palavra. Este trabalho pretende mostrar como ele se aproxima do significado originário de filosofia (amor à sabedoria) e daquele que foi considerado o primeiro filósofo: Sócrates. O não saber socrático aparece como resposta privilegiada, porque é um sábio não saber, isto é, reconhece a limitação do conhecimento humano e busca (...) a sabedoria e virtude na conduta pessoal e na prática de vida. Jacobi aponta para o conflito da filosofia moderna consigo mesma, isto é, de uma filosofia que almeja a unidade e a plena coerência lógica e, com isso, se distancia do seu sentido mais próprio. (shrink)

O artigo propõe problematizar ou inquirir sobre as relações lógicas [ e não apenas uma – como é normalmente defendido pelos comentadores imanentistas ] entre Deus ou substância e o universo dos modos em Spinoza (1632-1677), provando, ao seu fim, a hipótese de que podem [tais relações] ser devidamente demarcadas como de transcendência e de imanência em conciliação. Para tanto, o trabalho efetua o estudo do escólio da EIPXXIX [condição da prova] sob o apoio de outras passagens da Ethica (1677) (...) e de obras complementares de Spinoza. (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)