| 
|
Quote: handle a partially defined predicate by specifying its extension (true for these) and anti-extension (false for these); e.g., three-valued logic
topics >
all references >
references i-l >
Topic:
logic
Topic:
definition by example
Topic:
set definition by extension or intension
Quotation Skeleton
To carry out these ideas, we need a … a monadic predicate P(x) is interpreted as a … is its anti- extension. P(x) is to be … One appropriate scheme for handling connectives is Kleene's … and undefined if P is undefined. A disjunction … true, false, or undefined; it is false if … disjunction and negation in the usual way. … [Kleene, SC, Introduction to Metamathematics 1952]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: definition by example (26 items)
Topic: set definition by extension or intension (18 items)