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)

Informally speaking, the Principle of Identity, one of the so-called “Laws of Logic”, grants us in one of its most well-known formulations that every object is identical to itself. Non-reflexive logics, roughly speaking, are systems of logic in which this principle is not valid in general. One of the problems associated with non-reflexive logics concerns quantification: it has been argued that quantification only makes sense if we presuppose the identity concept, and consequently, non-reflexive logics employing quantifiers presuppose some form of (...) the principle of identity we wanted to restrict in their formulation. In this paper we argue that it is possible to make sense of quantification in non-reflexive logics without presupposing identity. We argue both from a syntactical as well as from a semantical point of view. We close the paper with some reflections on natural language and its relation to non-reflexive logics. (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)

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)

In this paper I discuss the consistency and accuracy of Husserl’s sketch of a theory about non-declarative sentences in the last chapter of Logical Investigations. Whereas the consistency is acknowledged, the accuracy is denied, because Husserl’s treatment of non-declarative phrases such as questions or orders implies that those phrases contain, in some way, a declarative sentence and an objectifying act. To construct a question like “is A B?” as being equivalent to a pseudo-declarative sentence such as “I ask whether A (...) is B” is, however, a false phenomenological analysis, because to ask o r to order or to beg is not to assert. I turn, then, to John Austin ‘s theory of performative (as opposed to constatative) utterances and illocutionary acts in order to find a more accurate approach to the logical-semantic content of non-declarative sentences. Eventually, I show how this Husserlian theory of non-declarative sentences has a negative impact on the phenomenological theory of social ·acts and communication. (shrink)

Peirce é hoje reconhecido como um dos pioneiros da lógica matemática e algébrica, mas seu trabalho original em lógicas não-clássicas ainda recebe escassa atenção fora do círculo estreito de especialistas peircianos. Esse é o caso do cálculo proposicional trivalorado que Peirce registrou em seu “Logic Notebook”, mais de uma década antes do surgimento das lógicas multivaloradas. A lógica triádica, como Peirce a chamava, foi formalizada por Turquette no final dos anos 1960. Turquette apresentou uma interpretação axiomática das tabelas (...) trivaloradas em uma série de artigos que se tornaram referência nesse estudo. Recentemente, propusemos uma nova abordagem, enfatizando um fragmento não-explosivo da lógica triádica. Este artigo objetiva ampliar a pesquisa nos seguintes pontos: (i) uma análise crítica dos trabalhos de Turquette, incluindo a discussão do método Rosser-Turquette de axiomatização; e (ii) reconstrução do fragmento da lógica triádica em um sistema baseado na implicação material de Sobociński, formalizado em cálculo de sequentes. Concluímos que a matriz trivalorada de Peirce induz uma lógica paraconsistente, relevante e subestrutural, com potencial investigativo para as pesquisas contemporâneas em lógicas não-clássicas. (shrink)

A Parábola dos Três Anéis é famosa em suas versões de Boccaccio e Lessing. Partilham a ideia fundamental de que apenas uma religião é verdadeira, mas a condição humana não nos permite saber qual é a verdadeira. É uma ideia inerentemente moderna enfatizar os limites do conhecimento humano enquanto se argumenta contra formas puras de ceticismo e relativismo. O resultado da parábola é a amizade em ambas as versões, mas a questão da verdade permanece no centro da estrutura conceitual subjacente (...) às histórias. Pelo contrário, os estudiosos passaram a dar muito mais relevância ao lado ético do diálogo, para que o relacionamento interpessoal não seja apenas o resultado de um processo cognitivo. O encontro pessoal deve ser anterior à questão da verdade. Esta nova abordagem é desafiada pela natureza do relacionamento com o outro. Deveria ser simétrico e mútuo? As opiniões sobre o diálogo inspiradas por Lévinas devem responder negativamente. Se quisermos manter a relevância da amizade, deveríamos preferir a ideia de diálogo de Buber. No nosso mundo, apesar disso, as desigualdades são tais que a simetria e a mutualidade não podem ser a condição padrão do diálogo e devemos ser antecipadamente responsáveis pelo outro (no sentido da servidão lévinasiana pelo outro). Uma mediação entre estes dois pontos de vista pode ser encontrada na noção de interindependência de Panikkar, como argumentarei. Na verdade, esta noção combina a interdependência presente na relação Eu-Tu de Buber e a independência ou separação sublinhada por Lévinas na relação com o outro entendida em termos de relação entre termos absolutos. (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)

Charles Sanders Peirce, reconhecido como um dos fundadores da lógicamoderna, propôs em 1909 uma lógica trivalente que antecipou em mais de dez anos os primeiros trabalhos em lógicas não-clássicas. No entanto, o filósofo norte-americano não elaborou as consequências filosóficas de sua descoberta nem a conectou com seu sistema, deixando a questão em aberto para os comentadores. O presente artigo pretende discutir algumas questões metafísicas e epistemológicas envolvendo a lógica trivalente de Peirce, tendo como base estudos mais recentes sobre (...) o assunto. (shrink)

Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

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)

Neste ensaio, refletimos sobre a unidade e a universalidade da lógica, por meio de duas questões fundamentais. Em primeiro lugar, discutimos se, dentre as várias lógicas existentes atualmente, haveria alguma melhor do que as outras. Em segundo, debruçamo-nos sobre o problema de saber se o mundo real é governado por uma determinada lógica. Remetendo as questões aos seus fundamentos, defendemos o pluralismo e mostramos que a avaliação das lógicas não se dá por questões de índole meramente formal, envolvendo (...) princípios históricos, pragmáticos e dialéticos ligados aos diversos contextos racionais aos quais elas são aplicadas. Mostramos ainda que o mundo real não é governado por nenhuma lógica específica, mas por variadas lógicas, e que há sempre uma espécie de ambiguidade e um jogo adaptativo entre os aspectos reais do mundo e os formais da lógica. (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)

