Logic for Lunatics

Download Edit this record How to cite View on PhilPapers
A sound and complete axiomatization of two tabloid blogs is presented, Leiter Logic (KB) and Deontic Leiter Logic (KDB), the latter of which can be extended to Shame Game Logic for multiple agents. The (B) schema describes the mechanism behind this class of tabloids, and illustrates the perils of interpreting a provability operator as an epistemic modal. To mark this difference, and to avoid sullying Brouwer's good name, the (B) schema for epistemic modals should be called the Blog Schema.
PhilPapers/Archive ID
Upload history
Archival date: 2020-12-26
View other versions
Added to PP index

Total views
181 ( #34,488 of 65,736 )

Recent downloads (6 months)
11 ( #52,172 of 65,736 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.