A lógica estuda o raciocínio e argumentos formais. Ela investiga como asserções são combinadas e como teoremas podem ser deduzidos de axiomas. A lógica também desenvolve linguagens formais para modelar situações e analisá-las.

1. Introdução à Lógica
Adolfo Neto
@adolfont

2. O que é Lógica?

5. “Lógica é sobre raciocínio. Todos nós
raciocinamos. Tentamos descobrir o que é,
raciocinando na base do que sabemos.”
Graham Priest em
Logic: A Very Short Introduction
p.1

6. “Lógica simbólica é um modelo matemático de
pensamento dedutivo.”
Herbert Enderton
A Mathematical Introduction to Logic

7. “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

8. “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'

9. “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!)

10. “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 Mortari
Introdução à Lógica

11. “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

12. “Eu sou uma lógica”
Dov Gabbay

13. Atividade
Pesquisar as definições (se existirem) nos outros
livros da bibliografia da disciplina.

14. Termos mais comuns
● Argumento ● Símbolo
● Raciocínio ● Inferência
● Premissa ● Consequência
● Conclusão
● Formalizar
● Linguagem
● Modelar

15. Estudo do raciocínio?

16. Premissas
.
.
.
Conclusão

17. Dedução

18. Abdução

19. PESSOAS

20. ARISTÓTELES

21. PARMÊNIDES

22. BERTRAND RUSSELL

23. FREGE