A linguagem mental explica o caráter significativo das linguagens falada e escrita: seus elementos e estrutura são identificados através de critérios teóricos que servem a este fim. Estes critérios parecem manter uma certa indeterminação em relação aos elementos e estruturas da linguagem mental, se se espera que eles decidam entre diferentes formas de apresentação possíveis. Esta expectativa, contudo, não é razoável dentro da filosofia ockhamiana. A teoria da linguagem mental pode desempenhar os papéis teóricos a ela destinados sem determinar a (...) forma que deveria ter uma linguagem canônica que a apresentasse. Há no entanto uma outra indeterminação na forma da proposição mental, relativa a ocorrências de proposições, que efetivamente ocorre nos textos ockhamianos : proposições mentais podem ser atos mentais simples e ter uma semântica composicional. Esta tese surpreendente nos lembra que embora a análise semântica que identifica estruturas da linguagem mental descreva algo que tem uma realidade psicológica, a descrição psicológica ela mesma deve recorrer a outros elementos da filosofia ockhamiana, e em particular, sua teoria dos atos mentais. (shrink)

Bolzano propôs uma teoria da verdade que se diferencia das restantes por defender que as proposições são objetivas (não são juízos nem frases) e, consequentemente, que também as proposições verdadeiras (e as falsas) são objetivas (não constituem a correspondência entre um juízo/uma frase e um facto objetivo nem uma qualquer relação entre juízos/frases). Para além disso, considero que propõe uma teoria metafísica da correspondência (à qual não adiro), de acordo com a qual a verdade consiste na correspondência entre uma (...) class='Hi'>proposição objetiva e um facto. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, (...) Kripke conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

No debate acerca da singularidade de, pelos menos, alguns de nossos pensamentos sobre o mundo, assume-se corriqueiramente que o responsável pela natureza singular do episódio mental não é o próprio episódio e, sim, a proposição singular expressa quer por um proferimento assertórico de sentença singular autônoma, quer pela cláusula complementar em um relato de atribuição de atitude proposicional. As rotas semânticas padrão assumem que a singularidade do episódio mental (conceitual) é por assim dizer “herdada” da singularidade do conteúdo. Argumento (...) que este pressuposto apresenta uma lacuna, pois desconsidera o papel desempenhado em certos atos de pensamento, chamados de episódicos, por habilidades cognitivas tais como a capacidade de perceber objetos particulares, de vivenciar (novamente) ou de projetar-se mentalmente em direção a acontecimentos particulares pessoais, diretamente responsáveis por sua singularidade. No entanto, contra a tese de que haveria capacidades episódicas aí envolvidas, argumento que a singularidade dos atos de pensar episódicos se dá pelo exercício pontual no espaço e no tempo dessas capacidades e há, portanto, um sentido não derivado em que eles podem ser qualificados como singulares. (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)

Os presentistas nos dizem que os únicos objetos percorridos pelos quantificadoresde escopo mais amplo são aqueles que existem no presente, o que leva seus críticos aperguntarem o que torna verdadeiros os enunciados sobre o passado, como “Sócrates foi umfilósofo”. Em defesa do presentismo, e seguindo a proposta de Fiocco (2007), argumentamosque o que torna verdadeiro um enunciado sobre o passado é uma proposição, que proposiçõesnão existem no tempo, e que nada na teoria presentista compromete seus defensores com atese de (...) que o que não existe no tempo não existe. (shrink)

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, (...) we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// -/- O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto. (shrink)

