Abstract
Gupta's and Belnap's revision theory of circular definitions (RTD) provides a general technique for specifying circular definitions in a way that at worst gives rise to some “vacuous” uses of definienda, but never to contradiction. This is a first step in applying RTD to the problem of constructing a type-free theory of properties, relations and propositions (in short, PRP's). To this end, exemplification is viewed as a circular concept analyzed in terms of RTD. This yields a formal semantics system, P*, wherein the generality of lambda-conversion is circumscribed so as to avoid, e.g., Russell's paradox. The construction of P* is motivated by showing how it can provide a foundation for a knowledge representation system capable of dealing with belief (or more generally intensional) contexts and with inferences involving PRP's in subject position.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
