O que é o conhecimento?

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

Download "O que é o conhecimento?"

Transcrição

1 Disciplina: Filosofia Ano: 11º Ano letivo: 2012/2013 O que é o conhecimento? Texto de Apoio 1. Tipos de Conhecimento No quotidiano falamos de conhecimento, de crenças que estão fortemente apoiadas por dados, e dizemos que elas têm justificação ou que estão bem fundamentadas. A epistemologia é a parte da filosofia que tenta entender estes conceitos. Os epistemólogos tentam avaliar a ideia, própria do senso comum, de que possuímos realmente conhecimento. Alguns filósofos tentaram apoiar com argumentos esta ideia do senso comum. Outros fizeram o contrário. Os filósofos que defendem que não temos conhecimento, ou que as nossas crenças não têm justificação racional, estão a defender uma versão de ceticismo filosófico. Antes de discutirmos se temos ou não conhecimento, temos de tornar claro o que é o conhecimento. Podemos falar de conhecimento em três sentidos diferentes, mas apenas um nos vai interessar. Considerem-se as seguintes afirmações acerca de um sujeito, ao qual chamarei S: 1. S sabe andar de bicicleta. 2. S conhece o Presidente dos EUA. 3. S sabe que a Serra da Estrela fica em Portugal. Chamo conhecimento proposicional ao tipo de conhecimento apresentado em 3. Note-se que o objeto do verbo em 3 é uma proposição uma coisa que é verdadeira ou falsa. Existe uma proposição a Serra da Estrela fica em Portugal e S sabe que essa proposição é verdadeira. As frases 1 e 2 não têm esta estrutura. O objeto do verbo em 2 não é uma proposição, mas uma pessoa. O mesmo aconteceria se disséssemos que S conhece Lisboa. Uma frase como 2 diz que S está ou esteve na presença de uma pessoa, de um lugar ou de uma coisa. Por isso dizemos que 2 corresponde a um caso de conhecimento por contacto. Existe alguma ligação entre estes dois tipos de conhecimento? Possivelmente, para que S conheça o Presidente dos Estados Unidos, terá de ter conhecimento proposicional acerca dele. Mas qual? Para que S conheça o Presidente terá de saber em que Estado ele nasceu? Isso não parece essencial. E o mesmo parece acontecer relativamente a todos os outros factos acerca dele: não parece haver qualquer proposição específica que seja

2 necessário saber para se possa dizer que se conhece o Presidente. Conhecer uma pessoa implica, isso sim, ter um tipo qualquer de contacto direto com ela. Chamemos ao tipo de conhecimento exemplificado em 1 conhecimento de aptidões. Que significa dizer que se sabe fazer alguma coisa? Penso que isto tem pouco a ver com o conhecimento proposicional. Uma pessoa pode saber andar de bicicleta aos cinco anos, e para isso não precisa de saber qualquer proposição acerca desse facto. O contrário também pode acontecer: uma pessoa pode ter muito conhecimento proposicional acerca de um assunto de pintura, por exemplo, e não ter qualquer conhecimento de aptidões a esse respeito. Vamos aqui abordar apenas o conhecimento proposicional. Queremos saber o que é necessário para que um indivíduo S saiba que p, sendo p uma proposição qualquer como a de que a Serra da Estrela fica em Portugal. Daqui em diante, quando falarmos de conhecimento, estaremos sempre a referir-nos ao conhecimento proposicional. 2. Condições Necessárias e Suficientes Consideremos a definição de solteiro: Para qualquer S, S é solteiro se e somente se: 1) S é um adulto, 2) S é homem, 3) S não é casado. Não digo que esta definição capta com precisão o que «solteiro» significa em português comum. Usamos apenas esta definição como um exemplo de uma proposta de definição. Uma definição é uma generalização. Diz respeito a qualquer indivíduo que queiramos considerar. Nesta definição fazemos duas afirmações: a primeira é a de que SE um indivíduo tem as características 1, 2 e 3, então é solteiro. Por outras palavras, 1, 2 e 3 são, em conjunto, suficientes para que se seja solteiro. A segunda afirmação é a de que SE um indivíduo é solteiro, então tem as três características. Por outras palavras, 1, 2 e 3 são, cada uma delas, condições necessárias para se ser solteiro. Uma boa definição especifica as condições suficientes e necessárias para o conceito que queremos definir. Isto significa que existem dois tipos de erros que podem ocorrer numa definição: as definições podem ser demasiado abrangentes ou demasiado restritivas. 3. Dois Requisitos para o Conhecimento: Crença e Verdade Devemos fazer notar duas ideias que fazem parte do conceito de conhecimento. Primeiro, se S sabe que p (que uma proposição é verdadeira), então tem de acreditar que p. Segundo, se S sabe que p, então p tem de ser verdadeira. O conhecimento requer tanto a crença quanto a verdade. Comecemos pela segunda ideia. As pessoas às vezes dizem que sabem