No presente ensaio damos continuidade ao artigo “A lógica do Ser de Parmênides: entre a poesia e a Filosofia”, em vias de publicação pela Argumentos (revista do Programa de Pós-Graduação em Filosofia da Universidade Federal do Ceará). Agora pretendemos mostrar que a crítica de Górgias a Parmênides reside na diferença da concepção de ambos a respeito do ser: enquanto o eleata supõe o ser como identificado ao pensar e ao dizer, Górgias o entende como aquilo que nos afeta a (...) partir das coisas que subsistem. Com isto, promove uma inversão dos enunciados centrais do Poema de Parmênides, afirmando que: 1) Nada existe; 2) Se existisse não poderia ser conhecido; 3) Se pudesse ser conhecido não poderia ser comunicado. Tentaremos mostrar que, além de pôr em xeque o projeto essencialista de Parmênides, inaugurando assim a vertente antiessencialista da filosofia, inverte também o movimento do pensamento do eleata: enquanto este se vale do estilo poético para estabelecer as regras lógicas da investigação filosófica, Górgias parte de uma reflexão lógico-filosófica para romper a identidade Φύσις-λόγος, retomando outra postura poética: a visão trágica, segundo a qual aos mortais não é dado conhecer nem controlar os acontecimentos. (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)

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)

Com a Lógica hegeliana propõe-se uma série de encadeamentos categoriais que expressam o próprio movimento do real. A filosofia nada mais seria senão a compreensão desse processo de auto-exposição, que significa também uma auto-apresentação do absoluto. Tal processo consistiria em uma exposição de categorias, seqüencialmente progressivas, que vão da indeterminação primeira de ser/nada até a completude da idéia absoluta. Buscaremos apresentar como o idealismo absoluto hegeliano prova sua tese de que o mundo é racional e que estas categorias apresentadas (...) são, não apenas categorias do pensar, mas categorias do ser. (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)

nas doze séries iniciais da Lógica do sentido, tendo como principais referências a literatura de Lewis Carroll e a filosofia estoica, Gilles Deleuze se dedica a construir o que chama de organização secundária da superfície, partindo da articulação entre os corpos e a linguagem produzida pelo sentido enquanto acontecimento. Na organização secundária da superfície, o sentido é o efeito das ações e das paixões dos corpos que agem uns sobre os outros, de suas misturas. Na 13ª série desse mesmo (...) livro, Deleuze nos coloca diante de algo bem distinto: não a organização secundária da superfície, mas a ordem primária da esquizofrenia. Impõe-se um não-sentido que faz desmoronar a organização da superfície e que se anuncia como uma vida tempestiva e convulsiva. No entanto, como veremos, esse não-sentido também aponta para a possibilidade de uma produção, de uma expressão criativa outra que a do sentido. Para entender de que maneira esse desmoronamento da superfície pode se tornar uma criação é preciso lidar com a discussão proposta por Deleuze sobre a linguagem da esquizofrenia em Antonin Artaud. (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)

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)

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)

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)

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)

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)

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 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)

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)

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)

Este artigo discute dois tratamentos dados por Charles Sanders Peirce ao paradoxo do Mentiroso, estabelecendo conexões com o debate atual acerca do tema. Nas Harvard Lectures de 1865, Peirce considera que a proposição do mentiroso é tanto verdadeira quanto falsa, o que, de acordo com sua visão sobre a lógica, torna a proposição sem sentido. Esse tratamento antecipa parcialmente a posição dialeteísta contemporânea, que considera que o Mentiroso é uma evidência de que algumas proposições são verdadeiras e falsas. Em (...) textos posteriores, Peirce revisa seu tratamento do problema, considerando que a contradição do Mentiroso é falsa, alinhando-se à tradição da lógica de sua época. A discussão deste artigo evidencia que concepções lógicas específicas pressupostas na investigação de Peirce são as responsáveis pelas interpretações que ele fornece para a contradição envolvida no paradoxo. A partir dessa discussão, este artigo argumenta que o tratamento dado ao Mentiroso depende das concepções lógicas de fundo. Assim, as limitações encontradas por Peirce em suas abordagens ao problema são introduzidas pela lógica tradicional, que, diferentemente de algumas lógicas contemporâneas, não oferece aparato compatível com contradições verdadeiras. (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)

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)

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)

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)

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)

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)

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)

Trata-se de mostrar como a “colisão” da lógica com sua aplicação, no cenário do Tractatus Logico-Philosophicus de Wittgenstein, pode ser enxergada a partir do problema da incompatibilidade das cores. Exploraremos algumas soluções nos moldes tractarianos, verificando em que medida elas não satisfazem algumas exigências da obra. Também apresentaremos uma tentativa de solução do próprio Wittgenstein para o problema, mostrando como o filósofo percebe que tal solução não é satisfatória.

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)

O presente artigo pretende desenvolver a ideia de uma lógica na filosofia de Gilles Deleuze, a partir da subversão e perversão dos princípios da lógica tradicional, sobretudo, aqueles da lógica aristotélica. O princípio de identidade dá lugar ao princípio da diferença, que tem por consequência a crítica do fundamento; o “princípio do terceiro incluído” assume o posto do terceiro excluído, o que exige a exposição do conceito de vice-dicção; por fim, o princípio da não-contradição é substituído não (...) pelo da contradição – o que o aproximaria da grande lógica hegeliana –, mas pela disjunção inclusiva. É a partir do paradoxo que a crítica do bom senso e do senso comum, as duas formas da doxa, instaura uma lógica das multiplicidades e uma topologia nômade. (shrink)