84:
74:
53:
427:
411:
192:
22:
182:
158:
254:
313:
282:
323:
488:
As somebody who understands this stuff, I think it's (unfortunately) not reasonable to remove much of the jargon. Much of this article is philosophy, but it is primarily an article about mathematical logic. The difference between first order and second order statements and sentences is very
511:-- I added the parenthetical above, but I am actually not well versed in the subject and so someone with more familiarity should probably review that change and add a more appropriate clarification if this one is not correct. I based my understanding on:
466:"Boolos argued that 2nd-order monadic existential quantification may be systematically interpreted in terms of plural existential quantification, and that, therefore, 2nd-order monadic existential quantification is 'ontologically innocent'".
140:
489:
technical, and cannot really be dumbed down. This sort of technical language is necessary for many articles dealing heavily with mathematics, especially when dealing with metamathematics.
565:
610:
570:
508:
If x is a singular variable symbol and \bar{y} is a plural variable symbol, then x \prec \bar{y} is a sentence (where ≺ is usually interpretted as the relation "is one of")
463:"Kaplan proves that it is nonfirstorderizable by showing its second-order translation to be true in every nonstandard model of arithmetic but false in every standard one."
605:
615:
560:
238:
344:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
263:
168:
244:
585:
381:
371:
550:
130:
575:
555:
545:
434:
296:
580:
595:
214:
106:
346:
590:
522:
600:
205:
163:
97:
58:
336:
287:
33:
418:
292:
474:, but have hardly any clue what they might mean in combination) needs to "tone it down" for idiots like me. :-P
21:
526:
494:
479:
490:
39:
83:
518:
213:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
197:
89:
73:
52:
475:
328:
470:
Whaaaaaaaaatttt? Somebody who understands this stuff (I've used most of the preceding
426:
410:
539:
512:
530:
498:
483:
210:
102:
191:
341:
318:
187:
79:
340:, a collaborative effort to improve the coverage of content related to
253:
181:
157:
459:
I've tagged this article as containing too much jargon. For example:
312:
281:
15:
425:
409:
252:
209:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
392:
243:This article has not yet received a rating on the
513:http://plato.stanford.edu/entries/plural-quant/
8:
566:Start-Class Theoretical Linguistics articles
611:Low-importance Analytic philosophy articles
571:Theoretical Linguistics Task Force articles
19:
516:
389:
276:
152:
47:
606:Start-Class Analytic philosophy articles
515:-- Thanks, LordBrain (forgot password)
616:Analytic philosophy task force articles
561:Unknown-importance Linguistics articles
278:
154:
49:
350:about philosophy content on Knowledge.
7:
334:This article is within the scope of
203:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
586:Low-importance Philosophy articles
264:Theoretical Linguistics Task Force
14:
551:Low-priority mathematics articles
223:Knowledge:WikiProject Linguistics
115:Knowledge:WikiProject Mathematics
576:WikiProject Linguistics articles
556:Start-Class Linguistics articles
546:Start-Class mathematics articles
356:Knowledge:WikiProject Philosophy
321:
311:
280:
226:Template:WikiProject Linguistics
190:
180:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
581:Start-Class Philosophy articles
376:This article has been rated as
359:Template:WikiProject Philosophy
135:This article has been rated as
1:
596:Low-importance logic articles
499:19:56, 20 February 2022 (UTC)
261:This article is supported by
217:and see a list of open tasks.
109:and see a list of open tasks.
531:08:51, 14 January 2015 (UTC)
632:
591:Start-Class logic articles
382:project's importance scale
245:project's importance scale
601:Logic task force articles
484:18:32, 4 April 2010 (UTC)
433:
417:
388:
375:
306:
260:
242:
175:
134:
67:
46:
141:project's priority scale
393:Associated task forces:
206:WikiProject Linguistics
169:Theoretical Linguistics
98:WikiProject Mathematics
430:
414:
337:WikiProject Philosophy
257:
28:This article is rated
429:
413:
256:
229:Linguistics articles
121:mathematics articles
435:Analytic philosophy
362:Philosophy articles
431:
415:
347:general discussion
258:
198:Linguistics portal
90:Mathematics portal
34:content assessment
533:
521:comment added by
452:
451:
448:
447:
444:
443:
440:
439:
329:Philosophy portal
275:
274:
271:
270:
151:
150:
147:
146:
623:
400:
390:
364:
363:
360:
357:
354:
331:
326:
325:
324:
315:
308:
307:
302:
299:
284:
277:
231:
230:
227:
224:
221:
200:
195:
194:
184:
177:
176:
171:
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
631:
630:
626:
625:
624:
622:
621:
620:
536:
535:
534:
506:
457:
398:
361:
358:
355:
352:
351:
327:
322:
320:
300:
290:
228:
225:
222:
219:
218:
196:
189:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
629:
627:
619:
618:
613:
608:
603:
598:
593:
588:
583:
578:
573:
568:
563:
558:
553:
548:
538:
537:
510:
505:
504:Request review
502:
468:
467:
464:
456:
453:
450:
449:
446:
445:
442:
441:
438:
437:
432:
422:
421:
416:
406:
405:
403:
401:
395:
394:
386:
385:
378:Low-importance
374:
368:
367:
365:
333:
332:
316:
304:
303:
301:Low‑importance
285:
273:
272:
269:
268:
259:
249:
248:
241:
235:
234:
232:
215:the discussion
202:
201:
185:
173:
172:
161:
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:
628:
617:
614:
612:
609:
607:
604:
602:
599:
597:
594:
592:
589:
587:
584:
582:
579:
577:
574:
572:
569:
567:
564:
562:
559:
557:
554:
552:
549:
547:
544:
543:
541:
532:
528:
524:
523:24.110.50.184
520:
514:
509:
503:
501:
500:
496:
492:
491:Jade Vanadium
486:
485:
481:
477:
473:
465:
462:
461:
460:
454:
436:
428:
424:
423:
420:
412:
408:
407:
404:
402:
397:
396:
391:
387:
383:
379:
373:
370:
369:
366:
349:
348:
343:
339:
338:
330:
319:
317:
314:
310:
309:
305:
298:
294:
289:
286:
283:
279:
266:
265:
255:
251:
250:
246:
240:
237:
236:
233:
216:
212:
208:
207:
199:
193:
188:
186:
183:
179:
178:
174:
170:
165:
162:
159:
155:
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:
517:— Preceding
507:
487:
476:Cosmic Latte
471:
469:
458:
377:
345:
335:
262:
204:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
220:Linguistics
211:linguistics
164:Linguistics
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
540:Categories
353:Philosophy
342:philosophy
288:Philosophy
519:unsigned
297:Analytic
380:on the
139:on the
455:Jargon
36:scale.
472:words
419:Logic
293:Logic
527:talk
495:talk
480:talk
372:Low
239:???
131:Low
542::
529:)
497:)
482:)
399:/
295:/
291::
167::
525:(
493:(
478:(
384:.
267:.
247:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.