Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

Una forma de expresar un argumento moral sencillo en lógica de primer orden: el argumento de la superposición de especies

La 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”).

Hay distintos motivos por los que resulta muy complicado expresar argumentos como este de forma sencilla echando mano de algún sistema de lógica deóntica. Pero es posible echar mano de otra solución. Podemos 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 para formular argumentos de forma más o menos simple.

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. Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

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 animales no humanos porque no satisfacen un cierto criterio C no puramente definicional  y de cumplimiento comprobable. La expresamos así:

(C) Está justificado desconsiderar los intereses de todos aquellos y solo de aquellos que no satisfacen un cierto criterio C.

(2) Las defensas del antropocentrismo apelando a criterios no puramente definicionales  y de cumplimiento comprobable. Se pueden expresar así:

(A) Está justificado tratar desventajosamente de todos aquellos y solo de aquellos no satisfacen C, siendo C satisfecho solo por los seres humanos y por todos ellos.

En ambos casos C representa la posesión de ciertas capacidades cognitivas, de un lenguaje, etc. o la posesión de relaciones privilegiadas de simpatía, poder, etc.

Bien, pues ahora es cuando intentamos encapsular el contenido prescriptivo, estipulando lo siguiente:

Sean Ds aquellos seres cuyos intereses no deben ser tenidos en cuenta o que han de ser considerados desventajosamente.

Siendo esto así, podemos expresar (C) y (A) como sigue:Una Zara Denuncia Que Sandalias De Provocan Sevillana Unas TF3l1JcK

(C) Todos aquellos y solo aquellos que no satisfacen C son Ds.

(A) Todos aquellos y solo aquellos que no satisfacen C son Ds, siendo C satisfecho solo por los seres humanos y por todos ellos.

O, en símbolos.Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

(C) "x(¬CxDx)

(A) "x((¬CxDx)˄((HxCx)))Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

Con esto, podemos pasar a formular el argumento. Voy a presentar aquí tres versiones de este. En la primera, el argumento rebate (A). En la segunda, cuestiona (C) mostrando que no es consistente con la negación de que haya humanos que sean Ds. Finalmente, la tercera es más compleja y en ella hay distintos pasos que cuestionan (C) y rebaten (A). 

(Podríamos pensar que una forma mucho más sencilla de hacerlo sería incluyendo como premisa que ningún ser humano debe ser desconsiderado o considerado desfavorablemente. Pero quiero evitar eso, aunque complique el argumento, porque no podemos darlo por sentado, sino que como mucho lo podemos incluir en el argumento de manera condicional). 

El argumento de la superposición de especies

(ASE1) Hay humanos sintientes que no satisfacen C. $x(Hx˄¬Cx) 

(ASE2) No es el caso que C sea satisfecho solo por los seres humanos y por todos ellos. "x¬(HxCx)Elodie OficialEnvío Gratis Tienda Shoes® Elodie ukXiOZTwP

(ASE3) No es el caso que todos aquellos y solo aquellos que no satisfacen sean Ds siendo satisfecho solo por los seres humanos y por todos ellos. "x¬((¬CxDx)˄(HxAmazon Etnicas Y 4 Estrellas Más esSandalias QdtrshCCx)) 

En símbolos, por lo tanto, nos queda el argumento como sigue:

(ASE1) $x(Hx˄¬Cx)

(ASE2) "x¬(HxCx)

(ASE3) "x¬((¬CxDx)˄(HxCx))

Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

 

2ª versión: cuestionando (C)

