Jorge Muniz Barreto UFSC-INE

Slides:



Advertisements
Apresentações semelhantes
Filosofia e Ética Prof. Rafael Lima
Advertisements

Conceito de Filosofia TÍTULO Sérgio Biagi Gregório 20/3/2012
LOGICA DE PRIMEIRA ORDEM Cálculo dos Predicados
As 9 respostas de um Sábio
Elementos de Lógica Matemática
Vida, formação, idéias, obra
Filosofia O amor ao saber Prof. Alan Carlos Ghedini
Sofistas Sócrates Platão Aristóteles.
SEMIÓTICA Charles S. Peirce
INTRODUÇÃO A lógica faz parte do nosso cotidiano.
BCC 101– Matemática Discreta
ESADE – Graduação em Direito 2011/II
Introdução Professor: Luiz Carlos Gabi
DEDUÇÃO NO CÁLCULO PROPOSICIONAL
INF 1771 – Inteligência Artificial
Seminário de Filosofia Antiga.
Prof. Everton da Silva Correa
Conceitos Básicos.
Curso de Licenciatura em Matemática
Filosofia.
Prof. Kleyton Gustavo de Rezende Filosofia – º Médio A e B
Métodos Científicos Método Indutivo
O que é conhecimento 2.1 O critério da verdade:
Lógica Proposicional Caderno de Exercícios.
Revisão para Avaliação I
Lógica Proposicional Dedução Natural.
Lógicas e Inferência para IA
HISTÓRIA DA FILOSOFIA ANTIGA I.
AULA 06 HISTÓRIA DA FILOSOFIA ANTIGA I.
“A lógica é uma ciência do raciocínio”
Filosofia Professor Breno Cunha
INTRODUÇÃO À FILOSOFIA
André Luiz da Costa Carvalho
Platão e o mundo das Ideias
Lógica Erros Comuns Dicionário Escolar de Filosofia, de Aires Almeida LÓGICA.
1ª aula Profª Karina Oliveira Bezerra
Material de apoio das aulas de Filosofia Professora Larissa Gandolfo
Técnicas de Negociação ARGUMENTAÇÃO EFICAZ
O QUE É FILOSOFIA ?.
Introdução à Filosofia
Lógica Matemática Introdução.
Sistemas Microprocessados e Microcontrolados
Inteligência Artificial: Lógica Proposicional e Prolog
Lógica e Teoria dos Conjuntos
Lógica Proposicional.
Inferir: é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A dedução é uma inferência.
FILOSOFIA.
Introdução à Engenharia de Computação
Filosofia da Grécia Aline Fernandes; Bruna Santos; Cássia Fernanda;
Grécia - Cultura.
METODOLOGIA DO TRABALHO CIENTÍFICO
Colégio Agrícola “José Bonifacio”
ARGUMENTAÇÃO JURÍDICA: AULA 2
UNIP UNIVERSIDADE PAULISTA Professor: Yure de Queiroz Lima
FILOSOFIA.
Teoria do conhecimento: Aristóteles
Aula Introdutória “Lógica para Computação”
SÓCRATES 469 – 399 a.C..
Bolsistas: Daniela, Bárbara, Deivison, Fernando, Raphaela e Gilberto 2015.
Professor: Suderlan Tozo Binda
Lógica I “Sem abstração, a inteligência não floresce” (João Zelesny)
Espécies de argumentação dedutiva
Período sistemático Aristóteles
O que é lógica? Lógica é uma parte da filosofia que estuda o fundamento, a estrutura e as expressões humanas do conhecimento. A lógica foi criada por Aristóteles.
LUDWIG FEUERBACH Deus é a essência do homem projetada em um imaginário ser transcendente. Também os predicados de Deus (sabedoria, potência,
O conhecimento na antiguidade
Bertrand Arthur William Russell ( ) O Atomismo Lógico.
Capítulo 4 – Filosofar é conhecer
INTRODUÇÃO A FILOSOFIA
Aristóteles de Estagira
Transcrição da apresentação:

Jorge Muniz Barreto UFSC-INE Silogismos Jorge Muniz Barreto UFSC-INE

Retraçando as origens da Lógica, suas raizes são encontradas na Filosofia. No início, Lógica era expressa em linguagem natural pelos filósofos gregos de Atenas. Raciocínios tipicamente lógicos se encontram em diálogos de Sócrates com seus discípulos, depois em Platão. Mas foi com Aristóteles que a Lógica tomou um caráter independente de outros ramos do pensamento. J.M.Barreto UFSC-INE

Definição de Silogismo A definição aristotélica de silogismo é: Silogismo é uma frase na qual a umas coisas sendo consideradas verdadeiras, algo mais decorre necessariamente. J.M.Barreto UFSC-INE

Generalidade dos Silogismos em todo o trabalho de Aristóteles não existe menção a objetos particulares, o que significa que o exemplo clássico de silogismo abaixo, não é aristotélico: Todos os homens são mortais Sócrates é um homem Então, Sócrates é mortal. J.M.Barreto UFSC-INE

é necessário que A tenha Silogismo Barbara Usando o nome sugerido muito mais recentemente pelo escolástico Pedro da Espanha, este é um exemplo de em Bárbara: “Se A de todo B e B de todo C, é necessário que A tenha o predicado de todo C” J.M.Barreto UFSC-INE

Estóicos e Megarianos Sob vários aspectos os lógicos atingiram o seu zenite com os Estoícos e os Megarianos. Euclides fundou a escola megariana e teve como discípulo Eubulides, a quem se atribue o paradoxo do mentiroso. Este paradoxo é apresentado sob várias formas, sendo talvez a mais comum a de Cícero: “Se você diz que está mentindo e está dizendo a verdade então você está mentindo?”. J.M.Barreto UFSC-INE

Zeno e os Estoicos Zeno foi formado nesta escola e foi o fundador do Estoicismo. Um exemplo de argumento estóico é: “Se você sabe que está morto, você está morto, Mas se você sabe que está morto, você não está morto, Portanto você não sabe se está morto ou não”. J.M.Barreto UFSC-INE

Paradoxo do Barbeiro Havia uma pequena cidade onde só existia um barbeiro. O barbeiro recebeu a missão de barbear todos os homens que não barbeavam a si mesmos. Se não o fizesse morreria! Pergunta: Quem barbeia o barbeiro? O paradoxo resume-se no fato de que, se ele se barbeasse, estaria barbeando uma pessoa que barbeia a si mesmo e se não o fizesse, estaria deixando de barbear alguém que não se barbeia. J.M.Barreto UFSC-INE

Terceiros Excluídos Estes argumentos alimentaram profunda especulação intelectual para filósofos desde então, principalmente na Grécia antiga, os quais notaram ser o axioma do meio excluído o ponto crucial. Este axioma considera que as proposições podem ter apenas dois valores de verdade, verdadeiras ou falsas. Valores intermediários de verdade sendo excluídos. J.M.Barreto UFSC-INE

Silogismos e a Lógica Atual A relação que existe entre os silogismos e a lógica moderna é uma relação de descendência genealógica pois apenas a forma mudou através dos séculos. Com efeito a lógica aristotélica pode ser considerada lógica formal no sentido de que ela se ocupa apenas da forma do pensamento sem levar em consideração os objetos particulares em que se pensa. Além disto ela estabelece o modo de fazer inferências válidas. J.M.Barreto UFSC-INE

Instanciação de Silogismo O silogismo de Aristóteles é uma implicação tendo por antecedente uma conjunção de premissas e a conclusão por consequente. Apenas a forma da implicação é relevante. Assim, o bem conhecido como silogismo:¨se todos os homens são mortais e Sócrates é homem, então Sócrates é mortal'' não é um silogismo, mas a instanciação do silogismo: Se A predicado de todo C E se C predicado de todo B Então A predicado de todo B J.M.Barreto UFSC-INE

Silogismos obra Divina Para Aristóteles todos os ramos do conhecimento humano, incluindo ciência, filosofia, moral e religião, formavam um uno, indissolúvel, Assim, como os silogismos descrevem o modo de pensar válido, devem, tal qual obra divina, criadora do pensamento, exprimir com a sabedoria divina, sem ambiguidades e dúvidas toda a força da verdade não esquecendo se encerrar harmonia e beleza. Para satisfazer a estes quesitos os nomes não poderiam ter sido escolhidos ao acaso. J.M.Barreto UFSC-INE

Primeira Figura J.M.Barreto UFSC-INE

Aristóteles Filósofo grego, aluno de Platão, escreveu sobre todos os campos de conhecimento da época. Seu método de pesquisa era a meditação e o raciocínio, método que durou até Galileu e era aceito ela igreja. J.M.Barreto UFSC-INE