Hay dos paradojas de Chisholm , que lleva el nombre del filósofo Roderick Chisholm . El primero se refiere a la paradoja de las obligaciones contrarias al deber; la segunda la de la identidad a través de los mundos posibles (o " cruzada mundial identidad ").
El primero, formulado en 1963, se refiere a una paradoja de la lógica deóntica . Esta es la paradoja de obligaciones contrarias al deber ( obligaciones-Contrariamente a-deber ): en otras palabras, tenemos la obligación moral de hacer lo que está prohibido. Esta obligación paradójica surge de una violación original de una primera norma moral. Se expresa de la siguiente manera:
Estas cuatro declaraciones, intuitivamente coherentes (que pueden describir una situación real), se pueden escribir en una lógica modal deóntica de la siguiente manera, si significa "Jones va a ayudar a sus vecinos" y "Jones está advirtiendo a sus vecinos":
Ahora Chisholm considera que en la mayoría de los sistemas de lógica deóntica podemos deducir:
Y que la conjunción de estas dos últimas proposiciones es similar a una contradicción.
Ver la paradoja de la identidad entre mundos