Lógica e estruturação PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA

Tamanho: px
Começar a partir da página:

Download "Lógica e estruturação PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA"

Transcrição

1 Lógica e estruturação da linguagem PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA

2 Na 3 Série do Ensino Médio, o professor decidiu aprofundar em um tema de extrema importância: LÓGICA. Vocês a estudarão o ano inteiro!!! Assim, vocês deverão aprender com ela: - O que é Lógica - Argumentos -Silogismos - Falácias - Refletir Rf o pensamento na forma escrita - Rigor conceitual. - Outros.

3 UM POUCO DE HISTÓRIA Catalogar, sistematizar, sincronizar, pesquisar, descobrir, relacionar, investigar, simbolizar, organizar, racionalizar... Estes e outros verbos constituem o escopo da ciência contemporânea, mas que teve origens na Antiguidade. Diversos filósofos começaram a investigação do mundo e do universo através de princípios de uma ciência já dominante: a MATEMÁTICA. E dentro desta pesquisa da Natureza, eles dispunham todo o conhecimento existente em grupos fazendo distinção entre as diversas áreas do saber.

4 Pitágoras (sim, ele mesmo!) foi o primeiro que se tem notícia de que usou o raciocínio dedutivo, sistemático e axiomático. Fundou um grupo de estudos que ficou conhecido como Os pitagóricos. Nele, os estudantes adoravam (no sentido religioso do termo) os números e a alma tinha seu próprio número cuja identidade era cognoscível. Também postulou que o dodecaedro era a forma deorigem do Universo. AXIOMA: princípio verdadeiro e universal do qual não se AXIOMA: princípio verdadeiro e universal do qual não se pode duvidar.

5 Aristóteles: O peripatético ou aquele que ensinava andando. Nasceu em Estagira 384 a.c. morreu em 322 a.c. Foi professor/mestre de Alexandre, o Grande da Macedônia. Era um exímio biólogo e estudioso, dentre outras espécies, as das abelhas. Ele também estudou a análise dos discursos e do pensamento através da formulação da Lógica.

