Raciocínio Lógico Parte 1

Slides:



Advertisements
Apresentações semelhantes
LÓGICA FILOSÓFICA. Teoria Obj: Construir um conceito de lógica
Advertisements

Lógica “A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade”
LÓGICA MATEMÁTICA IMPLICAÇÃO LÓGICA
Trabalho Escolar de Filosofia
SEMIÓTICA Charles S. Peirce
Jorge Muniz Barreto UFSC-INE
Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica.
ÓPTICA Abordar assuntos introdutórios sobre óptica que darão um pouco de base para a palestra sobre metrologia óptica Conceitos como reflexão, refração.
INTRODUÇÃO A lógica faz parte do nosso cotidiano.
RAZÃO E INSTINTO Pascal “ O Coração tem razões que a razão desconhece
BCC 101– Matemática Discreta
BCC 101 –Matemática Discreta
Fases do método indutivo Observar os fenômenos –Pedro, José, João,... são mortais. Descobrir a relação entre estes fenômenos –Pedro, José, João,... são.
Lógica e lógica de programação
Método Científico. Método Científico Método Científico.
Introdução Professor: Luiz Carlos Gabi
Lógica Matemática Introdução.
DEDUÇÃO NO CÁLCULO PROPOSICIONAL
Backtracking Katia Guimarães.
Profa. Dra. Maria Teresa Miceli Kerbauy
Prof. Everton da Silva Correa
Filosofia
Raciocínio Lógico Parte 1
Conceitos Básicos.
Metodologia da Pesquisa em Ensino de Ciências I
Exercícios de lógica -sensibilização
Lógica Matemática e Computacional
Silogística Tudo o que os artistas fazem é arte.
Prof. Kleyton Gustavo de Rezende Filosofia – º Médio A e B
MÉTODO CIENTÍFICO AULA02.
Anotem logo os assuntos importantes
BCC 101 –Matemática Discreta
Metodologia da Pesquisa em Ensino de Ciências I
Métodos Científicos Método Indutivo
Lógica Proposicional Caderno de Exercícios.
LÓGICA FILOSÓFICA. Teoria Obj: Construir um conceito de lógica
Introdução a Lógica Prof. Luiz Carlos Gabi.
A natureza da ciência 02/04/2017
A UNIVERSALIDADE DO GOSTO
Sumário da Discussão Lógica Elementos de Lógica Um pouco de HISTÓRIA
Lógicas e Inferência para IA
Introdução à NP-completude Katia S. Guimarães
“A lógica é uma ciência do raciocínio”
Cap. 11 – Lógica Aristotélica
Lógica Silogística Ricardo Santos.
Lógica matemática.
A lógica UNIDADE 4.
A Proposição e a Lógica A idéia geral da dedução ou inferência silogística é: A é verdade de B. B é verdade de C. Logo, A é verdade de C. A inferência.
A Economia Açucareira 10/04/2017
Profª. Taís Linassi Ruwer
Lógica Matemática Introdução.
Inteligência Artificial: Lógica Proposicional e Prolog
Lógica e Teoria dos Conjuntos
Lógica Proposicional.
Inferir: é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A dedução é uma inferência.
Introdução à Engenharia de Computação
Cap. 11 – Lógica Aristotélica
METODOLOGIA DO TRABALHO CIENTÍFICO
Lógica para Computação
Colégio Agrícola “José Bonifacio”
Lógica matemática.
UNIP UNIVERSIDADE PAULISTA Professor: Yure de Queiroz Lima
METODOLOGIA CIENTÍFICA SENSO CRÍTICO, DEDUÇÃO E INDUÇÃO
Lógica I “Sem abstração, a inteligência não floresce” (João Zelesny)
Espécies de argumentação dedutiva
O que é lógica? Lógica é uma parte da filosofia que estuda o fundamento, a estrutura e as expressões humanas do conhecimento. A lógica foi criada por Aristóteles.
Capítulo 4 – Filosofar é conhecer
Silogismo No cumprimento de mais uma tarefa da vida académica, sobretudo na disciplina de Matemática, coube ao grupo, já identificado, elaborar o presente.
PROF. NAYARA ZAGO BASSETTO
Transcrição da apresentação:

Raciocínio Lógico Parte 1 02/04/2017 www.nilson.pro.br

Lógica – Ciência dos LOGOS (palavra, discurso, pensamento, razão) Raciocínio Lógico Lógica – Ciência dos LOGOS (palavra, discurso, pensamento, razão) Estuda as leis e regras estruturadoras da coerência do pensamento e do discurso Faz com que nossas idéias se mantenham de pé Cola das idéias (Bateson) 02/04/2017 www.nilson.pro.br

Organon Instrumento do pensamento Aristóteles Organon Instrumento do pensamento 02/04/2017 www.nilson.pro.br

Validade x Verdade Estrutura x Conteúdo Mulheres são mortais Fátima é mulher Logo, Fátima é mortal Mulheres são roxas Logo, Fátima é roxa 02/04/2017 www.nilson.pro.br

Validade Verdade Formal Verdade Verdade Material Lógica material (metodologia) Lógica formal 02/04/2017 www.nilson.pro.br

Lógica e Linguagem Pragmática Semântica Sintaxe Uso concreto da linguagem, sua relação com os sujeitos falantes e o contexto em que os signos são utilizados Semântica Significado dos signos Sintaxe Regras que regem as relações entre os signos 02/04/2017 www.nilson.pro.br

Semântica Letícia pegou a manga Márcio vai observar os cães esta noite Fernando saiu com uma rapariga 02/04/2017 www.nilson.pro.br

Significado e Referência Peixe Estrela da Manhã – Estrela da Tarde Pai Atual Rei da França 02/04/2017 www.nilson.pro.br

O Problema da Verdade Verdade é alguma forma de correspondência entre entre o que pensamos e a realidade. Chove Sou sempre mentiroso 02/04/2017 www.nilson.pro.br

Leis Lógicas Fundamentais Princípio da Identidade Princípio da não contradição Princípio do terceiro excluído 02/04/2017 www.nilson.pro.br

Raciocínio (inferências) Conceito Idéia ou noção comum Casa, branco, alto, morador Juízo Relação entre conceitos A casa é branca Raciocínio (inferências) Relação entre juízos “Se Jõao mora naquela casa é um homem afortunado; ora, João não é um homem afortunado, logo não mora naquela casa.” 02/04/2017 www.nilson.pro.br

Conceito x Termo Termo Conceito Palavras e expressões, signo lingüístico Conceito Sentido, ato mental Conceito é a apreensão da essência, isto é, das características determinantes de um objeto. 02/04/2017 www.nilson.pro.br

Conceito Extensão (denotação) Compreensão (intenção) Número de objetos compreendidos Compreensão (intenção) Qualidades específicas 02/04/2017 www.nilson.pro.br

A proposição é a expressão verbal do juízo Categóricos S é P S = sujeito ; p = predicado Hipotéticos Se p então q p e q são juízos Disjuntivos Ou p ou q 02/04/2017 www.nilson.pro.br

Quantidade e Qualidade das Proposições A – universais afirmativas Todo o S é P E – universais negativas Nenhum S é P I – particulares afirmativas Algum S é P O – particulares negativas Algum S não é P 02/04/2017 www.nilson.pro.br

02/04/2017 www.nilson.pro.br

Condição necessária e condição suficiente 02/04/2017 www.nilson.pro.br

Inferências No momento em que a mulher descobre marcas de baton desconhecido no colarinho do marido, produz-se (entre outras coisas) a inferência. Inferência é o movimento do pensamento que liga a(s) premissa(s) à conclusão 02/04/2017 www.nilson.pro.br

Inferência Todos os filósofos são sábios. Alguns gregos são filósofos. (1.ª premissa) Alguns gregos são filósofos. (2.ª premissa) Portanto alguns gregos são sábios. (conclusão) 02/04/2017 www.nilson.pro.br

Inferência Todos os filósofos são verdes. Alguns gregos são filósofos. (1.ª premissa) Alguns gregos são filósofos. (2.ª premissa) Portanto alguns gregos são verdes. (conclusão) 02/04/2017 www.nilson.pro.br

Inferência Todos os triângulos são triláteros. (premissa) Portanto, todos os triláteros são triângulos. (conclusão) 02/04/2017 www.nilson.pro.br

Inferência Todos os homens são mortais. (premissa) Portanto, todos os mortais são homens. (conclusão) 02/04/2017 www.nilson.pro.br

