Introdução. Perry e os CI s: um problema para a semântica tradicional
|
|
- Sílvia Arruda de Sá
- 6 Há anos
- Visualizações:
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
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 maisContextualismo 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 maisNegaçã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 maisReferê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 mais2 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 maisVitor 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 maisnó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 maisSEMINÁ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 maisSearle: 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 maisCapí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 maisLó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 maisEXPRESSÕ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 maisFundamentos 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 maisO 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 maisOs 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 maisMetáfora. Companion to the Philosophy of Language, Oxford, Blackwell, 1998, pp
Metáfora Referências: Aristóteles, Retórica, Lisboa, INCM, 2005. Black, Max, More about metaphor, in Ortony, Andrew (ed.), Metaphor and Thought (2 nd ed.), Cambridge, Cambridge University Press, 1993,
Leia maisELEMENTOS 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 maisLó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 maisLó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 maisGrice: querer dizer. Projecto de Grice: explicar a significação em termos de intenções.
Grice: querer dizer Referências: Grice, Paul, Meaning, in Studies in the Way of Words, Cambridge (Mas.), Harvard University Press, 1989, pp 213-223. Schiffer, Stephen, Meaning, Oxford, Oxford University
Leia maisLó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 maisProgramaçã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 maisfilosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34.
Introdução Na Idade Média, a lógica foi concebida como a ciência da razão (scientia rationalis) ou como a ciência do discurso (scientia sermocinalis). Em geral, a primeira concepção distingue-se por identificar
Leia maisMatemá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 maisIntroduçã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 maisA 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 maisOPERADORES 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 maisAula 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 mais1 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 maisIntrodu 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 maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisUnidade: 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 mais3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.
1 LIVRO Valorações e Tabelas de Verdade META: Apresentar tabelas de verdade para classificar proposições lógicas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar valorações de um conjunto
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisMÓ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 maisAula 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 maisPara 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 maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisMatemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Leia maisInteligê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 maisRepresentaçã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 maisCompletude diz-se em Vários Sentidos
Completeness can be said in Several Meanings Edelcio Gonçalves de Souza Pontifícia Universidade Católica de São Paulo (PUC-SP) edelcio@pucsp.br Resumo: A partir de um raciocínio equivocado acerca do significado
Leia maisNomes 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 maisSCC 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 maisAula 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 maisIntroduçã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 maisSENTIDOS 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 maisPodem 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 maisGestã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 maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica 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 maisInteligê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 maisCí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 maisAo 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 maisLó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 maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisApostila de Eletrônica Digital ÍNDICE
Apostila de Eletrônica Digital ÍNDICE 1- Introdução Era Digital---------------------------------------------------------- PG 3 2- Números Binários --------------------------------------------------------------
Leia maisA 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 mais1 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 maisProgramas 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 maisLinguagem 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 maisCOMO 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 maisArgumentaçã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 maisCampos 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 maisLó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 maisSUMÁ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 maisProposiçõ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 maisSOBRE 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 maisInterpretaçõ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 maisLó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 maisPensamento 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 maisMatemá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 maisLó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 mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisRELAÇÕ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 maisMatemá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 maisLó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 maisSaul 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 maisTodos 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 maisFLL5072 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 maisAula 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 maisA 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 maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisÍ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 maisMatemá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 maisUsando 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 maisQuine e Davidson. Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo
Quine e Davidson Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo Historiografia e Filosofia das Ciências e Matemática ENS003 Prof. Valter A. Bezerra PEHFCM UFABC
Leia maisNHI 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 maisAlgoritmos 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 maisPreliminares, 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 maisCONSELHO 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 maisFundamentos 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 maisLó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 maisA 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