| |
| | Computational Platonism (Site not responding. Last check: 2007-10-29) |
 | | The forms are abstractions, "one on many", as they explain how it is that different objects can be similar, mapping one object to many forms, and one form to many objects. |
 | | This form within a form could be applied internally, within the S-expression, to either "Jane", or any of the first names in Jane's family, such as that of her husband John. |
 | | The only way the lambda-forms can be equivalent to the Platonic forms is if we view the lambda-calculus as a language for talking about the forms, but recognize that the details of the language are completely irrelevant to the nature of the forms themselves, provided the language is at least as expressive as the lambda-calculus. |
| home.ican.net /~arandall/Plato (8331 words) |
|