673:
914:
63:
In the notation, variables are ambiguous in denotation, preserve a recognizable identity appearing in various places in logical statements within a given context, and have a range of possible determination between any two variables which is the same or different. When the possible determination is
64:
the same for both variables, then one implies the other; otherwise, the possible determination of one given to the other produces a meaningless phrase. The alphabetic symbol set for variables includes the lower and upper case Roman letters as well as many from the Greek alphabet.
404:
are also used to show groupings of functions of propositions. In the above example, the dot before the final implication function symbol groups all of the previous functions on that line together as the antecedent to the final consequent.
396:
310:
552:
235:
272:
342:
198:
157:
120:
50:"The notation adopted in the present work is based upon that of Peano, and the following explanations are to some extent modelled on those which he prefixes to his
412:
as complex functions of propositions, using the equals sign "=" to separate the defined term from its symbolic definition, ending with the letters "Df".
545:
868:
900:
538:
583:
208:
The implicative function applied to two ordered propositions returns the truth value of the first implying the second proposition.
850:
728:
760:
620:
736:
522:
918:
895:
832:
844:
838:
776:
360:
277:
862:
826:
628:
688:
784:
768:
591:
712:
885:
744:
214:
606:
251:
43:
324:
177:
938:
704:
136:
38:
102:
720:
658:
8:
820:
802:
752:
601:
17:
491:
856:
814:
633:
561:
25:
672:
509:
596:
517:
29:
347:
An asserted proposition is either true or an error on the part of the writer.
932:
890:
808:
96:
The contradictory function applied to a proposition returns its negation.
696:
168:
495:
130:
The logical sum applied to two propositions returns their disjunction.
54:." (Chapter I: Preliminary Explanations of Ideas and Notations, page 4)
530:
318:
is same as the making of a statement between two full stops.
33:
167:
The logical product applied to two propositions returns the
240:
67:
486:
Russell, Bertrand and Alfred North
Whitehead (1910).
363:
327:
280:
254:
217:
180:
139:
105:
582:
390:
336:
304:
266:
229:
192:
151:
114:
930:
570:British philosopher, logician, and social critic
171:of both propositions being simultaneously true.
869:Henrietta Stanley, Baroness Stanley of Alderley
619:
32:'s logical notation to the logical notions of
546:
391:{\displaystyle p\cdot p\supset q.\supset q}
646:
553:
539:
490:Cambridge, England: The University Press.
305:{\displaystyle p\supset q\cdot q\supset p}
91:
851:Katharine Russell, Viscountess Amberley
729:Introduction to Mathematical Philosophy
203:
72:The four fundamental functions are the
931:
761:In Praise of Idleness and Other Essays
241:More complex functions of propositions
534:
68:Fundamental functions of propositions
737:Free Thought and Official Propaganda
560:
400:In addition to the logical product,
919:Category: Works by Bertrand Russell
523:Stanford Encyclopedia of Philosophy
13:
507:
162:
14:
950:
501:
913:
912:
833:Conrad Russell, 5th Earl Russell
671:
845:John Russell, Viscount Amberley
839:Frank Russell, 2nd Earl Russell
777:A History of Western Philosophy
36:and was used in the writing of
863:John Russell, 1st Earl Russell
827:John Russell, 4th Earl Russell
467:
458:
449:
440:
431:
422:
125:
1:
689:The Principles of Mathematics
480:
785:My Philosophical Development
769:Power: A New Social Analysis
58:
7:
901:Professorship of Philosophy
10:
955:
713:The Problems of Philosophy
629:Russell–Einstein Manifesto
353:is equivalent to the rule
230:{\displaystyle p\supset q}
909:
878:
795:
680:
669:
575:
568:
267:{\displaystyle p\equiv q}
745:Why I Am Not a Christian
592:Copleston–Russell debate
415:
337:{\displaystyle \vdash p}
193:{\displaystyle p\cdot q}
152:{\displaystyle p\lor q}
886:Appointment court case
871:(maternal grandmother)
865:(paternal grandfather)
654:Peano–Russell notation
607:Theory of descriptions
408:The notation includes
392:
338:
306:
268:
231:
194:
153:
116:
115:{\displaystyle \sim p}
92:Contradictory function
74:contradictory function
56:
52:Formulario Mathematico
44:Alfred North Whitehead
42:in collaboration with
22:Peano–Russell notation
705:Principia Mathematica
512:Principia Mathematica
488:Principia Mathematica
393:
339:
307:
269:
232:
195:
154:
117:
48:
39:Principia Mathematica
361:
325:
278:
252:
215:
204:Implicative function
178:
137:
103:
86:implicative function
821:Edith Finch Russell
803:Alys Pearsall Smith
753:Marriage and Morals
584:Views on philosophy
388:
334:
302:
264:
227:
190:
149:
112:
28:'s application of
18:mathematical logic
926:
925:
805:(wife, 1894–1921)
667:
666:
659:Russell's paradox
642:
641:
615:
614:
510:"The Notation in
508:Linsky, Bernard.
946:
916:
915:
896:Peace Foundation
857:John Stuart Mill
815:Patricia Russell
675:
644:
643:
634:Russell Tribunal
621:Views on society
617:
616:
602:Russell's teapot
580:
579:
562:Bertrand Russell
555:
548:
541:
532:
531:
527:
518:Zalta, Edward N.
474:
471:
465:
464:Russell, pp. 8–9
462:
456:
453:
447:
444:
438:
435:
429:
426:
397:
395:
394:
389:
343:
341:
340:
335:
311:
309:
308:
303:
273:
271:
270:
265:
236:
234:
233:
228:
199:
197:
196:
191:
158:
156:
155:
150:
121:
119:
118:
113:
26:Bertrand Russell
954:
953:
949:
948:
947:
945:
944:
943:
929:
928:
927:
922:
905:
874:
823:(wife, 1952–70)
817:(wife, 1936–51)
811:(wife, 1921–35)
791:
676:
663:
638:
611:
597:Logical atomism
571:
564:
559:
504:
483:
478:
477:
472:
468:
463:
459:
454:
450:
445:
441:
436:
432:
427:
423:
418:
362:
359:
358:
326:
323:
322:
279:
276:
275:
274:, standing for
253:
250:
249:
243:
216:
213:
212:
206:
179:
176:
175:
165:
163:Logical product
138:
135:
134:
128:
104:
101:
100:
94:
82:logical product
70:
61:
12:
11:
5:
952:
942:
941:
924:
923:
910:
907:
906:
904:
903:
898:
893:
888:
882:
880:
876:
875:
873:
872:
866:
860:
854:
848:
842:
836:
830:
824:
818:
812:
806:
799:
797:
793:
792:
790:
789:
781:
773:
765:
757:
749:
741:
733:
725:
717:
709:
701:
693:
684:
682:
678:
677:
670:
668:
665:
664:
662:
661:
656:
650:
648:
640:
639:
637:
636:
631:
625:
623:
613:
612:
610:
609:
604:
599:
594:
588:
586:
577:
573:
572:
569:
566:
565:
558:
557:
550:
543:
535:
529:
528:
503:
502:External links
500:
499:
498:
482:
479:
476:
475:
473:Russell, p. 11
466:
457:
448:
439:
430:
420:
419:
417:
414:
387:
384:
381:
378:
375:
372:
369:
366:
345:
344:
333:
330:
301:
298:
295:
292:
289:
286:
283:
263:
260:
257:
248:is written as
242:
239:
238:
237:
226:
223:
220:
205:
202:
201:
200:
189:
186:
183:
164:
161:
160:
159:
148:
145:
142:
127:
124:
123:
122:
111:
108:
93:
90:
69:
66:
60:
57:
30:Giuseppe Peano
9:
6:
4:
3:
2:
951:
940:
937:
936:
934:
921:
920:
908:
902:
899:
897:
894:
892:
889:
887:
884:
883:
881:
877:
870:
867:
864:
861:
858:
855:
852:
849:
846:
843:
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
807:
804:
801:
800:
798:
794:
787:
786:
782:
779:
778:
774:
771:
770:
766:
763:
762:
758:
755:
754:
750:
747:
746:
742:
739:
738:
734:
731:
730:
726:
723:
722:
721:Why Men Fight
718:
715:
714:
710:
707:
706:
702:
699:
698:
694:
691:
690:
686:
685:
683:
679:
674:
660:
657:
655:
652:
651:
649:
645:
635:
632:
630:
627:
626:
624:
622:
618:
608:
605:
603:
600:
598:
595:
593:
590:
589:
587:
585:
581:
578:
574:
567:
563:
556:
551:
549:
544:
542:
537:
536:
533:
525:
524:
519:
515:
513:
506:
505:
497:
493:
489:
485:
484:
470:
461:
455:Russell, p. 8
452:
446:Russell, p. 7
443:
437:Russell, p. 6
434:
428:Russell, p. 4
425:
421:
413:
411:
406:
403:
398:
385:
382:
379:
376:
373:
370:
367:
364:
356:
352:
348:
331:
328:
321:
320:
319:
317:
313:
299:
296:
293:
290:
287:
284:
281:
261:
258:
255:
247:
224:
221:
218:
211:
210:
209:
187:
184:
181:
174:
173:
172:
170:
146:
143:
140:
133:
132:
131:
109:
106:
99:
98:
97:
89:
87:
83:
79:
75:
65:
55:
53:
47:
45:
41:
40:
35:
31:
27:
23:
19:
939:Proof theory
911:
891:Earl Russell
809:Dora Russell
783:
775:
767:
759:
751:
743:
735:
727:
719:
711:
703:
695:
687:
653:
521:
511:
487:
469:
460:
451:
442:
433:
424:
409:
407:
401:
399:
355:modus ponens
354:
350:
349:
346:
315:
314:
245:
244:
207:
166:
129:
95:
85:
81:
77:
73:
71:
62:
51:
49:
37:
21:
15:
859:(godfather)
708:(1910–1913)
697:On Denoting
647:Mathematics
410:definitions
246:Equivalence
169:truth-value
126:Logical sum
78:logical sum
576:Philosophy
481:References
84:, and the
841:(brother)
383:⊃
374:⊃
368:⋅
351:Inference
329:⊢
316:Assertion
297:⊃
291:⋅
285:⊃
259:≡
222:⊃
185:⋅
144:∨
107:∼
59:Variables
933:Category
853:(mother)
847:(father)
357:, where
879:Related
520:(ed.).
496:1041146
917:
796:Family
788:(1959)
780:(1945)
772:(1938)
764:(1935)
756:(1929)
748:(1927)
740:(1922)
732:(1919)
724:(1916)
716:(1912)
700:(1905)
692:(1903)
494:
80:, the
76:, the
835:(son)
829:(son)
681:Works
516:. In
416:Notes
34:Frege
492:OCLC
402:dots
24:was
16:In
935::
312:.
88:.
46::
20:,
554:e
547:t
540:v
526:.
514:"
386:q
380:.
377:q
371:p
365:p
332:p
300:p
294:q
288:q
282:p
262:q
256:p
225:q
219:p
188:q
182:p
147:q
141:p
110:p
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.