TY - JOUR T1 - Teória kvantifikácie a binárne predikáty JF - Organon F Y1 - 2012 A1 - Kosterec, Miloš KW - model KW - quantifier KW - relation KW - semantic content KW - truth value AB - The paper deals with a problem in formal theory of quan tification. Firstly, by way of examples, I introduce important parts of the theory. Using type analysis, I present a problem which stems from inadequacy of a rule concerning semantic interpretation of sentences involving n-ary predicates and quantifiers. I propose four distinct principles for specific types of sentences. They are generalized into a general semantic rule, which is, finally, applied to particular examples. IS - 3 VL - 19 SP - 388-402 UR - http://www.klemens.sav.sk/fiusav/doc/organon/2012/3/388-402.pdf U2 - Papers U3 - 388402 TI - Theory of Quantification and Binary Predicates ER -