Your SlideShare is downloading. ×
Introdução à Lógica
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Introducing the official SlideShare app

Stunning, full-screen experience for iPhone and Android

Text the download link to your phone

Standard text messaging rates apply

Introdução à Lógica

2,066
views

Published on

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

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,066
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
28
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Introdução à Lógica Adolfo Neto @adolfont
  • 2. O que é Lógica?
  • 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. “Lógica simbólica é um modelo matemático de pensamento dedutivo.” Herbert Enderton A Mathematical Introduction to Logic
  • 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. “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. “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. “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. “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. “Eu sou uma lógica” Dov Gabbay
  • 11. AtividadePesquisar as definições (se existirem) nos outros livros da bibliografia da disciplina.
  • 12. Termos mais comuns● Argumento ● Símbolo● Raciocínio ● Inferência● Premissa ● Consequência● Conclusão● Formalizar● Linguagem● Modelar
  • 13. Estudo do raciocínio?
  • 14. Premissas . . .Conclusão
  • 15. Dedução
  • 16. Abdução
  • 17. PESSOAS
  • 18. ARISTÓTELES
  • 19. PARMÊNIDES
  • 20. BERTRAND RUSSELL
  • 21. FREGE