Inferência Uma inferência válida é aquela na qual sempre que as premissas sejam verdadeiras a conclusão também o é, necessariamente. 02/04/2017 www.nilson.pro.br

Inferência Válida 02/04/2017 www.nilson.pro.br

Oposição de proposições 02/04/2017 www.nilson.pro.br

Oposição de proposições Contrárias são duas proposições universais que apenas diferem na qualidade: "Todos os homens são mortais" (A); "Nenhum homem é mortal" (E). Duas contrárias não podem ser verdadeiras simultaneamente, mas podem ser ambas falsas. “Todos os homens são chineses” “Nenhum homem é chinês.” 02/04/2017 www.nilson.pro.br

Oposição de proposições Subcontrárias São duas proposições particulares que apenas diferem na qualidade: "Alguns animais aquáticos são mamíferos" (I); "Alguns animais aquáticos não são mamíferos" (O). Duas proposições subcontrárias podem ser verdadeiras simultaneamente; todavia, se uma é falsa, a outra é verdadeira. 02/04/2017 www.nilson.pro.br

Oposição de proposições Subalternas São duas proposições que apenas diferem na quantidade: "Todos os homens são mortais" (A) e "Alguns homens são mortais" (I); ou "Nenhum homem é mortal" (E) e "Alguns homens não são mortais" (O). Sempre que a universal for verdadeira, a particular também o será; Se a universal for falsa, a particular pode ser verdadeira ou falsa. Quando a particular for falsa, a universal também será necessariamente falsa; Quando a particular for verdadeira, o valor da universal poderá ser verdadeiro ou falso. 02/04/2017 www.nilson.pro.br

Oposição de proposições Contraditórias São proposições que diferem simultaneamente em qualidade e em quantidade: "Todos os homens são mortais" (A) "Alguns homens não são mortais" (O); "Nenhum filósofo é louco" (E) "Alguns filósofos são loucos" (I) Duas proposições contraditórias não podem ser simultaneamente verdadeiras ou falsas; se uma é verdadeira, a outra é falsa, e vice-versa. 02/04/2017 www.nilson.pro.br

02/04/2017 www.nilson.pro.br

Conversão de Proposições* Conversão é uma operação lógica que sonsiste em fazer do predicado da antiga preposição o sujeito da nova, sem que a nova proposição tenha um significado diferente da antiga. 02/04/2017 www.nilson.pro.br

Conversão de Proposições* Os homens são mortais Os mortais são homens (errado) Alguns mortais são homens (certo) 02/04/2017 www.nilson.pro.br

Conversão de Proposições* Alguns homens não são dentistas (proposição a converter) Alguns não-homens não são não-dentistas (contraposição) Alguns não-dentistas não são não-homens (conversão) Alguns não-dentistas são homens (conclusão) 02/04/2017 www.nilson.pro.br

Conversão de Proposições* Conversão simples — Procede-se à troca dos termos sem alterar a quantidade ou a qualidade da proposição inicial. Este tipo de conversão aplica-se às proposições E (universal negativa) e I (particular afirmativa), e ainda às proposições universais afirmativas (tipo A) que são definições. Conversão por limitação — Mantém-se a qualidade da proposição inicial, mas altera-se a quantidade. Aplica-se às proposições tipo A (universais afirmativas), que se convertem em proposições tipo I (particulares afirmativas). Conversão por contraposição, ou por negação — Altera-se a qualidade da proposição inicial. Aplica-se às proposições tipo O (particulares negativas), que se convertem em proposições tipo I (particulares afirmativas). 02/04/2017 www.nilson.pro.br

Conversão de Proposições* 02/04/2017 www.nilson.pro.br

Analogia Indução Dedução Inferência Imediata 02/04/2017 www.nilson.pro.br

Analogia A analogia é o raciocínio que de certas semelhanças infere novas semelhanças. A analogia é a forma de inferência mais rica e criativa, tão ilimitada como a imaginação do homem, mas por isso mesmo a menos susceptível de um tratamento rigoroso, que nos permita definir-lhe as leis e as regras. É uma forma de pensamento que tanto nos pode levar, nas asas do gênio, à descoberta de aspectos fundamentais da realidade, como nos pode fazer mergulhar numa visão distorcida e simplista daquilo que nos cerca. 02/04/2017 www.nilson.pro.br

