Talk:Extension (predicate logic)
From Wikipedia, the free encyclopedia
 |
|||||
| Mathematics rating: | Stub Class | Low Priority | Field: Foundations, logic, and set theory | ||
| Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article. | |||||
I created this page because I need to refer to the extension of a predicate in material I wish to include in the relational model and related pages such as relational algebra. However, I am strictly an amateur in the field of logic and I will willingly bow to superior knowledge if my definition is found wanting or insufficiently formal. If the latter, perhaps my example can be usefully kept anyway.
AndrewWarden 16:43, 2 February 2006 (UTC)
I'm a postgraduate student working in logic and computational semantics, and found your description to be somewhat misleading. In semantics an extension is usually some kind of denotation, something that's semantic in nature, while an intension is some kind of symbolic surface form, something syntactic in nature. I've changed your article to reflect a definition which I believe to be more compatible with the definitions I've found in several logic textbooks.
RichardBergmair 17:20, 8 April 2008 (UTC)
