Formalize os seguintes argumentos:
1. Se
somos livres, então poderemos agir de modo diferente. As pessoas não podem
agir de modo diferente. Logo, as pessoas não são livres.
Forma canónica:
(1) Se somos livres, então não podemos agir de modo diferente.
(2) As pessoas não podem agir de modo diferente.
(3) Logo, as pessoas não são livres.
Dicionário:
P - Somos livres
Q- Podemos agir de modo diferente
Formalização:
(P → Q), ¬Q ∴ ¬P
2. Se
somos livres, podemos escolher as nossas ações. Se podemos escolher as nossas
ações, então não somos determinados. Portanto, se somos livres, não somos
determinados.
Forma canónica:
(1) Se somos livres podemos escolher as nossas ações.
(2) Se podemos escolher as nossas ações, então não somos determidados.
(3) Logo, se somos livres, não somos determinados.
Dicionário:
P- Somos livres
Q- Podemos escolher as nossas ações.
R- Somos determinados.
Formalização:
(P → Q), (Q → ¬R) ∴ (P → ¬R)
3. Se a existência é uma perfeição e
Deus por definição tem todas as perfeições, então Deus por definição tem de
existir. Mas a existência é uma perfeição. Além disso, é verdade que Deus tem
por definição todas as perfeições. Logo, Deus por definição tem de existir.
Forma canónica:
(1) Se a existência é uma perfeição e Deus por definição tem todas as perfeições, então Deus por definição tem de existir.
(2) A existência é uma perfeição.
(3) Deus tem por definição todas as perfeições.
(4) Logo, Deus por definição tem de existir.
Dicionário:
P- A existência é uma perfeição.
Q- Deus por definição tem todas as perfeições
R- Deus por definição tem de existir.
Formalização:
((P∧Q) → R), P, Q ∴ R)
Sem comentários:
Enviar um comentário