Introdução. Perry e os CI s: um problema para a semântica tradicional

Tamanho: px
Começar a partir da página:

Download "Introdução. Perry e os CI s: um problema para a semântica tradicional"

Transcrição

1 Introdução A noção de constituinte inarticulado (CI) foi formulada e utilizada a primeira vez por John Perry em um artigo de 1986, intitulado Thought Without Representation. Os objetivos principais desse artigo eram ligados a problemas que se encontram no âmbito da filosofia da mente, mas foi nos círculos de discussão da filosofia da linguagem que os CI s ganharam cidadania filosófica. Mas, o que são exatamente CI s? Essa pergunta por si só já oferece bastante dificuldade, visto que há discordância mesmo sobre o que seria uma definição interessante da noção de constituinte inarticulado. A título de esclarecimento, porém, digamos que CI s sejam componentes proposicionais de P não rastreáveis a partir de uma estrutura sintática bem formada que expresse P. Dada essa vaga definição, surge a questão: mas existem, de fato, CI s? Nessa comunicação investigaremos duas respostas do chamado minimalismo semântico a essa questão. Pretendemos, portanto, oferecer uma pequena introdução à problemática que ronda a noção de CI. Apesar de não se filiar à escola minimalista, os argumentos de Perry a favor da existência de CI s, muito em função do seu pioneirismo, nos servirão de ponto de apoio para o esclarecimento de algumas questões centrais. Perry e os CI s: um problema para a semântica tradicional Papéis do contexto Em um artigo de 1998, Indexicals, Contexts and Unarticulated Constituents, Perry discrimina três papéis exercidos pelo contexto no processo de comunicação: contextos présemânticos, semânticos e pós-semânticos. O contexto pré-semântico exerce sua função em casos de ambigüidade, homonímia, etc. É esse contexto que define, por exemplo, se a palavra manga está sendo usada para se referir a uma parte de vestimenta ou para se referir a uma fruta. O contexto semântico (contexto s ) é aquele que fornece a referência de termos indexicais, ou seja, termos cuja referência muda em diferentes contextos. O uso de indexicais, porém, é sempre governado por um tipo de regra lingüística (o caráter

2 kaplaniano) que determinará a referência do termo nos diferentes contextos 1. Desse modo, num contexto onde Napoleão profere Eu sou o imperador, o caráter do termo indexical eu determinará Napoleão como a referência de tal termo. O papel semântico do contexto pode ser esclarecido a partir da seguinte equação: Termo + Caráter + Contexto s = Referência Importante notar que o papel do contexto s é sempre exercido a partir de uma regra lingüística, ou seja, é tão somente a partir do caráter que o contexto fornece uma referência. Metaforicamente, no contexto s há uma vara de pescar (caráter) que retira o peixe (referência) da água. Essa propriedade do contexto s nos auxiliará a caracterizar melhor os CI s e esclarecer por que eles são um problema para a semântica tradicional. O contexto pós-semântico exerce seu papel depois que todas as tarefas semânticas 2 são executadas e, ainda assim, o conteúdo resultante não é proposicional, ou seja, não pode ser avaliado enquanto verdadeiro ou falso. Por exemplo, suponha uma estrutura sintática S, cujos componentes são a e b, sendo a um indexical e b um termo comum, de referência fixa. Para que S expresse uma proposição, precisamos de um contexto C, no qual uma referência para a possa ser, a partir do caráter de a, assinalada. Tomando então S no contexto C, obtemos uma referência para cada um dos componentes de S. Ao combinarmos essas referências (valores semânticos), obtemos um conteúdo P, se esse conteúdo for proposicional, o contexto pós-semântico não exercerá seu papel, caso o conteúdo não seja proposicional, o contexto pós-semântico irá fornecer outros valores semânticos necessários para que um conteúdo proposicional P seja formado. Para esclarecer a função do contexto pós-semântico (contexto p ), utilizaremos a seguinte equação: Sentença + Conteúdo + Contexto p = Proposição Esse é o contexto responsável pelo fornecimento de CI s, chamados, portanto, de inarticulados por não serem constituintes introduzidos a partir da estrutura sintática que expressou proposição na qual figuram. CI s (contexto p ) podem ser diretamente contrastados com indexicais (contexto s ), pois no caso dos primeiros não há um caráter a partir do qual a referência é captada no contexto, o contexto cede diretamente um valor semântico sem a 1 Essa regra lingüística pode, assim, ser tomada como uma função de contextos em referências. 2 Atribuição de referências aos componentes sintáticos, combinação a partir das regras de composicionalidade etc.

