lógica deóntica

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».​ 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.​ La lógica deóntica fue pensada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.