Resumo: No livro When is Knowledge True Belief? (2012), Richard Foley apresenta uma teoria do conhecimento bastante simples e original, que pretende desbancar as rivais e reorientar a teoria do conhecimento: um sujeito S sabe alguma proposição p se e somente se S verdadeiramente crê que p e não lhe falta nenhuma informação importante. Michael Hannon, em seu artigo “Is Knowledge True Belief Plus Adequate Information?” (2013), faz uma objeção à visão de Foley, acusando-o de oferecer um argumento circular (...) que, ao não diferenciar informação importante de informação não importante, acaba, em última instância, por fazer referência à própria noção de conhecimento. Acredito que a teoria apresentada por Foley está no caminho certo; porém, apresenta- se de forma incompleta. Neste artigo, apresento uma interpretação subjetivista de relevância epistêmica, proposta originalmente por Floridi, que complementa a visão proposta por Foley e rechaça as objeções levantadas por Hannon. Palavras-chave: Conhecimento. Informação. Relevância. -/- Abstract: In When is Knowledge True Belief? (2012), Richard Foley offers an original and extraordinarily simple theory of knowledge which intends to overcome its rivals and reorient the theory of knowledge: a subject S knows some proposition p if and only if S truly believes that p and does not lack any important information. Michael Hannon, in his article “Is True Belief Knowledge Plus Adequate Information?” (2013), puts forward an objection to Foley’s view which charges him of offering a circular argument that fails to distinguish important information from unimportant information without ultimately making reference to knowledge. I believe the theory presented by Foley is on the right . (shrink)

Este artigo tem por objetivo analisar o significado do termo 'utopia'. Para isso, é fundamental tratar da obra de Morus – origem do termo. O estudo aborda a formação do termo e a atribuição de significado negativo de fantasia e impossibilidade, o qual é rechaçado como incompreensão do movimento completo que caracteriza a utopia. Tal impressão de ilusão repousaria sobre o focar-se apenas no exercício imaginativo eutópico. A utopia é compreendida aqui como processo dialético fundado na análise de uma sociedade (...) distópica e proposição de uma antítese eutópica, cuja síntese é a ação prática transformadora no processo histórico. (shrink)

A presente dissertação tem como horizonte de pesquisa o conjunto de postulados e reflexões do filósofo espanhol Paul B. Preciado, a partir do qual este afirma que a noção de Multidão, tal como pensada por Michael Hardt e Antonio Negri, pode ser compreendida em termos de um “devir-revolucionário, multitudinário, constituído por singularidades diferenciadas”. Enquanto movimentos contraculturais, os deslocamentos subversivos onto-epístemo-políticos deflagrados pela Multidão comportam a possibilidade de promover a emancipação das singularidades que os compõem, bem como das políticas identitárias estabelecidas. (...) Neste sentido, a pesquisa propõe investigar como ocorre este processo de emancipação das subjetividades e singularidades, de modo a compreender como de fato é mobilizado o conceito de Multidão na teoria preciadiana, primeiro como “sujeito queer” e, posteriormente, como força des-identitária, isto é, como novo “sujeito político contemporâneo”. Para tal, será necessário estabelecer e analisar como o assujeitamento e a exploração capitalística são compreendidos na atualidade. Será utilizada como ferramenta hermenêutica para tal objetivo certos aspectos do pensamento de Judith Butler que permitem elucidar a produção concreta dos sujeitos, a exigência sistemática de assujeitamento ao cis-heteropatriarcado e a vulnerabilização dos sujeitos-individuados. Além disso, serão utilizados certos aspectos da teoria hardt-negriana que permitem esclarecer quais são as origens do conceito de Multidão e como os autores propõem a completa metamorfose da democracia enquanto plataforma para políticas emancipatórias, enfatizando o poder constituinte da biopolítica afirmativa da Multidão. Esta abertura conceitual possibilita contextualizar o recorte têmporo-espacial salientado por Preciado, a partir do qual fundamenta o conceito de farmacopornografia para identificar as mutações do capitalismo e seus mecanismos de exploração, como a sujeição social e a servidão maquínica. Desse modo, ao se reconhecer os mecanismos de dominação e exploração, torna-se viável a proposição de estratégias de subversão e práticas micropolíticas enquanto linhas de fuga que convergem com o conceito de Multidão, relida como insurgência contrafarmacopornográfica de desestabilização capitalística. (shrink)

