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)

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 Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado (...) de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (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)

Em termos semânticos, a consequência lógica é definida costumeiramente a partir do valor de verdade das premissas e conclusão: esta é verdadeira em toda situação na qual aquelas o sejam. Pode-se entender que, nestes casos, a conclusão não contém mais informação do que o conjunto de premissas. Com base nesta ideia, desenvolvemos, neste artigo, uma definição de consequência lógica informacional, baseada na noção de informação sugerida na Teoria Matemática da Comunicação. Mostramos alguns resultados, tais como que, apesar de inconsistente, o (...) sistema subjacente a essa noção não é trivial e que a lógica subjacente à consequência lógica informacional não é clássica, mas algum tipo de lógica paraconsistente. (shrink)

O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre o (...) problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática. (shrink)

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.

A Lógica Contemporânea dá pouca ou, mesmo, nenhuma atenção à construção de argumentos para uma conclusão dada, diferentemente do que ocorre nos Analíticos Anteriores, de Aristóteles. O procedimento de Aristóteles foi, posteriormente, compilado sob a forma de um diagrama lógico conhecido como “Ponte de Asnos” (Pons Asinorum). Neste trabalho proponho um procedimento para a construção de argumentos para uma dada conclusão, no âmbito da Lógica Proposicional Clássica, abstraído do procedimento de Aristóteles. Utilizo a noção de informação semântica como fio de (...) Ariadne para a obtenção do procedimento. (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)

Durante aproximadamente vinte séculos o que se entendia predominantemente como ciência era a ontologia clássica, entretanto, a partir da modernidade ela começou a perder o status de cientificidade e foi a filosofia crítica de Kant que de forma radical apontou para a sua impossibilidade enquanto ciência. Hegel, porém, acha que a ciência só é verdadeiramente efetiva enquanto ontologia, de modo que ele toma como tarefa de sua filosofia o resgate da ontologia enquanto ciência. Neste horizonte, Hegel através da ontologização da (...) lógica se propõe a resgatar a ontologia enquanto ciência, porém esta é uma nova concepção de ontologia e se apresenta como crítica em relação à ontologia clássica e a crítica kantiana à ontologia clássica. (shrink)

Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...) the hierarchy of Paracomplete Propositional Calculi Pn (0 ≤ n ≤ ω). In “Logics that are both paraconsistent and paracomplete” (1989), Newton da Costa proposed a system with approximate characteristics to what we are looking for. In the hierarchy of Non-Alethical Propositional Calculi Nn (0 ≤ n ≤ ω), only one negation is introduced (as primitive), called a “non-alethic” (¬n), whose operation preserves the properties of classical, or paraconsistent or paracomplete negation -- depending on the well or ill behavior of the formula connected to it. However, as we shall see, in the hierarchy Nn we can not reiterate negations with different behaviors in a same formula (e.g., ¬p¬cα or ¬q¬c¬p α), or even analyze a formula like ¬cα → ¬pα. In view of these problems, can we really say that the hierarchy Nn allows us to understand the relationships and interactions of the three types of negations? In order to deal with this, given the initial problem, we will present four axiomatic systems (KG) in which, unlike Nn, the three negations are directly introduced -- offering a semantics and a method of proofs by analytic tableaux. Through the KG Systems we will show how the negations interact, obtaining non-demonstrable theorems in LPC, Cn, Pn, and Nn (0 ≤ n ≤ ω). Finally, we will also offer a first-order extension for the KG Systems. (shrink)

Embora a logica seja, de urn modo geraJ, concebida como um ramo da filosofia, suas aplic~oes via muito alem dos limites de qualquer disciplina isoladamente considerada (SALMON, 1993). Seu papel principal e fomecer meios para determinar a rel~o de consequencia que vige entre as premissas e a conclusao de urn dado argumento. Dentre as tecnicas utilizadas que possibihtarn garantir esta rel~o destaca-se a tecnica por redu ¢oao absurdo por ser amplamente aplicada nas cienciasdesde a antiguidade. Suaideiabasics residenofatodequeumapropo si~ nio pode (...) ser verdadeira se dela deduzimos uma contradi ~o. Pretende-se, entio, apresentar a estrutura logica de tal tee niea de demonstracao a partir de urn dado sistema formal da logica classica. (shrink)