Indução A indução é raciocínio que nos permite passar do particular para o geral; isto é, partir da observação de um número limitado de casos particulares para a formulação de uma lei geral. Enuncia, no melhor dos casos, uma boa probabilidade, não uma certeza. Falseabilidade das Hipóteses (Pooper ) 02/04/2017 www.nilson.pro.br

Dedução O raciocínio dedutivo vai do geral para o geral, ou do geral para o particular; é a inferência na qual, dadas certas coisas, outra diferente se lhes segue necessariamente, só pelo fato de serem dadas. A dedução é a forma mais rigorosa de raciocínio. Os carbonos são condutores elétricos. Os carbonos são corpos simples. Logo alguns corpos simples são condutores elétricos. 02/04/2017 www.nilson.pro.br

Silogismo Categórico Hipotético "Todos os homens são mortais" "Todos os franceses são homens" "Todos os franceses são mortais" Hipotético Se João estuda então passa no exame; João estuda, Portanto passa no exame. 02/04/2017 www.nilson.pro.br

Silogismo Categórico 02/04/2017 www.nilson.pro.br

Regras das premissas (4) Silogismo Categórico Regras dos termos (4) Regras das premissas (4) 02/04/2017 www.nilson.pro.br

Regras dos termos 1. Apenas existem três termos num silogismo: maior, médio e menor. Esta regra pode ser violada facilmente quando se usa um termo com mais de um significado: "Se o cão é pai e o cão é teu, então é teu pai.“ Aqui o termo "teu" tem dois significados, posse na segunda premissa e parentesco na conclusão, o que faz com que este silogismo apresente na realidade quatro termos. 02/04/2017 www.nilson.pro.br

Regras dos termos 2. Nenhum termo deve ter maior extensão na conclusão do que nas premissas: “Se as orcas são ferozes e algumas baleias são orcas, então as baleias são ferozes.” O termo "baleias" é particular na premissa e universal na conclusão, o que invalida o raciocínio, pois nada é dito nas premissas acerca das baleias que não são orcas, e que podem muito bem não ser ferozes. 02/04/2017 www.nilson.pro.br

Regras dos termos 3. O termo médio não pode entrar na conclusão. 02/04/2017 www.nilson.pro.br

Regras dos termos 4. Pelo menos uma vez o termo médio deve possuir uma extensão universal: “Se os britânicos são homens e alguns homens são sábios, então os britânicos são sábios.” Como é que podemos saber se todos os britânicos pertencem à mesma sub-classe que os homens sábios? É preciso notar que na primeira premissa "homens" é predicado e tem uma extensão particular. 02/04/2017 www.nilson.pro.br

Regras dos termos 1. Apenas existem três termos num silogismo: maior, médio e menor. 2. Nenhum termo deve ter maior extensão na conclusão do que nas premissas. 3. O termo médio não pode entrar na conclusão. 4. Pelo menos uma vez o termo médio deve possuir uma extensão universal. 02/04/2017 www.nilson.pro.br

Regras das Premissas 5. De duas premissas negativas, nada se pode concluir: "Se o homem não é réptil e o réptil não é peixe, então...“ Que conclusão se pode tirar daqui acerca do "homem" e do "peixe"? 02/04/2017 www.nilson.pro.br

Regras das Premissas 6. De duas premissas afirmativas não se pode tirar conclusão negativa. 02/04/2017 www.nilson.pro.br

Regras das Premissas 7. A conclusão segue sempre a premissa mais fraca. A particular é mais fraca do que a universal. A negativa é mais fraca do que a afirmativa. "Se os europeus não são brasileiros e os franceses são europeus, então os franceses não são brasileiros." Que outra conclusão se poderia tirar? 02/04/2017 www.nilson.pro.br

Regras das Premissas 8. Nada se pode concluir de duas premissas particulares. De "Alguns homens são ricos" e "Alguns homens são sábios" nada se pode concluir, pois não se sabe que relação existe entre os dois grupos de homens considerados. Aliás, um silogismo com estas premissas violaria também a regra 4. (pelo menos uma vez o termo médio deve possuir uma extenção universal) 02/04/2017 www.nilson.pro.br

Regras das Premissas 5. De duas premissas negativas, nada se pode concluir. 6. De duas premissas afirmativas não se pode tirar conclusão negativa. 7. A conclusão segue sempre a premissa mais fraca. 8. Nada se pode concluir de duas premissas particulares. 02/04/2017 www.nilson.pro.br

