Lógica

Lógica
Ricardo Santos Universidade de Évora

Índice
§1. Lógica: o que se segue do quê? ....................................................................................... 2 §2. Lógica para Filósofos ...................................................................................................... 3 §3. Lógica Proposicional ....................................................................................................... 5 §4. Lógica de Predicados .................................................................................................... 10 §5. Teoria da Identidade .................................................................................................... 18 §6. Correcção e Completude .............................................................................................. 21 §7. Lógica Modal Proposicional .......................................................................................... 22 Bibliografia ........................................................................................................................ 30

1  2011 Ricardo Santos

§1. LÓGICA: O QUE SE SEGUE DO QUÊ?
A lógica trata da relação de consequência. O que principalmente queremos saber, nesta disciplina, é o que se segue do quê. Por exemplo, se eu disser que alguns acontecimentos são acções, pode concluir-se daí que algumas acções são acontecimentos; e ainda que seja verdade que todas as acções são acontecimentos, isso não pode deduzir-se daquela afirmação. Analogamente, se digo que o sol é uma estrela mortal, segue-se do que digo que alguma estrela é mortal; e ainda que todas as estrelas sejam mortais, isso não se pode concluir dali. Uma noção aparentada com a de consequência lógica é a de argumento válido. Um argumento é uma maneira de estabelecer ou suportar uma conclusão a partir de certas premissas: um encadeado de enunciados que, partindo das premissas, conduz passo a passo até à conclusão desejada; e só é válido, ou logicamente