منابع مشابه
Classifying Predicates and Languages
The present paper studies a particular collection of classi cation problems, i.e., the classi cation of recursive predicates and languages, for arriving at a deeper understanding of what classi cation really is. In particular, the classi cation of predicates and languages is compared with the classi cation of arbitrary recursive functions and with their learnability. The investigation undertake...
متن کاملNormative Predicates and Vagueness
Almost every theory of vagueness shares at least one feature: it uses, and in most cases heavily relies on, some kind of normative predicate (or predicates) in its metalanguage. Metalinguistic normative predicates are discussed chiefly by supervaluationists and other defenders of higher-order vagueness. According to this group of theorists, the existence of higher-order vagueness depends on and...
متن کاملConvex Predicates and Induction
Gardenfors [3] proposed convexity as a non-logical criterion for predicates that are amenable to induction. Some well-known paradoxes appear to be resolvable using this criterion. In this paper we show that the convexity criterion subsumes classical mathematical induction if a transitivity assumption is made. This provides independent evidence for the viability of the criterion since classical ...
متن کاملModal Predicates
Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated ...
متن کاملScheduling Predicates
In this report we present a powerful new synchronisation mechanism called scheduling predicates These predicates there are no there exists and for all allow the programmer to schedule the order of execution of operations based on relative arrival times values of parameters and built in synchronisation counters Since many synchronisation problems are in fact scheduling problems these facilitate ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Crítica (México D. F. En línea)
سال: 1981
ISSN: 1870-4905,0011-1503
DOI: 10.22201/iifs.18704905e.1981.378