3 intermediação de uma norma lingüística; voltando à metáfora, no contexto p o peixe salta d água sem que uma vara o pesque. A existência de CI s Essa distinção nos auxilia a esclarecer um pouco mais o que são CI s a partir de sua relação com a noção de contexto. Mas, resta saber, existem constituintes proposicionais não rastreáveis a partir de uma estrutura sintática que expressa a proposição na qual os mesmos figuram? Existe algum caso em que o contexto fornece valores semânticos para conteúdos não-proposicionais sem a intermediação de uma regra lingüística ou algo equivalente? Perry pretende demonstrar que sim a partir do seguinte argumento. Suponha um homem que acorda na sua casa em Angra dos Reis e começa a se arrumar para seu futebol matinal. Seu filho, porém, o alerta com a sentença Está chovendo, fazendo com que o pai retorne à cama. O que exatamente foi expresso pelo filho do homem em questão? Que proposição e que fato reportado pela mesma poderia fazer com que o homem voltasse à cama desistindo de seu futebol? Certamente a proposição de que está chovendo em Angra dos Reis, visto que uma outra proposição qualquer, como a expressa por Está chovendo em Londres jamais faria com que o homem desistisse de seu futebol. Ora, mas a sentença original expressa pelo filho está chovendo não contém componente sentencial (sintático) algum que se refira à Angra dos Reis ou outra localidade, de modo que Angra não parece ser um componente proposicional rastreável a partir a estrutura sintática em questão. O fato de Angra dos Reis fazer parte da proposição expressa parece, na realidade, se dever a um outro aspecto da situação imaginada que não as palavras ditas pelo filho do homem: parece que Angra dos Reis era uma localidade saliente no contexto. Não havendo, porém, termo algum que se refira à Angra, tampouco haverá uma regra lingüística pertencente a algum componente da sentença que capte Angra no contexto, de maneira que a função do contexto em questão parece ser pós-semântica. Parecem, assim, estarem cumpridas as condições para um caso de constituição inarticulada. Colocando de modo mais formal, o argumento de Perry nos mostra que as proposições expressas por está chovendo contêm sempre mais componentes do que esse seu representante sentencial; não há, com efeito, como distinguir as condições de verdade de está chovendo e está chovendo em Angra dos Reis na situação sugerida, de modo que

4 Angra dos Reis terá que figurar na proposição expressa pela primeira, da mesma forma que figura naquela expressa pela segunda. Problema para a semântica O problema básico imposto pela existência de CI s do qual nos ocuparemos está explícito na própria nomenclatura que Perry dá ao contexto que fornece os CI s: póssemântico. Grosso modo, isso significa que para interpretar certas construções sintáticas bem formadas como está chovendo precisamos de mecanismos que não são semânticos em sua natureza. Vejamos, primeiramente, por que esse contexto é nãosemântico a partir de uma breve incursão na noção de semântica. Três princípios delineadores da noção de semântica nos bastam para esclarecer o problema gerado pelos CI s: (1) o input de uma interpretação semântica é sempre uma estrutura sintática; (2) o output de uma interpretação semântica é sempre um conteúdo proposicional; (3) Se o papel do contexto na interpretação da estrutura sintática S é semântico, então ele deve ser exercido a partir de uma regra lingüística que controle o uso de um dos componentes de S. A partir desses princípios fica fácil notar como o exemplo de Perry coloca em cheque tal noção de semântica. Com efeito, a partir da estrutura sintática (input semântico) de está chovendo não é possível obter uma proposição (output semântico) apelando para o contexto que exerce sua função somente a partir das regras lingüísticas que governam o uso dos componentes de está chovendo. Deve-se apelar para um contexto que exerça seu papel independentemente da estrutura sintática em questão e forneça um local na qual se diga estar chovendo. Esse problema está na base do crescimento da posição contextualista, defendida por autores como François Recanati e Charles Travis. A solução oferecida por essa escola consiste em modificar tal concepção de semântica tornada, ao que parece, inócua pelos argumentos de Perry a partir da negação do princípio (2). Para o contextualismo, portanto, semântica não lida com condições de verdade, mas com conteúdos préproposicionais que devem ser enriquecidos através de mecanismos pragmáticos para que se tornem proposicionais. Deve-se, assim, substituir a semântica de condições de verdade por uma pragmática das condições de verdade.

5 Contexto e Forma Lógica: A resposta do indexicalismo Sobre o minimalismo Existem na literatura atual pelo menos duas formas correntes de se entender o mote do minimalismo. Uma delas, sustentada por Herman Cappelen e Ernest Lepore, afirma que o minimalismo é a posição segundo a qual as únicas expressões sensíveis ao contexto são aquelas listadas por em Demonstratives por Kaplan plus or minus a bit 3. A partir dessa concepção do minimalismo, o chamado indexicalismo 4 posição sustentada por Jason Stanley não parece ser uma posição minimalista, dado que, como veremos, não adiciona poucas expressões indexicais ao conjunto listado por Kaplan. A concepção do minimalismo oferecida por François Recanati, por outro lado, parece compatível com o indexicalismo. O minimalismo seria, nesse caso, simplesmente a posição que vê na saturação o único papel necessário a ser exercido pelo contexto na formação de um conteúdo proposicional. A saturação seria a atribuição de valores semânticos aos componentes de uma estrutura sintática a partir do contexto. O papel do contexto seria, assim, sempre exercido a partir da sintaxe. No que se segue vamos nos utilizar desse sentido de minimalismo. Vejamos, agora, qual a solução do indexicalismo de Jason Stanley para o problema colocado por Perry e por que tal solução se encontra no âmbito do minimalismo semântico tal qual caracterizado por Recanati. Sobre forma lógica A noção mais fundamental da resposta de Jason Stanley aos argumentos de Perry é a de forma lógica. Stanley distingue duas concepções de forma lógica: a revisionista e a descritivista. A concepção revisionista de forma lógica é aquela defendida, por exemplo, por Russell em seu On Denoting, ou seja, uma estrutura sintática que represente melhor a realidade e explicite de modo mais claro algumas relações lógicas quando comparada com a sintaxe da linguagem natural. 3 C&L (2005); pg A nomenclatura foi cunhada por Recanati em seu Literal Meaning. Jason Stanley parece acatá-la em seu Review of François Recanati s Literal Meaning, publicado em Stanley (2007).

