Coerencia e coesao

Aula 1

Apresentação
Matéria de lógica Esquema de avaliação,

Introdução a lógica das proposições a conectivos Lógicos

Um homem olhava uma foto, e alguém lhe perguntou: “De quem é essa foto? Ao que ele respondeu: “Não tenho irmãos nem irmãs, mas o filho deste homem é filho de meu pai. De quem é esta foto?
O homem olhava a foto de seu pai.

Conjunto de regras e princípios que orientam, implícita ou explicitamente, o desenvolvimento de uma

argumentação ou de um raciocínio, a resolução de problemas, etc. [Dicionário Aurélio].

Ciência que determina as formas corretas (ou válidas) de raciocínio [Noções de Lógica Formal, Joseph Dopp]

Se o ônibus se atrasa e não há táxis, então Fulano se atrasa. Sabemos que Fulano não se atrasou. Sabemos que o ônibus se atrasou. Portanto, havia táxis.
Lógica permite-nos validar e construir argumentos corretamente.

Se o servidor web não responder em 5 segundos e o site não estiver na cache, então exiba uma mensagem de erro.
Lógica permite-nos descrever o comportamento de um software ou hardware precisamente.

Pensar “corretamente” encadeando o raciocínio. Formalizar o raciocínio lógico: tornar explícito aquilo que é implícito. Facilitar a programação lógica: Circuitos lógicos, Fluxogramas, Modelagem de dados, Linguagens de montagem e linguagens estruturadas de computação. Solucionar problemas com uso de técnicas de inteligência artificial: Lógica “fuzzy”, Redes Neurais, Algoritmos genéticos.

“Um engenheiro, um físico e um matemático ... estão viajando de trem pela Escócia quanto vêem uma ovelha negra passar lá fora.
1.

‘Interessante!’ diz o engenheiro. ‘As ovelhas escocesas eram negras.’ ‘Você quer dizer que algumas ovelhas escocesas são negras, não?’ replica o físico. ‘Não’, responde o matemático. ‘Tudo o que sabemos é que há pelo menos uma ovelha na Escócia e que pelo menos um lado dessa ovelha referida é preto.’”
Sistemática, notação, precisão, ...

2.

3.

TURING

FREGE

LEIBNI Z