6 PARA COMEÇAR A CONVERSA Lógica = Lógos, do grego g (λογός)( γ que significa verbo ou palavra. No Latim, a palavra tomou o significado de Razão. Para Aristóteles, a lógica é um instrumento, uma introdução para as ciências e para o conhecimento e baseia-se no silogismo, o raciocínio i formalmente estruturado que supõe certas premissas colocadas previamente para que haja uma conclusão necessária e verdadeira.

7 O silogismo é basicamente expresso em: dedutivo quando parte do universal para o particular; o indutivo, ao contrário, parte do particular para o universal. Assim, se forem verdadeiras as premissas, a conclusão, logicamente, também será verdadeira.

8

9 MAS... O QUE É A LÓGICA? A Lógica é o estudo que trata da coerência e coesão do discurso. Preza pelo rigor do raciocínio e da sequência da argumentação. Começou com Aristóteles (lógica clássica) que postulou 3 regras básicas para o raciocínio: i

10 AS 3 REGRAS DA LÓGICA CLÁSSICA O princípio de identidade A=A Ex.: Você é você. O de não contradição Av~A Ex.: Você não é não-você. Na lógica, o símbolo ~ significa NÃO Terceiro Excluído AvB. Não pode ter um C. Ex.: Você e não o outro. Na lógica, o símbolo v significa OU. As três regras tratam da coerência do argumento tornando-o o sólido.

11 Embora, Aristóteles NUNCA tenha pensado em lógica, ele escreveu uma obra que trata exclusivamente dos discursos. Tl Tal obra é conhecida como ÓRGANON ou ÓRGÃO.

12 MAS... O QUE É SILOGISMO? Silogismo é um raciocínio argumentativo composto de 3 partes sendo elas: Premissas MAIOR e MENOR e Conclusão. A soma das premissas resulta necessariamente em uma conclusão. Se as premissas forem verdadeiras, a conclusão será SEMPRE verdadeira!

13 COMO IDENTIFICAR AS PREMISSAS MAIORES E MENORES? Para identificá-las, é necessário identificar os termos: Menor, Médio e Maior. A premissa maior contém os termos Médio e Maior; A premissa menor contém os termos Médio e Menor; A conclusão contém os termos Maior e Menor.

14 A-T-E-N-Ç-Ã-O!!! O TERMO MÉDIO JAMAIS APARECERÁ NA CONCLUSÃO!!! Se você estiver resolvendo algum exercício de lógica e o termo médio aparecer em sua conclusão, REFAÇA-O!

15 GRÁFICO LÓGICO: TEORIA DOS CONJUNTOS

16 OS PROCESSOS LÓGICO- LINGUÍSTICOS Inferência É o processo de conhecimento (geralmente de uma conclusão) mediante ou por intermédio de outros conhecimentos, causas ou coisas. Método dedutivo Parte do geral ao particular: Todos os insetos possuem 6 patas e duas antenas. A formiga tem 6 patas e duas antenas; Logo a formiga é um inseto. Método indutivo Parte do particular ao geral. LauloLalluf ll é político. Todopolítico é ld ladrão. Logo..."

17 Cuidado: Alguns silogismos, mesmo que logicamente corretos, podem apresentar erro categoriais na prática! É o caso da generalização da corrupção na política ou da PM, que todo brasileiro i gosta de carnaval, quequemnão bb bebe bbid bebidas alcoólicas é frouxo, que mulher que se veste de menos é vagabunda, que homem que não pega ninguém é... Enfim... Cuidado com as armadilhas da linguagem! g

18 E falando em Generalização Aristóteles propôs um esquema de verificação das proposições:

19

20 Afirmativas Universais: - Todo político é ladrão - Todos os homens são maus - Todos são inocentes - Sempre há esperança - Doces dão cáries -Aborto deve ser descriminalizado Negativas Universais: - Nenhum brasileiro é honesto - Nenhuma mulher é boa - Ninguém é inocente - Nunca há esperança - Doces não dão cáries - Aborto não deve ser descriminalizado

21 Particulares Afirmativas: - Algum(ns) políticos é(são) ladrão(ões) - Alguns homens são maus - Há pessoas inocentes - Às vezes há esperança - Parte dos doces dão cáries -Aborto deve ser descriminalizado em alguns casos Particulares Negativas: - Algum(ns) brasileiro(s) não é(são) honesto(s) - Algumas mulheres não são boas - Algumas pessoas são culpadas - Algumas vezes não há esperança -Alguns doces não dão cáries - Aborto não deve ser descriminalizado em alguns casos

22 EXEMPLO 1 P1= Todo homem é mortal; P2= Sócrates é homem; C = Logo, Sócrates é mortal.

23 EXEMPLO 2 P1 = Fulano é Paulista; P2 = Todo Paulista é Brasileiro; C= Logo, Fulano é Brasileiro.

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

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar

Leia mais

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

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO II_PARTE 1: Lógica de Argumentação 1 Origem Aristóteles - filósofo grego - 342 a.c, sistematizou os conhecimentos

Leia mais

LÓGICA I. André Pontes

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.

Leia mais

Exercícios de lógica -sensibilização

Exercícios de lógica -sensibilização 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 filosófica. Um homem olhava uma foto, e alguém lhe

Leia mais

Filosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 9) Prof. de Filosofia SAE leodcc@hotmail.com Lógica O problema lógico, embora para alguns possa parecer artificial, impõe-se por si. Ele surge logo que se nota que alguns conhecimentos

Leia mais

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos

Leia mais

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

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,

Leia mais

Bem vindo à Filosofia. Prof. Alexandre Cardoso

Bem vindo à Filosofia. Prof. Alexandre Cardoso Bem vindo à Filosofia Prof. Alexandre Cardoso A criação da filosofia está ligada ao pensamento racional. Discutir, pensar e refletir para descobrir respostas relacionadas à vida. Os filósofos gregos deixaram

Leia mais

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à

Leia mais

Matemática Computacional. Introdução

Matemática Computacional. Introdução Matemática Computacional Introdução 1 Definição 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. 2 Origem Aristóteles

Leia mais

Curso Científico-Humanístico de Ciências e Tecnologias Filosofia - 11º A