Neste artigo defendo que a Teoria da Informação Fortemente Semântica de Floridi – TIFS – está correta ao assumir a Tese da Veracidade, que por sua vez orienta a definição de informação semântica como “p é informação se e somente se p é constituído por dados bem-formados, com significado e verdadeiros”. Argumento que a teoria não é arbitrária, pois dá conta do desembaraço de conundrums filosóficos importantes, principalmente por evitar o paradoxo de Bar-Hillel e Carnap, que é gerado a partir (...) da teoria clássica da informação semântica. Primeiro é discutido um dos principais resultados da teoria clássica, o de produzir “sentenças muito informativas para serem verdadeiras”. Depois são resumidas as motivações para a elaboração de uma “lógica de estar informado” e é mostrado como o sistema KTB-IL é montado e modelado mantendo-se entre os seus axiomas o da veracidade – K ou A4. Finalmente, a TIFS é examinada e defendida ao mostrar que ela restringe aleticamente a extensão do conceito clássico de informação para evitar problemas com tautologias e contradições. A TIFS oferece uma solução original ao capturar nossas intuições modais a respeito da informatividade como noção básica. (shrink)

No presente artigo visamos contribuir do ponto de vista teórico-metodológico com os debates pertinentes à História da historiografia da Sétima Arte nacional, problematizando hermeneuticamente a obra Historiografia clássica do cinema brasileiro: metodologia e pedagogia, do crítico cinematográfico Jean-Claude Bernardet. Como arcabouço teórico-metodológico, nos munimos das reflexões de Michel de Certeau acerca do lugar social, político, econômico e cultural dos pesquisadores da História, sobretudo um de seus elementos primordiais: o “não-dito”, bem como das propostas do teórico alemão Jörn Rüsen no tocante (...) ao método hermenêutico aplicado na produção do conhecimento histórico. (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)

Embora a logica seja, de urn modo geraJ, concebida como um ramo da filosofia, suas aplic~oes via muito alem dos limites de qualquer disciplina isoladamente considerada (SALMON, 1993). Seu papel principal e fomecer meios para determinar a rel~o de consequencia que vige entre as premissas e a conclusao de urn dado argumento. Dentre as tecnicas utilizadas que possibihtarn garantir esta rel~o destaca-se a tecnica por redu ¢oao absurdo por ser amplamente aplicada nas cienciasdesde a antiguidade. Suaideiabasics residenofatodequeumapropo si~ nio pode (...) ser verdadeira se dela deduzimos uma contradi ~o. Pretende-se, entio, apresentar a estrutura logica de tal tee niea de demonstracao a partir de urn dado sistema formal da logica classica. (shrink)

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)

No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a (...) partir de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (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)

Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira. Não é possível abolir completamente esse apelo ao discurso modal, porque a lógica clássica é o domínio das possibilidades. Não obstante, pode-se, por intermédio de uma semântica informacional, evitar que o usuário da lógica clássica tenha de manipular modalidades, ainda que elas estejam, de algum modo, imbricadas nos (...) infons – unidades mínimas de informação. A partir do trabalho pioneiro de Carnap e de Bar-Hillel, apresentarei duas semânticas informacionais: uma delas diretamente relacionada a mundos possíveis, e a outra relacionada aos duais de mundos possíveis. (shrink)

A obra filosófica de Cícero põe em cena debates intelectuais entre membros da elite romana, e suas figuras principais exibem uma combinação equilibrada de dotes intelectuais, excelência moral e expertise política. A filosofia grega emerge como um importante aliado no projeto intelectual de Cícero, mas não in toto. Este artigo lida com o modo pelo qual Cícero denigre uma multitudo de filósofos que produziam aquilo que ele considerava obras moralmente perigosas e estilisticamente inferiores, contribuindo para a criação de uma filosofia (...) “clássica” que ainda configura o estudo moderno da filosofia. (shrink)

