FRIEDRICH NIETZSCHE


El cristianisme: una metafísica del botxí?

Segons un autor com Eugen Fink, Nietzsche argumenta que “el cristianisme és una metafísica del botxí”. D'acord amb el que he pogut copsar, l’entrellat de l’assumpte -que em sembla coherent- adopta, més o menys, la següent forma:

"O bé l'home ha creat un déu i un món ideal trascendent o bé no els ha creat. Si els ha creat no és lliure ni responsable, però és culpable. D'una altra banda, si els ha creat, en fer-los desaparéixer recobra la seua llibertat i responsabilitat. I si no els ha creat és lliure i responsable, però també és culpable. Ara bé, justificar la llibertat i la responsabilitat humanes en un déu i un món ideal trascendents implica dir que l'home no és ni lliure ni responsable. Però és una cosa coneguda de tots que no és possible, per al cristianisme, que l'home, no siga lliure ni responsable. Doncs, o bé l'home no ha fet desaparéixer un déu i un món ideal trascendents però és culpable, o no justifica la llibertat i la responsabilitat en un déu i un món ideal trascendents i també és culpable".

E.Fink, La Filosofia de Nietzsche.

[És d'exclussiva responsabilitat meua la reorganització d'aquest argument tal i com apareix en aquest arxiu: S.Llàtzer]



DEMOSTRACIÓ LÒGICA CONCLOENT:

Diccionari:
p = crear, l’home, un déu i un món ideal transcendent.
q = fer desaparéixer, l’home, un déu i un món ideal transcendents.
r = ser, l’home, lliure i responsable.
s = justificar la llibertat i la responsabilitat humanes en un déu i un món ideal transcendents.
t = ser, l’home, culpable.

Formalització:
p v ¬p; p --> (¬r ^ t); ¬p --> (q --> r); ¬p --> (r ^ t); s --> ¬r; ¬(¬r) |- (¬q ^ t) v (¬s ^ t)

Demostració:
_______ 1 p v ¬p
_______ 2 p --> (¬r ^ t)
_______ 3 p --> (q --> r)
_______ 4 ¬p --> (r ^ t)
_______ 5 s --> ¬r
_______ 6 ¬(¬r)
Premissa 7 r DN 6
Premissa 8 ¬s MT 5,7
_______ 9 p
|Premiss 10 ¬r ^ t MP 2,9
|Premiss 11 t Simpl(2)10
|Premiss 12 ¬s ^ t Prod. 8,11
|______ 13 (¬q ^ t) v (¬s ^ t) Ad(2) 12
______ 14 ¬p
|Premiss 15 r ^ t MP 4,14
|Premiss 16 t Simpl.(2) 15
|Premiss 17 ¬s ^ t Prod. 8,16
|______ 18 (¬q ^ t) v (¬s ^ t) Ad(2) 17
Conclus 19 (¬q ^ t) v (¬s ^ t) Casos 1,9-13,14-18




Copyright: S.Llàtzer, 2001