Teória kvantifikácie a binárne predikáty
Theory of Quantification and Binary Predicates

Summary/Abstract: The paper deals with a problem in formal theory of quantification. 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.

• Details
• Contents