O fenômeno da vagueza é quase onipresente na linguagem natural. Por um lado, a vagueza abrange variadas categorias lógicas, incluindo predicados, termos singulares e quantificadores. Por outro, é argumentável que a maioria das expressões em cada uma destas categorias, principalmente termos singulares e predicados, é vaga. Isto não seria um problema, não tivesse o fenômeno da vagueza relacionado ao paradoxo sorites, que supostamente mostra a incoerência destas expressões. O Supervalorativismo fornece uma explicação do fenômeno, acompanhado de uma solução do (...) paradoxo, que é interessante por pelo menos duas razões. Primeiro, é argumentável que esta teoria é a que melhor acomoda certa imagem intuitiva da vagueza, conhecida como indecisão semântica. Segundo, ela é relativamente conservadora com respeito à lógica clássica. Ao contrário de algumas rivais, como a Teoria Trivalente e o Gradualismo, o Supervalorativismo nos permite manter tanto o terceiro excluído como a não contradição. A despeito de suas aparentes vantagens, no entanto, a teoria carrega alguns sérios problemas. Com foco na categoria dos predicados vagos, meu objetivo neste artigo é mostrar que o Supervalorativismo falha em satisfazer pelo menos um de três critérios de adequação para uma teoria ideal da vagueza: o critério da precisão. O artigo é dividido em quatro seções. Na primeira, apresento o paradoxo sorites e três critérios de adequação para uma teoria ideal da vagueza: o critério do sorites, o critério da coerência e o critério da precisão. Na segunda e terceira, apresento o Supervalorativismo e sua solução para o paradoxo sorites. Por fim, argumento que, mesmo que a teoria satisfaça os dois primeiros critérios de adequação, ela certamente não satisfaz o terceiro. (shrink)

Há pelo menos duas coisas que tornam o fenômeno da vagueza interessante. Primeiro, a vagueza está espalhada por toda a linguagem natural. Uma parte significativa das expressões de nossa linguagem são vagas e podemos encontrar a vagueza em expressões de diferentes categorias lógicas, como termos singulares, predicados e quantificadores. Por razões de simplicidade, contudo, ao longo deste artigo considero apenas o caso dos predicados vagos. Segundo, o fenômeno da vagueza está por trás de um difícil paradoxo, conhecido como Paradoxo (...) Sorites. Atualmente, há muitas tentativas de explicar esse fenômeno e resolver o Sorites, sendo uma delas a Teoria Trivalente da Vagueza. Essa teoria é interessante não apenas porque fornece uma explicação elegante da vagueza, acompanhada de uma solução engenhosa para o paradoxo em questão, mas também porque serve de base para a compreensão de outras teorias clássicas da vagueza. Tanto o Gradualismo como o Supervalorativismo, por exemplo, incorporam parte significativa de suas ideias centrais. A despeito disso, existem alguns sérios obstáculos para a Teoria Trivalente. Acredito que o principal deles é que ela falha em satisfazer pelo menos um dos três critérios de adequação para uma teoria ideal da vagueza: o critério da precisão. Meu objetivo é apresentar essa teoria e mostrar como essa dificuldade surge para ela. (shrink)

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

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)

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

A finalidade do texto seguinte consiste na exposição de uma relação de promiscuidade entre a técnica e a ciência na obra de Jean-François Lyotard. A primeira etapa deste artigo consiste na apresentação de um problema referente à obra A condição pós-moderna, onde a noção de técnica aparece sobre uma perspectiva positivista. Aqui, a intimidade entre técnica e ciência é resultado da crise dos fundamentos das ciências na modernidade, crise oriunda do afastamento entre as ciências e os discursos que se prestavam (...) frequentemente à sua legitimação. Esses discursos, que Lyotard aproxima do modelo narrativo, e dos quais se destacam o discurso político de emancipação e o discurso filosófico especulativo, entram em declínio na condição pós-moderna. As ciências, desprovidas de motivações ou destinos humanistas, não resistem à lógica capitalista, e encontram o intermediário de sua relação com o capital na técnica. O critério da ciência deixa, pouco a pouco, de ser a busca pela verdade e passa a ser a busca pelo melhor desempenho. A segunda e conclusiva etapa do artigo, consiste, por sua vez, na radicalização dessa promiscuidade, e se refere principalmente ao livro O inumano. A assim chamada tecnociência corresponde à completa submissão da ciência à técnica: se a visão positivista de A condição pós-moderna vê na técnica um suplemento, uma prótese que dá assistência à pesquisa científica, no segundo livro, a ciência se mostra a prótese ou o suplemento da técnica, que se revela, não obstante, inumana. Nessa segunda parte do artigo, pretendo mostrar que a visão positivista da técnica não é, portanto, suficiente para compreender a relação promíscua que ela tem com a ciência, mostrando-se necessário o recurso à perspectiva clássica da mesma: é a partir da visão da técnica como produtividade cega da physis que alcançamos também o entendimento do caráter inumano da tecnociência. (shrink)

