O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática
|
|
|
- Manoel Porto Palmeira
- 9 Há anos
- Visualizações:
Transcrição
1 LETRAS DE HOJE LETRAS DE HOJE LETRAS DE HOJE LETRAS DE HOJE LETRAS DE HOJE O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática Jorge Campos da Costa PUCRS Resumo: Uma investigação sobre as propriedades lógico-lingüísticas do conetivo E em sua função inferencial, tendo em vista as relações entre argumentos formais e informais, na interface externa Lingüística / Lógica Proposicional (LProp), dentro de uma interface interna Semântica / Pragmática. O roteiro da análise apresenta o E tal como aparece em sua expressão lógica, seguida de uma descrição de suas ocorrências estruturais, sintáticas, nas formas tradicionais da gramática e de sua caracterização no contexto semântico e pragmático, lugar clássico da problematização para a interface lógica/linguagem Natural. (LNat) I O Conetivo E na Interface Sintaxe/Semântica/Pragmática 1 O conetivo E/& na LProp 1.1 Léxico: A conjunção se expressa na LProp por um dos símbolos abaixo: ^ ou & ou. 1.2 Sintaxe Regras de Formação: Se A e B são variáveis proposicionais e fórmulas bem formadas (fbf(s)), então A&B é um fbf. Letras de Hoje. Porto Alegre. v. 41, nº 2, p , junho, 2006
2 Regras de Derivação: Introdução do & (I&) A B A&B Eliminação do & (E&): A&B A/B 1.3 Semântica da Lprop A&B é verdadeira (V) se e somente se (sse) A é V e B é V. Tabela-Verdade A & B V V V V F F F F V F F F 1.4 Equivalência com outros conetivos A & B (A B) A & B ( AV B) * Propriedade Comutativa A & B B & A * Propriedade Associativa ((A & B ) & C ) ( A & ( B & C )) 1.5 Provas / Ilustração da Comutatividade 1 (1) P & Q S 1 (2) P 1 por eliminação do & 1 (3) Q 1 por eliminação do & 1 (4) Q & P 3,2 por introdução do & 2 O conetivo E na sintaxe da linguagem natural Ocorrências do conetivo E em relação às diversas funções sintáticas como descritas pela Gramática Tradicional. Sujeito: João e Maria estudam semântica. 274 Letras de Hoje Jorge Campos da Costa
3 João, Maria, Pedro e Rosa estudam semântica. Predicado/Verbo Auxiliar: João esteve e estará trabalhando em casa. Predicado/Verbos Principais: João saiu e voltou cedo. Predicativo: João está cansado e feliz. Complemento Verbal/Objeto Direto: João comeu banana e mamão. Complemento Verbal/Objeto Indireto: João precisa de apoio e de dinheiro. Complemento Nominal: João tem amor à família e ao trabalho. Agente da Passiva: João foi traído por Maria e Pedro. Adjunto Adnominal: João comprou uma casa antiga e branca. Adjunto Adverbial: João falou rápida e claramente. Aposto: João, filho de Pedro e professor do Estado, saiu. Vocativo: João e Maria, não falem tão alto! 3 O conetivo E na Semântica da Linguagem Natural A interpretação padrão do E : a) Adiciona uma proposição a outra b) Sugere conexão semântica entre elas c) Sugere uma seqüência de ordem da esquerda para direita A questão primeira para a interface semântica/lógica é se o E e o &, da nossa linguagem e da linguagem formal, respectivamente, podem ser assumidos como equivalentes; ou, ainda, se o & da LProp descreve, adequadamente, o E da LNat. Sim, a nossa suposição é a de que a Semântica das condiçõesde-verdade em interface com a LProp pode caracterizar o conetivo E como basicamente equivalente ao & formal, desde que o valorde-verdade da proposição complexa seja uma função do valor-deverdade das proposições simples. Ex.: João é professor e trabalha na PUCRS pode ser simbolizado como P & Q de maneira não-problemática. A proposição molecular (P & Q) será verdadeira desde que as proposições atômicas (P) e (Q) sejam verdadeiras, ou, em termos mais simples, desde que João seja professor e desde que ele trabalhe na PUCRS. Mas nem todas a situações são tão elementares quanto essas. Dois tipos de encaminhamento podem ser feitos: (a) variações sintáticas de estruturas em que o E aparece redutíveis à forma-padrão; (b) variações sintáticas de estruturas em que o E aparece com aparentes problemas para redução à forma-padrão. Examinemos, inicialmente, os exemplos, com ocorrências sintáticas diversas como em (a). Nelas, então, a paráfrase parece nãoproblemática. S1 João e Maria estudam Semântica, por exemplo, O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 275
4 pode ser parafraseado por S2 João estuda Semântica e Maria estuda Semântica e, essa por sua vez, simbolizada por P&Q, em que o valor-de-verdade da molecular é uma função do valor-de-verdade das atômicas. O que garante a paráfrase adequada entre S1 e S2, em linguagem natural, é o fato de que, onde quer que uma seja verdadeira, a outra também o será. Os outros exemplos seguem, por hipótese, o mesmo raciocínio, conforme paráfrases abaixo. (a) João estuda Semântica, e Maria estuda Semântica (João, Maria, Pedro, Lúcia, etc.) João esteve trabalhando em casa e estará trabalhando em casa. João está cansado e está feliz. João comeu banana e comeu mamão. João precisa de apoio e precisa de dinheiro. João tem amor à família e tem amor ao trabalho. João foi traído por Maria e foi traído por Pedro. João comprou uma casa antiga e comprou uma casa branca. João falou rapidamente e falou claramente. João, filho de Pedro, saiu e João, professor do Estado, saiu. João, não fale tão alto e Maria, não fale tão alto. O que se segue em (b) é a possibilidade de se problematizar a paráfrase, com exemplos de semântica mais rica. (b) *João e Maria casaram. (um com o outro) * João casou e Maria casou. * João e Paulo empurraram o piano. (juntos) * João empurrou o piano e Paulo empurrou o piano. * João comprou uma casa amarela e branca. (uma única casa) * João comprou uma casa amarela e João comprou uma casa branca. * João gosta de café e leite. (mistura) * João gosta de café e João gosta de leite. * (problemática) Ainda que o segundo grupo de proposições pareça mais problemático para uma equivalência na interface, mesmo assim, pequenas retificações poderiam ser feitas de modo a se conseguir paráfrase via forma-padrão. Os exemplos abaixo ilustram o caso: João casou com Maria e Maria casou com João. João empurrou o piano e Paulo empurrou o piano junto. João comprou uma casa parte amarela e João comprou uma casa parte branca. João gosta de café e João gosta de leite misturados. 276 Letras de Hoje Jorge Campos da Costa
5 Lembremos que o que torna duas proposições equivalentes para fins de interface com a lógica é o fato de, dada a mesma interpretação semântica para elas, o valor-de-verdade poder ser mantido. Por exemplo, na primeira, a mesma interpretação que atribui a condição de verdadeira à João e Maria casaram, pode ser atribuída à João casou e Maria casou. Mas e o fato de que a primeira parece indicar que eles casaram um com o outro? Bem, bastaria uma paráfrase adequada, como João casou com Maria e Maria casou com João. E nesse caso, não há situação em que João e Maria casaram, interpretada como um com outro, seja verdadeira e João casou com Maria e Maria casou com João seja falsa. Isso posto, não cabe qualquer suspeita de que o E da nossa linguagem, na sentença acima ilustrada, não possa ser traduzido pelo & lógico. A interpretação de um com o outro, inclusive, não é necessária, parecendo caracterizar uma inferência dependente de contexto. De fato, argumentos estruturados com as premissas constituídas de paráfrases próprias conduziriam a conclusões perfeitamente compatíveis com as leis da LProp. Evidentemente, alguns casos como o da terceira sentença, por exemplo, é de redução mais complicada à forma-padrão. Isso, entretanto, não justifica, por si só, o argumento de inadequação na interface Semântica/Lógica. De fato, se o que está em jogo é a base semântica para a investigação de argumentos monotônicos, as pequenas variações de sentido que não geram inferências problemáticas, ainda que causem algum desconforto interpretativo, não são relevantes como razão para que a interface seja inviabilizada. Em outras palavras, na interface Lingüística/Lógica é possível caracterizar uma equivalência entre o E e o &, desde que o que se esteja considerando é o papel do conetivo veritativo-funcional na construção de argumentos válidos. De modo que a sintaxe do E fica simplificada em sua forma padrão como conetivo inter-oracional e sua semântica parece ajustar-se ao modelo da LProp, indicando que a interface Lógica/Lingüística, nesse caso, é tratável. Uma questão também problemática para os que buscam idiossincrasias é o fato de que P & Q para a Lógica pode ser parafraseada na LNat por A alface é humana e Marte fica na Terra. O desconforto está no fato de que P e Q parecem não ter nada em comum, além de serem absurdas em seu conteúdo específico. Ora o conteúdo como tal é, na verdade, irrelevante para a Lógica, cujo objeto de investigação é a forma lógica e seu papel inferencial. Acrescente-se, ainda, que a idéia de conexão semântica, aparentemente exigida pelo E, é um atributo sem função no tratamento das propriedades inferenciais do &. Trata-se de não confundir a O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 277
6 questão da validade lógica com a adequação do conteúdo ou de uso. O que é interessante na forma lógica é exatamente sua possibilidade de aplicação com abstração do significado proposicional específico, ou seja, sua generalidade. 4 O conetivo E na interface com a Pragmática A questão da comutabilidade do & e o problema da inversão para o E. Em uma proposição complexa do tipo P&Q, como vimos, vale, no âmbito da Lógica, o princípio da comutatividade, ou seja, P&Q/Q&P. Na nossa linguagem, entretanto, tal equivalência pode ser problematizada. Considere: (A) João pegou o dinheiro e foi ao Banco (B) João foi ao Banco e pegou o dinheiro (A) e (B) podem, de fato, gerar inferências diferentes. Em (A), sugere-se que o dinheiro vai ser depositado e em (B), que o dinheiro foi retirado. A razão de tais inferências parece ser, basicamente, a de que se assume uma certa ordem de conexão semântica entre as proposições e uma certa ordem temporal na seqüência dos eventos por elas veiculados. Como, evidentemente, tudo depende de um conhecimento enciclopédico que dá sustentação a interpretação semântica, pode-se, para sistematizar o fenômeno sem que se tenha que bloquear a interface com a Lógica, constituir uma interface com a Pragmática, especialmente pelo fato de que tais inferências podem ser caracterizadas como canceláveis ou não-monotônicas. Nessa direção, poder-se-ia interpretar o E da nossa linguagem como semanticamente & mais implicaturas griceanas convencionais de ordem temporal e implicaturas por respeito à máxima de relação/relevância, no que se refere às inferências, canceláveis, de que o dinheiro foi depositado em (A) e retirado em (B). Nada impede que, na verdade, (A) e (B) sejam considerados, pelo menos numa leitura, equivalentes. Ou seja, é possível uma interpretação puramente aditiva, bastando que se acrescentasse a (A) algo do tipo mas antes me pagou o que devia com tal dinheiro. (João pegou o dinheiro e foi ao Banco, mas antes me pagou o que devia com tal dinheiro) e a (B), algo do tipo que estava em minha bolsa (João foi ao Banco e pegou o dinheiro que estava em minha bolsa), para cancelar tais implicaturas. Nessa hipótese, a inversão da ordem não faria maior diferença. Claro que, ao se ter uma interpretação puramente aditiva, na interface da Pragmática com a 278 Letras de Hoje Jorge Campos da Costa
7 comunicação, parece haver algo como violação da noção de relevância. Se não há conexão entre os dois lados da conjunção, por que juntá-los através dela? Ou ainda, conectar sintaticamente sem conectar semanticamente parece ser desconexão pragmática. E isso explica porque, comunicativamente, a forma default é a que gera implicaturas de conexão. Em outras palavras, a pragmática das inferências canceláveis se segue à semântica da conexão proposicional que, por sua vez, é justificativa da conexão sintática. A Questão da Associatividade e Implicaturas de Ordem Como se disse antes, em Lógica ((A & B) & C ) ( A & ( B & C )) Isso pode gerar, em linguagem natural implicaturas diversas conforme a ordem de associação. É o caso do exemplo abaixo: Maria conheceu João e casou, e foi com Pedro para a África que parece não ser equivalente a Maria conheceu João, e casou e foi com Pedro para a África, com o deslocamento da vírgula cumprindo o papel dos parênteses na forma lógica. Na verdade, o que parece dificultar a mesma interpretação é o fato de que, na primeira, parece haver uma inferência de que Maria casou com João, enquanto, na segunda, a inferência é de que ela casou com Pedro. Esse aparente problema, como no exemplo envolvendo a comutatividade, poderia ser resolvido via implicatura pragmática, inferência cancelável, portanto. O Conetivo E / Relações lexicais Segue-se uma breve inspeção da possibilidade de outros conetivos da linguagem natural serem compatíveis com a função veritativo-funcional do E. Formas lexicais variantes para o conetivo E. mas, porém, entretanto... (adversativas) como equivalentes ao E. Em princípio, nada impede que uma proposição molecular com uma das conjunções adversativas possa ser parafraseada por uma outra com um E como conetivo. João casou com Maria mas não é feliz equivale, na semântica das condições-de-verdade, a João casou com Maria e não é feliz. De fato, em ambos os casos, o valor de verdade do todo seria constituído a partir do valor-de-verdade das partes, o que caracterizaria a possibilidade de o conetivo mas, em princípio, ser interpretado como veritativo-funcional. O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 279
8 João casou com Maria, mas não é feliz. V V V Isto nos permitiria assumir que, na interface semântica/lógica, a equivalência mas E & seria perfeitamente razoável. Cabe, entretanto, considerar que, ao contrário do que ocorre com o E, a presença do mas parece sugerir que houve um valor semântico, a saber, a reversão da expectativa, que estaria perdido. Seria esperado que João fosse feliz. Como não é, isso autoriza a adequação do emprego de mas. Como tratar esse tipo de fragmento de sentido? Primeiramente, ele parece ser desencadeado pelo próprio elemento lexical. Além disso, a idéia de reversão de expectativa poderia ser cancelada, bastando que se acrescentasse um como era de se esperar ao final da sentença. Nessa perspectiva, a expectativa de que João devesse ser feliz poderia ser tratada como uma inferência tipo implicatura convencional, como aliás sugerido pelo próprio Grice (1975). De fato, o plausível, então, seria considerar-se algo como mas E & + expectativa de idéia contrária, sendo esta última uma inferência pragmática. embora, ainda que, mesmo que,... (concessivas) equivalentes ao E O processo de análise pode ser exatamente análogo ao anterior. Se João casou com Maria embora não gostasse dela tem seu valor-deverdade a partir do valor-de-verdade de suas partes assim como sua paráfrase com a substituição do embora pelo E, então, embora, E e & podem ser equivalentes. Quanto ao significado residual a mais do embora, poder-se-ia tratá-lo como uma inferência pragmática tipo implicatura convencional. A forma geral, então, poderia ser esta: embora E & na interface da semântica com a lógica, + uma implicatura significando que uma das proposições deveria levar à negação da outra. João casando com ela implica que ele gosta dela, ou não gostando dela implica que não casa com ela. Se... então... (condicional) Suponha a sentença condicional abaixo: Se me ajudas, então também te ajudo De fato, ela poderia ser parafraseada por Tu me ajudas, e eu te ajudo, mas, nesse caso, ao contrário dos exemplos anteriores, não parece um outro conetivo com o valor básico do E, mas a possibilidade de o E ser interpretado 280 Letras de Hoje Jorge Campos da Costa
9 como um condicional, sendo mais intuitivo que o valor seja dado pela a tabela-verdade do implicador. A outra hipótese, compatível com as situações anteriores, seria a de considerar-se o E em sua propriedade semântica aditiva mais uma implicatura de condição, no sentido de a primeira ser cláusula suficiente para a segunda. Quando (conetivo temporal) Dentro da mesma perspectiva do caso anterior. Cheguei quando ela acabava de sair que poderia ser equivalente a Cheguei, e ela acabava de sair, com, o E, fazendo as vezes de conexão temporal, com alternativa de análise análoga ao caso do condicional. Quanto ao tipo de inferência cancelável que o E pode provocar, além do que já foi dito, são mais ou menos triviais implicaturas com as idéias básicas de ordem temporal, (e então), de conexão entre os eventos, de simultaneidade, de conseqüência, etc., como ilustram os exemplos abaixo, respectivamente: Pegou o dinheiro e foi para casa, pegou a chave e abriu a porta, tomava banho e cantarolava, corria muito e caiu. Etc. A Literatura, Efeitos Especiais e o E. Na interface com a literatura, locus clássico do efeito retórico, o E aparece com variados efeitos de sentido, obviamente dependendo do contexto e, mais óbvio ainda, sem que a questão do valor-de-verdade esteja em jogo. São tradicionais os exemplos que se seguem: e trabalha, e teima, e lima, e sofre, e sua (Bilac) e agora, José? (Drummond) Destaque-se o fato de que o E pode, ainda, na direção dos dois extremos, ligar só nomes como conetivo intervocabular, ou fragmentos mais amplos de texto como conetivo interdiscursivo. É o caso, respectivamente, de uma música, por exemplo, com o nome de João e Maria e de um célebre soneto camoniano em que o primeiro quarteto é ligado por um E ao segundo. Alma minha gentil que te partiste tão cedo desta vida descontente repousa lá no céu eternamente e viva eu cá na terra sempre triste e, se vires que pode merecer-te... O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 281
10 Um efeito especial do uso do E na fala cotidiana é a repetição, com ênfase ou não, desse conetivo como uma espécie de elemento de concatenação da fala discursiva. e eu saí e... eu peguei o ônibus e, ã, pensei comigo mesmo o que eu estava fazendo ali e me deu vontade de voltar pra casa e, ã, bem, voltei. Na fala do Inglês americano, também é típico esse uso do and ã como conector pragmático. Se o argumento está bem construído, então as considerações acima deveriam contar como evidências teóricas para as seguintes propostas abaixo: é possível e desejável construir uma interface semântica/lógica clássica sob pena de se ter que assumir que os conetivos da linguagem natural, no caso, o E, não possuem nenhuma base veritativo-funcional, o que representaria desvincular significado e verdade de maneira radical e implausível; os argumentos de uma certa tradição anti-formalista apresentam conflitos mal estabelecidos entre o E e o &, misturando, impropriamente, a interface semântica/lógica com a interface pragmática/comunicação; até prova em contrário, os conetivos da linguagem natural diferem de seus contrapartes lógicos apenas pelo fato de que se situam nas duas interfaces recém citadas, diferentes em sua natureza. A primeira tem como centro o processo inferencial em argumentos monotônicos na direção de linguagens científicas enquanto a segunda tem como centro o discurso comunicativo na direção da linguagem cotidiana. Nessa perspectiva, pode-se construir uma semântica/pragmática, na interface com a lógica, e uma semântica/pragmática na interface com a comunicação. Elas teriam interesses formais na primeira hipótese e, por exemplo, interesses sóciocomunicativos, na segunda. Obviamente, ambas as conexões são relevantes para a teoria do significado em linguagem natural, e cabe o pesado ônus, aos que tentam usar a segunda como argumento contra a construção da primeira, de justificar o desejo (teórico?) de esvaziar a semântica/pragmática da linguagem natural de uma base lógica mínima como suporte da racionalidade e da própria expansão de sentido que é rica, mas, por algum motivo, não-caótica. 282 Letras de Hoje Jorge Campos da Costa
11 II O Conetivo OU na Interface Sintaxe/Semântica/Pragmática Tópico: uma investigação sobre as propriedades lógico-lingüísticas do conetivo OU em sua função inferencial, tendo em vista as relações entre argumentos formais e informais, na interface Semântica-das-Condições-de Verdade/ Lógica de Predicados/Cálculo Proposicional (LProp), considerando, ainda, sua base sintática. O roteiro da análise apresenta o OU tal como aparece em sua expressão lógica, seguida de uma descrição de suas ocorrências estruturais nas formas tradicionais da gramática e de sua caracterização no contexto semântico e pragmático, lugar clássico da problematização para a interface lógica/linguagem natural. 1 O conetivo OU/ na LProp 1.1 Léxico: A disjunção se expressa na LProp pelo símbolo abaixo: 1.2 Sintaxe Regras de Formação: Se A e B são variáveis proposicionais e fórmulas bem formadas (fbf(s)), então A V B é um fbf. Regras de Derivação: Introdução do (I ) A A B Eliminação do (E ) A B S A S : : C B S : : C C (conclusão com as suposições A e B automaticamente descarregadas.) O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 283
12 1.3 Semântica A B é verdadeira se e somente se (sse) A é V ou B é V ou ambas. Tabela-Verdade A B V V V V V F F V V F F F A tabela verdade acima refere-se à disjunção inclusiva, padrão para o cálculo proposicional. A disjunção dita exclusiva é aquela em que não há a possibilidade de ambos os disjuntos serem verdadeiros. Ou, em outras palavras, A e B verdadeiros implicam A B falso, conforme a tabela abaixo: A B V F V V V F F V V F F F 1.4 Equivalência com outros conetivos A B (~A & B) A B A B * Propriedade Comutativa A B B A * Propriedade Associativa ((A B ) C ) ( A ( B C )) 2 O conetivo OU na sintaxe da linguagem natural Ocorrências do conetivo OU em relação às diversas funções sintáticas: Sujeito: João ou Maria estudam semântica. João ou Maria ou Pedro ou Rosa estudam semântica. Predicado/Verbo Auxiliar: João esteve ou estará trabalhando em casa. Predicado/Verbos Principais: João saiu ou voltou cedo. Predicativo: João está cansado ou feliz. Complemento Verbal/Objeto Direto: João comeu banana ou mamão. 284 Letras de Hoje Jorge Campos da Costa
13 Complemento Verbal/Objeto Indireto: João precisa de apoio ou de dinheiro. Complemento Nominal: João tem amor à família ou ao trabalho. Agente da Passiva: João foi traído por Maria ou Pedro. Adjunto Adnominal: João comprou uma casa antiga ou branca. Adjunto Adverbial: João falou rápida ou claramente. Aposto: João, filho de Pedro ou professor do Estado, saiu. Vocativo: João ou Maria, me ajude aqui. 3 O conetivo OU na Semântica da Linguagem Natural A interpretação padrão do OU : a) Conecta uma proposição a outra, enquanto alternativas b) Representa a possibilidade de uma ser verdadeira ou, mais raramente, ambas. c) Apresenta alternativas em que negação da primeira exige a segunda A questão primeira para a interface semântica/lógica é se o OU e o, da nossa linguagem e da linguagem formal, respectivamente, podem ser assumidos como equivalentes. Sim, a nossa suposição é a de que a Semântica das condiçõesde-verdade em interface com o cálculo proposicional pode caracterizar o conetivo OU como basicamente equivalente ao formal, desde que o valor-de-verdade da proposição complexa seja uma função do valor-de-verdade das proposições simples. Ex.: João é professor ou trabalha na PUCRS pode ser simbolizado como P Q de maneira não-problemática. Mas o que acontece com ocorrências não-triviais do OU? Dois tipos de situação se seguem: (a) variações sintáticas de estruturas em que o OU aparece redutíveis à forma-padrão; (b) variações sintáticas de estruturas em que o OU aparece com aparentes problemas para redução à forma-padrão. Examinemos, inicialmente, os exemplos, com ocorrências sintáticas diversas em a). Nelas, então, a paráfrase parece não-problemática. João ou Maria estudam Semântica, por exemplo, pode ser parafraseado por João estuda Semântica ou Maria estuda Semântica e, essa por sua vez, simbolizada por P Q, em que o valor-deverdade da molecular é uma função do valor-de-verdade das atômicas. O que garante a paráfrase adequada entre a primeira e a segunda frases em linguagem natural é o fato de que onde quer que uma seja verdadeira, a outra também o será. Os outros exemplos seguem, por hipótese, o mesmo raciocínio. O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 285
14 (a) João estuda Semântica, ou Maria estuda Semântica (João ou Maria ou Pedro ou Lúcia, etc.) João esteve trabalhando em casa ou estará trabalhando em casa. João está cansado ou está feliz. João comeu banana ou comeu mamão. João precisa de apoio ou precisa de dinheiro. João tem amor à família ou tem amor ao trabalho. João foi traído por Maria ou foi traído por Pedro. João comprou uma casa antiga ou comprou uma casa branca. João falou rapidamente ou falou claramente. João, filho de Pedro, saiu ou João, professor do Estado, saiu. João, venha para casa ou Maria, venha para casa. O que se segue em b) é a possibilidade de se problematizar a paráfrase, com exemplos menos semanticamente triviais. (b) *Você foi ao cinema com o João. Sim, ou não? ( ou intervocabular) * Verduras ou frutas é bom para a saúde. (ambígua / disjunção e conjunção) * Nem a PUCRS, nem a UFRGS aceitam propaganda de cigarro. (a disjunção é negada / negação da disjunção) * João não é médico ou advogado. (análogo ao anterior) * Que João seja professor ou aluno é falso. (análogo ao anterior) * João quer um gato ou um cachorro. (ambígua / disjunção não típica) * João venceu ou ficou decepcionado. * (problemática) Ainda que o segundo grupo de proposições pareça mais problemático para uma equivalência na interface, mesmo assim, pequenas retificações poderiam ser feitas de modo a se conseguirem paráfrases via forma-padrão. Os exemplos abaixo ilustram o caso: Você foi ao cinema com João / Você não foi ao cinema com João. (em que o sim e o não representam as proposições positivas e negativas.) 286 Letras de Hoje Jorge Campos da Costa
15 Verduras é bom para a saúde, ou frutas é bom para a saúde. (na interpretação do ou como inclusivo, pode-se interpretá-lo como uma conjunção, mas, nesse caso, o caráter veritativo-funcional do conetivo não é alterado. Não é o caso que a PUCRS aceite propaganda ou a UFRGS aceite propaganda de cigarro. É falso que João seja médico ou seja advogado. Não é verdade que João seja professor ou João seja aluno. Nesses três últimos casos, a disjunção está dentro do escopo de uma negação; trata-se, portanto, da negação da disjunção, sendo, então, o valor-de-verdade do complexo determinado pela negação, conforme a simbolização ~ (P Q) (não é o caso que uma ou outra). João quer um gato ou quer um cachorro. (e eu não sei qual) / João quer um gato ou quer um cachorro (e tanto faz). A ambigüidade não altera o caráter veritativo-funcional do ou, apenas indica, nas interpretações dadas, o valor exclusivo ou não. João venceu ou ficou decepcionado. (este caso parece representar uma equivalência entre ou e se... então... se não venceu ficou decepcionado. Seja como for, a disjunção como tal fica semanticamente garantida) Lembremos que o que torna duas proposições equivalentes para fins de interface com a lógica é o fato de, dada a mesma interpretação semântica para elas, o valor-de-verdade poder ser mantido. Por exemplo, na primeira, a mesma interpretação que atribui a condição de verdadeira à João ou Maria casaram, pode ser atribuída à João casou ou Maria casou. Isso posto, não cabe qualquer insinuação de que o OU da nossa linguagem na sentença acima ilustrada não possa ser traduzido pelo lógico. Evidentemente, alguns casos podem ter redução mais complicada à forma-padrão. Isso, entretanto, não justifica, por si só, o argumento de inadequação na interface Semântica/Lógica. De fato, se o que está em jogo é a base semântica para a investigação de argumentos monotônicos, as pequenas variações de sentido que não geram inferências problemáticas, ainda que causem algum desconforto interpretativo, não são relevantes como razão para que a interface seja inviabilizada. Em outras palavras, na interface Lingüística/Lógica é possível caracterizar uma equivalência entre o OU e o, desde que o que se esteja considerando é o papel do conetivo veritativo-funcional na construção de argumentos válidos. O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 287
16 4 O conetivo OU na interface com a Pragmática A questão da comutabilidade do e o problema da inversão para o OU. Em uma proposição complexa do tipo P Q, como vimos, vale, no âmbito da Lógica, o princípio da comutatividade, ou seja, P Q / Q P. Na nossa linguagem, entretanto, tal equivalência pode ser problematizada. Considere: (A) João foi ao banco ou a duplicata não foi paga. (B) A duplicata não foi paga ou João foi ao banco. (A) e (B) podem, de fato, gerar inferências diferentes. Em (A), sugere-se que o primeiro disjunto é uma espécie de condição para que a duplicata seja paga, envolvendo, inclusive, uma certa ordem temporal, ir ao banco e, então, pagar a duplicata. Em (B), não há a mesma tendência inferencial, dado o fato de que a condição estaria no segundo disjunto, diminuindo a sugestão de seqüência temporal. A razão de tais inferências parece ser, basicamente, a de que se assume uma certa ordem de conexão semântica entre as proposições e uma certa ordem temporal na seqüência dos eventos por elas veiculados. Como, evidentemente, tudo depende de um conhecimento enciclopédico que dá sustentação a interpretação semântica, pode-se, para sistematizar o fenômeno sem que se tenha que bloquear a interface com a Lógica, constituir uma interface com a Pragmática, especialmente pelo fato de que tais inferências podem ser caracterizadas como canceláveis ou não-monotônicas. Nessa direção, poder-se-ia interpretar o OU da nossa linguagem como semanticamente mais implicaturas griceanas convencionais de ordem temporal e implicaturas por respeito à máxima de relação/relevância, no que se refere às inferências, canceláveis, de que se João foi ao banco, foi para pagar a duplicata, em (A) e de que se a duplicata tivesse sido paga, João não precisaria ter ido ao banco, em (B). Nada impede que, na verdade, (A) e (B) sejam considerados, pelo menos numa leitura, equivalentes. Ou seja, é possível uma interpretação puramente alternativa, bastando que se acrescentasse a (A) algo do tipo porque ele não conseguiu embargar o documento (ou João foi ao banco para embargar o documento, ou a duplicata não foi paga) e a (B), ou a duplicata não foi paga, ou João foi ao banco para embargá-la. Nessa hipótese, a inversão da ordem não faria maior diferença. Claro que, ao se ter uma interpretação puramente alternativa, na interface da pragmática com a comunicação, parece haver algo como violação da noção de relevância. Se não há conexão entre os dois lados da disjunção, por 288 Letras de Hoje Jorge Campos da Costa
17 que juntá-los através dela? Ou ainda, conectar sintaticamente sem conectar semanticamente parece ser desconexão pragmática. E isso explica porque, comunicativamente, a forma default é a que gera implicaturas de disjunção. Em outras palavras, a pragmática das inferências canceláveis se segue à semântica da conexão proposicional que, por sua vez, é justificativa da conexão sintática. A Questão da Associatividade e Implicaturas de Ordem Como se disse antes, em Lógica ((A B) C ) ( A ( B C )) Isso pode gerar, em linguagem natural implicaturas diversas conforme a ordem de associação. É o caso do exemplo abaixo: Maria conheceu João ou casou, ou foi com Pedro para a África que parece não ser equivalente a Maria conheceu João ou, casou ou foi com Pedro para a África, com o deslocamento da vírgula cumprindo o papel dos parênteses na forma lógica. Na verdade, o que parece dificultar a mesma interpretação é o fato de que, na primeira, parece haver uma inferência de que Maria não casou (não com João), enquanto, na segunda, a inferência é de que ela casou com Pedro (João)?. Esse aparente problema, como no exemplo envolvendo a comutatividade, poderia ser resolvido via implicatura pragmática, inferência cancelável, portanto. Segue-se uma breve inspeção da possibilidade de outros conetivos da linguagem natural serem compatíveis com a função veritativo-funcional do OU. Formas lexicais variantes para o conetivo OU. mas, porém, entretanto... (adversativas) como equivalentes ao OU. Em princípio, nada impede que uma proposição molecular com uma das conjunções adversativas possa ser parafraseada por uma outra com um OU como conetivo. João casou com Maria mas não é feliz equivale, na semântica das condições-de-verdade, a João casou com Maria ou não é feliz. De fato, em ambos os casos, o valor de verdade do todo seria constituído a partir do valor-de-verdade das partes, o que caracterizaria a possibilidade de o conetivo mas, em princípio, ser interpretado como veritativo-funcional. O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 289
18 João casou com Maria, mas não é feliz. V V V Isto nos permitiria assumir que, na interface semântica/lógica, a equivalência mas OU seria perfeitamente razoável. Cabe, entretanto, considerar que, ao contrário do que ocorre com o OU, a presença do mas parece sugerir que houve um valor semântico, a saber, a reversão da expectativa, que estaria perdido. Seria esperado que João fosse feliz, como não é, isso, então, é que autoriza a adequação do emprego de mas. Como tratar esse tipo de fragmento de sentido? Primeiramente, ele parece ser disparado pelo próprio elemento lexical. Além disso, a idéia de reversão de expectativa poderia ser cancelada, bastando que se acrescentasse um como era de se esperar ao final da sentença. Nessa perspectiva, a expectativa de que João devesse ser feliz poderia ser tratada como uma inferência tipo implicatura convencional, como aliás sugerido pelo próprio Grice (1975). De fato, o plausível, então, seria considerar-se algo como mas OU + expectativa de idéia contrária, sendo esta última uma inferência pragmática. embora, ainda que, mesmo que,... (concessivas) equivalentes ao OU O processo de análise pode ser exatamente análogo ao anterior. Se João casou com Maria embora não gostasse dela tem seu valorde-verdade a partir do valor-de-verdade de suas partes assim como sua paráfrase com a substituição do embora pelo OU, então, embora, OU e podem ser equivalentes. Quanto ao significado residual a mais do embora, poder-se-ia tratá-lo como uma inferência pragmática tipo implicatura convencional. A forma geral, então, poderia ser esta: embora OU na interface da semântica com a lógica, + uma implicatura como uma das proposições deveria ser condição para a negação da outra. No caso, João gostar de Maria deveria ser condição para casar com ela. Se... então... (condicional) Suponha a sentença condicional abaixo: Se me ajudas, então também te ajudo De fato, ela poderia ser parafraseada por Tu me ajudas, e eu te ajudo, mas, nesse caso, ao contrário dos exemplos anteriores, não parece um outro conetivo 290 Letras de Hoje Jorge Campos da Costa
19 com o valor básico do E, mas a possibilidade de o E ser interpretado como um condicional, sendo mais intuitivo que o valor seja dado pela a tabela-verdade do implicador. A outra hipótese, compatível com as situações anteriores, seria a de considerar-se o E em sua propriedade semântica aditiva mais uma implicatura de condição, no sentido de a primeira ser cláusula suficiente para a segunda. Quando(conetivo temporal) Dentro da mesma perspectiva do caso anterior. Cheguei quando ela acabava de sair que poderia ser equivalente a Cheguei, e ela acabava de sair, com, o OU, fazendo as vezes de conexão temporal, com alternativa de análise análoga ao caso do condicional. Quanto ao tipo de inferência cancelável que o OU pode provocar, além do que já foi dito, são mais ou menos triviais implicaturas com as idéias básicas de ordem temporal, (e então), de conexão entre os eventos, de simultaneidade, de conseqüência, etc., como ilustram os exemplos abaixo, respectivamente: Pegou o dinheiro e foi para casa, pegou a chave e abriu a porta, tomava banho e cantarolava, corria muito e caiu. Etc.. A Literatura, efeitos especiais e o OU. Na interface com a literatura, locus clássico do efeito retórico, o OU aparece com variados efeitos de sentido, obviamente dependendo do contexto e, mais óbvio ainda, sem que a questão do valorde-verdade esteja em jogo. São tradicionais os exemplos que se seguem: e trabalha, e teima, e lima, e sofre, e sua (Bilac) e agora, José? (Drummond) Destaque-se o fato de que o E pode, ainda, na direção dos dois extremos, ligar só nomes como conetivo intervocabular, ou fragmentos mais amplos de texto como conetivo interdiscursivo. É o caso de uma música, por exemplo, com o nome de João e Maria e de um célebre soneto camoniano em que o primeiro quarteto é ligado por um E ao segundo. Alma minha gentil que te partiste tão cedo desta vida descontente repousa lá no céu eternamente e viva eu cá na terra sempre triste e, se vires que pode merecer-te... O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 291
20 Um efeito especial do uso do E na fala cotidiana é a repetição, com ênfase ou não, desse conetivo como uma espécie de elemento de concatenação da fala discursiva. e eu saí e... eu peguei o ônibus e ã pensei comigo mesmo o que eu estava fazendo ali e me deu vontade de voltar pra casa e ã bem, voltei. Na fala do Inglês americano, também é típico esse uso do and ã como conector pragmático. Se o argumento está bem construído, então as considerações acima deveriam contar como evidências teóricas para as seguintes teses abaixo: é possível e desejável construir uma interface semântica/lógica clássica sob pena de se ter que assumir que os conetivos da linguagem natural, no caso, o E, não possuem nenhuma base veritativo-funcional, o que representaria desvincular significado e verdade de maneira radical e implausível; os argumentos de uma certa tradição anti-formalista apresentam conflitos mal estabelecidos entre o E e o &, misturando, impropriamente, a interface semântica/lógica com a interface pragmática/comunicação; até prova em contrário, os conetivos da linguagem natural diferem de seus contrapartes lógicos apenas pelo fato de que se situam nas duas interfaces recém citadas, diferentes em sua natureza. A primeira tem como centro o processo inferencial em argumentos monotônicos na direção de linguagens científicas enquanto a segunda tem como centro o discurso comunicativo na direção da linguagem cotidiana. Nessa perspectiva, pode-se construir uma semântica/pragmática, na interface com a lógica, e uma semântica/pragmática na interface com a comunicação. Elas teriam interesses formais na primeira hipótese e, por exemplo, interesses sóciocomunicativos, na segunda. Obviamente, ambas as conexões são relevantes para a teoria do significado em linguagem natural, e cabe o pesado ônus, aos que tentam usar a segunda como argumento contra a construção da primeira, de justificar o desejo (teórico?) de esvaziar a semântica/pragmática da linguagem natural de uma base lógica mínima como suporte da racionalidade e da própria expansão de sentido que é rica, mas, por algum motivo, não-caótica. 292 Letras de Hoje Jorge Campos da Costa
21 III A Negação na Interface Sintaxe/Semântica/Pragmática 1 A Negação em Linguagem Natural LPCP 1.1 Léxico: A negação se expressa na LPCP pelos símbolos abaixo: ~, 1.2 Sintaxe Regras de Formação: Se A é uma proposição, uma fórmula bem formada (fbf), então ~A é uma fbf. Introdução da negação / Eliminação da negação: A B. ~B.. ~A Dupla negação: A ~ ~ A ~ ~ A A 1.3 Semântica A ~A V F F V Princípios Fundamentais da Lógica: Não-contradição ~ (A ~A) Terceiro Excluído A ~A 2 A Negação e outros conetivos A B ~ (A ~B) A B ~ (~A ~B) A B ~ (A ~B) O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 293
22 3 A Negação e os Quantificadores ( x) (Fx) ~( x) (~Fx) ( x) (Fx) ~ ( x) (~Fx) 4 A Negação e os Operadores Modais A ~ & 5 A Negação na Morfossintaxe da Linguagem Natural Maria não é feliz. Ninguém é feliz Maria nem é feliz. Ninguém não é feliz. Maria é nada feliz. Ninguém é não feliz. Maria nunca foi feliz. Todos não são felizes. Maria jamais foi feliz. Nenhum é feliz. Não é verdade que Maria foi feliz. Maria pode não ser feliz. Não é o caso que Maria foi feliz. Maria pode ser não-feliz. É falso que Maria foi feliz. Maria não pode ser feliz. Maria é não-feliz. Maria é infeliz. Maria deve não ser feliz. Maria está sem felicidade. Maria não deve ser feliz. Maria é desfeliz. Maria é a-feliz. Maria é necessariamente infeliz. Maria é ifeliz. Maria não é necessariamente feliz. 6 A Negação na Sintaxe da Linguagem Natural Ocorrências da Negação ~ em relação às diversas funções sintáticas: Sujeito: Ninguém é imortal Predicativo: Isto não é nada. Objeto Direto: Não vi ninguém. Objeto Indireto: Não preciso de nada. Complemento Nominal: Nunca tive inveja de ninguém. Agente da Passiva: João não foi traído por ninguém. Adjunto Adnominal: João é um não-atleta. Adjunto Adverbial: João não trabalha. Aposto (equiv.): Não vi Pedro, nem João, nem Maria, ninguém. Vocativo(equiv.): Nada, nada, fica longe de mim. 294 Letras de Hoje Jorge Campos da Costa
23 7 A Negação na Semântica da Linguagem Natural Nesse nível, são examinados aspectos da negação que vão além das condições-de-verdade. Mesmo assim são modeladas enquanto processos inferenciais que podem complementar a interpretação semântica do dito e representar a interface com a comunicação. 1. Negação típica A. Vais viajar? B. Não. 3. Negação por implicatura conversacional 2. Confirmação da negação A. Não vais viajar, então. B. Não. O conetivo se... então... / na Interface com a Lógica de Predicados (Cálculo Proposicional) / Semântica / Pragmática. Aqui examinaremos as propriedades do se... então... / analisando as condições de equivalência, tendo em vista a semântica das condições-de-verdade e, também, na interface com a comunicação. Se... então... / na lógica de Predicados (C. Prop.) Léxico Sintaxe A B MP A B MT A B A ~B B ~A Falácias A B A B ~A B ~B A - Formação Se A e B são fbfs, então A B é uma fbf. - Derivação R. Prova condicional / Introdução do I / Eliminação do I A... B A B O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 295
24 Semântica (lógica) tabela verdade A B V V V V F F F V F F V F Ex. P Q, Q R P R 1 (1) P Q P 2 (2) Q R P 3 (3) P S 1,3 (4) Q 1,3 MP 1,2,3 (5) R 2,4 MP 1,2 (6) P R 3,5 PC Relação com outros conetivos P Q ~P V Q ~ (P ~Q) V V F F F V V V V F F F V F F V Se João gosta de Maria, então Maria é feliz. Se Maria é feliz, então ela faz sucesso. Se João gosta de Maria, então ela faz sucesso. Se João é matemático, então estuda lógica P Q João é matemático P João estuda lógica Q Se... então... / na Sintaxe da Linguagem Natural Se João gosta de Maria, então ela é feliz. Desde que João goste de Maria, ela é feliz. João gostando de Maria, ela é feliz. Dado que João goste de Maria, então ela é feliz. João gosta de Maria implica que ela é feliz. João gosta de Maria acarreta que ela é feliz. Problemas: (a) Conexão semântica Se a alface é verde, então a terra é redonda P Q A alface é verde P A terra é redonda Q 296 Letras de Hoje Jorge Campos da Costa
25 (b) Paradoxos da Implicação (teoremas) 1. A (B A) 2. ~A (A B) 3. (A ~A) B / ~B 4. (B / ~B) (A ~A) 3. (A ~ A) B V F F V V V V F F V V F F F V F V V F F V F V F Se... então... / na Interface com a Pragmática Relações de Sentido interferem nos argumentos com condicionais Sinonímia Meronímia Implicaturas Antonímia Acarretamento Gradações Hiponímia Pressuposições Seqüências ~ & O conetivo se... então... / na Interface com a Lógica de Predicados (Cálculo Proposicional) / Semântica / Pragmática. Aqui examinaremos as propriedades do se... então... / analisando as condições de equivalência, tendo em vista a semântica das condições-de-verdade e, também, na interface com a comunicação. Se... então... / na lógica de Predicados (C. Prop.) Léxico Sintaxe A B MP A B MT A B A ~B B ~A Falácias A B A B ~A B ~B A - Formação Se A e B são fbfs, então A B é uma fbf. - Derivação R. Prova condicional / Introdução do I / Eliminação do I O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 297
26 A... B A B Semântica (lógica) tabela verdade A B V V V V F F F V F F V F Ex. P Q, Q R P R 1 (1) P Q P 2 (2) Q R P 3 (3) P S 1,3 (4) Q 1,3 MP 1,2,3 (5) R 2,4 MP 1,2 (6) P R 3,5 PC Relação com outros conetivos P Q ~P V Q ~ (P ~Q) V V F F F V V V V F F F V F F V Se João gosta de Maria, então Maria é feliz. Se Maria é feliz, então ela faz sucesso. Se João gosta de Maria, então ela faz sucesso. Se João é matemático, então estuda lógica João é matemático João estuda lógica Se... então... / na Sintaxe da Linguagem Natural Se João gosta de Maria, então ela é feliz. Desde que João goste de Maria, ela é feliz. João gostando de Maria, ela é feliz. Dado que João goste de Maria, então ela é feliz. João gosta de Maria implica que ela é feliz. João gosta de Maria acarreta que ela é feliz. P Q P Q 298 Letras de Hoje Jorge Campos da Costa
27 Problemas (a) Conexão semântica Se a alface é verde, então a terra é redonda P Q A alface é verde P A terra é redonda Q (b) Paradoxos da Implicação (teoremas) 1. A (B A) 2. ~A (A B) 3. (A ~A) B / ~B 4. (B / ~B) (A ~A) 3. (A ~ A) B V F F V V V V F F V V F F F V F V V F F V F V F Se... então... / na Interface com a Pragmática Relações de Sentido interferem nos argumentos com condicionais Sinonímia Meronímia Implicaturas Antonímia Acarretamento Gradações Hiponímia Pressuposições Seqüências Se João é solteiro, então é não-casado João é solteiro João é não casado Se João é solteiro, então é não-casado João é não não-casado João é solteiro Se João é solteiro, então é não-casado João não é solteiro João não é não casado Se João é solteiro, então é não-casado João é não-casado João é solteiro O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 299
28 Inferências semânticas lingüisticamente válidas fazem parte de um argumento inválido, gerando conclusões necessárias. No caso acima, pela relação de sinonímia. Se João parou de fumar então João fumava João não fumava João não parou de fumar A conclusão parece cancelar a pressuposição da segunda premissa. Se João não fumava, então João não parou de fumar João parou de fumar João não fumava Um argumento é inválido, e a semântica parece problemática. A conclusão nega a pressuposição Se esta pessoa é homem, então não é mulher Não é mulher Esta pessoa é homem P ~ Q ~ Q P Este exemplo, da mesma forma, está formatado numa regra inválida mas a inferência semântica gerada pela antonímia parece determinar uma conclusão necessária. Inserido num contexto dialógico, por exemplo, a conclusão semanticamente necessária poderia ser cancelada com um raciocínio do tipo a pessoa pode ser hermafrodita ou transexual. Se isto é uma flor, então não é uma rosa É uma rosa Então não é uma flor P ~ Q Q ~ P O argumento em pauta, caso clássico de Modus Tollens, é perfeitamente válido, mas, tendo em seu interior, uma inferência semântica baseada numa noção de hiponímia, torna-se aparentemente inválido, dado que a conclusão parece não se seguir das premissas. Se isto não é uma rosa, então não é uma flor Isto é uma rosa Isto é uma flor ~ P ~ Q P Q 300 Letras de Hoje Jorge Campos da Costa
29 O argumento acima é uma variação do anterior, caso de hiponímia, em que a validade semântica contrasta com a nãovalidade lógica pelas razões aduzidas no caso anterior. Se João perdeu os dedos, então não perdeu a mão P ~Q João perdeu a mão Q João não perdeu os dedos ~P Se João não perdeu a mão, então ele não perdeu os dedos ~P ~Q João perdeu a mão Q João perdeu os dedos P Os exemplos acima ilustram casos da relação parte/todo em que a inferência semântica ora inválida ora válida está conflitando com a forma lógica ora inválida ora válida. Se não é segunda-feira, então não é terça ~P ~Q É terça Q MT Então é segunda P O primeiro argumento sob análise é logicamente válido e, ao mesmo tempo, semanticamente contraditório; o de baixo é o contrário, pelas mesmas razões. Se não é segunda-feira, então é terça É terça Então não é segunda ~P Q Q ~ P Se isto é frio, então não é quente P ~Q Não é quente ~Q É frio P O caso acima, pelo fato de envolver uma gradação ao nível do significado dos adjetivos, caracteriza uma situação especial. Há um argumento inválido em termos de forma lógica e uma dupla interpretação em termos de inferência semântica. Na primeira parece que a conclusão se segue como necessária; suposta a gradação mencionada, a conclusão não é inevitável dada a possibilidade do morno como alternativa. O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 301
30 IV. Quantificadores na Interface Lógica / linguagem Natural Examina-se, aqui, o conjunto de propriedades semânticas e pragmáticas relevantes para a mencionada interface., // todos, pelo menos um 1 Quantificadores na Lógica de Predicados de 1ª ordem com identidade 1.1 Léxico, Regras de Formação (sintaxe): Se é uma variável individual, então F e F são fbf(s) 1.2 Semântica (Conetivos / Quantificadores) Regras de Derivação (sintaxe): Eliminação do (E ) ( x) (Fx) Fa Introdução do (I ) Fa * restrições o a precisa ser típico ( x) (Fx) Introdução do (I ) Fa ( x) (Fx) Eliminação do (E ) ( x) (Fx) Fa.. F falível. * restrições Ga G generoso Ga 302 Letras de Hoje Jorge Campos da Costa
31 Relações entre Quantificadores ( x) (Fx) ( x) (Fx) ( x) (Fx) ( x) (Fx) Semântica dos Quantificadores ( x) (Fx) é 1 sse para todo [c/x], Fc = 1 ( x) (Fx) é 1 sse para pelo menos um [c/x], Fc = 1 O Silogismo / O Quadrado de Aristóteles ( x) (Ax Bx) contrárias ( x) (Ax ~Bx) Todo A é B Nenhum A é B subalternas subalternas contraditórias Algum A é B Algum A não é ( x) (Ax Bx) subcontrárias ( x) (Ax Bx) São contrárias porque não podem ser verdadeiras ao mesmo tempo. Porém, podem ser falsas ao mesmo tempo. São subcontrárias porque não podem ser falsas ao mesmo tempo. Porém, podem ser verdadeiras ao mesmo tempo. As subalternas são relações tais que a verdade da universal acarreta a verdade da particular. As contraditórias são tais que uma sendo verdadeira acarreta que a outra é falsa. 2 Quantificadores na Linguagem Natural 2.1 Léxico: todo / nenhum / algum, etc. Sintaxe: Todo cão late. O cão late. Os cães latem. Corresponde a ( x) (Cx Lx) Cães latem. Alguns cães latem. Um cão late. Vários cães latem. Corresponde a ( x) (Cx Lx) A maioria dos cães latem. Muitos cães latem. ~ & O Conetivo E/& e OU/ na Interface Sintaxe/Semântica/Pragmática 303
32 Bibliografia DIJK, Teun A. van (1979). Pragmatic connectives. Journal of Pragmatics 3: GUTT, Ernst-August. (1999).Logical connectives, relationships, and relevance. In: Eugene E. Loos (ed.). Logical relations in discourse, Dallas: Summer Institute of Linguistics. LAPPIN, S. (ed) Semantics and Logic. The Handbook of Contemporary Semantic Theory. Blackwell: LEPORE, E. (2000). Meaning and Argument. An Introduction to Logic through Language. Malden, Mass., and Oxford, GB: Blackwell Publishers. ar.gsid.nagoya-u.ac.jp/paper/three.txt Letras de Hoje Jorge Campos da Costa
A INFERÊNCIA LÓGICO-LINGÜÍSTICA NA INTERFACE LÉXICO/SINTAXE/SEMÂNTICA/ PRAGMÁTICA (UMA INVESTIGAÇÃO ATRAVÉS DO CONETIVO E ) 1
A INFERÊNCIA LÓGICO-LINGÜÍSTICA NA INTERFACE LÉXICO/SINTAXE/SEMÂNTICA/ PRAGMÁTICA (UMA INVESTIGAÇÃO ATRAVÉS DO CONETIVO E ) 1 Jorge Campos da COSTA (PUCRS) 2 RESUMO: A inferência lógico-lingüística (interface
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
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
PROJETO DE PESQUISA TÍTULO: CONETIVOS NA INTERFACE LÓGICA E LINGUAGEM NATURAL
PROJETO DE PESQUISA PUCRS FALE CPGL DR.JORGE CAMPOS TÍTULO: CONETIVOS NA INTERFACE LÓGICA E LINGUAGEM NATURAL JUSTIFICATIVAS: EXTERNA: À medida que as relações Lingüística e Computação se tornam mais estreitas,
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
Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: [email protected] 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: [email protected] 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
LÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: [email protected]
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
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
MD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
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
Lógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
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
LÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
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
Introdução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto [email protected] 2 ESTUDO DE LÓGICA O estudo
Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Lógica: Quadrado lógico:
Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar
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: [email protected]
Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io
Lógica Proposicional e Dedução Natural [email protected] 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
IMPLICAÇÕES SEMÂNTICA AULA 02 SAULO SANTOS
IMPLICAÇÕES SEMÂNTICA AULA 02 SAULO SANTOS PROGRAMA DA AULA 1. Semântica vs. Pragmática 2. Implicações 3. Acarretamento 4. Pressuposições 1. SEMÂNTICA VS. PRAGMÁTICA (1) Qual é o objeto de estudo da Semântica?
LÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: [email protected]
Dedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA
MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos
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
LÓ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.
Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Lógica Computacional
Lógica Computacional Lógica de Operadores Booleanos Interpretações Tautológicas, Lógicas e Analíticas Funcionalidade / Tabelas de Verdade dos Operadores Booleanos Consequências Tautológica, Lógica e Analítica
A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
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
Lógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
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),
Introdução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto [email protected] 2 LINGUAGEM SIMBÓLICA: COMPONENTES
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
Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Lógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
n. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
Introduçã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...
Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
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
Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5
Lógica para Ciência da Computação I Lógica Matemática Texto 7 Negação e simplificação de enunciados Sumário 1 Negação de enunciados atômicos 2 1.1 Observações................................ 2 1.2 Exercício
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/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Lógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
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
Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior [email protected] Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Lógica Proposicional-2
Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão [email protected] Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão [email protected] Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Lógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
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
Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Fundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Fundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica
RECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Cálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José [email protected] 18 de maio de 2013
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
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
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Lógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
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
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
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
3.4 Fundamentos de lógica paraconsistente
86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,
Fundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro [email protected] http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Ló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
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
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
ACARRETAMENTO PRESSUPOSIÇÃO IMPLICATURA
Inferências ACARRETAMENTO PRESSUPOSIÇÃO IMPLICATURA 1 Acarretamento Hiponímia e hiperonímia (1) Ronia é a gata da Susan. I. Susan tem um felino. II. Susan tem um animal. III. Susan tem um ser vivo em casa.
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
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
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
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão [email protected] Argumento Sequência de sentenças......uma das quais se afirma verdadeira
MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :
LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:
3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
LÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Conhecimento e Raciocínio Lógica Proposicional
Conhecimento e Raciocínio Lógica Proposicional Agente Baseado em Conhecimento ou Sistema Baseado em Conhecimento Representa conhecimento sobre o mundo em uma linguagem formal (KB) Raciocina sobre o mundo
Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
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