6 Forma lógica em sua concepção descritivista, por outro lado, é tomada como a estrutura sintática real das sentenças da linguagem natural, e não uma outra estrutura sintática construída com intenções específicas, como no caso da concepção revisionista. A partir da concepção descritivista de forma lógica não é possível, por exemplo, atribuir uma forma lógica a uma sentença que seja inconsistente com a sintaxe correta dessa sentença, seja ela qual for. Isso, obviamente, não vale para a concepção revisionista de forma lógica. A resposta de Jason Stanley lança mão da concepção descritivista de forma lógica. Como veremos, essa noção permitirá que Stanley negue uma das premissas do problema de Perry a saber, que a partir da estrutura sintática (input semântico) de está chovendo não é possível obter uma proposição (output semântico) ao postular uma estrutura sintática mais rica a forma lógica para a sentença está chovendo. Binding Assumption O princípio mais fundamental da resposta de Stanley é o que o autor chama de binding assumption ao qual ele dá a seguinte formulação. BA: Se α e β se encontram na mesma cláusula e α liga semanticamente β, então α é ou introduz um operador que liga variáveis, o qual é co-indexado com, e está numa relação estrutural com uma variável que é idêntica a ou um constituinte de β. Grosso modo, isso significa que, sendo α e β partes da mesma sentença, onde α é, por exemplo, um quantificador e β, por exemplo, uma sentença molecular, caso a interpretação de β dependa sistematicamente dos valores introduzidos por α, é necessário se postular uma variável como constituinte de β para que tal sentença possa ter uma leitura ligada ao quantificado α. Vejamos agora como a partir da noção de forma lógica e da binding assumption Jaston Stanley soluciona o problema colocado por Perry.

7 Um novo tratamento para o exemplo de Perry Para entendermos a solução de Stanley, observemos a seguinte sentença: (a) Toda vez que John acende um cigarro chove. Segundo Stanley, a leitura natural de (a) seria algo como: (a ) Para todo tempo t em que John acende um cigarro, chove no tempo t na localidade em que John está no tempo t. Por outro lado, argumenta Stanley, tal leitura não pode ser apreendida pela noção de constituinte inarticulado, visto que esse tipo de constituinte deve ser fornecido pelo contexto. A única leitura disponível para um defensor dos CI s seria, assim, algo como: (a ) Para todo tempo t em que John acende um cigarro, chove na localidade l saliente ao contexto de proferimento de (a). Obviamente, uma leitura pouco usual, visto que o local saliente no contexto pode ser outro completamente diferente do local em questão onde John acendeu seu cigarro. Para apreender a leitura (a ), Stanley postula uma variável na forma lógica da sentença chove cujo domínio seriam localidades. Desse modo, se uma quantificador preceder tal sentença, ele irá ligar tal variável e a interpretação funcionará como em (a ), caso a sentença se apresente sozinha, sem a precedência de um quantificador ou outro operador que ligue variáveis, a variável ficará livre e funcionará como um indexical, capturando seu referente no contexto saliente de modo semelhante à leitura (a ). Algumas das premissas de Perry eram, como vimos, que (1) os constituintes da sintaxe de chove não fornecem valores semânticos suficientes para a formação de uma proposição; (2) a formação de uma proposição a partir de chove dependia do fornecimento de uma localidade pelo contexto sem a intermediação de um componente sintático em chove cujo valor fossem localidades, i. e., o contexto não estaria exercendo, nesse caso, uma papel semântico. A postulação de uma variável na forma lógica de chove permite que neguemos ambas essas premissas: como a forma lógica de chove contém uma variável para lugares, a estrutura sintática dessa sentença fornece em um contexto valores semânticos suficientes; como há uma variável para lugares na forma lógica, o contexto fornece uma localidade com a intermediação de um componente sintático, o que caracteriza o papel semântico do contexto.

