Lógica deóntica
De Wikipedia, la enciclopedia encyclopedia
La lógica deóntica (del griego δέον[τος] déon[tos] 'lo debido , lo necesario') es la lógica de las normas y de las ideas normativas. Su campo de estudio corresponde, como «autorizado», «prohibido», «obligatorio», «indiferente».[1] Es un tipo de lógica modal y se expresa que su desarrollo arranca con el descubrimiento de la similitud entre los conceptos deónticos y modales. Alois Höffler, lógico austriaco, fue uno de los iniciadores del estudio de esta similitud.[2] La lógica deóntica fue pensada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.