3 coisas que mais tarde se revelam falsas. Mas isto não é saber coisas que são falsas, é pensar que se sabem coisas que, de facto, são falsas. O conhecimento tem um lado subjetivo e um lado objetivo. Um facto é objetivo se a sua verdade não depende de como é a mente das pessoas. É um facto objetivo que a Serra da Estrela está metros acima do nível do mar. Um facto é subjetivo se não é objetivo. O exemplo mais óbvio de um facto subjetivo é uma descrição do que acontece na mente de alguém. Se uma pessoa acredita ou não que a Serra da Estrela está a metros acima do nível do mar é uma questão subjetiva, mas se a montanha tem realmente essa propriedade é uma questão objetiva. O conhecimento requer tanto um elemento subjetivo como um elemento objetivo. Para que S conheça p, p tem de ser verdadeira e o sujeito, S, tem de acreditar que p é verdadeira. 4. Terceiro Requisito: Justificação Apontei duas condições necessárias para o conhecimento: o conhecimento requer crença e requer verdade. Mas será que isto é suficiente? Será que estas duas condições não são apenas separadamente necessárias, mas também conjuntamente suficientes? É a crença verdadeira suficiente para o conhecimento? Pensemos num indivíduo, Clyde, que acredita na história do Dia do Porco do Campo. Clyde pensa que se o Porco do Campo vir a sua própria sombra, a Primavera virá mais tarde. Suponha-se que Clyde põe este princípio idiota em prática este ano. Ele tem informações que o fazem pensar que a Primavera virá mais tarde. Suponha-se que Clyde acaba por ter razão acerca deste facto. Se não existir nenhuma conexão lógica entre o facto de o porco do campo ter visto a sua própria sombra e o facto de a Primavera vir mais tarde, então Clayde terá uma crença verdadeira (a Primavera virá tarde), mas não terá conhecimento. Que será então necessário, para além da crença verdadeira, para que alguém possua conhecimento? A sugestão mais natural é a de que o conhecimento requer dados de apoio, ou uma justificação racional. Note-se que ter uma justificação não é apenas pensar que se tem uma razão para acreditar em algo. Que significa dizer que um indivíduo tem uma crença «justificada» na proposição p? Uma justificação pode ter a forma de um argumento dedutivo, de um argumento indutivo ou de um argumento abdutivo. Talvez existam outras opções além destas três. Mas, o que quer que seja que entendemos por «justificação», parece plausível dizer que as crenças que são defendidas irracionalmente não são casos de conhecimento (mesmo que elas sejam verdadeiras).

