Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1. Silogismo aristotélico:
Podemos encara um conceito de dois pontos de vista:
Extensão—a extensão é um conjunto de objectos que o
conceito considerado pode designar ou aos quais ele se pode
aplicar como atributo.
Intenção/ compreensão—é o seu sentido, a sua significação,
isto é, os caracteres que enunciamos geralmente quando
damos a definição de conceito.
Quadrado lógico:
NOTA—As inferências mais ricas são produzidas pelas universais
verdadeiras e pelas particulares negativas.
Regras:
Regra das contraditórias (A E)—duas proposições
O; I
contraditórias não podem ser ambas verdadeiras, nem podem
ser ambas falsas ao mesmo tempo. Se A é verdadeira, O é
falsa e vice-versa. Portanto a oposição é maior, total e
complexa, porque há uma oposição em quantidade e
qualidade.
A E I O
De A verdadeira infere-se: V F V F
De E verdadeira infere-se: F V F V
De I verdadeira infere-se: ? F V ?
De O verdadeira infere-se: F ? ? V
Argumentos:
Válidos (ou formalmente correctos)—premissas verdadeiras e
conclusão verdadeira
Inválidos—premissas verdadeiras e conclusão falsa
Argumentos:
Argumento indutivo—parte de premissas particulares e a
conclusão é de carácter provável.
Proposição:
Pode tomar (semanticamente) os valores de afirmativa ou
negativa
Pode tomar (logicamente) os valores de verdade e falsidade
Proposição = negativa, afirmativa
Proposição ≠ interrogativa, imperativa
Proposição ≠ frase
Interpretação:
P—Icabod é rico
Q—Icabod é estudante
Formalização:
P^Q P
Negação: Conjunção
P ~P P Q P^Q
V F V V V
F V F F F
V F F
Disjunção (inclusiva) F V F
P Q P^Q
V V V Condicionalização
F F V
V F V P Q PQ
F V F V V V
F F V
Disjunção (exclusiva) V F F
F V V
P Q P^Q
V V F Bicondicionalização
F F V
V F V P Q PQ
F V F V V V
F F F
V F F
F V V
Disjunção
Esta operação lógica corresponde à alternativa expressa na
linguagem corrente por «ou». Só que na nossa linguagem
quotidiana o termo «ou» se usa em dois sentidos distintos,
introduzindo assim na expressão um factor de ambiguidade
Ex.: «Descartes é um filósofo ou um matemático.»
«Platão ou é grego ou é romano.»
Falácias: