heidegger has always emphasized that husserl’s logical investigations has a major share on providing the base of the basic questions in being and time. this paper is, according to the basic question of being and time, which is the question of being, discusses how logical investigations aid heidegger to elaborate this question. among the six investigations it is especially the sixth investigatio...

Logical systems are represented in LF by giving a full and faithful (adequate) embedding of the deductive apparatus of the logic as canonical forms of certain types and kinds in LF in specified contexts. The collection of contexts over which the representation is adequate is called a world, because it provides generators for the canonical forms in question. Transferring adequacy from one world ...

Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...

the logical treatise al-muhja has been attributed to avicenna in some bibliographies of logical treatises. since a proper understanding of the development of avicennian logic rests on the identification and consideration of the entire corpus of his logical works, the task of the present study is to investigate the validity of ascription of this treatise to avicenna. in carrying out an analysis ...