The problem of finding palindromes in strings appears in many variants: find exact palindromes, ignore punctuation in palindromes, require space around palindromes, etc. This paper introduces several predicates that represent variants of the problem of finding palindromes in strings. It also introduces properties for palindrome predicates, and shows which predicates satisfy which properties. Th...

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. ...

The logic of paradox (LP) [3, 13] is very well known in philosophy as a logic that accommodates ‘non-trivial glutty theories’ (theories that are negation inconsistent but don’t contain all sentences). We highlight a lesser known logic, namely, the logic of antinomies (LA) from Asenjo and Tamburino’s 1975 article [5], and compare it with LP. We argue that the differences between the logics resul...

Strong variants of the Operator Speed-up Theorem, Operator Gap Theorem and Compression Theorem are obtained using an effective version of Baire Category Theorem. It is also shown that all complexity classes of recursive predicates have effective measure zero in the space of recursive predicates and, on the other hand, the class of predicates with almost everywhere complexity above an arbitrary ...

in this article, after reviewing the difference between fundamentalist and anti-fundamentalist philosophy, the features of the rationality will be explained from the perspective of five anti-fundamentalist philosophers (habermas, richard rorty, macintyre, michel foucault and hayek). the common point stated by all these philosophers is that they all criticize metaphysics and doubt about the basi...

This paper summarizes some of the research on verb predicates that has taken place at the University of Central Florida during the last few years. It also describes how this research may be related to the MEANING project. The point is made that the de nition of predicates linked to a general ontology, such as that of WordNet, and to grammatical relations can solve the crucial issues of verb and...

We consider accelerating machine learning (ML) inference queries on unstructured datasets. Expensive operators such as feature extractors and classifiers are deployed user-defined functions (UDFs), which not penetrable with classic query optimization techniques predicate push-down. Recent schemes (e.g., Probabilistic Predicates or PP) assume independence among the predicates, build a proxy mode...

Vague predicates such as heap, tall, bald, near to, nicer than, etc. are characterized by their Sorites susceptibility and the existence of borderline cases. In attempting to develop a general theory, diverse vague predicates are often analyzed in rather broad natural language settings. Because this has proven to be rather difficult, the phenomenon of vagueness is studied here in a narrower and...