8 Stanley dá um ar semântico à equação pós-semântica de Perry: Sentença + Conteúdo + Contexto = Proposição A partir da substituição do conteúdo pré-proposicional pela forma lógica, que regulará o papel do contexto, transformando-o, assim, num contexto semântico: Sentença + Forma Lógica + Contexto = Proposição Minimalismo e sub-sintaxe O nível sub-sintático O tratamento para o nosso problema exposto no artigo Saying What You Mean, de Emma Borg, apela para um tipo de representação sintática mais rica (assim como Stanley), mas traça uma distinção entre o conteúdo semanticamente expresso e o conteúdo ordinário de uma sentença, o que lhe permitirá negar que o contexto possa ter um papel na proposição semanticamente expressa por Chove (diferentemente de Stanley). A noção fundamental da resposta de Borg é o que ela denomina de sub-sintaxe. Esse tipo de forma sintática tem o papel de adicionar componentes sintáticos aos componentes superficiais de uma sentença quando estes se mostrarem insuficientes. Por exemplo, o termo chuta é uma relação binária e, portanto, toda sentença em que tal termo figurar deve ter uma configuração do tipo x chuta y. É perfeitamente possível, porém, que nos utilizemos desse termo sem satura-lo, no nível superficial, com um de seus argumentos, como por exemplo na sentença Ibrahimović chuta. Nesse caso, a estrutura sub-sintática da sentença vai prover o argumento faltante ligando a variável contida no termo chuta a um quantificador existencial. Dessa maneira, apesar da superfície da sentença apresentar apenas um dos argumentos requeridos pelo verbo, a estrutura sintática mais profunda da sentença conteria o segundo. A proposição semanticamente expressa por Ibrahimović chuta seria, portanto, existe x tal que Ibrahimović chuta x. A partir disso fica imediatamente clara a solução que a autora dará ao problema de Perry. Apesar da superfície da sentença está chovendo não conter nenhum termo que indique uma localidade, a estrutura sub-sintática da sentença, a partir de uma exigência do verbo chover (um predicado binário) irá ligar a variável livre do predicado com um quantificador existencial. A proposição semanticamente expressa por está chovendo seria,

9 portanto, existe x tal que chove no tempo t em x, uma proposição que seria verdadeira mesmo que estivesse chovendo em Júpiter. Deve-se atentar para o fato de que, ao contrário de Stanley, não há papel a ser exercido pelo contexto na solução de Borg; não há uma variável livre escondida na estrutura profunda de está chovendo cuja denotação será determinada no contexto como um indexical a variável presente na estrutura sintática profunda da sentença será sempre ligada a um quantificador existencial, independentemente do contexto. Essa proposição, obviamente, parece não ser apropriada para expressar aquilo que normalmente desejamos quando usamos a sentença está chovendo. Porém, alerta Borg, não se deve requerer de uma teoria semântica que ela provenha conteúdos apropriados às intenções dos falantes. Com efeito, o significado literal (conteúdo semântico) de nossas sentenças nem sempre (ou quase nunca) é aquele que desejamos comunicar. Suponha o homem irônico que, ao ouvir da amiga Todos virão à minha festa, responde com um Mesmo? A rainha da Inglaterra virá?. Essa ironia, diria Borg, se baseia justamente na disparidade que há entre o conteúdo que a mulher quis comunicar e o conteúdo literal de suas palavras (que dificilmente ela teria intenção de comunicar). Vemos assim que a solução de Borg modifica a equação problemática de Perry: Sentença + Conteúdo + Contexto = Proposição Substituindo o contexto por um tipo mais rico de representação sintática, a sub-sintaxe da sentença, que terá o papel de enriquecer e tornar proposicional o conteúdo pobre gerado pela superfície da sentença: Sentença + Conteúdo + Sub-sintaxe = Proposição Conclusão Perpassamos, ao longo do texto, dois dos possíveis caminhos para responder ao problema gerado pelos CI s para a semântica tradicional. O primeiro dos caminhos (Stanley) aceita que o contexto tenha papel fundamental para a formação de uma proposição pela sentença está chovendo, mas nega que esse papel seja exercido sem a intermediação de um componente sintático da sentença a partir de uma estrutura sintática enriquecida.

10 O segundo (Emma Borg) aceita que os componentes sintáticos superficiais da sentença sejam insuficientes para a formação de um conteúdo proposicional, mas postula uma forma de representação sintática mais rica a partir da qual tal conteúdo seria expresso. Nega também o papel do contexto, fazendo com que o conteúdo expresso semanticamente por está chovendo seja o mesmo em todos os contextos. Referências C&L (2005) Stanley (2007) Cappelen, H. e Lepore, E Insensitive Semantics, Oxford: Blackwell. Stanley, J Language in Context, Oxford: Oxford University Press. Bibliografia Borg, E Saying What You Mean, em Elugardo, R. e Stainton, R. (eds.), Ellipsis and Non-sentential Speech, Dordrecht: Kluwer, pp Cappelen, H. e Lepore, E Insensitive Semantics, Oxford: Blackwell. Kaplan, D Demonstratives em Almog, J., Perry, J. e Wettstein, H. (eds), Themes from Kaplan, Oxford: Oxford University Press. Perry, John Indexicals, Contexts and Unarticulated Constituents em Westertahl, D. et al. (eds.), Computing Natural Language, Stanford: CSLI Publications, pp Recanati, F Literal Meaning, Cambridge: Cambridge University Press. Stanley, J Context and Logical Form, Linguistics and Philosophy 23, pp Stanley, J Language in Context, Oxford: Oxford University Press.

