PENSAMENTO CRÍTICO. Aula 3. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

Documentos relacionados
PENSAMENTO CRÍTICO. Aula 4. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aula 2. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aula 5. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

n. 18 ALGUNS TERMOS...

impossível conclusão falso premissas verdadeiro

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1

Introdução ao pensamento matemático

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Aula 7: Dedução Natural 2

Lógica Proposicional Parte 3

Lógica, Informática e Comunicação

Lógica Computacional. Argumentos válidos e sólidos. Métodos de demonstração. Demonstrações formais. Regras de Inferência Igualdade

Lógica Computacional

Matemática Computacional. Introdução

Lógica Computacional Aulas 8 e 9

UNIVERSIDADE FEDERAL DE GOIÁS CENTRO DE SELEÇÃO DA UFG

Lógica Proposicional (Consequência lógica / Dedução formal)

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Aula 6: Dedução Natural

Lógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva

Gabarito comentado do teste especial de Raciocínio Lógico para o concurso Terracap-DF. 26 funcionários no total, sendo 18 mulheres, logo 8 são homens.

Lógica Proposicional Parte 2

Lógica Matemática 1. Semanas 4, 5 e 6. Material previsto para três semanas

ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL

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

Curso de Engenharia - UNIVESP Disciplina Matemática - Bimestre 1. Exercícios da semana 1 - vídeo aulas 1 e 2

Indução e filosofia da ciência 1

Tecnologia para Sistemas Inteligentes Apontamentos para as aulas sobre. Incerteza: Regras com Factor de Confiança. Luís Miguel Botelho

Referências e materiais complementares desse tópico

Trata-se de uma negação condicional padrão. Consideremos:

Lógica dos Conectivos: validade de argumentos

INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II)

Lógica Computacional

Aula 1: Introdução ao curso

Álgebra Linear I - Aula 10. Roteiro

Lógica para Computação Introdução. José Gustavo de Souza Paiva

Lógica Computacional

Lógica Computacional

Sistemas Baseados em Conhecimento

Sistemas Especialistas (SE)

6 Demonstrações indiretas 29. Petrucio Viana

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação

Fundamentos de Lógica Matemática

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.

Aula 7 Os teoremas de Weierstrass e do valor intermediário.

O Problema dos 3 Potes d água

Autor: Francisco Cubal Disponibilizado apenas para Resumos.tk

Lógica Matemática. Definição. Origem. Introdução

Metodologia Científica

P(A i ) (n 1) i=1. Sorteia-se um homem desse grupo. Qual é a probabilidade de que seja paulista recém-formado, mas não pediatra?

SERVIÇO PÚBLICO FEDERAL - MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE ROLIM DE MOURA DEPARTAMENTO DE EDUCAÇÃO DO CAMPO

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Lógica dos Conectivos: demonstrações indiretas

Lógica Matemática - Indução

Dedução Natural para Lógica Proposicional

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

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.

Lógica Proposicional. 1- O que é o Modus Ponens?

Apresentação do curso

Paper O que é e como fazer

UNIVERSIDADE FEDERAL DO CEARÁ COORDENADORIA DE CONCURSOS CCV

Lógica dos Conectivos: demonstrações indiretas

Inferência Estatística Básica. Teste de Hipóteses: decidindo na presença de incerteza

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade)

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

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

RACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro.

Algoritmos I Aula 2 Lógica de Programação

Definição tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.

Análise de Algoritmos

FORMAÇÃO CONTINUADA EM MATEMÁTICA Matemática 9º Ano 3º Bimestre/2012 FUNÇÃO POLINOMIAL DO 1º GRAU

1 Conjuntos, Números e Demonstrações

ANEXO 1. Metas para um Currículo de Pensamento Crítico. (Taxonomia de Ennis)

Demonstrações. Terminologia Métodos

Processos Estocásticos

MAT Laboratório de Matemática I - Diurno Profa. Martha Salerno Monteiro

IME, UFF 10 de dezembro de 2013

Administração Central Unidade de Ensino Médio e Técnico - Cetec. Ensino Técnico

IME, UFF 4 de novembro de 2013

Fundamentos de Lógica Matemática

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

Plano de Trabalho Docente Ensino Técnico

CÂMARA MUNICIPAL DE PIMENTA-MG CONCURSO PÚBLICO 001/2018

Retomada aula. Introdução sobre Inteligência Artificial Abordagem sobre Agentes Resolução de problemas estratégias de busca - apresentação trabalhos

Generalidades sobre conjuntos

Introdução à Lógica. Prof. João Borba

3º ANO DO ENSINO MÉDIO 30 de abril de 2010

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Lógica. História da Lógica

n. 15 ÁREA DE UM TRIÂNGULO Logo, a área do triângulo é obtida calculando-se a metade da área do S = 1 2

Generalidades sobre conjuntos

Máximos e mínimos em intervalos fechados

Conceitos e Controvérsias

RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira

COLÉGIO NOSSA SENHORA DA PIEDADE. Programa de Recuperação Paralela. 2ª Etapa 2014

Transcrição:

PENSAMENTO CRÍTICO Aula 3 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2

Inferir é concluir, é extrair informação nova a partir de raciocínio, do encadeamento de informações disponíveis. Inferência é tanto o processo de extração de informação nova quanto a própria informação obtida (conclusão). INFERIR E INFERÊNCIA