Curso Científico-Humanístico de Ciências e Tecnologias Filosofia - 11º A Curso Científico-Humanístico de Ciências e Tecnologias 2011-2012 Filosofia - 11º A Silogismo 12/10/11 Silogismo categórico Premissa maior Todo o gato é mamífero Premissa menor Os siameses são gatos Conclusão

Leia mais

Lógica. História da Lógica

Lógica. História da Lógica 1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,

Leia mais

19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO

19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO 1. (VUNESP PERITO CRIMINAL PC-SP 2014) Das alternativas apresentadas, assinale a única que contém uma proposição lógica. a) Ser um perito criminal ou não ser? Que dúvida!

Leia mais

Lógica e Computação. Uma Perspectiva Histórica

Lógica e Computação. Uma Perspectiva Histórica Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

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

Lógica Matemática. Definição. Origem. Introdução Lógica Matemática Introdução 1 Definição 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. 2 Origem Aristóteles

Leia mais

Lógica Dedutiva e Falácias

Lógica Dedutiva e Falácias Lógica Dedutiva e Falácias Aula 3 Prof. André Martins Lógica A Lógica é o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocínio

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.

Leia mais

3.3 Cálculo proposicional clássico

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

Leia mais

Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos

Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos e Construção de algoritmos: estruturas de controle Introdução

Leia mais

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais

Leia mais

AULA DE FILOSOFIA. Prof. Alexandre Cardoso

AULA DE FILOSOFIA. Prof. Alexandre Cardoso AULA DE FILOSOFIA Prof. Alexandre Cardoso A criação da filosofia está ligada ao pensamento racional. Discutir, pensar e refletir para descobrir respostas relacionadas à vida. Os filósofos gregos deixaram

Leia mais

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos; Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;

Leia mais

Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro?

Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro? Questionamentos 20/03 Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro? Quando possuímos um juízo que não resulta

Leia mais

CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA

CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA Prof. Dra. Renata Cristina da Penha França E-mail: renataagropec@yahoo.com.br -Recife- 2015 MÉTODO Método, palavra que vem do

Leia mais

INTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:

INTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em: INTRODUÇÃO A LÓGICA Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas 1 CIENCIA E LÓGICA RACIOCINIO LÓGICO NOTAÇÃO POSICIONAL PRINCIPIOS DA LÓGICA CONECTIVOS LÓGICOS REGRAS DE

Leia mais

Proposições e argumentos. Proposições tem de ter as seguintes características:

Proposições e argumentos. Proposições tem de ter as seguintes características: Ser uma frase declarativa (afirmativa ou negativa) Ter sentido Proposições e argumentos Proposições tem de ter as seguintes características: Ter um valor de verdade( ser verdadeira ou falsa) possível determinável

Leia mais

CIÊNCIA, TECNOLOGIA E SOCIEDADE. O que é Ciência?

CIÊNCIA, TECNOLOGIA E SOCIEDADE. O que é Ciência? CIÊNCIA, TECNOLOGIA E SOCIEDADE O que é Ciência? O QUE É CIÊNCIA? 1 Conhecimento sistematizado como campo de estudo. 2 Observação e classificação dos fatos inerentes a um determinado grupo de fenômenos

Leia mais

TEMA-PROBLEMA A comunicação e a construção do indivíduo

TEMA-PROBLEMA A comunicação e a construção do indivíduo TEMA-PROBLEMA 1.3. A comunicação e a construção do indivíduo Comunicação communicare pôr em comum, estar em relação com os outros, conviver. Tal implica que os indivíduos em comunicação possuam a mesma

Leia mais

Lógica Formal e Booleana. Introdução

Lógica Formal e Booleana. Introdução Lógica Formal e Booleana Introdução lara.popov@ifsc.edu.br Ela, a lógica, lhe dará clareza de pensamento, a habilidade de ver seu caminho através de um quebra-cabeça, o hábito de arranjar suas ideias numa

Leia mais

Lógica: Quadrado lógico:

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

Leia mais

COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No.

COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia 65 Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. ROTEIRO DE RECUERAÇÃO ANUAL 2016 Data: / / FILOSOFIA 1º Ano do Ensino Médio 1º. O recuperando deverá

