Introdução à Lógica   Adolfo Neto    @adolfont
O que é Lógica?
“Lógica é sobre raciocínio. Todos nósraciocinamos. Tentamos descobrir o que é,  raciocinando na base do que sabemos.”     ...
“Lógica simbólica é um modelo matemático de           pensamento dedutivo.”            Herbert Enderton    A Mathematical ...
“Lógica Formal investiga como asserções são  combinadas e conectadas, como teoremas podem ser formalmente deduzidos de cer...
“Lógica é o estudo de argumentos. Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os ...
“O objetivo do estudo da lógica em ciência da  computação é desenvolver linguagens para  modelar situações que encontramos...
“LÓGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principalde determinar em que condiçõe...
“A lógica (do grego clássico λογική logos, quesignifica palavra, pensamento, ideia, argumento,  relato, razão lógica ou pr...
“Eu sou uma lógica”   Dov Gabbay
AtividadePesquisar as definições (se existirem) nos outros       livros da bibliografia da disciplina.
Termos mais comuns●   Argumento       ●   Símbolo●   Raciocínio      ●   Inferência●   Premissa        ●   Consequência●  ...
Estudo do raciocínio?
Premissas    .    .    .Conclusão
Dedução
Abdução
PESSOAS
ARISTÓTELES
PARMÊNIDES
BERTRAND RUSSELL
FREGE
Introdução à Lógica
Introdução à Lógica
Upcoming SlideShare
Loading in …5
×

Introdução à Lógica

2,692 views

Published on

Versão beta dos slides sobre Introdução à Lógica, para a disciplina Lógica para Computação.

Published in: Education, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
2,692
On SlideShare
0
From Embeds
0
Number of Embeds
4
Actions
Shares
0
Downloads
33
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Introdução à Lógica

  1. 1. Introdução à Lógica Adolfo Neto @adolfont
  2. 2. O que é Lógica?
  3. 3. “Lógica é sobre raciocínio. Todos nósraciocinamos. Tentamos descobrir o que é, raciocinando na base do que sabemos.” Graham Priest em Logic: A Very Short Introduction p.1
  4. 4. “Lógica simbólica é um modelo matemático de pensamento dedutivo.” Herbert Enderton A Mathematical Introduction to Logic
  5. 5. “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öning Logic for Computer Scientists
  6. 6. “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 paraprovar ou, pelo menos, fornecer alguma evidência para a conclusão.” John Nolt, Dennis Rohatyn Schaums Outline of Logic
  7. 7. “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 Ryan Logic Logic in Computer Science: Modelling and Reasoning about Systems (NÃO RESPONDEU!)
  8. 8. “LÓGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principalde determinar em que condições certas coisas se seguem (são consequência), ou não, de outras. Cezar Mortari Introdução à Lógica
  9. 9. “A lógica (do grego clássico λογική logos, quesignifica palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é umaciência de índole matemática e fortemente ligada à Filosofia” Wikipédia
  10. 10. “Eu sou uma lógica” Dov Gabbay
  11. 11. AtividadePesquisar as definições (se existirem) nos outros livros da bibliografia da disciplina.
  12. 12. Termos mais comuns● Argumento ● Símbolo● Raciocínio ● Inferência● Premissa ● Consequência● Conclusão● Formalizar● Linguagem● Modelar
  13. 13. Estudo do raciocínio?
  14. 14. Premissas . . .Conclusão
  15. 15. Dedução
  16. 16. Abdução
  17. 17. PESSOAS
  18. 18. ARISTÓTELES
  19. 19. PARMÊNIDES
  20. 20. BERTRAND RUSSELL
  21. 21. FREGE

×