Modo e figura do Silogismo (A,A,A)(A,A,E)(A,A,I)… (n=64) Figura Papel do termo médio 1ª (sujeito, predicado) 2ª (predicado, predicado) 3ª (sujeito, sujeito) 4ª (predicado, sujeito) 02/04/2017 www.nilson.pro.br

Modo e figura do Silogismo Existem 256 tipos de silogismos Alguns repetidos Alguns inválidos Somente 19 são concludentes (válidos) 02/04/2017 www.nilson.pro.br

Silogismos Válidos 1ª figura – AAA, EAE, AII, EIO 2ª figura – EAE, AEE, EIO, AOO 3ª figura – AAI, EAO, IAI, EIO 4ª figura - AAI, AEE, IAI, EIO 02/04/2017 www.nilson.pro.br

Silogismos Válidos 1ª figura – AAA, EAE, AII, EIO 2ª figura – EAE, AEE, EIO, AOO 3ª figura – AAI, EAO, IAI, EIO 4ª figura - AAI, AEE, IAI, EIO 1ª Barbara, Celarent, Darii, Ferio 2ª Cesare, Camestres, Festino, Baroco 3ª Darapti, Felapton, Disamis, Bocardo, Ferison 4ª Bamalip, Calemes, Dimatis, Fesapo, Fresison 02/04/2017 www.nilson.pro.br

Conversão de uma figura em outra Nenhum ladrão é sábio. Alguns políticos são sábios. Portanto alguns políticos não são ladrões. Festino (2ª figura – P,P) Nenhum sábio é ladrão. Ferio (1ª figura – S,P) 02/04/2017 www.nilson.pro.br

Se p, então q; ora p; logo q. Silogismo Hipotético 02/04/2017 www.nilson.pro.br

Silogismo Hipotético Modus ponens se p, então q ora p; logo q. A afirmação do antecedente obriga à afirmação do conseqüente. Da afirmação do conseqüente nada se pode concluir. 02/04/2017 www.nilson.pro.br

Silogismo Hipotético Modus tollens se p, então q ora não q; logo não p. A negação do conseqüente torna necessária a negação do antecedente. Da negação do antecedente nada se pode concluir. 02/04/2017 www.nilson.pro.br

Silogismo Hipotético Falácias 02/04/2017 www.nilson.pro.br

Exercícios Alguns homens são ricos. Os padres são homens. Logo os padres são ricos. 02/04/2017 www.nilson.pro.br

Exercícios Alguns estudantes são preguiçosos. Muitos mecânicos não são preguiçosos. Portanto muitos mecânicos não são estudantes. 02/04/2017 www.nilson.pro.br

Exercícios Os lagartos são répteis. Os répteis são animais. Logo alguns animais são lagartos. 02/04/2017 www.nilson.pro.br

Exercícios Se Roberto tomasse veneno, ficaria doente. Ora Roberto não tomou veneno; Logo não ficou doente. 02/04/2017 www.nilson.pro.br

Exercícios A presença de aminoácidos implica a existência de vida. Existe vida em Marte. Portanto também lá existem aminoácidos. 02/04/2017 www.nilson.pro.br

Exercícios Se este metal fosse ouro, então brilharia. Este metal não brilha, logo não é ouro. 02/04/2017 www.nilson.pro.br

Paradoxos de Zenão "É impossível atravessar o estádio; porque, antes de se atingir a meta, deve primeiro alcançar-se o ponto intermédio da distância a percorrer; antes de atingir esse ponto, deve atingir-se o ponto que está a meio caminho desse ponto; e assim ad infinitum". 02/04/2017 www.nilson.pro.br

Paradoxos de Zenão "Um objecto está em repouso quando ocupa um lugar igual às suas próprias dimensões. Uma seta em voo ocupa, em qualquer momento dado, um espaço igual às suas próprias dimensões. Por conseguinte, uma seta em voo está em repouso". 02/04/2017 www.nilson.pro.br

Paradoxos de Zenão "Aquiles nunca pode alcançar a tartaruga; porque na altura em que atinge o ponto donde a tartaruga partiu, ela ter-se-á deslocado para outro ponto; na altura em que alcança esse segundo ponto, ela ter-se-á deslocado de novo; e assim sucessivamente, ad infinitum" (...) 02/04/2017 www.nilson.pro.br