Talk:Extension (predicate logic)

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)

Predicate vs statement
This article uses the terms predicate and statement interchangeably. Are they the same? --Abdull (talk) 14:59, 25 October 2009 (UTC)