Leia mais

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

Leia mais

Prof. Aparecido Carlos Duarte

Prof. Aparecido Carlos Duarte Unidade I METODOLOGIA CIENTÍFICA Prof. Aparecido Carlos Duarte Conteúdo: o que é ciência; classificação e divisão da ciência; o que é método; o que é metodologia científica; o que é um paradigma; movimentos

Leia mais

RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha

RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por

Leia mais

Introdução à Computação: Álgebra Booleana

Introdução à Computação: Álgebra Booleana Introdução à Computação: Álgebra Booleana Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória, ES

Leia mais

3.4 Fundamentos de lógica paraconsistente

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,

Leia mais

PESQUISAR: PERGUNTAR, INQUIRIR, INDAGAR, INVESTIGAR.

PESQUISAR: PERGUNTAR, INQUIRIR, INDAGAR, INVESTIGAR. O MÉTODO CIENTIFICO PESQUISAR: PERGUNTAR, INQUIRIR, INDAGAR, INVESTIGAR. MÉTODO CIENTIFICO O Método Científico é o modo sistemático de explicar um grande número de ocorrências semelhantes. Todas as Ciências

Leia mais

INTERPRETAÇÃO DE TEXTOS

INTERPRETAÇÃO DE TEXTOS INTERPRETAÇÃO DE TEXTOS ARGUMENTAÇÃO MODO DE ORGANIZAR O DISCURSO Parte III MÉTODO INDUTIVO É o raciocínio por meio do qual, partindo de dados particulares, suficientemente constatados, infere-se uma verdade

Leia mais

Método Científico. Disciplina: Metodologia Científica. Professor: Thiago Silva Prates

Método Científico. Disciplina: Metodologia Científica. Professor: Thiago Silva Prates Método Científico Disciplina: Metodologia Científica Professor: Thiago Silva Prates Definições de Ciência Etimologicamente, o termo ciência provém do verbo em latim Scire, que significa aprender, conhecer.

Leia mais

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 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

Leia mais

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA CURSO TÉCNICO EM INSTRUMENTO MUSICAL

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA CURSO TÉCNICO EM INSTRUMENTO MUSICAL PLANO DE ENSINO IDENTIFICAÇÃO CURSO : TÉCNICO EM INSTRUMENTO MUSICAL NOME DA UNIDADE ACADÊMICA: Unidade Acadêmica IV COMPONENTE CURRICULAR: Filosofia CARGA HORÁRIA SEMANAL: 2 horas ANO/SÉRIE: 1º Ano CARGA

Leia mais

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

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 loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

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

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

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

Leia mais

Raciocínio Lógico Matemático

Raciocínio Lógico Matemático Raciocínio Lógico Matemático Noções de Lógica Noções de Lógica 1. Lógica? É lógico! Qual é o significado da palavra lógica? É lógico estudar lógica? A quem interessa a lógica? Lógica Matemática? Caro aluno,

Leia mais

Aula 4 Métodos de Pesquisa

Aula 4 Métodos de Pesquisa Metodologia Científica Aula 4 Métodos de Pesquisa Profa. Ms. Daniela Cartoni daniela_cartoni@yahoo.com.br A CONSTRUÇÃO DO MÉTODO CIENTÍFICO Principais métodos científicos Aplicações do método MÉTODO DE

Leia mais

MÉTODO CIENTÍFICO. Profº M.Sc. Alexandre Nojoza Amorim

MÉTODO CIENTÍFICO. Profº M.Sc. Alexandre Nojoza Amorim MÉTODO CIENTÍFICO Profº M.Sc. Alexandre Nojoza Amorim NÃO HÁ CIÊNCIA SEM O EMPREGO DE MÉTODOS CIENTÍFICOS. Conceitos É o caminho pelo qual se chega a determinado resultado, ainda que esse caminho não tenha

Leia mais

MINISTÉRIO DA EDUCAÇÃO

MINISTÉRIO DA EDUCAÇÃO MINISTÉRIO DA EDUCAÇÃO E.S.A.B. ESCOLA SECUNDÁRIA DE AVELAR BROTERO Filosofia 11º Ano Duração: 135m Ano letivo: 2015/2016 Matriz da Prova de Avaliação Sumativa Interna na Modalidade de Frequência não Presencial

