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:
“In a sense that I am unable to explicate further, the proponents of competing paradigms practice their trades in different worlds.”
—Thomas S. Kuhn (1922)