El fin justifica los medios (obviamente).

Por supuesto, pero no en las cuatro de las siguientes maneras de explicitar lo que dice la famosa frase, sino sólo en la cuarta:

.

(símbolos: Fx = x es un fin; Mxy = x es un medio para y; Jxy = x justifica y).

.

1) Cualquier fin justifica cualquier medio:

"x"y((Fx & Myx) ® Jxy)

.

2) Algunos fines justifican cualquier medio:

$x(Fx & "y(Myx ® Jxy))

.

3) Todo medio está justificado por algún fin:

"x( $yMxy ® $y(Fy & Jyx))

.

4) Si un medio está justificado, entonces está justificado por algún fin:

"x"y(Jxy ® (Fx & Myx))

.

Enrólate en el Otto Neurath