logical form or covert syntax is a syntactic level introduced in recent generative approaches. using the ideas of first-order predicate logic, it interprets the strings whose elements cannot move in s–structure, because an element moves if it does not acquire its necessary scope. but unlike the predicate logic, logical form is based on syntactic principles and rules. therefore, logical form is ...

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...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...

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 ...