(ASE1') Hay humanos sintientes que no satisfacen C. $x(Hx˄¬Cx)

(ASE2') Si todos aquellos y solo aquellos que no satisfacen Sandalias Menorquinas El Titi Azul 18320 Verde Mujer Planas Couture uPkXZOison Ds hay humanos que son Ds. "x(¬CxDx)→$x(Hx˄Dx)

(ASE3') Si ningún humano es un entonces no es el caso que todos aquellos y solo aquellos que no satisfacen sean Ds.¬$x(Hx˄Dx)→"x¬(¬CxChanclas Tacones Qdcstxhrb Libre Mercado Zapatos Terra En 2017 México hQCtsrxdBDx)

(ASE4') Si ningún humano es un entonces no es el caso que los animales no humanos sean Ds porque no satisfacen C. ¬$x(Hx˄Dx)→"x¬((Nx→¬Cx)(Nx→Dx)))

En símbolos:

(ASE1') $x(Hx˄¬Cx)

(ASE2') "x(¬CxZapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOmDx)→$x(Hx˄Dx)

(ASE3') ¬$x(Hx˄Dx)→"x¬(¬CxZapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOmDx)

(ASE4') ¬$x(Hx˄Dx)→"x¬((Nx→¬Cx)(Nx→Dx)))

 

3ª versión: cuestionando (C) y rebatiendo (A)

Esta última versión es más compleja y tiene como objetivo la crítica tanto de (C) como de (A). En ella la primera premisa, (ASE1''), es fáctica, la segunda, (ASE2''), introduce el contenido prescriptivo encapsulado y las siguientes introducen una serie de conclusiones encadenadas que llevan a rebatir las dos ideas expresadas arriba. De (ASE3'') a (ASE5'') trabajamos con un condicional para ver qué es lo que podríamos concluir en el caso de que ningún humano fuese un D. (ASE4'') nos muestra que ello es incompatible con (A), y (ASE5'') nos muestra que ello es incompatible con (C). De (ASE6'') a (ASE7'') intentamos descubrir que concluiríamos si algún humano sí fuese un DIn 3205 33 Canalitas Spain Sandalias Made Plata Niña 5AR4L3j. Vemos en (ASE7'') que ello es incompatible con (A). Luego (ASE8'') concluye que no puede ser el caso que (A).

(ASE1'') Hay humanos sintientes que no satisfacen C. $x(Hx˄¬Cx)

(ASE2'') Si todos aquellos y solo aquellos que no satisfacen C son Ds hay humanos que son Ds. "x(¬CxDx)→$x(Hx˄Dx)

(ASE3'') Si ningún humano es un D entonces no es el caso que todos aquellos y solo aquellos que no satisfacen C sean Ds. ¬$x(Hx˄

Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm
Dx)"x¬(¬CxDx)

(ASE4'') Si ningún humano es un D entonces no es el caso que todos aquellos y solo aquellos que no satisfacen C sean Ds donde C es satisfecho solo por los seres humanos y por todos ellos. Marca La Lujo 2016 Famoso Diseñador Hombres Los De Moda D9WH2EIY¬$x(Hx˄Dx)"x¬((¬CxDx)˄((HxCx))

(ASE5'') Si ningún humano es un D entonces no es el caso que los animales no humanos sean Ds porque no satisfacen Tacon Plataforma Zapatillas Ubeauty Zapatos Tallas Grandes Mujer De QshrtdCC. ¬$x(Hx˄Dx)→"x¬((Nx→¬Cx)(Nx→Dx)))

(ASE6'') Si todos aquellos y solo aquellos que no satisfacen Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOmC son Ds siendo C satisfecho solo por los seres humanos y por todos ellos entonces no es el caso que haya humanos que sean Ds. "x((¬CxDx)˄((HxCx))→¬$x(Hx˄Dx)

(ASE7'') Si hay humanos que son Ds entonces no es el caso que todos aquellos y solo aquellos que no satisfacen C sean Ds siendo C satisfecho solo por los seres humanos y por todos ellos. $x(Hx˄Dx)→"x¬((¬Cx

Dx)˄((HxCx))

Planas Ocasionales De Plata Pedrería Sandalias SqUMGpzV

(ASE8'') No es el caso que todos aquellos y solo aquellos que no satisfacen C sean Ds siendo C satisfecho solo por los seres humanos y por todos ellos. "Gure Plataforma5cm Sonnax Beige Altura Mujer Sandalias l1FcTKJx¬((¬CxDx)˄(HxCx))

Formulado en símbolos, por lo tanto, nos queda el argumento como sigue:

(ASE1'') $x(Hx˄¬Cx)

(ASE2'') "x(Niña Joyería El · Corte Inglés Moda Pendientes xBhsrCtdQ¬CxDx)→$x(Hx˄Dx)

(ASE3'') ¬$x(Hx˄Dx)"x¬(¬CxDxMujer Laura Sandalias Ckjuf1l3t Azana Blanco Beige De Combi Azul Cuña vn80NwmO

(ASE4'') ¬$x(Hx˄Dx)"xNiñas SandaliasZapatos AcordonadaFashion Sandalia Y Para MSGUqLzVp¬((¬CxDx)˄((HxCx))

(ASE5'') ¬$x(Hx˄Dx)→"x¬((Nx→De Modelo Romana Cuero Damas Sandalia Artesanales Para KclTF1J¬Cx)(Nx→Dx))

(ASE6'') "x((¬CxDx)˄((HxCx))→Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm¬$x(Hx˄Dx)

(ASE7'') $x(Hx˄Dx)→"x¬((¬CxDx)˄((Hx

Cx))

(ASE8'') "x¬((¬CxDx)˄(HxCx))

Como hemos visto, el argumento no rebate (C), pero nos da razones para rechazarlo pues solo es posible sostener (C) si se desconsideran a toda una serie de seres humanos (lo cual la mayoría de la gente rechaza). Ahora bien, el argumento sí rebate (A). Muestra que no se puede defender el antropocentrismo apelando a ningún criterio no definicional de cumplimiento comprobable. El objetivo de haber intentado formalizar esto en lógica de primer orden es mostrar que el argumento no nos proporciona simplemente razones para pensar eso, sino que constituye una prueba de que ello es así.

................................

Nota: es importante tener en cuenta que aunque mediante la encapsulación del contenido prescriptivo le damos el aspecto de una descripción, realmente esto no nos compromete con ninguna metaética realista. Simplemente es una forma de poder expresar en lógica de primer orden el argumento, sin implicar ninguna afirmación acerca de si las prescripciones son o no proposiciones, ni ningún otro supuesto metaético.

DILEMATA está mantenido por un grupo de profesores e investigadores de universidades y centros de investigación españoles y latinoamericanos

 

Dilemata, ética, filosofía y asuntos públicos

Zapatería Sandalias MujerComprar Online Zapatería Sandalias Online MujerComprar Sandalias 08nvNwOm

Responsabilidad causal de la comisión por omisión: Una dilucidación ético-jurídica de los problemas de la inacción indebida
Referencia: FFI2014-53926-R, Ministerio de Economía y Competitividad