A Lógica como Teoria da Consequência

18 Setembro 2018, 10:00 • Ricardo Santos

Caracterização intuitiva da relação de consequência lógica. Análise e discussão de exemplos de consequência e da sua ausência. A noção de proposição: o conteúdo das asserções, das crenças e dos pensamentos, que pode ser verdadeiro ou falso. As proposições como aquilo que a consequência relaciona. Os argumentos como sequências de proposições: premissas e conclusão. Argumento válido como aquele cuja conclusão é uma consequência lógica das premissas. Caracterização modal da consequência lógica, ou da validade: se as premissas fossem todas verdadeiras, a conclusão teria de ser verdadeira também. A validade depende apenas da forma lógica dos argumentos. A metodologia da Lógica (semelhante à usada noutros domínios científicos): construção de um modelo que representa o fenómeno a estudar. As linguagens formais e os métodos lógicos como modelos explicativos.