84:
74:
53:
22:
176:
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
165:. 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.
140:
177:
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.
229:
130:
224:
106:
97:
58:
33:
157:
I created this page because I need to refer to the extension of a predicate in material I wish to include in the
21:
39:
83:
180:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
162:
89:
73:
52:
168:
206:
158:
210:
183:
171:
218:
202:
102:
79:
15:
101:, a collaborative effort to improve the coverage of
8:
47:
19:
49:
201:interchangeably. Are they the same? --
7:
95:This article is within the scope of
38:It is of interest to the following
14:
230:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
225:Stub-Class mathematics articles
135:This article has been rated as
1:
109:and see a list of open tasks.
211:14:59, 25 October 2009 (UTC)
193:This article uses the terms
172:16:43, 2 February 2006 (UTC)
246:
161:and related pages such as
184:17:20, 8 April 2008 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
189:Predicate vs statement
28:This article is rated
121:mathematics articles
163:relational algebra
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
237:
159:relational model
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
245:
244:
240:
239:
238:
236:
235:
234:
215:
214:
191:
181:RichardBergmair
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
243:
241:
233:
232:
227:
217:
216:
190:
187:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
242:
231:
228:
226:
223:
222:
220:
213:
212:
208:
204:
200:
196:
188:
186:
185:
182:
178:
174:
173:
170:
166:
164:
160:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
198:
194:
192:
179:
175:
169:AndrewWarden
167:
156:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
219:Categories
30:Stub-class
199:statement
195:predicate
139:on the
203:Abdull
36:scale.
207:talk
197:and
131:Low
221::
209:)
205:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.