Inarticulados. Edição de 2016 do FCT Project PTDC/FIL-FIL/121209/2010. Editado por João Branquinho e Ricardo Santos

Inarticulados. Edição de 2016 do FCT Project PTDC/FIL-FIL/121209/2010. Editado por João Branquinho e Ricardo Santos Constituintes Proposicionais Inarticulados Edição de 2016 do Compêndio em Linha de Problemas de Filosofia Analítica 2012-2015 FCT Project PTDC/FIL-FIL/121209/2010 Editado por João Branquinho e Ricardo

Leia mais

Contextualismo e anti-contextualismo

Contextualismo e anti-contextualismo Contextualismo e anti-contextualismo Referências: Cappelen, Herman, and Lepore, Ernie, Insensitive Semantics, Oxford, Blackwell, 2005. Kaplan, David, Demonstratives, in Almog, J., Perry, J., and Wettstein,

Leia mais

Negação em Logical Forms.

Negação em Logical Forms. Negação em Logical Forms 125 Oswaldo Chateaubriand 1 Negação em Logical Forms Negação em Logical Forms. Oswaldo Chateaubriand Resumo Neste artigo enumero e discuto brevemente algumas teses centrais de

Leia mais

Referência dinâmica. Luiz Arthur Pagani (UFPR)

Referência dinâmica. Luiz Arthur Pagani (UFPR) Referência dinâmica Luiz Arthur Pagani (UFPR) 1 1 Introdução Motivo: sendo I uma função, ela não pode atribuir à mesma constante dois ou mais indivíduos [5, p. 160; grifo no original]. Com nome, argumento

Leia mais

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores 1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos

Leia mais

Vitor Mauro Ferreira de Romariz Bragança. Constituintes Inarticulados e Contexto. 1 volume. Rio de Janeiro

Vitor Mauro Ferreira de Romariz Bragança. Constituintes Inarticulados e Contexto. 1 volume. Rio de Janeiro UNIVERSIDADE FEDERAL DO RIO DE JANEIRO INSTITUTO DE FILOSOFIA E CIÊNCIAS SOCIAIS DEPARTAMENTO DE FILOSOFIA PROGRAMA DE PÓS-GRADUAÇÃO LÓGICA E METAFÍSICA Vitor Mauro Ferreira de Romariz Bragança Constituintes

Leia mais

nós, é melhor não escrever sobre uma teoria do que escrever superficialmente sobre ela.

nós, é melhor não escrever sobre uma teoria do que escrever superficialmente sobre ela. 1 Introdução A tese trata da teoria das descrições definidas de Bertrand Russell. Mais precisamente, ela trata de dois debates gerados pela teoria de Russell. O primeiro se dá entre russellianos e teóricos

Leia mais

SEMINÁRIO DE DISCUSSÃO

SEMINÁRIO DE DISCUSSÃO SEMINÁRIO DE DISCUSSÃO SOBRE CONTEXTUALISMO E ANTI-CONTEXTUALISMO NA FILOSOFIA DA LINGUAGEM CONTEMPORÂNEA ANA FALCATO (IFL/ FCSH-UNL) 7 de dezembro 2012 Projecto The Bounds of Judgment Frege, cognitive

Leia mais

Searle: Intencionalidade

Searle: Intencionalidade Searle: Intencionalidade Referências: Searle, John, The background of meaning, in Searle, J., Kiefer, F., and Bierwisch, M. (eds.), Speech Act Theory and Pragmatics, Dordrecht, Reidel, 1980, pp 221-232.

Leia mais

Capítulo 3 Lógica de Primeira Ordem

Capítulo 3 Lógica de Primeira Ordem Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo

Leia mais

Lógica. Cálculo Proposicional. Introdução

Lógica. Cálculo Proposicional. Introdução Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras

Leia mais

EXPRESSÕES ARITMÉTICAS PARTE 1

EXPRESSÕES ARITMÉTICAS PARTE 1 AULA 5 EXPRESSÕES ARITMÉTICAS PARTE 1 5.1 Operadores aritméticos Os operadores aritméticos definem as operações aritméticas que podem ser realizadas sobre os números inteiros e reais. Para os inteiros,

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 6-29/03/2012 Introdução à Lógica de Predicados 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

Leia mais

O modelo indexical para o pensamento

O modelo indexical para o pensamento issn 2526-7698 doi 10.17771 puc-rio 106 O modelo indexical para o pensamento * * Doutorando pela PUC-Rio phgmuniz@gmail.com resumo Diversas teorias já foram elaboradas na tentativa de explicar a semântica