Leia mais

Lógica Matemática e Computacional. 3 Silogismo Categórico

Lógica Matemática e Computacional. 3 Silogismo Categórico Lógica Matemática e Computacional 3 Silogismo Categórico O silogismo categórico É uma forma particular de raciocínio dedutivo, constituída por três proposições categóricas (que afirmam ou negam algo de

Leia mais

Lógica. Professor Mauro Cesar Scheer

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

Leia mais

Versão 1. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta.

Versão 1. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta. Teste Intermédio de Filosofia Versão 1 Teste Intermédio Filosofia Versão 1 Duração do Teste: 90 minutos 20.04.2012 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004, de 26 de março Na folha de respostas,

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar

Leia mais

Os Poliedros de Platão

Os Poliedros de Platão Os Poliedros de Platão Poliedro é um sólido geométrico cuja superfície é composta por um número finito de faces, cujos vértices são formados por três ou mais arestas em três dimensões (eixo dos "X", "Y",

Leia mais

ÉPOCAS DA FILOSOFIA. Já os períodos históricos da filosofia são os que se

ÉPOCAS DA FILOSOFIA. Já os períodos históricos da filosofia são os que se ÉPOCAS E TEMAS FILOSÓFICOS PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA Nst Nesta aula devemos aprender: As Épocas da Filosofia O marco da Filosofia Ocidental Áreas da Filosofia ÉPOCAS DA FILOSOFIA

Leia mais

MÉTODOS E TÉCNICAS DE PESQUISA 1

MÉTODOS E TÉCNICAS DE PESQUISA 1 MÉTODOS E TÉCNICAS DE PESQUISA 1 PESQUISA BIBLIOGRÁFICA - A atividade básica na pesquisa bibliográfica é a investigação em material teórico sobre o assunto de interesse. Ela precede o reconhecimento do

Leia mais

AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015

AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 PLANIFICAÇÃO de Filosofia 11º ANO Gestão Temporal do Programa UNIDADE CONTEÚDO TEMPOS unidade CONTEÚDO LETIVOS TEMPOS LETIVOS Racionalidade

Leia mais

A METAFÍSICA E A TEORIA DAS QUATRO CAUSAS

A METAFÍSICA E A TEORIA DAS QUATRO CAUSAS A METAFÍSICA E A TEORIA DAS QUATRO CAUSAS O que é a metafísica? É a investigação das causas primeiras de todas as coisas existentes e estuda o ser enquanto ser. É a ciência que serve de fundamento para

Leia mais

Sistema dedutivo. Sistema dedutivo

Sistema dedutivo. Sistema dedutivo Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica

Leia mais

Cálculo proposicional

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

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;

Leia mais

Revisão de Metodologia Científica

Revisão de Metodologia Científica Revisão de Metodologia Científica Luiz Eduardo S. Oliveira Universidade Federal do Paraná Departamento de Informática http://lesoliveira.net Luiz S. Oliveira (UFPR) Revisão de Metodologia Científica 1

Leia mais

PESQUISA QUALITATIVA E QUANTITATIVA: DEFINIÇÕES E CONCEITOS

PESQUISA QUALITATIVA E QUANTITATIVA: DEFINIÇÕES E CONCEITOS PESQUISA QUALITATIVA E QUANTITATIVA: DEFINIÇÕES E CONCEITOS Prof. Dr. Alexandre Mantovani mantovani@eerp.usp.br EPISTEMOLOGIA Epistemologia: ramo da filosofia que se dedica ao estudo do conhecimento. Mais

Leia mais

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

INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II) INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II) 9. MÉTODO INDUTIVO (CASO PARTICULAR PARA REGRA GERAL) Consiste em utilizar, de maneira incorreta, a razão indutiva, enunciando uma regra geral

Leia mais

ESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO

ESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO ESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO SEQUÊNCIA DIDÁTICA TEMA: PENSAMENTO LÓGICO 1-Título: Pensamento Lógico

Leia mais

Lógica e Raciocínio. Introdução. Universidade da Madeira.

