84:
74:
53:
22:
174:
are two aspects of a single principle, for instead of saying that '(x(x=x)' implies 'Socrates is
Socrates', we could as well say that the denial 'Socrates≠Socrates' implies '(∃x(x≠x)'. The principle embodied in these two operations is the link between
140:
179:
and the singular statements that are related to them as instances. Yet it is a principle only by courtesy. It holds only in the case where a term names and, furthermore, occurs
332:
130:
327:
106:
163:
I am reading Quine at the moment (quintessence, extensionalism, Reference and
Modality. From this I would like to add to this article:
97:
58:
33:
309:
216:
195:
21:
167:
305:
39:
83:
212:
191:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
208:
Ok, since no one has seen fit to leave any comments at all, I will edit the article now.
313:
220:
199:
176:
321:
286:
is tacitly universally quantified, this looks ok. However, another example would be
102:
79:
180:
304:(no occurrences at all instantiated) this is wrong on an empty domain. -
240:
Quine,W.V.O., Quintessence, Extensionalism, Reference and
Modality, P366
15:
101:, a collaborative effort to improve the coverage of
253:An example for only some free occurrences of
8:
19:
47:
282:. Assuming that the free occurrence of
233:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
333:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
328:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
187:Any ideas, remarks, or changes?
135:This article has been rated as
1:
314:16:25, 26 February 2022 (UTC)
221:06:42, 13 February 2012 (UTC)
109:and see a list of open tasks.
200:05:57, 6 February 2012 (UTC)
349:
172:Existential Generalization
134:
67:
46:
141:project's priority scale
168:Universal instantiation
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
278:for some relation
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
340:
306:Jochen Burghardt
241:
238:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
348:
347:
343:
342:
341:
339:
338:
337:
318:
317:
251:
246:
245:
244:
239:
235:
177:quantifications
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
346:
344:
336:
335:
330:
320:
319:
302:
301:
276:
275:
250:
249:Fitch notation
247:
243:
242:
232:
231:
227:
226:
225:
224:
223:
213:Fan Singh Long
209:
203:
202:
192:Fan Singh Long
188:
165:
164:
159:
156:
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:
345:
334:
331:
329:
326:
325:
323:
316:
315:
311:
307:
299:
296:
292:
289:
288:
287:
285:
281:
274:
271:
267:
264:
263:
262:
260:
256:
248:
237:
234:
230:
222:
218:
214:
210:
207:
206:
205:
204:
201:
197:
193:
189:
186:
185:
184:
182:
181:referentially
178:
173:
169:
162:
161:
157:
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:
303:
297:
294:
290:
283:
279:
277:
272:
269:
265:
258:
257:replaced by
254:
252:
236:
228:
171:
166:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
322:Categories
229:References
261:would be
139:on the
36:scale.
298:x R x
291:x R x
273:x R x
266:x R a
158:Quine
310:talk
217:talk
196:talk
170:and
293:→ ∃
268:→ ∃
131:Mid
324::
312:)
219:)
211:--
198:)
190:--
183:.
308:(
300:.
295:x
284:x
280:R
270:x
259:a
255:x
215:(
194:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.