Leia mais

Os Fundamentos: Lógica de Predicados

Os Fundamentos: Lógica de Predicados Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01

Leia mais

Metáfora. Companion to the Philosophy of Language, Oxford, Blackwell, 1998, pp

Metá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 mais

ELEMENTOS PARA A JUSTIFICAÇÃO DE UMA TEORIA CONTEXTUALISTA DA LINGUAGEM

ELEMENTOS PARA A JUSTIFICAÇÃO DE UMA TEORIA CONTEXTUALISTA DA LINGUAGEM UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE FILOSOFIA E CIÊNCIAS HUMANAS PROGRAMA DE PÓS GRADUAÇÃO EM FILOSOFIA MESTRADO EM FILOSOFIA WILTON DE MELO GONÇALVES BARBOSA ELEMENTOS PARA A JUSTIFICAÇÃO DE

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Frases Quantificadas Quantificadores e Variáveis Fórmulas Bem Formadas: Sintaxe e Semântica Formas Aristotélicas 21 Outubro 2013 Lógica Computacional 1 Frases Quantificadas - Existem

Leia mais

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo

Leia mais

Grice: querer dizer. Projecto de Grice: explicar a significação em termos de intenções.

Grice: 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 mais

Lógica proposicional

Lógica proposicional Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),

Leia mais

Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010

Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação

Leia mais

filosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34.

filosofia, 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 mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Símbolos individuais alfabeto & gramática: para caracterizar uma linguagem formal necessitamos,

Leia mais

OPERADORES MODAIS (NA INTERFACE LÓGICA E LINGUAGEM NATURAL)

OPERADORES MODAIS (NA INTERFACE LÓGICA E LINGUAGEM NATURAL) OPERDORES MODIS (N INTERFCE LÓGIC E LINGUGEM NTURL) Jorge Campos & na Ibaños Resumo: É muito comum que se fale em lógica em seu sentido trivial e no uso cotidiano da nossa linguagem. Mas, como se supõe

Leia mais

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe

Leia mais

1 Lógica de primeira ordem

1 Lógica de primeira ordem 1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e

Leia mais

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial

Leia mais

Introdução à Lógica Matemática

Introduçã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 mais

Unidade: Proposições Logicamente Equivalentes. Unidade I:

Unidade: Proposições Logicamente Equivalentes. Unidade I: Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente

Leia mais

3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.

3 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 mais

Cálculo proposicional

Cá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 mais

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS

Leia mais

Aula 5 Equações paramétricas de retas e planos

Aula 5 Equações paramétricas de retas e planos Aula 5 Equações paramétricas de retas e planos MÓDULO 1 - AULA 5 Objetivo Estabelecer as equações paramétricas de retas e planos no espaço usando dados diversos. Na Aula 3, do Módulo 1, vimos como determinar

Leia mais

Para informações, contatar o coordenador, ou visite a página do Grupo de Estudos no Facebook:

Para informações, contatar o coordenador, ou visite a página do Grupo de Estudos no Facebook: Grupo de Estudos de Filosofia da Fotografia (FAFIL/UFG) O Grupo de Estudos de Filosofia da Fotografia é um Projeto de Extensão da Universidade Federal de Goiás (UFG), coordenado pelo Prof. Dr. Guilherme

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Matemá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. 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 mais

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema

Leia mais

Representação de Conhecimento

Representação de Conhecimento Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

Leia mais

Completude diz-se em Vários Sentidos

Completude 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 mais

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 crença de que a estrutura lógica das línguas naturais não é igual à das línguas articiais da lógica:

Leia mais

SCC Capítulo 2 Lógica de Predicados

SCC Capítulo 2 Lógica de Predicados SCC-630 - Capítulo 2 Lógica de Predicados João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis

Leia mais

Aula 2: Linguagem Proposicional

Aula 2: Linguagem Proposicional Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.

Leia mais

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício

Leia mais

SENTIDOS E PROPOSIÇÕES COMO PROPRIEDADES Martin Motloch (Doutorando PUC -RJ)

SENTIDOS E PROPOSIÇÕES COMO PROPRIEDADES Martin Motloch (Doutorando PUC -RJ) SENTIDOS E PROPOSIÇÕES COMO PROPRIEDADES Martin Motloch (Doutorando PUC -RJ) RESUMO: O nosso objetivo é investigar a noção do sentido de Chateaubriand, sobretudo de sentido de sentenças. A proposta de

Leia mais

Podem Demonstrativos ter sentido? Can Demonstratives have sense?

Podem Demonstrativos ter sentido? Can Demonstratives have sense? Can Demonstratives have sense? Juliana Faccio Lima Mestranda pelo PPGLM da UFRJ Resumo: Heck, em Do Demonstratives have senses?, objeta a teoria que entende como a defendida por Perry em Frege on demonstratives.

Leia mais

Gestão Empresarial Prof. Ânderson Vieira

