A crítica wittgensteiniana à teoria da identidade de Ramsey
|
|
- Manuel Castilho Cabral
- 5 Há anos
- Visualizações:
Transcrição
1 A crítica wittgensteiniana à teoria da identidade de Ramsey Anderson Luis Nakano Doutorando em Filosofia pela UFSCar. Bolsista FAPESP gmail.com Palavras-chave Ramsey, Wittgenstein, logicismo, identidade, funções em extensão. Resumo Ramsey foi certamente o primeiro a mourejar, do ponto de vista técnico, nas consequências da eliminação, feita pelo Tractatus de Wittgenstein, do sinal de identidade enquanto uma função proposicional legítima. No plano da aritmética cardinal dos Principia Mathematica, as consequências desta eliminação eram devastadoras e minavam o projeto logicista como um todo. Por outro lado, Ramsey acreditava que a teoria do Tractatus, segundo a qual o método propriamente matemático consiste em trabalhar com equações, encontrava dificuldades insuperáveis. Em face destas dificuldades, Ramsey procurou defender, contra Wittgenstein, uma posição logicista segundo a qual as equações corretas da aritmética podem ser concebidas como tautologias (e as incorretas como contradições). Para isto, Ramsey procurou legitimar uma outra definição do sinal de identidade, que não estivesse exposta às mesmas críticas que Wittgenstein fizera à tentativa de Russell de defini-lo a partir do princípio leibniziano de identidade dos indiscerníveis. Para isto, Ramsey introduz a noção de função em extensão, a qual serviria como uma ferramenta para extensionalizar a lógica, possibilitando um cálculo lógico de extensões. Neste contexto, o presente trabalho procura elucidar, em um primeiro momento, os detalhes deste movimento apresentado sucintamente neste resumo e, posteriormente, os argumentos que Wittgenstein move contra Ramsey, em particular a denúncia de circularidade que o filósofo austríaco faz à definição de Ramsey da identidade. Ramsey foi certamente o primeiro a mourejar, do ponto de vista técnico, nas consequências da eliminação, feita pelo Tractatus de Wittgenstein, do sinal de identidade enquanto uma função proposicional legítima. O trabalho de Ramsey, neste âmbito, dividiu-se em duas frentes. Na primeira delas, Ramsey dedicou-se ao problema da tradução dos enunciados dos Principia Mathematica de Russell, em particular dos que faziam uso do sinal de identidade, para uma linguagem que fazia uso da convenção tractariana de exprimir a identidade entre objetos ou variáveis por meio da identidade do sinal que representava estes objetos ou variáveis 1. Na segunda, Ramsey investigou os efeitos destrutivos da eliminação da identidade para a aritmética baseada, tal como nos Principia Mathematica de Russell, em uma teoria intensional das classes. A consequência mais imediata da eliminação do sinal de identidade é o fato de que nenhuma descrição (dada por uma função proposicional, por uma função material) pode ela própria garantir que ela é satisfeita por 31 1 Cf., em particular, Frank Plumpton Ramsey: Identity, em: Maria Carla Galavotti (ed.): Notes on Philosophy, Probability and Mathematics, Napoli: Bibliopolis, 1991, pp
2 32
3 33
4 de um aparato suficiente para prover uma lógica extensional. Que a matemática seja essencialmente extensional, na concepção de Ramsey, isto era o resultado do fato que as relações e conceitos de que a matemática precisava não eram relações e conceitos materiais/reais (actual) 6. Assim, era preciso extensionalizar a lógica para que ela desse conta desta característica constitutiva da matemática. Em um certo sentido, Wittgenstein concorda com o diagnóstico de Ramsey: a matemática trabalha com extensões. É o passo que Ramsey dá na tentativa de tratar extensões pela lógica que é condenado 7. O fato é que, se a ideia de uma função em extensão não é permitida na lógica, o projeto logicista cai por terrra. É por isso que, consequente com seu objetivo, Ramsey procurará dar cidadania a esta noção que parece ter uma doppia vita intensional e extensional. É precisamente a noção de função em extensão que aparece, para Ramsey, como uma noção que completa o rol de intensões que os conceitos materiais não são capazes de prover; como uma noção que faz as vezes, na lógica, do meramente possível. O modo pelo qual Ramsey introduz a noção de função em extensão o único modo, segundo ele, viável é um abandono da concepção de função tal como concebida por Russell nos Principia Mathematica e por Wittgenstein no Tractatus, no sentido em que a estrutura de uma proposição que é analisada em termos de uma função em extensão e seus argumentos deixa de ter qualquer vínculo com a estrutura da proposição que é valor da função para aqueles argumentos. No caso de uma função unária, ela resulta, segundo Ramsey (1931, p. 52, grifo e tradução nossos), (...) de qualquer relação um-para-muitos em extensão entre proposições e indivíduos; isto é, uma correlação, praticável ou impraticável, na qual uma única proposição é associada a cada indivíduo, sendo este o argumento da função, e a proposição seu valor. Assim (Sócrates) pode ser Queen Anne está morta, (Platão) pode ser Einstein é um grande homem; ˆx sendo simplesmente uma associação arbitrária de proposições x a indivíduos x. Uma função em extensão será marcada por um sufixo e, portanto eˆx. Ora, como Ramsey adota, em seu sistema de lógica, o Axioma do Infinito 8, uma tal correlação é sempre impossível de ser feita na prática. Mas isso, segundo Ramsey, pouco importa: embora uma tal correlação não esteja disponível individualmente, ela sempre estará incluída nas proposições que quantificam sobre a totalidade de funções em extensão, e são precisamente estas proposições que são importantes para a matemática, e não proposições que versam sobre uma função em extensão particular Cf. Ramsey: The Foundations of Mathematics and other Logical Essays, p Cf. Juliet Floyd: Wittgenstein on Philosophy of Logic and Mathematics, em: Stewart Shapiro (ed.): The Oxford Handbook of Philosophy of Logic and Mathematics, Oxford: Oxford University Press, 2005, p. 105 : The heart of his unwillingness to follow Ramsey s approach to the foundations of mathematics was that he could not see what made the notion of function-in-extension a logical notion. 8 Cf. ibid., p. 61.
5 A partir da introdução das funções em extensão, a identidade x = y é definida como ( e ) e x e y. Esta definição é adequada, segundo Ramsey, pois quando x e y denotam o mesmo indivíduo, o definiens se torna uma tautologia, caso contrário ele se torna uma contradição. Em uma nota de rodapé 9, Ramsey nota que a proposição ( ) x y, por outro lado, também é uma tautologia caso x e y denotem o mesmo, mas não é, no caso oposto, uma contradição, como também acontecia, como vimos, no caso da tradução lógica de expressões aritméticas. Munido das funções em extensão, Ramsey poderia evitar, por conseguinte, este problema e tratar equações corretas como tautologias e equações incorretas como contradições, concretizando assim o seu projeto logicista. Não é de causar espanto o fato de Wittgenstein condenar 10 tanto a definição da identidade de Ramsey quanto a própria ideia de função em extensão. A função em extensão abandona duas características centrais da noção de função proposicional como concebida pelo Tractatus: i) uma função em extensão não determina uma forma lógica; ii) uma função em extensão não caracteriza o sentido da proposição que é valor da função para um determinado argumento, mas apenas seu modo de apresentação. Nesse sentido, a função em extensão deixa de ter uma relação interna e essencial com o valor da função para um dado argumento, mas passa apenas a ter uma relação externa e convencional com este valor. Com efeito, a função em extensão é, na verdade, um dicionário que correlaciona objetos e proposições, e já não representa, como a função proposicional legítima, uma característica comum a uma classe de proposições. Dada uma proposição, digamos, Sócrates é ateniense, é possível inferir a função proposicional que produziu esta proposição para o argumento Sócrates, ao passo que, no caso da função em extensão, esta inferência não pode ser feita, já que a função em extensão não possui vínculo algum, a não ser mediante uma convenção arbitrária, com o valor da função para um dado argumento. Nesse sentido, ainda que o valor de uma certa função em extensão e para o argumento Sócrates seja de fato a proposição Sócrates é ateniense, essa correlação não é algo que se poderia obter a partir da análise da proposição ela própria, mas é antes o produto de uma convenção simbólica, que já não tem nenhuma ligação essencial com a estrutura proposicional. Os argumentos que Wittgenstein move contra Ramsey e sua definição da identidade se encontram espalhados por diversos textos do período intermediário de seu pensamento, que vão desde uma carta pessoal ao próprio Ramsey até obras não publicadas como as Observações Filosóficas e a Gramática Filosófica. Em todas elas há uma denúncia de círcularidade da definição de Ramsey. Neste curto texto, iremos nos ater apenas a uma metáfora que Wittgenstein utiliza, nas Observações Filosóficas, para explicar o seu desconforto 35 9 Cf. Ramsey: The Foundations of Mathematics and other Logical Essays, p A primeira crítica à Ramsey ocorre em uma carta de 1927, na qual Wittgenstein aponta para o fato de que a função de Ramsey para a identidade leva a contrassensos, e não apenas a proposições sem sentido (tautologias e contradições). Cf. Ludwig Wittgenstein: Wittgenstein in Cambridge: Letters and Documents , ed. por Brian McGuinness, Malden: Blackwell, 2008, pp
6 com a teoria da identidade de Ramsey. A exposição desta metáfora é suficiente, creio, para que se reconheça o penhasco em que tal tentativa de definição da identidade deve necessariamente cair. Eis a metáfora (Wittgenstein, 1964, p. 143, tradução nossa): A teoria da identidade em Ramsey comete o erro que seria cometido por alguém que dissesse ser possível usar um quadro também como um espelho, mesmo que somente para uma única postura. Dizer isso é ignorar que o essencial para um espelho é justamente que dele se pode inferir a postura do corpo que está a sua frente, ao passo que, no caso do quadro, é preciso saber primeiramente que as posturas coincidem antes de se poder entender o quadro como uma imagem de espelho. Na metáfora, o espelho representa a noção legítima de função, enquanto que o quadro usado como espelho representa a noção de função em extensão, concebida como um dicionário que correlaciona objetos a proposições. Quando Wittgenstein afirma que o essencial para um espelho é a possibilidade de inferir a postura do corpo que está na sua frente, ele quer dizer que, para uma função, é essencial que, dado um argumento para ela, seja possível inferir o seu valor independentemente de qualquer correlação arbitrária. Se f( ) é uma função legítima e a é seu argumento, o sentido da proposição f(a) não é modo algum determinado pela determinação de Ramsey 11 ou daquele que traçar efetivamente a correlação arbitrária proposta por Ramsey, mas é simplesmente determinado pela função e argumento eles próprios. Já no caso da função em extensão, afim de que seja possível utilizá-la como uma função legítima, é preciso saber de antemão que a correlação foi feita corretamente, que o valor de f( ) para o argumento a seja, de fato, f(a). Mas Ramsey poderia replicar que não é preciso utilizar funções em extensão enquanto funções legítimas, mas apenas como um instrumento para definir a identidade e, com isso, criar as bases para um cálculo lógico de extensões. Mas seria isto possível? Pois vamos supor que as funções em extensão não funcionem de modo análogo a funções legítimas e suponhamos que alguém esteja em dúvida a respeito da identidade entre dois objetos denotados por a e b, isto é, se a verdade ou falsidade da proposição a = b está sub judice. A definição proposta por Ramsey fornece supostamente um critério segundo o qual se poderia decidir a respeito da verdade ou da falsidade desta proposição. Mas, para isso, seria preciso percorrer a totalidade das funções em extensão para que uma tal questão fosse decidida. Deixando de lado o problema do infinito o que Wittgenstein parece sugerir quando afirma que o problema surgiria mesmo que o quadro fosse usado como espelho apenas para uma única postura, o problema pode ser colocado nos seguintes termos: como as funções em extensão não se comportam como funções legítimas, não basta que o nome da função e seu argumento Compare com a crítica que o Tractatus faz, no aforismo 4.431, da teoria fregiana da negação, utilizando a distinção entre função e índice. É uma característica de um índice o fato de que não é suficiente conhecer o seu significado se é que ele tem algum significado e o significado do nome que o índice acompanha para conhecer o significado do sinal composto do nome e do índice, assim como acontece com as palavras compostas (p. ex., criado-mudo). É preciso ainda de uma nova determinação arbitrária para conferir-lhe um significado.
7 sejam dados para saber o valor da função para um tal argumento. É preciso ainda de uma correlação arbitrária que vincula o argumento da função com uma proposição qualquer. Mas como traçar esta correlação adequadamente sem saber, ex hypothesi, se a é ou não idêntico a b? Afinal, é preciso saber se os valores da função, para os argumentos a e b, podem ser distintos, o que acontece apenas se a não é idêntico a b. Deste modo, malogra toda tentativa de definir a identidade por meio de funções construídas arbitrariamente pois, na definição da função, cumpriria indicar, para cada argumento distinto, um único valor para a função; e ao aplicar a definição a um caso particular, surgiria novamente a questão de saber se dois objetos são de fato idênticos ou distintos. E assim nos moveríamos em círculo. Dado o fracasso de toda e qualquer tentativa de se criar as bases para uma lógica extensional, Wittgenstein será levado a vincular, nas Observações Filosóficas, a teoria do número cardinal a uma teoria extensional das classes, desvinculando a primeira de todo e qualquer aparato lógico/intensional, de toda e qualquer tentativa de se fornecer a forma mais geral da aplicação do número e das equações aritméticas. O reconhecimento deste caráter autônomo da aritmética, no entanto, merece ser considerado em mais pormenores do que este pequeno trabalho nos permite. 37
8 Bibliografia FLOYD, J. Wittgenstein on Philosophy of Logic and Mathematics, em: Stewart Shapiro (ed.): The Oxford Handbook of Philosophy of Logic and Mathematics, Oxford: Oxford University Press, RAMSEY, F. P. Identity, em: Maria Carla Galavotti (ed.): Notes on Philosophy, Probability and Mathematics, Napoli: Bibliopolis, The Foundations of Mathematics and other Logical Essays. London: Routledge, WITTGENSTEIN, L. Tractatus logico-philosophicus. São Paulo: Editora Edusp, Wittgenstein in Cambridge: Letters and Documents , ed. por Brian McGuinness, Malden: Blackwell, Philosophische Bemerkungen, ed. por Rush Rhees, Frankfurt: Suhrkamp,
A crítica wittgensteiniana à teoria da identidade de Ramsey
A crítica wittgensteiniana à teoria da identidade de Ramsey Anderson Luis Nakano Doutorando em Filosofia pela UFSCar. Bolsista FAPESP andersonnakano@ gmail.com Palavras-chave Ramsey, Wittgenstein, logicismo,
Leia maisLÓGICA, MATEMÁTICA E INFERÊNCIA NO TRACTATUS
14 LÓGICA, MATEMÁTICA E INFERÊNCIA NO TRACTATUS Anderson Luis Nakano 1 O Tractatus Logico-Philosophicus 2 é uma obra sobre a fundamentação da lógica. Em geral, a tarefa filosófica de fundamentação de uma
Leia maisWITTGENSTEIN E A NOÇÃO MINIMALISTA DA VERDADE 1. INTRODUÇÃO
WITTGENSTEIN E A NOÇÃO MINIMALISTA DA VERDADE PEREIRA, Julio Henrique Carvalho ; DO CARMO, Juliano Santos Universidade Federal de Pelotas juliohenrique-pereira@hotmail.com Universidade Federal de Pelotas
Leia maisPalavras-chave: divisão por zero; números transreais; semântica total; espaço lógico.
Números Transreais e o Espaço Lógico Tiago S. dos Reis Doutor pelo HCTE/UFRJ Professor do IFRJ - Volta Redonda tiago.reis@ifrj.edu.br Resumo: Divulgamos uma proposta de matematização, de geometrização,
Leia maisA LINGUAGEM NO TRACTATUS DE WITTGENSTEIN. Bruno Senoski do Prado (PIBIC), Marciano Adilio Spica (Orientador),
A LINGUAGEM NO TRACTATUS DE WITTGENSTEIN. Bruno Senoski do Prado (PIBIC), Marciano Adilio Spica (Orientador), e-mail: marciano.spica@gmail.com Universidade Estadual do Centro-Oeste, Setor de Ciências Humanas,
Leia maisUma questão acerca do espaço lógico no Tractatus Logico-Philosophicus
Uma questão acerca do espaço lógico no Tractatus Logico-Philosophicus Gustavo Gueraldini Michetti Mestrando em Filosofia pela UFSCar Bolsista CAPES gusmichetti@gmail.com Palavras-chave Espaço lógico. Fatos.
Leia maisA INTENCIONALIDADE NOS PARÁGRAFOS 20 A 38 DAS OBSERVAÇÕES FILOSÓFICAS DE WITTGENSTEIN
A INTENCIONALIDADE NOS PARÁGRAFOS 20 A 38 DAS OBSERVAÇÕES FILOSÓFICAS DE WITTGENSTEIN Resumo Aluno: Marcio Rodrigo Mello 1 (*) O conceito de intencionalidade é discutido em muitas passagens das Observações
Leia maisObjetivos Gerais. Ementa
DISCIPLINA: Metafísica, Ciência e Linguagem na Contemporaneidade Subtítulo: Cálculo, gramática, toda uma cultura Variações wittgensteinianas do Princípio de Contexto LINHA DE PESQUISA: METAFÍSICA, CIÊNCIA
Leia maisNotas de Ramsey sobre o Tractatus de Wittgenstein e versão preliminar dos Foundations of Mathematics
Notas de Ramsey sobre o Tractatus de Wittgenstein e versão preliminar dos Foundations of Mathematics Transcrição, tradução e introdução de Anderson Luis Nakano Pós-doutorando em Filosofia pela USP / Fapesp
Leia maisA LÓGICA E SUA APLICAÇÃO
SÍLVIA ALTMANN A Antecipação das Formas das Proposições Elementares no Tractatus de Wittgenstein Sílvia Altmann UFRGS Um dos fios condutores centrais da investigação que culminou no Tractatus é a tese
Leia maisconstituímos o mundo, mais especificamente, é a relação de referência, entendida como remissão das palavras às coisas que estabelece uma íntima
1 Introdução Esta tese aborda o tema da relação entre mundo e linguagem na filosofia de Nelson Goodman ou, para usar o seu vocabulário, entre mundo e versões de mundo. Mais especificamente pretendemos
Leia maisUMA PROVA DE CONSISTÊNCIA
UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)
Leia maisOBSERVAÇÕES FILOSÓFICAS 1 LUDWIG WITTGENSTEIN. OBSERVAÇÕES FILOSÓFICAS. SÃO PAULO: EDIÇÕES LOYOLA, TRADUÇÃO (DO
1 André Porto (UGF) 2 andre.s.porto@uol.com.br LUDWIG WITTGENSTEIN.. SÃO PAULO: EDIÇÕES LOYOLA, 2005. TRADUÇÃO (DO INGLÊS) POR ADAIL SOBRAL E MARIA STELA GONÇALVES. Reza a versão oficial da história da
Leia maisO Critério de Identidade entre objetos na Ontologia Tractariana
O Critério de Identidade entre objetos na Ontologia Tractariana Resumo: Este presente texto possui como objetivo expor a maneira como Ludwig Wittgenstein aborda o critério de identidade entre objetos no
Leia maisAlgumas considerações sobre a primeira pessoa segundo a filosofia intermediária de Wittgenstein
Algumas considerações sobre a primeira pessoa segundo a filosofia intermediária de Wittgenstein NOME DO AUTOR: Priscilla da Veiga BORGES; André da Silva PORTO. UNIDADE ACADÊMICA: Universidade Federal de
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisMatemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Leia maisFREGE E A FILOSOFIA DA LINGUAGEM 1
FREGE E A FILOSOFIA DA LINGUAGEM 1 FREGE AND THE PHILOSOPHY OF LANGUAGE Abílio Rodrigues Filho* Resumo É certo que Frege contribuiu imensamente para a filosofia da linguagem. Entretanto, isso não é o bastante
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisNOTAS DE AULA. O conceito familiar de Trabalho em Mecânica pode servir como ponto de partida: O trabalho elementar realizado por uma força F r
Trabalho e Calor Departamento de Engenharia Naval e Oceânica EPUSP PNV-3 Termodinâmica e Transferência de Calor NOTAS DE AULA Introdução Vamos aqui introduzir os conceitos de Trabalho e Calor em Termodinâmica.
Leia maisA Negação como uma Operação Formal
143 Rogério Saucedo Corrêa 1 A Negação como uma Operação Formal A Negação como uma Operação Formal Rogério Saucedo Corrêa Resumo A distinção entre operação e operação de verdade permite esclarecer o caráter
Leia maisGrice: querer dizer. Projecto de Grice: explicar a significação em termos de intenções.
Grice: querer dizer Referências: Grice, Paul, Meaning, in Studies in the Way of Words, Cambridge (Mas.), Harvard University Press, 1989, pp 213-223. Schiffer, Stephen, Meaning, Oxford, Oxford University
Leia maisPENSAMENTO E FIGURAÇÃO NO TRACTATUS LOGICO-PHILOSOPHICUS TÍTULO Thought and picture in the Tractatus Logico-Philosophicus
ISSN 0104-4443 Licenciado sob uma Licença Creative Commons PENSAMENTO E FIGURAÇÃO NO TRACTATUS LOGICO-PHILOSOPHICUS TÍTULO Thought and picture in the Tractatus Logico-Philosophicus Rogério Saucedo Corrêa
Leia maisSOBRE A IDENTIDADE NO TRACTATUS LOGICO-PHILOSOPHICUS 1
ARTIGO ORIGINAL DOI: 10.5216/PHI.V17I2.17676 SOBRE A IDENTIDADE NO TRACTATUS LOGICO-PHILOSOPHICUS 1 Rogério Saucedo Corrêa (UFSM) 2 rogeriosaucedo@ufsm.br Resumo: No Tractatus Logico-Philosophicus, o sinal
Leia maisWittgenstein: do Tractatus às Investigações. Acadêmico: Emerson Diego Maier
Wittgenstein: do Tractatus às Investigações Acadêmico: Emerson Diego Maier Biografia Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 Cambridge, 29 de Abril de 1951) foi um filósofo austríaco,
Leia maisPalavras-chave: transmatemática; números transreais; mundos possíveis.
Transmatemática e o Espçao dos Mundos Possíveis Tiago S. dos Reis Doutor pelo HCTE/UFRJ Professor do IFRJ tiago.reis@ifrj.edu.br Resumo: No presente trabalho fazemos uma síntese do que foi proposto durante
Leia maisUMA ANÁLISE DOS JOGOS DE LINGUAGEM EM DOIS MANUAIS DE GEOMETRIA EUCLIDIANA PLANA
23 a 26 de Maio 10 e 11 de Agosto de 2017 https://sesemat.wordpress.com/ UMA ANÁLISE DOS JOGOS DE LINGUAGEM EM DOIS MANUAIS DE GEOMETRIA EUCLIDIANA PLANA Person Gouveia dos Santos Moreira Universidade
Leia maisPressuposição Antecedentes históricos
A suposta natureza pressuposicional dos performativos Pressuposição Antecedentes históricos Luiz Arthur Pagani 1 1 Frege sentido sem referência (acomodação) [1, p. 137]: A sentença Ulisses profundamente
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisFILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS
FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item
Leia maisO artigo Sobre o sentido e a referência de Frege
O artigo Sobre o sentido e a referência de Frege Sérgio R. N. Miranda Universidade Federal de Ouro Preto O matemático e filósofo alemão Gottlob Frege nasceu em 1848 em Wismar, uma pequena cidade costeira
Leia maisLógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
Leia mais3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.
1 LIVRO Valorações e Tabelas de Verdade META: Apresentar tabelas de verdade para classificar proposições lógicas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar valorações de um conjunto
Leia maisIndiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos
Indiscernibilidade de Idênticos Atitudes Proposicionais e indiscernibilidade de Consideremos agora o caso das atitudes proposicionais, das construções epistémicas e psicológicas, e perguntemo-nos se é
Leia maisSERÃO AS EQUAÇÕES MATEMÁTICAS PSEUDOPROPOSIÇÕES? UMA ANÁLISE CRÍTICA DA FILOSOFIA DA MATEMÁTICA DO TRACTATUS LOGICO-PHILOSOPHICUS DE WITTGENSTEIN
SERÃO AS EQUAÇÕES MATEMÁTICAS PSEUDOPROPOSIÇÕES? UMA ANÁLISE CRÍTICA DA FILOSOFIA DA MATEMÁTICA DO TRACTATUS LOGICO-PHILOSOPHICUS DE WITTGENSTEIN Sérgio Ricardo Neves de Miranda 1 Pedro Merlussi 2 RESUMO
Leia maisMetáfora. Companion to the Philosophy of Language, Oxford, Blackwell, 1998, pp
Metáfora Referências: Aristóteles, Retórica, Lisboa, INCM, 2005. Black, Max, More about metaphor, in Ortony, Andrew (ed.), Metaphor and Thought (2 nd ed.), Cambridge, Cambridge University Press, 1993,
Leia mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisGeometria e Experiência
Geometria e Experiência Albert Einstein A matemática desfruta, entre as ciências, de um particular prestígio pela seguinte razão: suas proposições são de uma certeza absoluta e a salvo de qualquer contestação,
Leia mais1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
Leia maisApresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Leia maisLÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre 2005/2006
FUNDAMENTOS UNIVERSIDADE da MADEIRA Departamento de Matemática e Engenharias LÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre
Leia mais1. Métodos de prova: Construção; Contradição.
Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Bacharelado em Ciência da Computação Fundamentos Matemáticos para Computação 1. Métodos de prova: Construção; Contradição.
Leia maisQuantificadores Modulados e o Método da Semântica de Sociedades
Trabalho apresentado no XXXV CNMAC, Natal-RN, 2014. Quantificadores Modulados e o Método da Semântica de Sociedades Luiz Henrique C. Silvestrini Departamento de Matemática, FC, UNESP 17033-360, Bauru,
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisLógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1
Lógica Computacional Métodos de Inferência Passos de Inferência Raciocínio por Casos Raciocínio por Absurdo 1 Outubro 2015 Lógica Computacional 1 Inferência e Passos de Inferência - A partir de um conjunto
Leia maisO Projeto Simulações Positivas da Negação
WORKSHOP - Aspectos Lógicos da Negação O Projeto Simulações Positivas da Negação Prof. Dr. Daniel Durante Pereira Alves Departamento de Filosofia - DFIL Centro de Ciências Humanas, Letras e Artes CCHLA
Leia maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
Leia maisLógica Proposicional Parte 3
Lógica Proposicional Parte 3 Nesta aula, vamos mostrar como usar os conhecimentos sobre regras de inferência para descobrir (ou inferir) novas proposições a partir de proposições dadas. Ilustraremos esse
Leia mais5 Conclusão. ontologicamente distinto.
5 Conclusão Considerando a força dos três argumentos anti-materialistas defendidos por Chalmers e a possibilidade de doutrinas alternativas não materialistas, devemos definitivamente abandonar o materialismo?
Leia maisLÓGICA I. André Pontes
LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.
Leia maisSENTIDOS E PROPRIEDADES 1. Abílio Azambuja Rodrigues Filho 2
Abstracta 1:1 pp. 40 51, 2004 SENTIDOS E PROPRIEDADES 1 Abílio Azambuja Rodrigues Filho 2 Abstract: This article proposes an interpretation of the sense/reference distinction, especially regarding predicates.
Leia maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisUNIVERSIDADE DE SÃO PAULO
INTRODUÇÃO À FILOSOFIA 1º Semestre de 2011 Disciplina Obrigatória Destinada: alunos de Filosofia Código: FLF0113 Sem pré-requisito Prof. Dr. João Vergílio Gallerani Cuter Prof. Dr. Maurício de Carvalho
Leia maisMatemática, Metalógica e Construtivismo no Tractatus Logico-Philosophicus
UNIVERSIDADE FEDERAL DE MINAS GERAIS FACULDADE DE FILOSOFIA E CIÊNCIAS HUMANAS PÓS-GRADUAÇÃO EM FILOSOFIA Matemática, Metalógica e Construtivismo no Tractatus Logico-Philosophicus Felipe Lopes Belo Horizonte
Leia maisNotas de Aula Aula 2, 2012/2
Lógica para Ciência da Computação Notas de Aula Aula 2, 2012/2 Renata de Freitas & Petrucio Viana Departamento de Análise, IME UFF 23 de janeiro de 2013 Sumário 1 Conteúdo e objetivos 1 2 Legibilidade
Leia maisPlano de Ensino. EMENTA (parte permanente) PROGRAMA (parte variável)
Plano de Ensino DISCIPLINA: Filosofia da Ciência I PRÉ-REQUISITOS: HF300 ou HF305 ou HF362 ou HF397 PROFESSOR: Ronei Clecio Mocellin C.H. SEMANAL: 05 CÓDIGO: HF315 SEMESTRE: 1 / 2016 C.H. TOTAL: 90 EMENTA
Leia maisCompletude diz-se em Vários Sentidos
Completeness can be said in Several Meanings Edelcio Gonçalves de Souza Pontifícia Universidade Católica de São Paulo (PUC-SP) edelcio@pucsp.br Resumo: A partir de um raciocínio equivocado acerca do significado
Leia maisfilosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34.
Introdução Na Idade Média, a lógica foi concebida como a ciência da razão (scientia rationalis) ou como a ciência do discurso (scientia sermocinalis). Em geral, a primeira concepção distingue-se por identificar
Leia maisINTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:
INTRODUÇÃO A LÓGICA Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas 1 CIENCIA E LÓGICA RACIOCINIO LÓGICO NOTAÇÃO POSICIONAL PRINCIPIOS DA LÓGICA CONECTIVOS LÓGICOS REGRAS DE
Leia maisJ. Sebastião e Silva, Compêndio de Matemática, 1º Volume, 1º Tomo
J. SEBASTIÃO E SILVA pares, o conjunto dos quadrados perfeitos, o conjunto dos números primos maiores que 10 6, etc., etc. Pelo contrário, o conjunto dos números primos menores que 10 6 é finito. Outros
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisRacionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas Ficha técnica Autores: Professores de Filosofia do
Leia maisModalidade e Metafisica
Modalidade e Metafisica November 19, 2012 Segue-se um resumo/adaptação/explicação da introdução de Michael J. Loux ao livro The Possible and the Actual. 1 Cepticismo sobre a modalidade David Hume: rejeitava
Leia maisExpressões e enunciados
Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 3. Introdução à Teoria dos Conjuntos Um conjunto é uma coleção ou um agregado de objetos. Introduzindo Conjuntos Ex.: O conjunto das vogais; O conjuntos de pessoas na sala; O conjunto
Leia maisO que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo
Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais
Leia maisIME, UFF 3 de junho de 2014
Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisA Importância da Lógica para o Ensino da Matemática
Universidade do Estado do Rio Grande do Norte FANAT - Departamento de Informática Faculdade de Ciências e Tecnologia Mater Christi Curso de Sistemas de Informação A Importância da Lógica para o Ensino
Leia maisSemântica Operacional
Semântica Conceitos Semântica é o estudo do significado. Incide sobre a relação entre significantes, tais como palavras, frases, sinais e símbolos, e o que eles representam, a sua denotação. Semântica
Leia maisProva Escrita de Filosofia VERSÃO º Ano de Escolaridade. Prova 714/1.ª Fase. Entrelinha 1,5, sem figuras nem imagens, texto alinhado à esquerda
EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 14 Páginas Entrelinha 1,5, sem figuras nem imagens, texto
Leia maisA MATEMÁTICA DAS PHILOSOPHISCHE BEMERKUNGEN : WITTGENSTEIN NO CONTEXTO DA GRUNDLAGENKRISE
UNIVERSIDADE FEDERAL DE SÃO CARLOS DEPARTAMENTO DE FILOSOFIA E METODOLOGIA DAS CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA A MATEMÁTICA DAS PHILOSOPHISCHE BEMERKUNGEN : WITTGENSTEIN NO CONTEXTO DA
Leia maisArgumentos e Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 7 Argumentos e Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Argumentos 1 1.1 Observações................................
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisMetafísica Matemática
Metafísica Matemática Thiago de Paiva Campos O que é o Ser? Eis o primordial problema da Metafísica, isto é, definir com precisão rigorosa o que de fato é o Ser. Pata nós, que abordaremos a Metafísica
Leia maisDuração da Prova: 120 minutos. Tolerância: 30 minutos.
EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30
Leia maisThe necessary and the possible de Michael Loux
Filosofia Unisinos 12(3):280-286, sep/dec 2011 2011 by Unisinos doi: 10.4013/fsu.2011.123.07 Resenha LOUX, M. 2006. The necessary and the possible. In: M. LOUX, Metaphysics: A contemporary introduction.
Leia maisUm alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Leia maisartigos WITTGENSTEIN SOBRE HIPÓTESES E REGRAS Palavras-chave: Wittgenstein; Verificacionismo; Fenomenologia; Hipóteses; Regras.
artigos WITTGENSTEIN SOBRE HIPÓTESES E REGRAS Daniel Soares da Silva 1 RESUMO: Este artigo visa a analisar a noção de hipótese, tal como aparece em alguns escritos da filosofia intermediária (1929-1936)
Leia maisUNIVERSIDADE FEDERAL DA BAHIA
UNIVERSIDADE FEDERAL DA BAHIA FACULDADE DE FILOSOFIA E CIÊNCIAS HUMANAS DEPARTAMENTO DE FILOSOFIA GRADUAÇÃO EM FILOSOFIA MURILO GARCIA DE MATOS AMARAL A TEORIA PICTÓRICA DA PROPOSIÇÃO NO TRACTATUS LOGICO-PHILOSOPHICUS
Leia maisA LÓGICA E SUA APLICAÇÃO. O problema das formas possíveis das proposições elementares no Tractatus Logico-philosophicus de Wittgenstein
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE FILOSOFIA E CIÊNCIAS HUMANAS CURSO DE PÓS-GRADUAÇÃO EM FILOSOFIA A LÓGICA E SUA APLICAÇÃO O problema das formas possíveis das proposições elementares
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisWITTGENSTEIN, NECESSIDADE E LINGUAGEM
WITTGENSTEIN, NECESSIDADE E LINGUAGEM Marcos Henrique Rosa UFG Em todas as fases dos escritos de Wittgenstein o problema da necessidade esteve no centro de seus interesses. Com efeito, tanto no Tractatus
Leia maisIntrodução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Leia maisBetween the empirical and the transcendental: ostensive gestures wittgensteinian in the teaching of mathematics
Entre o empírico e o transcendental 1 : gestos ostensivos wittgensteinianos no ensino da matemática Between the empirical and the transcendental: ostensive gestures wittgensteinian in the teaching of mathematics
Leia maisGeometria Euclideana Plana
Geometria Euclideana Plana A partir de agora, iremos iniciar nosso estudo axiomático da Geometria Euclidiana Plana. Vimos que os postulados de Euclides não são suficientes para demonstrar todos os resultados
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
Leia maisO Lugar dos Fatos na Teoria Pictórica
A Revista de Filosofia Manoel Pereira Lima Junior * O Lugar dos Fatos na Teoria Pictórica RESUMO Neste artigo, pretendemos investigar o papel que os fatos cumprem na teoria pictórica do Tractatus de Wittgenstein.
Leia maisLógica e Raciocínio. Introdução. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Introdução 1 Lógica... é a ciência que estuda os princípios e aproximações para estabelecer a validez da inferência e demonstração:
Leia mais. Wittgenstein: Rules, Grammar and Necessity Vol. 2 de An Analytical Commentary on the Philosophical Investigations. Oxford: Basil Blackwell, 1985.
BIBLIOGRAFIA BAKER, G.P; HACKER, P.M.S., Wittgenstein. Understanding and Meaning Vol. 1 de An Analytical Commentary on the Philosophical Investigations. Oxford: Blackwell, 2005 [1980].. Wittgenstein: Rules,
Leia maisMatriz da Prova de Matemática
PROVA DE AVALIAÇÃO DE CAPACIDADE TÉCNICO SUPERIOR PROFISSIONAL DE CONTABILIDADE E FISCALIDADE; INSTALAÇÃO E MANUTENÇÃO DE REDES E SISTEMAS INFORMÁTICOS Matriz da Prova de Matemática ESTRUTURA E CARACTERIZAÇÃO
Leia maisContando o Infinito: os Números Cardinais
Contando o Infinito: os Números Cardinais Sérgio Tadao Martins 4 de junho de 2005 No one will expel us from the paradise that Cantor has created for us David Hilbert 1 Introdução Quantos elementos há no
Leia maisO que é o conhecimento?
Disciplina: Filosofia Ano: 11º Ano letivo: 2012/2013 O que é o conhecimento? Texto de Apoio 1. Tipos de Conhecimento No quotidiano falamos de conhecimento, de crenças que estão fortemente apoiadas por
Leia maisQuine e Davidson. Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo
Quine e Davidson Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo Historiografia e Filosofia das Ciências e Matemática ENS003 Prof. Valter A. Bezerra PEHFCM UFABC
Leia maislógica e teoria de conjuntos
aula 01 lógica e teoria de conjuntos A noção matemática mais fundamental é certamente a noção de conjunto. Adoptaremos a concepção cantoriana, segundo a qual um conjunto é uma colecção X de objectos, produto
Leia maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia mais