Este livro poderia de facto definir-se também "Razão e Lógicas da Totalidade do Real na filosofia africana contemporânea". Quatro objectivos, por assim dizer, se vislumbram logo duma leitura atenta deste texto: antes de mais a preocupação dos autores de propor nos nossos dias, uma leitura transversal da filosofia africana moderna e contemporânea a partir, diríamos, do conceito da "razão". Trata-se, neste caso, de introduzir os leitores não na história da filosofia africana como tal, mas somente, como especifica Ezio Bono, (...) de delinear "algumas questões principais que consideram ser mais significativas e recorrentes no actual debate" da filosofia africana moderna e contemporânea e a sua "traversée" (Bidima), por assim dizer, no âmbito moçambicano (José Castiano). Este texto, cuja vocação principal é transformar-se, "grosso modo", numa espécie de "Humanidades Clássicas Africanas" (Cheikh Anta Diop), se quer sintético e ao mesmo tempo panorâmico. Ele é sintético, pois os autores partem duma leitura temática (a razão). Ele é também panorâmico, já que partindo deste focus temático, eles oferecem uma visão global desta matéria, do ponto de vista histórico, teorético, epistemológico, cultural, panafricano (Procesi) e particular moçambicano (Bono e Castiano). (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)

ABSTRACT In “Die Verneinung”, Frege discusses two types of negation, a semantic one and a pragmatic one. Semantic negation consists in the application of the logical function denoted by ‘it is false that p’ to a thought, and pragmatic negation in the act of asserting or judging a thought as false. According to the standard interpretation, Frege does not acknowledge pragmatic negation, because it is logically redundant. He therefore rejects the classical dualistic view that both truth and falsity are qualities (...) of judgement and adopts instead the monistic view that to judge is always to recognize a thought as true. My aim in this paper is to show that this interpretation cannot be sustained. Though Frege does not endorse the classical view, he defends a dualistic conception that is characterized by the claim that judging is a binary operation that contains both the act of recognizing a thought as true and the act of rejecting the opposite thought as false. To make this interpretation plausible, Frege’s dualistic remarks on negation in three posthumous writings, which have received little attention so far, are analyzed in detail and their background is reconstructed. It is argued that Frege acknowledges negative judgements to account for the epistemic role of the act of judgement in the acquisition of knowledge. RESUMO Frege discute dois tipos de negação em “Die Verneinung” : uma semântica e uma pragmática. Negação semântica consiste na aplicação da função lógica denotada por ‘é falso que p’ para um pensamento, e negação pragmática no ato de afirmar ou julgar um pensamento como falso. De acordo com a interpretação padrão, Frege não reconhece a negação pragmática, porque ela é logicamente redundante. Assim, ele rejeita a visão dualística clássica de que tanto verdade quanto falsidade são qualidades de julgamento e, em vez disso, adota a visão monística de que julgar é sempre reconhecer um pensamento como verdade. Meu objetivo neste artigo é mostrar que tal interpretação não pode ser sustentada. Apesar de Frege não endossar a visão clássica, ele defende um conceito dualista que é caracterizado pela afirmação de que julgar é uma operação binária que contém tanto o ato de reconhecer um pensamento como verdade, quanto o ato de rejeitar o pensamento oposto como falso. Para tornar essa interpretação plausível, Frege faz observações dualísticas sobre a negação em três escritos póstumos, que têm recebido pouca atenção até o presente, são analisadas em detalhe e seu background é reconstruído. Argumenta-se que Frege reconhece o julgamento negativo para explicar o papel epistêmico do ato de julgar na aquisição de conhecimento. (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)

