View year:

  1.  15
    Basics of Second-Order Predicate Logic.Nijaz Ibrulj - 2023 - The Logical Foresight 3 (1):1-14.
    The article presents the basics of second-order predicate logic (SOL). The need for a symbolic representation of the general quantifier is pointed out. A distinction is made between the first-order predicate logic (FOL) and the second-order predicate logic (predicates of predicates, relations of relations). The syntax and semantics of the second-order predicate logic are introduced. Logical and non-logical designators and operators, terms, rules for forming logical formulas, status of variables, and rules for variable substitution are introduced. Reference is made to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  29
    Aristotle's First Philosophy as Analytical Epistemology.Nijaz Ibrulj - 2023 - The Logical Foresight 3 (1):35-48.
    We analyze metaphysical foundations of the logical and epistemological construction of knowledge in Aristotle's First Philosophy. The possibility to define this construction as analytical epistemology is deduced from the fact that Aristotle used the term substance (ousía) in many equivalent expressions and different semantic roles, but with the same meaning. The basis for that is a semantic convertibility (antístrephein) of the concept of substance (or "what is", or the "essence" of being) in each of the fields of knowledge. Here we (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues