Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!satisfied.elf.com!news.mathworks.com!news.kei.com!ub!acsu.buffalo.edu!rapaport
From: rapaport@cs.buffalo.edu (William J. Rapaport)
Subject: Re: Deontic Logic. What is it?
Message-ID: <D29Csn.4K@acsu.buffalo.edu>
Sender: nntp@acsu.buffalo.edu
Nntp-Posting-Host: adara.cs.buffalo.edu
Organization: State University of New York at Buffalo/Computer Science
References: <D1zvKo.MAx@acsu.buffalo.edu> <ajmortime-090195095348@mreddy.comp.glam.ac.uk> <1995Jan10.164607.19575@sei.cmu.edu>
Date: Wed, 11 Jan 1995 20:26:46 GMT
Lines: 17

In article <ajmortime-090195095348@mreddy.comp.glam.ac.uk>, ajmortime@comp.glamorgan.ac.uk (Mike Reddy) writes:
|> 
|> ... what is deontic logic?

It's the logic of obligation and permission: typically one adds a modal
operator O or P (It ought to be the case that/One is obliged to.../It is
permitted that) to a wff.
-------------------------------------------------------------------------
			William J. Rapaport
			Associate Professor of Computer Science
			Adjunct Professor of Philosophy
			and Center for Cognitive Science

226 Bell Hall                  | phone:  (716) 645-3180 x 112
Department of Computer Science | fax:    (716) 645-3464  
SUNY Buffalo                   | email:  rapaport@cs.buffalo.edu
Buffalo, NY 14260              | web:    http://www.cs.buffalo.edu