4 5. A Teoria CVJ Suponhamos que o conhecimento requer estas três condições. Será que isto é suficiente? Será que estas condições não são apenas separadamente necessárias, mas também conjuntamente suficientes? Chamarei CVJ à teoria que afirma que assim é. Esta teoria diz que ter conhecimento é a mesma coisa que ter crenças verdadeiras justificadas: (CVJ) Para que qualquer indivíduo S e para qualquer proposição p, S conhece p se e somente se 1) S acredita em p 2) p é verdadeira 3) a crença de S em p está justificada A Teoria CVJ afirma uma generalização. Diz o que é o conhecimento para qualquer pessoa e para qualquer proposição p. Por exemplo, suponhamos que S és tu e que p = «A Lua é feita de queijo verde». A teoria CVJ diz o seguinte: se sabes que a Lua é feita de queijo verde, então os enunciados 1, 2 e 3 devem ser verdadeiros. E se não sabes que a Lua é feita de queijo verde, então pelo menos um dos enunciados de 1 a 3 deve ser falso. Tal como na definição de solteiro discutida antes, a expressão «se, e somente se» diz-nos que são dadas condições necessárias e suficientes para o conceito definido. 6. Três Contraexemplos à Teoria CVJ Em 1963, o filósofo Edmund Gettier publicou dois contraexemplos para a teoria CVJ. O que é um contraexemplo? É um exemplo que contradiz o que diz uma teoria geral. Um contraexemplo contra uma generalização mostra que a generalização é falsa. A teoria CVJ diz que todos os casos de crença verdadeira justificada são casos de conhecimento. Gettier pensa que estes dois exemplos mostram que um indivíduo pode ter uma crença verdadeira justificada mas não ter conhecimento. Se Gettier tiver razão, então as três condições indicadas pela teoria CVJ não são suficientes. Eis um dos exemplos de Gettier. Smith trabalha num escritório. Ele sabe que alguém será promovido em breve. O patrão, que é uma pessoa em quem se pode confiar, diz a Smith que Jones será promovido. Smith acabou de contar as moedas no bolso de Jones, encontrando aí 10 moedas. Smith tem então boas informações para acreditar na seguinte proposição: a) Jones será promovido e Jones tem 10 moedas no bolso. Smith deduz, então, deste enunciado o seguinte: b) O homem que será promovido tem 10 moedas no bolso. Suponha-se agora que Jones não receberá a promoção, embora Smith não o saiba. Em vez disso, será o próprio Smith a ser promovido. E suponha-se que Smith também tem dez moedas dentro do bolso. Smith acredita em b, e b é verdadeira. Gettier afirma também que

5 Smith acredita justificadamente em b, dado que a deduziu de a. Apesar de a ser falsa, Smith tem excelentes razões para pensar que é verdadeira. Gettier conclui que Smith tem uma crença verdadeira justificada em b, mas que Smith não sabe que b é verdadeira. O outro exemplo de Gettier exibe o mesmo padrão. Um sujeito deduz validamente uma proposição verdadeira a partir de uma proposição que está muito bem apoiada por informações, embora esta seja falsa, apesar de o sujeito não o saber. Quero agora descrever um tipo de contraexemplo à teoria CVJ na qual o sujeito raciocina não dedutivamente. O filósofo e matemático britânico Bertrand Russell ( ) refere um relógio muito fiável que está numa praça. Esta manhã olhas para ele para saber que horas são. Como resultado ficas a saber que são Tens justificações para acreditar nisso, baseado na suposição correta de que o relógio tem sido muito fiável no passado. Mas supõe que o relógio parou há exatamente 24 horas, apesar de tu não o saberes. Tens a crença verdadeira justificada de que são 9.55, mas não sabes que esta é a hora correta. 7. Que têm os Contraexemplos em Comum? Em todos estes casos, o sujeito tem dados para acreditar na proposição em causa que são altamente credíveis, mas não infalíveis. O patrão está geralmente certo sobre quem vai ser promovido, o relógio está geralmente certo quanto às horas. Mas é claro que geralmente não é sempre. As fontes da informação que os sujeitos exploraram nestes exemplos são altamente credíveis, mas não são perfeitamente credíveis. Todas as fontes de informação eram susceptíveis de erro, pelo menos até certo ponto. Será que estes exemplos refutam realmente a teoria CVJ? Depende de como entendemos a ideia de justificação. Se dados altamente credíveis são suficientes para justificar uma crença, então estes contraexemplos refutam realmente a teoria CVJ. Mas se a justificação requer dados perfeitamente infalíveis, então estes exemplos não refutam a teoria. A minha opinião é de que os dados que justificam uma crença não precisam de ser infalíveis. Penso que podemos ter crenças racionais bem apoiadas mesmo quando não nos empenhamos em estar absolutamente certos de que o que acreditamos é verdadeiro. Assim, concluo que a crença verdadeira justificada não é suficiente para o conhecimento. Elliott Sober Core Questions in Philosophy, Prentice Hall, 2000 Tradução de Paula Mateus

FILOSOFIA 11º ano O CONHECIMENTO E A RACIONALIDADE CIENTÍFICA E TECNOLÓGICA

FILOSOFIA 11º ano O CONHECIMENTO E A RACIONALIDADE CIENTÍFICA E TECNOLÓGICA FILOSOFIA 11º ano O CONHECIMENTO E A RACIONALIDADE CIENTÍFICA E TECNOLÓGICA Governo da República Portuguesa Descrição e interpretação da atividade cognoscitiva 1.1 Estrutura do ato de conhecer 1.2 Análise

Leia mais

Indução e filosofia da ciência 1

Indução e filosofia da ciência 1 O equilíbrio dos indícios Indução e filosofia da ciência 1 Stephen Law Algumas das questões mais centrais e importantes colocadas por filósofos da ciência dizem respeito ao problema da confirmação. Os

Leia mais

Construindo uma tese científica: pesquisa e argumentação

Construindo uma tese científica: pesquisa e argumentação 1 1. Artigo Tema: Ensino de argumentação filosófica Construindo uma tese científica: pesquisa e argumentação Gabriel Goldmeier Conhecimento: crença verdadeira corretamente justificada A Teoria do Conhecimento

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

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980) Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.

Leia mais

Exemplos de frases e expressões que não são proposições:

Exemplos de frases e expressões que não são proposições: Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 1 Lógica: ramo da Filosofia que nos permite distinguir bons de maus argumentos, com o objectivo de produzirmos conclusões verdadeiras a partir de crenças

Leia mais

Faz a tua própria história

Faz a tua própria história Faz a tua própria história! Faz a tua própria história, Página 1 Estou aqui para vos falar de uma história muito simples. E a história não é sobre um rei, um príncipe, um elefante, ou um rato. A história

Leia mais

Indiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos

Indiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos Indiscernibilidade de Idênticos Atitudes Proposicionais e indiscernibilidade de Consideremos agora o caso das atitudes proposicionais, das construções epistémicas e psicológicas, e perguntemo-nos se é

Leia mais

Grupo I Para cada uma das questões que se seguem assinala a opção correta

Grupo I Para cada uma das questões que se seguem assinala a opção correta Grupo I Para cada uma das questões que se seguem assinala a opção correta 1. A filosofia é: a) Um conjunto de opiniões importantes. b) Um estudo da mente humana. c) Uma atividade que se baseia no uso crítico

Leia mais

Principais Diferenças entre Ser ou Parecer Confiante e Credível

Principais Diferenças entre Ser ou Parecer Confiante e Credível Principais Diferenças entre Ser ou Parecer Confiante e Credível Para ser confiante e credível, o que realmente sabemos conta menos do que aquilo que o público pensa que tu sabes. Como mostrar ao nosso

Leia mais

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

PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC PENSAMENTO CRÍTICO Aulas 7 e 8 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Avaliação lógica de argumentos: há, entre as premissas e a conclusão, uma conexão apropriada? As

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

INDUÇÃO ULTRAFORTE: EPISTEMOLOGIA DO SUBJETIVO

INDUÇÃO ULTRAFORTE: EPISTEMOLOGIA DO SUBJETIVO INDUÇÃO ULTRAFORTE: EPISTEMOLOGIA DO SUBJETIVO Felipe Sobreira Abrahão Doutorando, HCTE UFRJ E-mail: felipesabrahao@gmail.com 1. INTRODUÇÃO A problemática do raciocínio indutivo é abordada pelos pensadores

Leia mais

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por

Leia mais

INTRODUÇÃO À LÓGICA. Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018

INTRODUÇÃO À LÓGICA. Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018 INTRODUÇÃO À LÓGICA Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018 Um argumento é um conjunto de sentenças onde algumas dessas sentenças são as premissas e uma dessas

Leia mais

Versão A. GRUPO I (10 X 3 = 30 pontos)

Versão A. GRUPO I (10 X 3 = 30 pontos) Versão A GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta 1.Dizer que a filosofia é uma atividade reflexiva é afirmar que: a) A filosofia é um saber puramente racional. b) A filosofia

Leia mais

Apresentação da noção de argumento válido como aquele em que a conclusão é uma consequência lógica das premissas tomadas em conjunto.

Apresentação da noção de argumento válido como aquele em que a conclusão é uma consequência lógica das premissas tomadas em conjunto. FILOSOFIA Ano Letivo 2017/2018 PLANIFICAÇÃO ANUAL - 11.º Ano COMPETÊNCIAS/OBJETIVOS CONTEÚDOS PROGRAMÁTICOS RECURSOS TEMPO AVALIAÇÃO Problematização, conceptualização e argumentação. Análise metódica de

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

Identificação. F03 Duração da entrevista 18:12 Data da entrevista Ano de nascimento (Idade) 1974 (36) Local de nascimento/residência

Identificação. F03 Duração da entrevista 18:12 Data da entrevista Ano de nascimento (Idade) 1974 (36) Local de nascimento/residência 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Identificação F03 Duração da entrevista 18:12 Data da entrevista 4-5-2011 Ano de nascimento (Idade) 1974 (36) Local de

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

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

Pressuposição Antecedentes históricos

Pressuposição Antecedentes históricos A suposta natureza pressuposicional dos performativos Pressuposição Antecedentes históricos Luiz Arthur Pagani 1 1 Frege sentido sem referência (acomodação) [1, p. 137]: A sentença Ulisses profundamente

Leia mais

O ÚLTIMO MILAGRE DE JESUS. 19 de Outubro de 2011 Ministério Loucura da Pregação. "Há, porém, ainda muitas outras coisas que JESUS fez;

O ÚLTIMO MILAGRE DE JESUS. 19 de Outubro de 2011 Ministério Loucura da Pregação. Há, porém, ainda muitas outras coisas que JESUS fez; O ÚLTIMO MILAGRE DE JESUS 19 de Outubro de 2011 Ministério Loucura da Pregação "Há, porém, ainda muitas outras coisas que JESUS fez; e se cada uma das quais fosse escrita, 1 / 5 cuido que nem ainda o mundo

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

DESCRIÇÃO E INTERPRETAÇÃO DA ACTIVIDADE COGNITIVA

DESCRIÇÃO E INTERPRETAÇÃO DA ACTIVIDADE COGNITIVA 110-136 2008.02.11 2 22:49 Página 110 DESCRIÇÃO E INTERPRETAÇÃO DA ACTIVIDADE COGNITIVA Capítulo 5. Estrutura do acto de conhecer, 111 Capítulo 6. A possibilidade do conhecimento, 137 Van Gogh a Pintar

Leia mais

A 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. 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 mais

Hume e o empirismo radical

Hume e o empirismo radical Hume e o empirismo radical Premissas empiristas de David Hume (que partilha com os outros empiristas) Não há ideias inatas A mente é uma tábula rasa/folha em branco Todo o conhecimento deriva da experiência

Leia mais

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 7 Páginas Duração da Prova: 120 minutos. Tolerância:

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

Leia mais

Expressões e enunciados

Expressões e enunciados Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................

Leia mais

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância:

Leia mais

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância:

Leia mais

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.

EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 7 Páginas Duração da Prova: 120 minutos. Tolerância:

Leia mais

PALAVRAS DE INTRODUÇÃO, DESENVOLVIMENTO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2018

PALAVRAS DE INTRODUÇÃO, DESENVOLVIMENTO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2018 PALAVRAS DE INTRODUÇÃO, DESENVOLVIMENTO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2018 Lembre-se da estrutura básica da dissertação-argumentativa Introdução Desenvolvimento Conclusão Apresente

Leia mais

Lógica. Abílio Rodrigues. FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho.

Lógica. Abílio Rodrigues. FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho. Lógica Abílio Rodrigues FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho São Paulo 2011 09 Lógica 01-08.indd 3 4/29/11 2:15 PM 1. Verdade, validade e forma lógica

Leia mais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas. 1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um

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

PALAVRAS DE INTRODUÇÃO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2016

PALAVRAS DE INTRODUÇÃO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2016 PALAVRAS DE INTRODUÇÃO E CONSIDERAÇÕES FINAIS /REDAÇÃO ENEM / VESTIBULAR /2016 Lembre-se da estrutura básica da dissertação-argumentativa Introdução Desenvolvimento Conclusão Apresente o tema e o recorte

Leia mais

Lógica Proposicional Parte 2

Ló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 mais

COMO LER NOTAÇÃO LÓGICA

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

Parece ter premissas verdadeiras mas não tem. Parece ter premissas mais plausíveis do que a conclusão mas não tem.

Parece ter premissas verdadeiras mas não tem. Parece ter premissas mais plausíveis do que a conclusão mas não tem. Uma falácia é um argumento que parece cogente mas não é. Pode ser falacioso por três razões: Parece válido mas não é. Parece ter premissas verdadeiras mas não tem. Parece ter premissas mais plausíveis

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

A REVOLUÇÃO CARTESIANA. Apresentação baseada principalmente em Friedrick Copleston: History of Philosophy, vol. IV.

A REVOLUÇÃO CARTESIANA. Apresentação baseada principalmente em Friedrick Copleston: History of Philosophy, vol. IV. A REVOLUÇÃO CARTESIANA Apresentação baseada principalmente em Friedrick Copleston: History of Philosophy, vol. IV. Descartes (1596-1650) foi educado por jesuítas. Ele iniciou a filosofia moderna com um

