## Indicator Functions • Discussion 1

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers.

There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical logic to what were generally known as “AI problems”, like perception and pattern recognition, and the one I found increasingly useful as I took up the reflective stance on symbolic computation afforded by Peirce’s pragmatic semiotics, may be described as follows:

In many applications a predicate is a function from a universe of discourse $X$ to a binary value in $\mathbb{B} = \{0, 1\},$ that is, a characteristic function or indicator function $f : X \to \mathbb{B},$ and $f^{-1}(1),$ the fiber of $1$ under $f,$ is the set of elements denoted or indicated by the predicate.  That is the semantics, anyway.  As far as syntax goes, there are many formal languages whose syntactic expressions serve as names for those functions and nominally speaking one may call those names predicates.

### 1 Response to Indicator Functions • Discussion 1

1. Alex Shkotin says:

It would be great from the very beginning to talk about truth-values as an idea behind {0, 1}.  As in some logic, we may have 3 values, [0…1] etc.

This site uses Akismet to reduce spam. Learn how your comment data is processed.