Lógica e Raciocínio. Introdução. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Introdução 1 Lógica... é a ciência que estuda os princípios e aproximações para estabelecer a validez da inferência e demonstração:

Leia mais

Cálculo proposicional

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

Leia mais

Ciência, Conhecimento, Tecnologia e Sociedade

Ciência, Conhecimento, Tecnologia e Sociedade Instituto Federal de Educação, Ciência e Tecnologia de Santa Catarina! Departamento Acadêmico de Eletrônica! Engenharia Eletrônica! Projeto Integrador I - Iniciação Científica Ciência, Conhecimento, Tecnologia

Leia mais

Programa. Raciocínio Lógico Matemático. Livros. Provas

Programa. Raciocínio Lógico Matemático. Livros. Provas Programa Raciocínio Lógico Matemático Prof. RANILDO Introdução à lógica. Lógica proposicional Argumento Tabela-verdade Tautologias, Contradições e Contingências Operações lógicas Livros Introdução à Lógica

Leia mais

A Lógica e Álgebra de George Boole. Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3

A Lógica e Álgebra de George Boole. Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3 A Lógica e Álgebra de George Boole Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3 Resumo: O presente trabalho apresenta a vida e obra de George Boole, denominado

Leia mais

Bruner. Psicologia da aprendizagem

Bruner. Psicologia da aprendizagem Bruner Psicologia da aprendizagem Biografia Psicólogo americano, nasceu em Nova Iorque em 1915. Graduou-se na Universidade de Duke em 1937. Depois foi para Harvard, onde em 1941 doutorou-se em Psicologia.

Leia mais

INSTITUTO ÀGORA DE EDUCAÇÃO

INSTITUTO ÀGORA DE EDUCAÇÃO INSTITUTO ÀGORA DE EDUCAÇÃO Curso de filosofia RESENHA SOBRE: BLACKBUM, Simon. Para que serve filosofia?. Disponível em: http: www.criticanarede.com/fa_10exceto.html; SHAND, John. O que é filosofia?. Disponível

Leia mais

Matemática Régis Cortes. Lógica matemática

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

Leia mais

Educação Matemática MATEMÁTICA LICENCIATURA. Professora Andréa Cardoso

Educação Matemática MATEMÁTICA LICENCIATURA. Professora Andréa Cardoso Educação Matemática MATEMÁTICA LICENCIATURA Professora Andréa Cardoso OBJETIVO DA AULA: Diferenciar a Matemática Racional da Matemática Prática 2 UNIDADE I : EDUCAÇÃO MATEMÁTICA E ENSINO Matemática Racional

Leia mais

Raciocínio Lógico Analítico

Raciocínio Lógico Analítico Raciocínio Lógico Analítico Este artigo trata do assunto Raciocínio Analítico, também conhecido por lógica informal, argumentos, dedução, indução, falácias e argumentos apelativos. Raciocínio Analítico

Leia mais

Representação do Conhecimento

Representação do Conhecimento Representação do Conhecimento O Estudo do Conhecimento Aprender - ato que produz um comportamento diferente a um estímulo externo devido a excitações recebidas no passado e é, de uma certa forma, sinônimo

Leia mais

COLÉGIO PEDRO II MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL O QUE É MATEMÁTICA? Humberto José Bortolossi

COLÉGIO PEDRO II MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL O QUE É MATEMÁTICA? Humberto José Bortolossi COLÉGIO PEDRO II MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL O QUE É MATEMÁTICA? Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ UNIVERSIDADE FEDERAL FLUMINENSE O QUE É MATEMÁTICA

Leia mais

PLANO-PADRÃO DE UMA ARGUMENTAÇÃO

PLANO-PADRÃO DE UMA ARGUMENTAÇÃO PLANO-PADRÃO DE UMA ARGUMENTAÇÃO 1. Proposição (afirmativa, suficientemente definida e limitada; não deve conter em si mesma nenhum argumento, isto é, prova ou razão) 1.1. Análise da proposição 2. Formulação

Leia mais

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

Proposições e Conectivos

Proposições e Conectivos Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

Leia mais

CURSO DE METODOLOGIA CIENTÍFICA

