Un argumento moral

Adjunto el cuestionario final de la materia introducción a la administración grupo 1

snfkwfLa notación lógica sirve entre otras cosas para mostrar cuando un argumento constituye una prueba. Sin embargo, en argumentación moral el empleo de la lógica deóntica es muy lioso, pues no tenemos un sistema aceptado de forma generalizada y que no dé lugar a paradojas. Sin embargo, el hecho es que en argumentación moral también podemos dar pruebas de que una posición no es sostenible. Un ejemplo de esto lo constituye un argumento clásico en ética animal, el argumento de la superposición de especies (que algunas veces se ha llamado, erróneamente a mi entender, de los “casos marginales”). La pregunta es, pues, ¿podemos expresar este argumento de forma sencilla echando mano de algún sistema de lógica deóntica?

Estuve hablando de esto con Ángel Longueira, y sus comentarios me llevaron a renunciar a este propósito, pero también me mostraron que podía intentar buscar otra solución. Quizás podamos hacer las cosas más fáciles formalizando argumentos morales sencillos en lógica de primer orden, utilizando algunos artificios que encapsulen el contenido prescriptivo. Este no es en absoluto un truco original ni novedoso, pero puede funcionar.

Vamos a ver aquí, pues, una posible formulación del argumento de la superposición de especies en la que se encapsulará el contenido prescriptivo de las premisas manejadas para formalizarlo en lógica de primer orden. Me da la impresión de que esta solución funciona, pero no me extrañaría estar equivocado, así que si alguien tiene alguna sugerencia o detecta algún error, le agradecería mucho que me lo indicase.

En primer lugar, para presentar la cuestión hay que indicar que el argumento busca cuestionar estas dos ideas:

(1) La idea de que se pueden no considerar los intereses de los anim

...