Basicamente, raciocinar, ou fazer inferência, consiste em manipular a informação disponível aquilo que sabemos, ou supomos, ser verdadeiro; aquilo em que acreditamos e extrair consequências disso, obtendo informação nova. O resultado de um processo (bem-sucedido) de inferência é que você fica sabendo (ou, ao menos, acreditando em) algo que você não sabia antes. [...] Por outro lado, é importante notar que nem sempre o ponto de partida do processo são coisas sabidas, ou em que se acredita: muitas vezes raciocinamos a partir de hipóteses. [...] É provavelmente desnecessário mencionar mas vou fazê-lo assim mesmo que existem outras maneiras, além de inferências, de obter informação nova. Frequentemente, contudo, obtemos informação executando inferências, ou seja, raciocinando, e é aqui que o interesse da lógica se concentra. (MORTARI, Cezar A. Introdução à Lógica. São Paulo, UNESP/ Imprensa Oficial do Estado, 2001, p. 4, grifos nossos)

A Lógica estuda inferências e argumentos. Qual a relação entre as noções em questão? INFERÊNCIA E ARGUMENTO

Conclusão é a informação extraída do processo de inferência. Premissas são as informações que servem de fundamento para as inferências, são os pressupostos disponíveis que justificam, embasam, oferecem sustento adequado para a aceitação da conclusão. PREMISSAS E CONCLUSÃO

Um argumento é uma entidade linguística, [...] uma inferência não o é. [...] Para avaliar uma inferência, devemos considerar a relação entre uma conclusão e a evidência da qual a conclusão é extraída. Assim como a conclusão deve ser formulada, também a evidência deve sê-lo. Quando a evidência é explicitada, temos as premissas de um argumento; quando a conclusão é enunciada, converte-se na conclusão desse argumento. O enunciado da inferência é, portanto, um argumento, e este pode ser submetido à análise lógica. (SALMON, W. C. Lógica. Tradução de Álvaro Cabral. Rio de Janeiro: LTC, 2002, p. 5) A RELAÇÃO ENTRE INFERÊNCIA E ARGUMENTO

Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para provar ou, pelo menos, fornecer alguma evidência para a conclusão. (NOLT, John; ROHATYN, Dennis. Lógica. São Paulo: McGraw-Hill, 1991, p. 1) SOBRE ARGUMENTOS

Da demonstração de que a Lebre é inocente decorre por (iv) que a Lebre diz apenas verdades e, usando a hipótese (i), temos que o Chapeleiro também é inocente. Novamente usamos o pressuposto (iv) para inferirmos que o Chapeleiro diz verdades e, portanto, a hipótese (ii) é necessariamente verdadeira, i.e., o Leirão também é inocente. Neste caso, tem-se então que as três criaturas são inocentes. RESOLUÇAO DE PARTE DO SEGUNDO ENIGMA

P 1 A 1. P 2 A 1. A Lebre é inocente. [Premissa Não Básica ou Conclusão Intermediária] Os inocentes sempre dizem a verdade. [Premissa Básica (PB)] CA 1. = P 1 A 2. O chapeleiro é inocente. [Conclusão do Argumento 1 e Premissa do Argumento 2; logo, uma Conclusão Intermediária (CI) ou Premissa Não Básica (PNB)] CA 2. = P 1 A 3. O chapeleiro diz a verdade. [CI/PNB] P 2 A 3. CA 3. CA final. O chapeleiro disse que o Leirão é inocente. [PB] O Leirão é, de fato, inocente. As três criaturas são inocentes. ESQUEMA ARGUMENTATIVO

Costuma-se denominar argumentos complexos aqueles que são constituídos por etapas e, portanto, contêm um outro argumento como uma dessas etapas. Nomeiam-se premissas não-básicas ou conclusões intermediárias as sentenças que foram inferidas de premissas anteriores (são, portanto, conclusões) e, concomitantemente, servem de pressuposto para novas inferências (são, portanto, premissas). Os dois nomes refletem o papel dual das sentenças em questão. As premissas que não são conclusões de premissas prévias, por sua vez, são chamadas premissas básicas. ARGUMENTOS COMPLEXOS

Os argumentos contidos em outro(s) são denominados subargumentos. Assim, um argumento complexo necessariamente contém, ao menos, um subargumento. SUBARGUMENTOS

Na prática, os argumentos costumam ser macroestruturas formadas por argumentos menores, ou subargumentos. Muitas vezes, a melhor forma de começar a deslindar uma rede complexa de argumentação é identificar e formular com clareza um ou mais desses argumentos. (WALTON, 2006, p. 151)

MAQUIAVEL. O príncipe, capítulo III. Tradução de Lívio Xavier. São Paulo: Abril Cultural, 1983, p. 11. (Os Pensadores) EXERCÍCIO

EXERCÍCIO. É necessário fazer isso [organizar colônias], ou ter lá muita força armada. Com as colônias não se gasta muito, e sem grande despesa podem ser feitas e mantidas. [...] Mas conservando, em vez de colônias, força armada, gasta-se muito mais, e tem de ser despendida nela toda a receita da província. A conquista torna-se, pois, perda, e ofende muito mais, porque prejudica todo o Estado com as mudanças de alojamento das tropas. Estes incômodos todos os sentem, e todos por fim se tornam inimigos que podem fazer mal, ainda batidos na própria casa. Por todas as razões, pois, é inútil conservar força armada, ao contrário de manter colônias. MAQUIAVEL. O príncipe, capítulo III. Tradução de Lívio Xavier. São Paulo: Abril Cultural, 1983, p. 11. (Os Pensadores)