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)

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)

Este artigo prolonga a análise do argumento apresentado por Descartes em favor da primeira certeza no início da Segunda Meditação, iniciada em um artigo anterior. É examinada a passagem subsequente ao referido argumento com vistas a estabelecer que sua compreensão aponta para um debate velado entre Descartes e seus leitores versa- dos na doutrina escolástica, mais particularmente nas concepções da definição como estruturada pela composição do gênero e da diferença e de específica e de conceito universal abstrato. Procuro mostrar que (...) as razões que Des- cartes dispõe para recusar essas concepções podem ser extraídas de certa interpretação do argumento em favor da certeza da proposição eu existo e que essa recusa é imprescindível para a compreensão adequada do penso, logo existo e, portanto, de seu argumento em favor do dualismo. -/- RESUMÉE: Cet article prolonge l´analyse, publiée dans un article précédent, sur l'argumentation cartésienne qui le conduit à la première certitude au début de la Seconde Méditation. Je propose une interprétation du passage, qui vient juste après cet argument, où Descartes décline la réponse « animal rational » à la question sur sa nature. Ce passage, comme j'essaierai de le montrer, cache un dialogue masqué entre l'auteur et ses lecteurs ayant une formation scolastique. Plus particulièrement, il s'agit de montrer que la critique de Descartes vise de façon plus générale la conception de la définition par genre et différence spécifique, ainsi que la notion de concept en tant qu’universal abstrait. Les raisons qui peuvent justifier cette critique et la rendre plus qu’un simple préjugé de la part de Descartes sont ici puisées dans l'interprétation de l'argumentation cartésienne en faveur de la première certitude, proposée auparavant. On verra alors que la compréhension correcte de ce qui est en question dans ce texte révèle une condition capitale et pour l' acceptation du je pense, donc j'existe et donc pour son raisonnement en faveur du dualisme. (shrink)

Último sermão da Igreja do naturalismo fundamentalista pelo pastor Hofstadter. Como o seu muito mais famoso (ou infame por seus erros filosóficos implacáveis) Godel, Escher, Bach, ele tem uma plausibilidade superficial, mas se se compreende que este é um cientificismo desenfreado que mistura questões científicas reais com os filosóficos (ou seja, o somente as edições reais são que jogos da língua nós devemos jogar) então quase todo seu interesse desaparece. Eu forneci um quadro para análise baseada na psicologia evolutiva e (...) no trabalho de Wittgenstein (desde que atualizado em meus escritos mais recentes). Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd (2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no século 21 6a Ed (2020), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outras. "Pode ser justamente perguntado qual a importância que a prova de Gödel tem para o nosso trabalho. Para um pedaço de matemática não pode resolver problemas do tipo que nos incomoda. --A resposta é que a situação, em que tal prova nos traz, é do nosso interesse. "O que devemos dizer agora?" -Esse é o nosso tema. No entanto, estranho soa, minha tarefa, tanto quanto diz respeito à prova de Gödel parece meramente consistir em deixar claro que tal proposição como: "suponha que isso poderia ser provado" significa em matemática. " Wittgenstein "observações sobre as fundações da matemática" p337 (1956) (escrito em 1937). "Meus teoremas só mostram que a mecanização da matemática, ou seja, a eliminação da mente e de entidades abstratas, é impossível, se alguém quiser ter uma base satisfatória e um sistema de matemática. Eu não tenho provado que existem questões matemáticas que são indecidíveis para a mente humana, mas só que não há nenhuma máquina (ou formalismo cego) que pode decidir todas as questões número-teórico, (mesmo de um tipo muito especial).... Não é a própria estrutura dos sistemas dedutivos que está a ser ameaçado com um demolir, mas apenas uma certa interpretação do mesmo, ou seja, a sua interpretação como um formalismo cego. " Gödel "obras coletadas" Vol. 5, p 176-177. (2003) "Toda inferência tem lugar a priori. Os acontecimentos do futuro não podem ser inferidos a partir do presente. A superstição é a crença no nexo causal. A liberdade da vontade consiste no fato de que as ações futuras não podem ser conhecidas agora. Só podíamos conhecê-los se a causalidade fosse uma necessidade interior, como a da dedução lógica. --A conexão do conhecimento e do que é sabido é aquela da necessidade lógica. ("A sabe que p é o caso" é sem sentido se p é um tautologia.) Se do fato que uma proposição é óbvia a nós, não segue que é verdadeiro, a seguir o obviedade não é nenhuma justificação para a crença em sua verdade. " TLP 5,133--5,1363 . (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)

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.

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)

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)

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)

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

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)

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)

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)