Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
summary
Claims that Flint can encode Sergot’s library rules without producing the usual Chisholm-style contradiction. Formalization of the four library rules in Flint frame-based action language shows obligations are created and terminated by actions, so the conflicting obligations never hold simultaneously; the modeling uses a PDL-style temporal separation of preconditions, actions, and facts and yields Chisholm/Forrester paradox absent for the example. The formal encoding is produced and checked; no paradox arises.
AI-written summary · about