Leia mais

Versão B. GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta

Versão B. GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta Versão B GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta 1.O discurso filosófico é sobretudo um discurso: a) Demonstrativo b) Argumentativo c) Científico d) Racional 2. Dizer que a filosofia

Leia mais

Lógica dos Conectivos: validade de argumentos

Lógica dos Conectivos: validade de argumentos Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior

Leia mais

Apreciação Apreciação, Página 1

Apreciação Apreciação, Página 1 Apreciação! Apreciação, Página 1 O que é que fazem que é tão único? O que é que nós, como seres humanos, fazemos mesmo, mesmo bem? A coisa espantosa é que não pensamos assim. Não pensamos: "Qual é a minha

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019 Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019

Leia mais

Argumentos dedutivos

Argumentos dedutivos Argumentos dedutivos Se não há factores aleatórios (sorte/azar) no Go, então o Go é um jogo de inteligência pura. Não há factores aleatórios no Go. Portanto, o Go é um jogo de inteligência pura. [Se não

Leia mais

Metafísica Matemática

Metafísica Matemática Metafísica Matemática Thiago de Paiva Campos O que é o Ser? Eis o primordial problema da Metafísica, isto é, definir com precisão rigorosa o que de fato é o Ser. Pata nós, que abordaremos a Metafísica

Leia mais

Tema I Introdução à lógica bivalente e à teoria de conjuntos

Tema I Introdução à lógica bivalente e à teoria de conjuntos Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)

Leia mais

RESUMO. Filosofia. Psicologia, JB

RESUMO. Filosofia. Psicologia, JB RESUMO Filosofia Psicologia, JB - 2010 Jorge Barbosa, 2010 1 Saber se o mundo exterior é real e qual a consciência e o conhecimento que temos dele é um dos problemas fundamentais acerca do processo de

Leia mais

A AUTORIDADE DE PRIMEIRA PESSOA, NO TEMPO PRESENTE: A ESCUTA E A INTERPRETAÇÃO DA ESCUTA

A AUTORIDADE DE PRIMEIRA PESSOA, NO TEMPO PRESENTE: A ESCUTA E A INTERPRETAÇÃO DA ESCUTA A AUTORIDADE DE PRIMEIRA PESSOA, NO TEMPO PRESENTE: A ESCUTA E A INTERPRETAÇÃO DA ESCUTA Mariluze Ferreira de Andrade e Silva Laboratório de Lógica e Epistemologia DFIME - UFSJ Resumo: Propomos investigar

Leia mais

TS01. Teste de Software INTRODUÇÃO À QUALIDADE DE SOFTWARE. COTI Informática Escola de Nerds

TS01. Teste de Software INTRODUÇÃO À QUALIDADE DE SOFTWARE. COTI Informática Escola de Nerds TS01 Teste de Software INTRODUÇÃO À QUALIDADE DE SOFTWARE COTI Informática Escola de Nerds 1. O QUE É QUALIDADE DE SOFTWARE? 1. O QUE É QUALIDADE DE SOFTWARE? O objetivo principal do processo de Testes

Leia mais

A utilidade da lógica na lecionação do programa de Filosofia

A utilidade da lógica na lecionação do programa de Filosofia A utilidade da lógica na lecionação do programa de Filosofia Ficha técnica: Autor/a: Faustino Vaz Título: A utilidade da lógica na lecionação do programa de Filosofia Licença de utilização Creative Commons

Leia mais

FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS

FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item

Leia mais

Fundamentos 1. Lógica de Predicados

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

Versão A. Grupo I (10 x 3 = 30 pontos) Assinala a alternativa correta

Versão A. Grupo I (10 x 3 = 30 pontos) Assinala a alternativa correta Versão A Grupo I (10 x 3 = 30 Assinala a alternativa correta 1.A filosofia não é uma ciência: a) Porque a filosofia consiste na procura do conhecimento factual. b) Porque os problemas e métodos da filosofia

Leia mais

À procura do inato !!!!!!!!!!!!!!

À procura do inato !!!!!!!!!!!!!! À procura do inato Prem Rawat foi convidado a falar no Teatro Verdi de Pádua, em Itália, sob o patrocínio do Presidente da República Italiana, do Ministério da Justiça, da Região de Veneto e da Província

