Non-Classical Circular Definitions
نویسندگان
چکیده
منابع مشابه
Truth and Circular Definitions
This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revis...
متن کاملFinite Circular Definitions –
A finite circular definition is a particularly simple kind of circular definition. The content of a circular definition is given by a revision process that the definition generates. Finite circular definitions are those that have finite revision processes: the process of revision is complete, in the sense made precise below, in finitely many stages. Finite circular definitions prove to be usefu...
متن کاملA Note on Analysis and Circular Definitions
In some cases, even a whole theory may be regarded as a constituting an analysis. For example, Russell’s celebrated theory of definite descriptions may be viewed as an analysis of that formal concept which in natural language can be expressed by means of the definite article. Analyses are also called philosophical, real, or simply analyzing definitions. This is appropriate, since analyses are i...
متن کاملNew Definitions and Separations for Circular Security
Traditional definitions of encryption security guarantee secrecy for any plaintext that can be computed by an outside adversary. In some settings, such as anonymous credential or disk encryption systems, this is not enough, because these applications encrypt messages that depend on the secret key. A natural question to ask is do standard definitions capture these scenarios? One area of interest...
متن کاملSolovay-Type theorems for circular Definitions
We present an extension of the basic revision theory of circular definitions with a unary operator, 2. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over ci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2017
ISSN: 1448-5052
DOI: 10.26686/ajl.v14i1.4030