This paper addresses the notion of dialectics in linguistic bodies theory. First, it presents as a three-aspect concept, namely, ontological aspect, methodological and dialectical model. Subsequently, discusses aspect model and, based on enactivist notions concreteness abstraction, suggests that can be conceived two-fold concept: epistemological. suggestion intends to avoid paradox we are led b...

This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless su cient for the formalization of significant, non-trivial modal logic proofs. The elegance, flexibility and convenience of this approach, from a user perspective, are illustrated here with the successful...

Nowadays many ontological editors are available. However, several specific requirements forced us to search for new principles and to develop a new ontology edition platform called DL-workbench. The platform combines research experience of model-based software architectures and knowledge based engineering. We applied the metainformatics principles in order to satisfy growing requirements of our...

ibn abi- jumhur ahsa’i, a prominent thinker of the shi’ite sage, who was alive until the early era of the safavid dynasty, can be called “the founder” because of his revolution in the form and method as well as in the theological attitude of shi'ite kalam, and since this revolution is fulfilled through illuminative wisdom, he has to be called “the founder of illuminative shi'ite kalam...

This paper seeks to examine the effect of the revolutions of 2011-2012 in the Arabic countries of the Middle East and North Africa (MENA) on Israeli regime's ontological security and its strategy of closure and deviation in the regional level. In other word, the paper tries to find the challenges the ontological security and identity of Israel is facing with after the occurrence of the awakenin...

In formal ontology, entity types and relationships are philosophically defined, and the properties of objects are classified on the basis of sortality, rigidity, and identity (called property classification). Sorts and unary predicates are semantically identical in order-sorted logic, but they are respectively sortal and non-sortal (i.e., they are distinguished) in a formal ontology. This ontol...

Expanding on the recent call for a 'critical medical humanities' to intervene in questions of the ontology of health, this article develops a what we call a 'speculative' orientation to such interventions in relation to some of the ontological commitments on which contemporary biomedical cultures rest. We argue that crucial to this task is an approach to ontology that treats it not as a questio...