Noçoes de lógica

inconsistentes de sentenças. • Verificar se uma sentença é tautologia, contradição ou contingência. Teste seus conhecimentos prévios! a) Dê um exemplo de argumento extraído de um texto de matemática. b) Em uma cidade havia um barbeiro que fazia a barba de todos e somente daqueles que não se barbeavam a sim próprios. Pergunta: Quem fazia a barba do barbeiro? 1 Argumentos válidos 1.1 Definição de argumento Em nossa vida freqüentemente nos encontramos em situações que envolvem o conceito de argumentação. • Ao explicar o motivo de ter tirado determinada nota em uma prova • Ao justificar porque tivemos que ficar até mais tarde no colégio • Ao fazer um pedido para ir a uma festa no fim de semana. Nosso primeiro problema será investigar a seguinte questão: O que é um argumento? Para isso, façamos uma lista daquilo que intuitivamente poderia ser considerado como um argumento. Eis algumas possibilidades: a) Todo homem é mortal. Sócrates é homem. Logo, Sócrates é mortal. João é professor. Reflita Será que todos os argumentos ao lado são válidos? b) Se João é professor, então ele dá aulas. Logo, ele dá aulas. c) Todos os corvos observados até o momento são negros. Logo, todos os corvos são negros 1.2 Características dos argumentos 1. Argumento é um tipo de discurso que envolve um conjunto de sentenças. 2. Argumentos não envolvem sentenças do tipo imperativo como “Feche a porta” ou interrogativo como “Qual é o seu nome?”. 3. Em um argumento sempre há…

Aristóteles durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas começaram a ver Aristóteles com mais respeito, não só pela…

Semântica 1. Introdução “Definir os objetos de estudos da Semântica não é uma tarefa simples. Podemos afirmar que a semântica busca descrever o “significado” das palavras e das sentenças, mas devemos, então, definir esse conceito”. (pág.17) “Uma das dificuldades de definirmos esse termo se deve ao fato de que ele é usado para descrever situações de fala muito diferentes.” ( pág. 17) “(...) em “qual é o significado de mesa?”, indagamos sobre o significado de um termo, mesa; em “Qual o…

preliminares: Proposição ou sentença: É toda frase que possui sentido lógico; Sendo a sentença a partícula mais elementar de frase. Uma proposição pode ser classificada, de maneira elementar, em simples ou composta. Proposição simples é aquela formada por uma única sentença. Ex: Nenhum homem é brasileiro Joca é bonito Contraexemplo: Esta casa é verde? X+2=3 Proposição composta é aquela formada por mais de uma sentença, ligadas por conectivos. Forma e conteúdo Uma proposição qualquer pode…

significante foi adicionado a lógica de Aristóteles durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas começaram a ver…

assegurou que nada de significante foi adicionado a lógica de Aristóteles durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas…

Introduziu a análise da quantificação dos enunciados e das variáveis, realizou o estudo sistemático dos casos em que dois enunciados implicam um terceiro, estabeleceu o primeiro sistema dedutivo ou silogístico e criou a primeira lógica modal, que, ao contrário da lógica pré-aristotélica, admitia outras possibilidades além de "verdadeiro" e "falso". Trata-se de uma teoria clássica para explicar como é formulado o raciocínio humano. Desenvolvida pelo grego Aristóteles (384-322 a.C.), um…

durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas começaram a ver Aristóteles com mais respeito, não só pela clareza de seus…

SEMÂNTICA FORMAL Dalila Patricia Vidal de Lima Jallyson Klênio Filguêira Paulino José Júnior Pereira dos Santos Maria Elicarla da Silva1 INTRODUÇÃO O presente trabalho faz parte da disciplina de semântica, nele abordaremos o assunto Semântica Formal, com base na na teoria de Oliveira (2001), que enfatiza que para a Semântica Formal, o significado é um termo complexo que se compõe de duas partes, o sentido e a referência e postula que as sentenças se estruturam logicamente, como…

| | |[pic] |[pi|[pic] |2- |que alguns homens já nascem salvos pela vontade de Deus e que o indício dessa salvação, seria o acúmulo de | | | |c] | | |riquezas através das virtudes e do trabalho. | | |[pic] | |[pic] |3- |O capitalismo defendido por João Calvino. | | |[pic] | |[pic] |4- |O…