613:
151:
to be the same as the "indiscernibility of identicals". Given a true statement, one of its two terms may be substituted for the other in any true statement and the result will be true. He continues to show that depending on context, the statement may change in value. In fact, the whole
367:
404:
360:
635:
616:
353:
597:
568:
509:
650:
100:
In
Chapter 20, Definition 1, Leibniz writes: "Terms which can be substituted for one another wherever we please
640:
492:
189:
are true; however, replacement of the name 'Giorgione' by the name 'Barbarelli' turns (2) into the falsehood:
417:
399:
645:
438:
248:
376:
558:
531:
482:
428:
394:
144:
487:
433:
221:
153:
463:
410:
323:
28:) is the logical condition by which two expressions may be interchanged without altering the
548:
476:
8:
231:
226:
205:
519:
448:
237:
74:
469:
458:
578:
423:
243:
37:
159:
of necessity is dependent on context and empty otherwise; for it collapses if
629:
453:
443:
345:
340:
514:
156:
29:
588:
17:
85:
In
Chapter 19, Definition 1, Leibniz writes: "Two terms are the same (
209:
525:
504:
117:
54:
160:
121:
212:"Giorgione", an Italian name roughly glossed as "Big George."
127:
120:' and 'trilateral', for in every proposition demonstrated by
44:
32:
of statements in which the expressions occur. Substitution
124:
concerning 'triangle', 'trilateral' can be substituted
61:" meaning "rescue," "salvation," or "welfare," and "
627:
198:Barbarelli was so-called because of his size.
375:
361:
183:Giorgione was so-called because of his size
102:without altering the truth of any statement
91:without altering the truth of any statement
368:
354:
89:) if one can be substituted for the other
53:" is "with (or by) unharmed truth", using
73:The phrase occurs in two fragments from
628:
349:
308:Quintessence: Reference and Modality
295:Quintessence: Reference and Modality
282:Quintessence: Reference and Modality
36:of co-extensional terms can fail in
13:
14:
662:
569:New Essays on Human Understanding
510:Transcendental law of homogeneity
334:
65:" meaning "reality" or "truth".
612:
611:
79:General Science. Characteristics
317:
204:Quine's example here refers to
43:The literal translation of the
300:
287:
274:
261:
1:
598:Leibniz–Clarke correspondence
254:
166:For example, the statements:
197:
182:
174:
7:
418:Characteristica universalis
400:Best of all possible worlds
269:Logic, Language and Meaning
215:
10:
667:
439:Identity of indiscernibles
328:A Survey of Symbolic Logic
249:Without loss of generality
194:
179:
171:
68:
636:Gottfried Wilhelm Leibniz
609:
540:
383:
377:Gottfried Wilhelm Leibniz
559:Discourse on Metaphysics
341:Philosophical Dictionary
175:Giorgione = Barbarelli,
139:
651:Willard Van Orman Quine
532:Well-founded phenomenon
483:Pre-established harmony
395:Alternating series test
222:Propositional attitude
641:Latin logical phrases
411:Calculus ratiocinator
324:Clarence Irving Lewis
147:takes substitutivity
549:De Arte Combinatoria
477:Mathesis universalis
405:Calculus controversy
297:, 2004, pp. 356–357
232:Rule of replacement
227:Referential opacity
26:intersubstitutivity
464:Leibniz's notation
330:, Appendix, Dover.
206:Giorgio Barbarelli
55:ablative of manner
646:Concepts in logic
623:
622:
601:(1715–1716)
520:Universal science
493:Sufficient reason
449:Law of continuity
238:Salva congruitate
202:
201:
187:
186:
116:). For example, '
112:) or coincident (
108:), are the same (
75:Gottfried Leibniz
658:
615:
614:
602:
594:
584:
574:
564:
554:
470:Lingua generalis
370:
363:
356:
347:
346:
311:
304:
298:
291:
285:
278:
272:
265:
192:
191:
169:
168:
126:without loss of
666:
665:
661:
660:
659:
657:
656:
655:
626:
625:
624:
619:
605:
600:
592:
582:
572:
562:
552:
536:
388:
386:
385:Mathematics and
379:
374:
337:
320:
315:
314:
305:
301:
292:
288:
279:
275:
266:
262:
257:
218:
142:
71:
38:opaque contexts
12:
11:
5:
664:
654:
653:
648:
643:
638:
621:
620:
610:
607:
606:
604:
603:
595:
585:
575:
565:
555:
544:
542:
538:
537:
535:
534:
529:
522:
517:
512:
507:
502:
499:Salva veritate
495:
490:
485:
480:
473:
466:
461:
456:
451:
446:
441:
436:
431:
426:
424:Compossibility
421:
414:
407:
402:
397:
391:
389:
384:
381:
380:
373:
372:
365:
358:
350:
344:
343:
336:
335:External links
333:
332:
331:
319:
316:
313:
312:
310:, 2004, p. 361
306:W.V.O. Quine,
299:
293:W.V.O. Quine,
286:
284:, 2004, p. 378
280:W.V.O. Quine,
273:
267:L.T.F. Gamut,
259:
258:
256:
253:
252:
251:
246:
244:Truth function
241:
234:
229:
224:
217:
214:
200:
199:
196:
185:
184:
181:
177:
176:
173:
163:is withdrawn.
149:salva veritate
141:
138:
137:
136:
133:salva veritate
106:salva veritate
98:
95:salva veritate
70:
67:
50:salva veritate
34:salva veritate
22:salva veritate
9:
6:
4:
3:
2:
663:
652:
649:
647:
644:
642:
639:
637:
634:
633:
631:
618:
608:
599:
596:
591:
590:
586:
581:
580:
576:
571:
570:
566:
561:
560:
556:
551:
550:
546:
545:
543:
539:
533:
530:
528:
527:
523:
521:
518:
516:
513:
511:
508:
506:
503:
501:
500:
496:
494:
491:
489:
486:
484:
481:
479:
478:
474:
472:
471:
467:
465:
462:
460:
459:Leibniz's gap
457:
455:
454:Leibniz wheel
452:
450:
447:
445:
444:Individuation
442:
440:
437:
435:
432:
430:
427:
425:
422:
420:
419:
415:
413:
412:
408:
406:
403:
401:
398:
396:
393:
392:
390:
382:
378:
371:
366:
364:
359:
357:
352:
351:
348:
342:
339:
338:
329:
325:
322:
321:
309:
303:
296:
290:
283:
277:
270:
264:
260:
250:
247:
245:
242:
240:
239:
235:
233:
230:
228:
225:
223:
220:
219:
213:
211:
207:
193:
190:
178:
170:
167:
164:
162:
158:
155:
150:
146:
134:
130:
129:
123:
119:
115:
111:
107:
103:
99:
96:
92:
88:
84:
83:
82:
80:
76:
66:
64:
60:
56:
52:
51:
46:
41:
39:
35:
31:
27:
23:
19:
587:
577:
567:
557:
547:
524:
498:
497:
475:
468:
416:
409:
327:
318:Bibliography
307:
302:
294:
289:
281:
276:
268:
263:
236:
203:
188:
165:
148:
145:W.V.O. Quine
143:
132:
125:
114:coincidentia
113:
109:
105:
101:
94:
90:
86:
78:
72:
62:
58:
49:
48:
42:
33:
25:
21:
15:
515:Rationalism
157:modal logic
30:truth-value
630:Categories
589:Monadology
429:Difference
387:philosophy
255:References
154:quantified
18:philosophy
579:Théodicée
488:Plenitude
210:sobriquet
617:Category
526:Vis viva
505:Theodicy
434:Dynamism
216:See also
118:triangle
63:veritate
195:
161:essence
69:Leibniz
593:(1714)
583:(1710)
573:(1704)
563:(1686)
553:(1666)
271:, 1991
122:Euclid
541:Works
140:Quine
128:truth
110:eadem
87:eadem
59:salva
45:Latin
180:(2)
172:(1)
24:(or
208:'s
135:)."
97:)."
77:'s
57:: "
16:In
632::
326:,
81::
40:.
20:,
369:e
362:t
355:v
131:(
104:(
93:(
47:"
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.