Gestão Empresarial Prof. Ânderson Vieira NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para 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

Lógica Proposicional Parte 2

Ló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 mais

Cálculo proposicional

Cá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 mais

Lógica Proposicional: Semântica Tabela Verdade

Lógica Proposicional: Semântica Tabela Verdade Bacharelado em Ciência e Tecnologia BC&T Lógica Básica (NHI2049-13) Lógica Proposicional: Semântica Tabela erdade TABELA ERDADE Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 TABELA ERDADE:

Leia mais

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor

Leia mais

Círculo Fluminense de Estudos Filológicos e Linguísticos

Círculo Fluminense de Estudos Filológicos e Linguísticos UM ESTUDO DESCRITIVO E COMPARATIVO DAS PRINCIPAIS PROPOSTAS GERATIVAS Marcela Cockell (UERJ) marcelacockell@hotmail.com RESUMO O presente artigo procura desenvolver um breve estudo descritivo e comparativo

Leia mais

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico. CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 1: Apresentação Departamento de Informática 14 de Fevereiro de 2011 O que é a lógica? Lógica: de que se trata? A lógica está na base do raciocínio É um processo inerentemente humano, tão básico

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Ló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 mais

Apostila de Eletrônica Digital ÍNDICE

Apostila de Eletrônica Digital ÍNDICE Apostila de Eletrônica Digital ÍNDICE 1- Introdução Era Digital---------------------------------------------------------- PG 3 2- Números Binários --------------------------------------------------------------

Leia mais

A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO. Resumo

A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO. Resumo A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO Autor: Stanley Kreiter Bezerra Medeiros Departamento de Filosofia UFRN Resumo Em 1962, Jaako Hintikka publicou Knowledge and Belief:

Leia mais

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

Programas em L1 pertencem ao conjunto de árvores de sintaxe abstrata definido pela gramática abstrata abaixo:

Programas em L1 pertencem ao conjunto de árvores de sintaxe abstrata definido pela gramática abstrata abaixo: 1 Semântica Operacional e Sistemas de Tipos Vamos definir a semântica operacional de uma série de linguagens no estilo conhecido por semântica operacional estrutural chamado também de semântica operacional

Leia mais

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação

Leia mais

COMO LER NOTAÇÃO LÓGICA

COMO LER NOTAÇÃO LÓGICA COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque

Leia mais

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Conectores Booleanos Negação, Conjunção e Disjunção Tradução de Linguagem Natural Fórmulas de 1ª ordem Definição indutiva 22 Setembro 2014 Lógica Computacional 1 Conectores Booleanos

Leia mais

SUMÁRIO APRESENTAÇÃO...9. O ESTUDO DO SIGNIFICADO NO NÍVEL DA SENTENÇA...13 Objetivos gerais do capítulo...13 Objetivos de cada seção...

SUMÁRIO APRESENTAÇÃO...9. O ESTUDO DO SIGNIFICADO NO NÍVEL DA SENTENÇA...13 Objetivos gerais do capítulo...13 Objetivos de cada seção... SUMÁRIO APRESENTAÇÃO...9 O ESTUDO DO SIGNIFICADO NO NÍVEL DA SENTENÇA...13 Objetivos gerais do capítulo...13 Objetivos de cada seção...13 1. O objeto da Semântica...14 2. Anomalia, ambiguidade e interface

Leia mais

Proposições e Valor Cognitivo: Podem demonstrativos não ter sentido?

Proposições e Valor Cognitivo: Podem demonstrativos não ter sentido? UNIVERSIDADE FEDERAL DO RIO DE JANEIRO INSTITUTO DE FILOSOFIA E CIÊNCIAS SOCIAIS DEPARTAMENTO DE FILOSOFIA PROGRAMA DE PÓS-GRADUAÇÃO LÓGICA E METAFÍSICA Juliana Faccio Lima Proposições e Valor Cognitivo:

Leia mais

SOBRE O OPERADOR DE CONSEQÜÊNCIA DE TARSKI

SOBRE O OPERADOR DE CONSEQÜÊNCIA DE TARSKI VELASCO, Patrícia Del Nero. Sobre o operador de conseqüência de Tarski. In: MARTINS, R. A.; MARTINS, L. A. C., P.; SILVA, C. C.; FERREIRA, J. M. H. (eds.). Filosofia e história da ciência no Cone Sul:

Leia mais

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Signicado e verdade condições para verdadeiro ou falso: Como um argumento é (intuitivamente) válido se não é possível

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional

Leia mais

Pensamento e Linguagem: observações a partir de Donald Davidson. No nosso dia a dia nos comunicamos uns com os outros com sucesso na

Pensamento e Linguagem: observações a partir de Donald Davidson. No nosso dia a dia nos comunicamos uns com os outros com sucesso na Pensamento e Linguagem: observações a partir de Donald Davidson Marcelo Fischborn 1 No nosso dia a dia nos comunicamos uns com os outros com sucesso na maior parte das vezes. Pergunto a alguém que horas

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional

