Kuhn's Formalization
The PFL syntax, primitives, and axioms described in this section are largely Kuhn's (1983). The semantics of the functors are Quine's (1982). The rest of this entry incorporates some terminology from Bacon (1985).
Read more about this topic: Predicate Functor Logic
Famous quotes containing the word kuhn:
“I don’t like comparisons with football. Baseball is an entirely different game. You can watch a tight, well-played football game, but it isn’t exciting if half the stadium is empty. The violence on the field must bounce off a lot of people. But you can go to a ball park on a quiet Tuesday afternoon with only a few thousand people in the place and thoroughly enjoy a one-sided game. Baseball has an aesthetic, intellectual appeal found in no other team sport.”
—Bowie Kuhn (b. 1926)