Argumenta O L Gica E Formal

A Arte de Pensar — 11.o ano (Didáctica Editora)

Capítulo 1 — Secção 3

ARGUMENTAÇÃO E LÓGICA FORMAL
Lógica aristotélica
A lógica aristotélica só reconhece quatro formas lógicas:
1. Universais afirmativas (tipo A): Todo o A é B.
Exemplos: «Todos os homens são mortais»; «Os homens são mortais»; «O Homem é mortal»; «Só há homens mortais».
2. Universais negativas (tipo E): Nenhum A é B.
Exemplos: «Nenhum homem é mortal»; «Não há um único homem que seja mortal».
3. Particulares afirmativas (tipo I): Algum A é B.
Exemplos: «Alguns homens são mortais»; «Há homens mortais».
4. Particulares negativas (tipo O): Algum A não é B.
Exemplos: «Alguns homens não são mortais»; «Há homens que não são mortais».
Na lógica aristotélica só pode usar-se classes que não sejam vazias.
Teoria silogística
„ O termo maior é o termo predicado da conclusão e ocorre uma única vez na primeira premissa (premissa maior).
„ O termo menor é o termo sujeito da conclusão e ocorre uma única vez na segunda premissa (premissa menor).
„ O termo médio é o termo que surge uma única vez nas duas premissas mas não na conclusão.
Regras para Termos
Regra 1: Um silogismo tem de ter exactamente três termos: termo maior, menor e médio.
Regra 2: O termo médio tem de estar distribuído pelo menos uma vez.
Regra 3: Se um termo ocorre distribuído na conclusão, tem de estar distribuído nas premissas.
Regras para Proposições
Regra 4: Nenhuma conclusão se segue de duas premissas negativas.
Regra 5: Nenhuma conclusão se segue de duas premissas particulares.
Regra 6: Se as duas premissas forem afirmativas, a conclusão não pode ser negativa.
Regra 7: A conclusão tem de seguir a premissa mais fraca: se uma das premissas é negativa, a conclusão tem de ser negativa; se uma das premissas é particular, a conclusão tem de ser particular.

www.didacticaeditora.pt/arte_de_pensar

A Arte de Pensar — 11.o ano (Didáctica Editora)

Capítulo 1 — Secção 4

ARGUMENTAÇÃO E LÓGICA FORMAL
Lógica proposicional
Cinco conectivas verofuncionais