Para deleite dos religiosos, a história da filosofia oficial − que continua, ao que parece, infectada pelo espírito teológico − consagrou a "aposta de Pascal" como uma das soluções modelares ao problema ético suscitado pela questáo clássica da existência ou náo de Deus. No raciocínio de Blaise Pascal (1623-1662), aquele que aposta na existência do deus judaico-cristáo ganhará a felicidade eterna caso ele efetivamente exista; em contrapartida, uma vez sendo este Deus uma realidade, a aposta na sua inexistência resultará na (...) danaçáo do apostador equivocado. Ocorre que a história da filosofia oficial parece desconhecer a alternativa ateísta que Denis Diderot (1713-1784) propõe a essa questáo das conseqüências da existência ou náo de Deus na vida e na morte dos seres humanos. Lançando máo de uma fábula que permite uma analogia com o tema do ateísmo, em que um ateu, depois de morrer, constata que a alma é de fato imortal, que Deus realmente existe, e que, portanto, náo ter tido fé em vida náo foi uma aposta inteligente, Diderot, no seu Diálogo de um filósofo com a Marechala de... (1774), reflete sobre os desdobramentos para o ateu dessa experiência inesperada. É sobre essa náo-aposta do ateu que trata este artigo. Palavras-chave : Aposta de Pascal, Ateísmo, Deus, Diderot, Virtude. (shrink)

Anthony Shiver (2013) desenvolveu dois jogos de cartas lógicas para a prática da derivação no contexto da Lógica Proposicional Clássica. Embora ele tenha apresentado os contornos gerais desses jogos, muitos detalhes do desenho deles estão faltando. Neste artigo proponho uma metodologia para o desenho detalhado do primeiro dos jogos de Shiver. Esta metodologia utiliza uma abordagem informacional para a seleção das cartas do baralho, que conforma-se a critérios de alcançabilidade de cada carta e de balanço entre elas.

Autor (2020) desenvolveu duas semânticas informacionais para a Lógica Sentencial Clássica, decorrentes da utilização de formais normais. A abordagem informacional em questão utiliza unidades mínimas de informação (infons) para realizar o trabalho lógico. Neste artigo, expandiremos a aplicação da abordagem informacional às lógicas sentenciais polivalentes finitas mediante um procedimento dedicado à extração de unidades mínimas de informação (infons). Tal procedimento decorre do trabalho com tablôs semânticos para Lógicas Sentenciais Polivalentes Finitas desenvolvido por Carnielli (1982).