Leia mais

III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA

III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA 1. Argumentação e Lóg gica Formal 1.1. Distinção validade - verdade 1.2. Formas de Inferên ncia Válida. 1.3. Principais Falácias A Lógica: objecto de estudo

Leia mais

Este é o vosso tempo Este é o vosso tempo, Página 1

Este é o vosso tempo Este é o vosso tempo, Página 1 Este é o vosso tempo! Este é o vosso tempo, Página 1 Há uma coisa muito simples de que quero falar. Eu sei que as pessoas vieram para ouvir falar de paz. Já lá irei. Porque isso não é difícil, isso é fácil.

Leia mais

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

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 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 Inferência e Passos de Inferência - A partir de um conjunto

Leia mais

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num

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 17.04.2013 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004, de 26 de março Na folha de respostas,

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

A Teoria do Conhecimento

A Teoria do Conhecimento A Teoria do Conhecimento Objeto Conhecimento Objetivo Estudar a origem, natureza, valor e limites do conhecimento e da nossa capacidade de conhecer Problemas As formas do conhecimento A definição de conhecimento

Leia mais

A EPISTEMOLOGIA E SUA NATURALIZAÇÃO 1 RESUMO

A EPISTEMOLOGIA E SUA NATURALIZAÇÃO 1 RESUMO A EPISTEMOLOGIA E SUA NATURALIZAÇÃO 1 SILVA, Kariane Marques da 1 Trabalho de Pesquisa FIPE-UFSM Curso de Bacharelado Filosofia da Universidade Federal de Santa Maria (UFSM), Santa Maria, RS, Brasil E-mail:

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

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. Argumentos válidos e sólidos. Métodos de demonstração. Demonstrações formais. Regras de Inferência Igualdade Lógica Computacional Argumentos válidos e sólidos Métodos de demonstração Demonstrações formais Regras de Inferência Igualdade Não-consequências lógicas Argumentos Exemplo: 1. Todos as aves voam. 2. O

Leia mais

Aulas 5 e 6 / 28 e 30 de março

Aulas 5 e 6 / 28 e 30 de março Aulas 5 e / 8 e 30 de março 1 Notação de soma e produto Como expressar a seguinte soma de uma maneira mais concisa? 1 + + 3 3 + + 10? Note que as parcelas são semelhantes, e que a única coisa que varia

Leia mais

O saber lichia !!!!! O saber, Página 1

O saber lichia !!!!! O saber, Página 1 O saber lichia O saber, Página 1 Estamos aqui, esta noite, para falar de algo muito, muito simples. Algo que tem a ver com vocês, não com o país onde vivem ou com a sociedade a que pertencem; não com a

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

a graça de viver pela fé 23 de Setembro de 2011 Ministério Loucura da Pregação "Ora, sem FÉ é impossível agradar a DEUS;

a graça de viver pela fé 23 de Setembro de 2011 Ministério Loucura da Pregação Ora, sem FÉ é impossível agradar a DEUS; a graça de viver pela fé 23 de Setembro de 2011 Ministério Loucura da Pregação "Ora, sem FÉ é impossível agradar a DEUS; porque é necessário que aquele que se aproxima de DEUS 1 / 5 creia que ELE existe,

Leia mais

Raciocínio Lógico II. Solução. Vamos assumir que todos os retângulos são distintos. Os retângulos de menor

Raciocínio Lógico II. Solução. Vamos assumir que todos os retângulos são distintos. Os retângulos de menor Polos Olímpicos de Treinamento Curso de Combinatória - Nível 1 Prof. Bruno Holanda Aula 4 Raciocínio Lógico II Nesta aula continuaremos o processo de desenvolvimento do raciocínio lógico. Inicialmente,

Leia mais

Metodologia Científica. Thaís Gaudencio do Rêgo

Metodologia Científica. Thaís Gaudencio do Rêgo Metodologia Científica Thaís Gaudencio do Rêgo gaudenciothais@gmail.com Ciência O conhecimento fornecido pela ciência distingue-se por um grau de certeza alto Desfruta de uma posição privilegiada com relação

Leia mais

O mar na gota de água

O mar na gota de água O mar na gota de água! O mar na gota de água, Página 1 Há uma pergunta que tem de ser feita: seja o que for que esteja a acontecer na minha vida, em qualquer altura, em tempos de alegria, em tempos de