CURSO DE METODOLOGIA CIENTÍFICA CURSO DE METODOLOGIA CIENTÍFICA Aula 06: (primeira parte) Canal do Prof. Matheus Passos http://profmatheuspassos.com u Método científico: base de qualquer pesquisa acadêmica. u Não há ciência sem o emprego

Leia mais

HISTÓRIA DA MATEMÁTICA I MAT 341 INTRODUÇÃO

HISTÓRIA DA MATEMÁTICA I MAT 341 INTRODUÇÃO HISTÓRIA DA MATEMÁTICA I MAT 341 INTRODUÇÃO 2016 3 Antonio Carlos Brolezzi IME-USP Grécia Antiga: berço da Matemática sistematizada Fontes principais: referências históricas em escritos filosóficos ou

Leia mais

ÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler

ÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler ÍNDICE 1. Introdução... 5 2. Competências essenciais do aluno... 6 3. Como ler um texto... 7 4. Como ler uma pergunta... 8 5. Como fazer um trabalho... 9 6. Conteúdos/Temas 11.º Ano... 11 III Racionalidade

Leia mais

MÉTODOS DE PESQUISA. Pesquisa como conhecimento científico. Prof. Dr. Evandro Prestes Guerreiro. Santos-SP, 2016

MÉTODOS DE PESQUISA. Pesquisa como conhecimento científico. Prof. Dr. Evandro Prestes Guerreiro. Santos-SP, 2016 MÉTODOS DE PESQUISA Pesquisa como conhecimento científico Prof. Dr. Evandro Prestes Guerreiro Santos-SP, 2016 1. O Conhecimento Teórico A teoria consiste de um conjunto de constructos unidos por afirmações

Leia mais

Método Científico. Prof. a Dra. Carolina Davanzzo Gomes dos Santos. Disciplina: Metodologia do Trabalho Academico

Método Científico. Prof. a Dra. Carolina Davanzzo Gomes dos Santos. Disciplina: Metodologia do Trabalho Academico Disciplina: Metodologia do Trabalho Academico Método Científico Prof. a Dra. Carolina Davanzzo Gomes dos Santos Email: profcarolinadgs@gmail.com Página: profcarolinadgs.webnode.com.br Ciência Pode-se afirmar

Leia mais

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

Como se define a filosofia?

Como se define a filosofia? Como se define a filosofia? Filosofia é uma palavra grega que significa "amor à sabedoria" e consiste no estudo de problemas fundamentais relacionados à existência, ao conhecimento, à verdade, aos valores

Leia mais

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

Lógica Proposicional. 1- O que é o Modus Ponens? 1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira

Leia mais

Conceitos Básicos. LEIC 2 o Semestre, Ano Lectivo 2012/13. c Inês Lynce

Conceitos Básicos. LEIC 2 o Semestre, Ano Lectivo 2012/13. c Inês Lynce Capítulo 1 Conceitos Básicos Lógica para Programação LEIC 2 o Semestre, Ano Lectivo 2012/13 c Inês Lynce Bibliografia Martins J.P., Lógica para Programação, Capítulo 1. Ben-Ari M., Mathematical Logic for

Leia mais

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Matemática Discreta ESTiG\IPB 2011.12 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação

Leia mais

ÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos

Í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 mais

A Importância da Lógica para o Ensino da Matemática

A Importância da Lógica para o Ensino da Matemática Universidade do Estado do Rio Grande do Norte FANAT - Departamento de Informática Faculdade de Ciências e Tecnologia Mater Christi Curso de Sistemas de Informação A Importância da Lógica para o Ensino

Leia mais

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico Filosofia Prof. José Fernando da Silva :Proposições categoriais e silogismo aristotélico A demonstração de um argumento coincide com a realização de uma operação de dedução. De acordo com Aristóteles,

Leia mais

Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução

Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução Geometria Euclidiana Plana - Um pouco de história Prof a. Introdução Daremos início ao estudo axiomático da geometria estudada no ensino fundamental e médio, a Geometria Euclidiana Plana. Faremos uso do

Leia mais

Lógica predicados. Lógica predicados (continuaçã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

Leia mais