Introdução a Lógica
description
Transcript of Introdução a Lógica
O que é Lógica?
“Lógica é sobre raciocínio. Todos nós raciocinamos. Tentamos descobrir o que é,
raciocinando na base do que sabemos.”
Graham Priest emLogic: A Very Short Introduction
p.1
“Lógica simbólica é um modelo matemático de pensamento dedutivo.”
Herbert EndertonA Mathematical Introduction to Logic
“Lógica Formal investiga como asserções são combinadas e conectadas, como teoremas
podem ser formalmente deduzidos de certos axiomas, e que tipo de objeto é uma prova.”
Uwe SchöningLogic for Computer Scientists
“Lógica é o estudo de argumentos.
Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para
provar ou, pelo menos, fornecer alguma evidência para a conclusão.”
John Nolt, Dennis Rohatyn'Schaum's Outline of Logic'
“O objetivo do estudo da lógica em ciência da computação é desenvolver linguagens para modelar situações que encontramos como profissionais de computação, de modo que
possamos analisá-las formalmente.
Analisar situações significa construir argumentos sobre elas.”
Michael Huth e Mark RyanLogic
Logic in Computer Science: Modelling and Reasoning about Systems
(NÃO RESPONDEU!)
“LÓGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principal
de determinar em que condições certas coisas se seguem (são consequência), ou não, de outras.
Cezar MortariIntrodução à Lógica
“A lógica (do grego clássico λογική logos, que significa palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é uma
ciência de índole matemática e fortemente ligada à Filosofia”
Wikipédia
“Eu sou uma lógica”Dov Gabbay
Atividade
Pesquisar as definições (se existirem) nos outros livros da bibliografia da disciplina.
Termos mais comuns● Argumento● Raciocínio● Premissa● Conclusão● Formalizar● Linguagem● Modelar
● Símbolo● Inferência● Consequência
Estudo do raciocínio?
Premissas...
Conclusão
Dedução
Abdução
PESSOAS
ARISTÓTELES
PARMÊNIDES
BERTRAND RUSSELL
FREGE