CAN MODALITIES SAVE NAIVE SET THEORY?
نویسندگان
چکیده
منابع مشابه
Can Modalities Save Naive Set Theory?
History The late Grisha Mints asked Scott whether a naive set theory could be consistent in modal logic. Here are two modal forms of comprehension: (∃y)(∀x)(x ∈ y ↔ ϕ) (Comp) (∃y)(∀x)(x ∈ y ↔ ϕ) (Comp) At the time (2009) neither he nor Scott knew the answer. In the most commonly used systems, where the Converse Barcan Formula (∀xϕ → ∀xϕ) is derivable, (Comp) follows from another comprehension p...
متن کاملNaive Set Theory and Nontransitive Logic
In a recent series of papers, I and others have advanced new logical approaches to familiar paradoxes. The key to these approaches is to accept full classical logic, and to accept the principles that cause paradox, while preventing trouble by allowing a certain sort of nontransitivity. Earlier papers have treated paradoxes of truth and vagueness. The present paper will begin to extend the appro...
متن کاملSave Can
This article discusses the possibilities that a deeper engagement with the work of Gabriel Tarde opens for Actor-Network Theory (ANT). It argues that the combination of ANT’s methodological and analytical orientation and Tarde’s neo-monadology offers an appropriate framework for the study of new forms of political activism. Findings from an ethnographic research on the conflict surrounding the ...
متن کاملLight Affine Set Theory: A Naive Set Theory of Polynomial Time
In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in...
متن کاملCan lean save lives?
PURPOSE The purpose of this paper is to show how over the last 18 months Bolton Hospitals NHS Trust have been exploring whether or not lean methodologies, often known as the Toyota Production System, can indeed be applied to healthcare. DESIGN/METHODOLOGY/APPROACH This paper is a viewpoint. FINDINGS One's early experience is that lean really can save lives. The Toyota Production System is a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2017
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020317000168