A tradição filosófica das abordagens da moral tem predominantemente como base conceitos e teorias metafísicas e teológicas. Entre os conceitos tradicionais de ética, o mais proeminente é a Teoria do Comando Divino (TCD). De acordo com a TCD, Deus dá fundamentos morais à humanidade desde sua criação e por meio de revelações. Assim, moralidade e divindade seriam inseparáveis desde a civilização mais remota. Esses conceitos submergem em uma estrutura teológica e são principalmente aceitos pela maioria dos seguidores das três tradições (...) Abraâmicas: judaísmo, cristianismo e islamismo, abrangendo a parte mais considerável da população humana. Mantendo a fé e a Revelação como seus fundamentos, as Teorias do Comando Divino não estão estritamente sujeitas a qualquer tipo de demonstração. Os oponentes da concepção moral do Comando Divino, fundamentados na impossibilidade de demonstrar suas suposições metafísicas e religiosas, tentam há muitos séculos (embora sem sucesso) desvalorizar sua importância. Eles sustentam o argumento de que a teoria não mostra evidências materiais e coerência lógica e, por esse motivo, não pode ser levada em consideração para fins científicos ou filosóficos. É apenas uma crença e, como tal, deve ser entendida. Além dessas oposições extremas, muitos outros conceitos atacam as teorias do Comando Divino, de uma ou de outra maneira, em parte ou na totalidade. Muitos filósofos e cientistas sociais, da clássica filosofia grega até a presente data, por exemplo, sustentam que a moralidade é apenas uma construção e, portanto, culturalmente relativa e culturalmente determinada. No entanto, isso traz muitas outras discussões e impõe o desafio de determinar qual é o significado da cultura, quais elementos da cultura são moralmente determinantes e, finalmente, quais são os limites dessa relatividade. Os deterministas morais, por sua vez, afirmam que tudo relacionado ao comportamento humano, incluindo a moralidade, é determinado em suas causas, uma vez que o livre-arbítrio não existe. Mais recentemente, os pensadores modernos argumentaram que existe uma rigorosa ciência da moralidade. No entanto, o método científico por si só, apesar de explicar vários fatos e evidências, não pode esclarecer todo o conteúdo e todo o significado da ética. A compreensão moral exige uma percepção mais ampla e um acordo entre os filósofos, que eles nunca alcançaram. Todas essas perguntas têm muitas configurações diferentes, dependendo de cada linha filosófica, e iniciam análises complexas e debates intermináveis, uma vez que muitas delas são reciprocamente conflitantes. O universo e a atmosfera envolvendo esta estudo são os domínios de todos esses conflitos conceptuais, observados de um ponto de vista objetivo e evolutivo. Independentemente dessa circunstância e de sua importância intrínseca, essas questões estão muito distantes da abordagem metodológica de uma discussão analítica sobre a moral objetiva, a qual é, de fato, o objetivo e o escopo deste trabalho. Devemos revisitar brevemente essas importantes teorias tradicionais, porque esta pesquisa abriga um estudo comparativo, e suas suposições pelo menos diferem profundamente de todas as teorias tradicionais. Portanto, torna-se necessário oferecer ao leitor, neste texto, elementos diretos e específicos de comparação para críticas válidas, dispensando pesquisas interruptivas. No entanto, mesmo revisitando as teorias tradicionais, para esse objetivo de exposição comparativa e crítica, elas serão mantidas ao lado de nossas principais preocupações, como " aliena materia ". Independentemente da validade de qualquer um ou de todos os elementos dessa discussão e de seu significado como universo filosófico deste trabalho, o objetivo do nosso estudo é demonstrar e justificar a existência e o significado de arquétipos morais pré-históricos surgidos diretamente dos princípios fundamentais, necessidades sociais e esforços para a sobrevivência. Esses arquétipos são a definição do fundamento essencial da ética, sua agregação ao inconsciente coletivo e organização lógica correspondente e transmissão aos estágios evolutivos do genoma humano e às diferentes relações espaço-tempo, independentemente de qualquer experiência contemporânea dos indivíduos. O sistema definido por esses arquétipos compõe um modelo social humano evolutivo. Esta é uma posição metaética? Sim, ela é. Além disso, como em qualquer raciocínio metaético, devemos procurar cuidadosamente as melhores e coerentes rotas, como a Filosofia Analítica lhes oferece. Desta forma, este trabalho deve demonstrar razoavelmente que a moral não é um produto cultural dos homens civilizados ou das sociedades modernas e que, apesar de estar sujeito a várias agregações e subtrações culturais relativas, seus fundamentos essenciais são arquetípicos e nunca mudaram estruturalmente. Esse raciocínio induz que a moralidade é um atributo primal do "homo sapiens"; não é uma propriedade e nem um acidente: integra a essência humana e pertence ao reino da identidade ontológica humana. -/- O fenômeno humano é um processo contínuo, desempenhando seu papel entre determinação aleatória e livre-arbítrio, e precisamos questionar como a moralidade começou e como chegou a nós no presente. (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)

O artigo trata da relação entre Humanidades, Ciências Humanas e Sociais e Filosofia, considerada à luz dos projetos pedagógico e epistêmico das humanidades clássicas, tendo por fio condutor a Renascença italiana e os Studia Humanitatis, com a Filosofia como disciplina-piloto. Ao fazer o trânsito para a modernidade, com o surgimento das ciências humanas e sociais e o descentramento da filosofia, haverá o colapso dos projetos pedagógico e epistêmico dos Studia dos renascentistas, num ambiente de pesada cultura disciplinar, tendo por (...) resultado a ultrafragmentação do conhecimento, levada a cabo sem qualquer perspectiva de unificação. O resultado é o mal-estar epistemológico, que vai junto com a ideia de perda de relevância da filosofia, ao se ver afastada dos processos pedagógico e epistêmico das ciências, e, paralelamente, das próprias disciplinas científicas, impedidas, em razão da ultrafragmentação, de nos dar uma visão unificada da humanidade e da realidade humana circundante. Tal situação levará ao questionamento acerca da oportunidade de relançamento do projeto pedagógico-epistêmico das Humanidades Clássicas, visando vencer o mal-estar epistemológico e a síndrome da irrelevância da filosofia e das ciências empíricas do homem. Contudo, como mostraremos, tal relançamento não poderá consistir numa volta aos Studia ou em sua retomada pura e simples, mas deverá dar-se em novas bases científicas e filosóficas, levado a cabo em bases interdisciplinares, e não mais holísticas, com a filosofia como disciplina-piloto, como na Renascença. Neste cenário, o Brasil será considerado e uma proposta condizente com o nosso contexto acadêmico e a realidade nacional nos dias de hoje será feita. (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)

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)

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)