Leia mais

3 Cálculo Proposicional

3 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 mais

RELAÇÕES%DE%PRESSUPOSIÇÃO%E%ACARRETAMENTO%NA%COMPREENSÃO% DE%TEXTOS% PRESUPPOSITION%AND%ENTAILMENT%RELATIONS%IN%TEXT% COMPREHENSION%

RELAÇÕES%DE%PRESSUPOSIÇÃO%E%ACARRETAMENTO%NA%COMPREENSÃO% DE%TEXTOS% PRESUPPOSITION%AND%ENTAILMENT%RELATIONS%IN%TEXT% COMPREHENSION% RELAÇÕESDEPRESSUPOSIÇÃOEACARRETAMENTONACOMPREENSÃO DETEXTOS PRESUPPOSITIONANDENTAILMENTRELATIONSINTEXT COMPREHENSION KarinaHufdosReis 1 RESUMO: Partindo das definições de pressuposição e acarretamento,

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io

Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io Lógica Proposicional e Dedução Natural douglas.cardoso@cefet-rj.br docardoso.github.io Lógica Proposicional e Dedução Natural 1/48 Roteiro 1 Uma Introdução Intuitiva 2 Proposições 3 DN: regras básicas

Leia mais

Saul A. Kripke, Reference and existence: the John Locke lectures. Oxford University Press, 2013, xiii + 170p. ISBN

Saul A. Kripke, Reference and existence: the John Locke lectures. Oxford University Press, 2013, xiii + 170p. ISBN Logic, Language, and Knowledge. Essays on Chateaubriand s Logical Forms Walter A. Carnielli and Jairo J. da Silva (eds. BOOK REVIEW Saul A. Kripke, Reference and existence: the John Locke lectures. Oxford

Leia mais

Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar

Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.

Leia mais

FLL5072 Semântica Intensional Aula 5-6

FLL5072 Semântica Intensional Aula 5-6 FLL5072 Semântica Intensional Aula 5-6 Marcelo Ferreira Departamento de Linguística Universidade de São Paulo 05/10/2017 Marcelo Ferreira (DL-USP) Semântica Intensional 05/10/2017 1 / 12 Verbos Modais

Leia mais

Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas Relação das questões comentadas Gabaritos...

Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas Relação das questões comentadas Gabaritos... Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas... 10 Relação das questões comentadas... 14 Gabaritos... 15 1 Apresentação Olá, pessoal! Tudo bem com vocês? Esta é a aula demonstrativa

Leia mais

A Lógica de Primeira Ordem

A Lógica de Primeira Ordem Capítulo 10 A Lógica de Primeira Ordem A Lógica de Primeira Ordem: A necessidade de uma linguagem mais expressiva O cálculo proposicional possui limitações com respeito a codificação de sentenças declarativas.

Leia mais

Fundamentos de Lógica Matemática

Fundamentos 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 mais

ÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos

ÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos ÍNDICE Prefácio PARTE I LÓGICA ARISTOTÉLICA Lição 1 Introdução. Lógica Aristotélica: Noções Básicas 9 Lição 2 O Quadrado da Oposição 15 Lição 3 Conversão, Obversão e Contraposição 21 Lição 4 A Teoria do

Leia mais

Matemática Básica I Notas de aula - versão

Matemática Básica I Notas de aula - versão 1 - Departamento de Matemática Aplicada (GMA) Matemática Básica I Notas de aula - versão 3 2011-1 Marlene Dieguez Fernandez Observações preliminares A disciplina Matemática Básica I é oferecida no mesmo

Leia mais

Usando as regras de Morgan, de a negação das proposições:

Usando as regras de Morgan, de a negação das proposições: LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio

Leia mais

Quine 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 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 mais

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

NHI Lógica Básica (Lógica Clássica de Primeira Ordem) NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático

Leia mais

Algoritmos e Programação I

Algoritmos e Programação I Algoritmos e Programação I Desenvolvimento de Algoritmos (termos técnicos) Prof. Fernando Maia da Mota mota.fernandomaia@gmail.com CPCX/UFMS Fernando Maia da Mota 1 Quando desenvolvemos algoritmos, trabalhamos,

Leia mais

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens linguagem: sistema de símbolos que serve como meio de comunicação (p. 31) articial natural: isso não se restringe

Leia mais

CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO

CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28

Leia mais

A RECUSA DE UMA RELAÇÃO DE DETERMINAÇÃO NAS INVESTIGAÇÕES FILOSÓFICAS

A RECUSA DE UMA RELAÇÃO DE DETERMINAÇÃO NAS INVESTIGAÇÕES FILOSÓFICAS A RECUSA DE UMA RELAÇÃO DE DETERMINAÇÃO NAS INVESTIGAÇÕES FILOSÓFICAS Raphaela Silva de Oliveira Universidade Ferderal de São Paulo Mestranda Resumo: Pretendo expor panoramicamente, a partir da apresentação

Leia mais