Leia mais

Prova Escrita de Filosofia

Prova Escrita de Filosofia Exame Final Nacional do Ensino Secundário Prova Escrita de Filosofia.º Ano de Escolaridade Decreto-Lei n.º 9/202, de de julho Prova 74/2.ª Fase Critérios de Classificação Páginas 204 Prova 74/2.ª F. CC

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

Leia mais

Duração da Prova: 120 minutos. Tolerância: 30 minutos.

Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30

Leia mais

Descartes. Colégio Anglo de Sete Lagoas - Professor: Ronaldo - (31)

Descartes. Colégio Anglo de Sete Lagoas - Professor: Ronaldo - (31) Descartes René Descartes ou Cartesius (1596-1650) Naceu em La Haye, França Estudou no colégio jesuíta de La Flèche Ingressa na carreira militar Estabeleceu contato com Blayse Pascal Pai da filosofia moderna

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

Tópicos da História da Física Clássica

Tópicos da História da Física Clássica Tópicos da História da Física Clássica Descartes Victor O. Rivelles Instituto de Física da Universidade de São Paulo Edifício Principal, Ala Central, sala 354 e-mail: rivelles@fma.if.usp.br http://www.fma.if.usp.br/~rivelles

Leia mais

Objetividade e diálogo de culturas. A professora M. Clara Gomes

Objetividade e diálogo de culturas. A professora M. Clara Gomes Objetividade e diálogo de culturas A professora M. Clara Gomes A questão dos critérios valorativos levanta o problema da natureza dos juízos morais. O Subjetivismo moral é teoria que defende que os juízos

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

Leia mais

INFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia. Código da Prova /2015

INFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia. Código da Prova /2015 INFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia Código da Prova 6100 2014/2015 O presente documento divulga informação relativa à Prova de Avaliação de

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

Teoria do conhecimento de David Hume

Teoria do conhecimento de David Hume Hume e o empirismo radical Premissas gerais empiristas de David Hume ( que partilha com os outros empiristas ) Convicções pessoais de David Hume: Negação das ideias inatas A mente é uma tábua rasa/folha

Leia mais

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa.

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa. DR. SIMON G. CHIOSSI @ GMA / UFF MB V 1 0/02/2016 NOME LEGÍVEL: Matemática Básica Prova V 1 turma A1 0 / 02 / 2016 MATRÍCULA: EXERCÍCIOS OBRIGATÓRIOS (1) Sejam P(x) o predicado x 2 = x e Q(x) o predicado

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Descartes filósofo e matemático francês Representante do racionalismo moderno. Profs: Ana Vigário e Ângela Leite

Descartes filósofo e matemático francês Representante do racionalismo moderno. Profs: Ana Vigário e Ângela Leite Descartes filósofo e matemático francês 1596-1650 Representante do racionalismo moderno Razão como principal fonte de conhecimento verdadeiro logicamente necessário universalmente válido Inspiração: modelo

Leia mais

1. Métodos de prova: Construção; Contradição.

1. Métodos de prova: Construção; Contradição. Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Bacharelado em Ciência da Computação Fundamentos Matemáticos para Computação 1. Métodos de prova: Construção; Contradição.

Leia mais

Demonstrações Matemáticas Parte 2

Demonstrações Matemáticas Parte 2 Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar

Leia mais

Descobrindo a Verdade

Descobrindo a Verdade Descobrindo a Verdade Capítulo 1 Descobrindo a Verdade que é a verdade e o que sabemos sobre ela? Será O que ela é absoluta ou toda verdade é relativa? Como descobrimos a verdade sobre aquilo que não podemos

Leia mais

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está

Leia mais

Os números inteiros. Capítulo 2

Os números inteiros. Capítulo 2 6 Capítulo 2 Os números inteiros Intuitivamente, o conjunto Z dos números inteiros é composto pelos números naturais e pelos "negativos". Como justificamos de uma forma simples qual a origem dos números

Leia mais

Fabio Augusto Camargo

Fabio Augusto Camargo Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares

Leia mais

Entrelinha 1,5. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta.

Entrelinha 1,5. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta. Teste Intermédio de Filosofia Entrelinha 1,5 Teste Intermédio Filosofia Entrelinha 1,5 (Versão única igual à Versão 1) Duração do Teste: 90 minutos 17.04.2013 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004,

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

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