Paradoxes, Self-Referentiality, and Hybrid Systems: A Constructive Approach
نویسندگان
چکیده
منابع مشابه
Constructive Logic and the Paradoxes
Heyting’s formalization of intuitionistic mathematics started many discussions about the meaning of the logical connectives in terms of proof and construction. We focus on the ideas and results related to the interpretation of implication and on formal systems that have different rules for implication. Some of these systems are not intended to contribute to the discussions mentioned above, but ...
متن کاملSelf-referentiality of Justified Knowledge
The language of justification logic makes it possible to define what it means for knowledge/belief described by an epistemic modality to be self-referential. Building on an earlier result that S4 and its justification counterpart LP describe knowledge that is self-referential, we show that the same is true for K4, D4, and T with their justification counterparts, whereas for K and D self-referen...
متن کاملConstructive global analysis of hybrid systems
Many systems of interest are dynamic systems whose behavior is determined by the interaction of continuous and discrete dynamics. These systems typically contain variables or signals that take values from a continuous set and also variables that take values from a discrete, typically finite set. These continuous or discrete-valued variables or signals depend on independent variables such as tim...
متن کاملA constructive approach for the design of self-synchronizing dynamical systems: an application to communications
This paper addresses the problem of self-synchronization of dynamical systems in a so-called master-slave configuration. The study is motivated by potential cryptographic applications. It is shown that the notion of flatness is central for guaranteeing self-synchronization and that the concept of transmissions zeros plays also an important role. We motivate the fact that switched linear systems...
متن کاملA typology of systems paradoxes
Philosophers have studied paradoxes for millennia. The term paradox is appearing increasingly outside of philosophy, and researchers seek to understand them in common situations. By understanding these phenomena, systems engineers may develop better strategies to deal with them when encountered in business or projects. However, what is meant by the term systems paradox and are there different t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Journal of Philosophy
سال: 2017
ISSN: 2163-9434,2163-9442
DOI: 10.4236/ojpp.2017.71004