Nos Segundos Analíticos I. 14, 79a16-21 Aristóteles afirma que as demonstrações matemáticas são expressas em silogismos de primeira figura. Apresento uma leitura da teoria da demonstração científica exposta nos Segundos Analíticos I (com maior ênfase nos capítulo 2-6) que seja consistente com o texto aristotélico e explique exemplos de demonstrações geométricas presentes no Corpus. Em termos gerais, defendo que a demonstração aristotélica é um procedimento de análise que explica um dado explanandum por meio da conversão de uma proposição previamente (...) estabelecida. Em uma estrutura silogística, a proposição previamente estabelecida é a premissa maior e o termo mediador deve ser comensurado ao explanandum. O conjunto da premissa maior e da premissa menor (o explanans) é coextensivo ao explanandum, mas há uma assimetria intensional entre o explanans e o explanandum, de modo que apenas o primeiro explique o último. Por fim, defendo que o elemento identificado no termo mediador deve ser o mais apropriado para explicar precisamente o que certo explanandum é. (shrink)

Um princípio moral a priori, segundo Kant, não resulta dizer que ele vem antes da experiência moral, mas que pode ter uma origem independente dela, recebendo uma justificação sem um recurso à experiência. A Metafísica dos Costumes de Kant é de ordem metodológica, sendo que o método analítico consiste em que a partir do saber filosófico aplica-se o princípio a casos particulares. Desse modo, Kant procura estabelecer o princípio supremo da moralidade e, este seria um juízo sintético a priori, tendo (...) as formas puras da sensibilidade e do entendimento para possibilitarem os juízos sintéticos a priori. Além disso, o princípio supremo da moralidade justificará a priori e deduzirá dele as obrigações morais. Há três proposições fundamentais das quais Kant estabelece para apresentar o princípio supremo da moralidade: a primeira refere-se ao valor moral da ação da qual está em seu cumprimento por dever e não simplesmente em conformidade com o dever; a segunda proposição afirma que uma ação desempenhada por dever não tem seu valor no propósito a ser atingido, mas na máxima que a determina; e por fim, a terceira declara o dever sendo a necessidade de uma ação executada por respeito à lei. Kant alcança o imperativo moral através de desdobramentos conceituais, onde formula o Imperativo Categórico sendo uma máxima de ação que possui um valor universal, isto é, aplicada ao indivíduo e para todos os outros seres racionais. Todo comportamento moral é, segundo Kant, comportamento regrado. Isso quer dizer que o agir moralmente consiste em seguir a lei moral de certo modo. Há um quadro de deveres apontado na obra Metafísica dos Costumes, onde se apresenta a distinção entre os deveres para consigo e deveres para com os outros e, dessa maneira, entende-se em deveres para consigo como, não cometer suicídio e desenvolver os talento, e assim, em deveres para com os outros se entende como, manter as promessas e ajudar as pessoas que necessitam. E portanto, Kant critica a Regra de ouro por não fazer essa distinção entre deveres para consigo e deveres para com os outros. O imperativo categórico institui a necessidade de julgar as máximas desde um ponto de vista imparcial, e uma máxima de ação é uma regra de agir que tem validade apenas para um indivíduo. Desse modo, uma ação praticada por dever tem seu valor na máxima que a determina, isto é, uma máxima de ação é uma regra subjetiva do agir, a possível portadora do dever moral. Kant testa as máximas a partir daquilo que ele considera o princípio supremo da moralidade, ou seja, o Imperativo Categórico. Logo, um imperativo é um mandamento da razão, onde todos os imperativos exprimem-se pelo verbo dever. Sendo assim, há duas subclasses básicas de imperativos: hipotéticas ou categóricas. Um imperativo hipotético apresenta uma ação como necessária para atingir um determinado fim, e os imperativos hipotéticos ainda se subdividem em problemáticos, isto é, para uma intenção possível, e em assertóricos, para uma intenção real. O Imperativo Categórico é o princípio que estabelece se as máximas de ação, ou seja, são regras subjetivas do agir, que podem ser consideradas leis práticas. Em outras palavras, o Imperativo Categórico é uma norma para decidir quais máximas podem ser transformadas em leis práticas. A fórmula geral do Imperativo Categórico, “Age apenas segundo uma máxima tal que possas ao mesmo tempo querer que ela se torne lei universal’’ é o único princípio da moralidade. Portanto, a universalidade de uma máxima é a exigência do princípio supremo da moral de Kant. Ter uma vontade boa é exatamente cumprir o dever pelo dever, e é exatamente isso que confere valor moral a nossas ações. Logo, seguir uma lei moral é apenas uma condição necessária do agir moralmente, mas não é suficiente. Kant em a Fundamentação da metafísica dos costumes sustenta, desse modo, que: “Não há nada em lugar algum, no mundo e até mesmo fora dele, que se possa pensar como sendo irrestritamente bom, a não ser tão-somente uma boa vontade.” (KANT, GMS, 4: 393) Segundo Kant o conceito de bom e mau não tem que ser determinado antes da lei moral, isto é, não existe nada de modo absoluto bom, mas apenas existe uma boa vontade. Desse modo, Kant critica tanto a ética antiga de virtudes e a ética utilitarista de seu tempo. Algumas propriedades são até favoráveis a essa boa vontade e podem facilitar muito sua obra, contudo não têm qualquer valor intrínseco incondicional, mas pressupõem sempre ainda uma boa vontade, que restringe, aliás, com razão, a alta estima em que são tidas e não permite tê-las como absolutamente boas. A moderação nos afectos e paixões, o autodomínio e a sóbria deliberação não somente são coisas boas sob muitos aspectos, mas parece até mesmo constituir uma parte do valor intrínseco da pessoa; só que falta muito ainda para declará-los sem restrição como bons. Pois, sem princípios de uma boa vontade, podem tronar-se extremamente maus, e o sangue-frio de um malfeitor torna-o não só mais perigoso, mas também ainda mais imediatamente abominável aos nossos olhos do que teria sido assim considerado sem isso. (KANT, GMS, 4: 393) Kant afirma, assim, que as virtudes de certo modo podem ser más se não existir uma vontade boa para guia-la, logo, ele não louva de modo absoluto as virtudes e também não admite que a felicidade possa ser o fim último que justifica as ações morais, mas a priorização do correto e não do bem. E por fim, Kant argumenta contra a ética utilitarista, declarando que uma ação não pode ser considerada como sendo absolutamente boa a partir de seus resultados. Desse modo, há regras morais que se deve cumprir, independente dos resultados ou consequências. A proposta da ética kantiana em sustentar que existem princípios auto evidentes, ou seja, normas morais, ou o tal princípio supremo da moralidade, onde prioriza o correto ao invés do bem, ao meu ver revela a pureza da ação do homem em contraste com sua capacidade para tal. Assim, quando Kant refere-se as ações, não apenas as consequências delas as tornam certas ou erradas, isto é, erradas independentemente das suas consequências, aliás, uma ação é errada quando com ela infringe-se intencionalmente algumas das normas morais. E por fim, acredito ser pior provocar um mal que permitir que um mal ocorra, como por exemplo, é pior matar uma pessoa que deixá-la morrer. E também, seria pior dar origem a um mal intencionalmente que dar a origem a um mal que não pretendemos produzir, como por exemplo, é pior torturar alguém que fazer algo que resulte em sofrimento como efeito colateral. (shrink)

O presente artigo se propõe definir o que é predicação em Aristóteles, como predicamos e qual o critério para determinar se uma predicação é verdadeira ou falsa. Nossas referências serão o livro Das Categorias, do capítulo 1 ao 5 e Da interpretação do capítulo 1 ao 6. Concluiremos que a teoria da predicação em Aristóteles afirma que definir algo é predicar e que o critério de verdade de uma proposição é a sua correspondência aos fatos.