The intention of this essay is to demonstrate some results of underivability for certain mixed deontic systems that also include the bridge­ principle: Ought implies Can. Secondly, it will be shown that the independence result, suitably weakened, can be extended to even more powerful systems. In particular proof will be given of the independence of a restricted class of formulae of obligation (axiologically important obligations) within the framework of the powerful alethic system of deontic logie KT5Q.

Galvan, S., Underivability Results in Mixed Systems of Monadic Deontic Logic, <<LOGIQUE ET ANALYSE>>, 1988; 1988 (121-122): 45-68 [http://hdl.handle.net/10807/65218]

Underivability Results in Mixed Systems of Monadic Deontic Logic

Galvan, Sergio
1988

Abstract

The intention of this essay is to demonstrate some results of underivability for certain mixed deontic systems that also include the bridge­ principle: Ought implies Can. Secondly, it will be shown that the independence result, suitably weakened, can be extended to even more powerful systems. In particular proof will be given of the independence of a restricted class of formulae of obligation (axiologically important obligations) within the framework of the powerful alethic system of deontic logie KT5Q.
Inglese
Galvan, S., Underivability Results in Mixed Systems of Monadic Deontic Logic, <<LOGIQUE ET ANALYSE>>, 1988; 1988 (121-122): 45-68 [http://hdl.handle.net/10807/65218]
File in questo prodotto:
File Dimensione Formato  
Galvan Underivability.pdf

accesso aperto

Descrizione: Articolo principale
Dimensione 3.97 MB
Formato Adobe PDF
3.97 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/65218
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact