162:, wherein the choice of an appropriate language was not a matter of the truth or falsity of a given language – in this case, the language used to describe quantum mechanics – but a matter of "technical advantages of language systems". His solution to the problem was a logic of properties with a three-valued semantics; each property could have one of three possible truth-values: true, false, or indeterminate. The formal properties of such a
175:
843:
420:
133:(the chapter titled "Deviant Logics"), Quine rejects the idea that classical logic should be revised in response to the paradoxes, being concerned with "a serious loss of simplicity", and "the handicap of having to think within a deviant logic". Quine, though, stood by his claim that logic is in principle not immune to revision.
282:. There are, however, few philosophers today who regard this logic as a replacement for classical logic; Putnam himself may not have held that view any longer at the end of his life. Quantum logic is still used as a foundational formalism for quantum mechanics: but in a way in which primitive events are not interpreted as
347:
Dummett's argument is all the more interesting because he is not a proponent of classical logic. His argument for the connection between realism and classical logic is part of a wider argument to suggest that, just as the existence of particular class of entities may be a matter of dispute, so a
307:
340:
depends upon distributivity: a truth table is a disjunction of conjunctive possibilities, and the validity of the exercise depends upon the truth of the whole being a consequence of the bivalence of the propositions, which is true only if the principle of distributivity applies.
209:
about the physical world, which Putnam generally maintains, demands that we square up to the anomalies associated with quantum phenomena. Putnam understands realism about physical objects to entail the existence of the properties of momentum and position for quanta. Since the
348:
disputation about the objective existence of such entities is also a matter of dispute. Consequently intuitionistic logic is privileged over classical logic, when it comes to disputation concerning phenomena whose objective existence is a matter of controversy.
150:
in which a photon can be made to exhibit particle-like properties or wave-like properties, depending on the experimental setup used to detect its presence. Another example of complementary properties is that of having a precisely observed position or
214:
says that either of them can be determined, but both cannot be determined at the same time, he faces a paradox. He sees the only possible resolution of the paradox as lying in the embrace of quantum logic, which he believes is not inconsistent.
71:
propositions and that these quantum mechanical propositions can be combined in a similar way as propositions in classical logic. However, the algebraic properties of this structure are somewhat different from those of
335:
respects the classical truth tables, but not the laws of classical logic, because intuitionistic logic allows propositions to be other than true or false. Secondly, to be able to apply truth tables to describe a
326:
is. To grasp why, consider why truth tables work for classical logic: first, it must be the case that the variable parts of the proposition are either true or false: if they could be other values, or fail to have
145:
if each one of them can be assigned a truth value in some experimental setup, but there is no setup which assigns a truth value to both properties. The classic example of complementarity is illustrated by the
229:
The formal laws of a physical theory are justified by a process of repeated controlled observations. This from a physicist's point of view is the meaning of the empirical nature of these laws.
205:
In particular, he claimed that what physicists have learned about quantum mechanics provides a compelling case for abandoning certain familiar principles of classical logic for this reason:
392:
Dummett, M. (1976), "Is Logic
Empirical?", in H. D. Lewis (ed.), Contemporary British Philosophy, 4th series (London: Allen and Unwin), pp. 45–68. Reprinted in M. Dummett,
344:
Hence Putnam cannot embrace realism without embracing classical logic, and hence his argument to endorse quantum logic because of realism about quanta is a hopeless case.
141:
Reichenbach considered one of the anomalies associated with quantum mechanics, the problem of complementary properties. A pair of properties of a system is said to be
267:
In this view, classical logic was merely a limiting case of this new logic. If this were the case, then our "preconceived" Boolean logic would have to be rejected by
166:
can be given by a set of fairly simple rules, certainly far simpler than the "projection algebra" that
Birkhoff and von Neumann had introduced a few years earlier.
903:
186:, whose PhD studies were supervised by Reichenbach, pursued Quine's idea systematically. In the first place, he made an analogy between laws of logic and laws of
271:
in the same way
Euclidean geometry (taken as the correct geometry of physical space) was rejected on the basis of (the facts supporting the theory of)
252:
proposed that there was more to this correspondence than a loose analogy: that in fact there was a logical system whose semantics was given by a
888:
383:(Dordrecht: D. Reidel, 1968), pp. 216-241. Repr. as "The Logic of Quantum Mechanics" in Mathematics, Matter and Method (1975), pp. 174-197.
103:
status of the laws of logic? What sort of arguments are appropriate for criticising purported principles of logic? In his seminal paper "
499:
628:
290:
terms as possible outcomes of observations. As such, quantum logic provides a unified and consistent mathematical theory of physical
331:
at all, then the truth table analysis of logical connectives would not exhaust the possible ways these could be applied. For example
777:
83:
The idea that the principles of logic might be susceptible to revision on empirical grounds has many roots, including the work of
898:
861:
453:
322:
is essential for the realist's understanding of how propositions are true of the world, in just the same way as he argues the
782:
73:
129:
Quine did not at first seriously pursue this argument, providing no sustained argument for the claim in that paper. In
47:
may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about
857:
319:
123:
77:
194:
were believed to be truths about the physical space in which we live, but modern physical theories are based around
111:
argued that all beliefs are in principle subject to revision in the face of empirical data, including the so-called
808:
893:
787:
712:
494:
685:
379:
Putnam, H. "Is Logic
Empirical?" Boston Studies in the Philosophy of Science, vol. 5, eds. Robert S. Cohen and
104:
769:
206:
323:
287:
191:
147:
115:. Thus the laws of logic, being paradigmatic cases of analytic propositions, are not immune to revision.
823:
352:
211:
742:
588:
332:
236:
in itself was not new. Indeed a sort of analogy had been established in the mid-nineteen thirties by
112:
908:
697:
680:
660:
623:
572:
567:
509:
446:
295:
257:
306:
633:
562:
519:
337:
272:
268:
159:
847:
818:
813:
803:
737:
665:
550:
425:
380:
249:
245:
48:
351:
Thus the question, "Is Logic
Empirical?," for Dummett, leads naturally into the dispute over
67:. In their work, they showed that the outcomes of quantum measurements can be represented as
752:
478:
473:
241:
237:
119:
88:
68:
60:
56:
40:
244:
between a non-classical propositional logic and some aspects of the measurement process in
598:
540:
315:
283:
253:
100:
52:
36:
852:
545:
524:
439:
163:
55:
as a consistent logical rendering of reality. The replacement derives from the work of
882:
702:
643:
279:
261:
233:
224:
199:
195:
183:
64:
32:
692:
514:
356:
264:. This, actually, was the correct logic for reasoning about the microscopic world.
17:
406:
122:. Birkhoff and von Neumann proposed to resolve those paradoxes by abandoning the
727:
722:
675:
360:
328:
108:
84:
275:. This argument is in favor of the view that the rules of logic are empirical.
670:
638:
603:
415:
291:
732:
593:
504:
174:
158:
Reichenbach approached the problem within the philosophical program of the
653:
187:
152:
717:
648:
232:
The idea of a propositional logic with rules radically different from
198:
geometries, with a different and fundamentally incompatible notion of
555:
318:
argues that Putnam's desire for realism mandates distributivity: the
747:
462:
305:
173:
44:
707:
409:, University of California Press, 1944. Reprinted by Dover 1998,
435:
126:, thus substituting their quantum logic for classical logic.
431:
867:
796:
768:
761:
616:
581:
533:
487:
314:In an article also titled "Is Logic Empirical?,"
447:
118:To justify this claim he cited the so-called
8:
407:Philosophic Foundations of Quantum Mechanics
765:
530:
454:
440:
432:
372:
31:" is the title of two articles (one by
359:, one of the deepest issues in modern
904:Contemporary philosophical literature
396:(London: Duckworth,1978), pp. 269–289
7:
629:Analytic and synthetic propositions
500:Formal semantics (natural language)
182:In his paper "Is Logic Empirical?"
25:
51:may provide grounds for revising
39:) that discuss the idea that the
841:
418:
107:," the logician and philosopher
87:and the foundational studies of
302:Second article: Michael Dummett
278:That logic came to be known as
120:paradoxes of quantum mechanics
1:
74:classical propositional logic
889:Cognitive science literature
170:First article: Hilary Putnam
320:principle of distributivity
248:. Putnam and the physicist
124:principle of distributivity
78:principle of distributivity
925:
222:
836:
713:Necessity and sufficiency
469:
105:Two Dogmas of Empiricism
899:Epistemology literature
394:Truth and other Enigmas
324:principle of bivalence
311:
179:
148:double-slit experiment
848:Philosophy portal
309:
212:uncertainty principle
177:
113:analytic propositions
333:intuitionistic logic
258:projection operators
510:Philosophy of logic
296:quantum measurement
192:Euclid's postulates
160:logical positivists
131:Philosophy of Logic
29:Is Logic Empirical?
18:Is logic empirical?
809:Rules of inference
778:Mathematical logic
520:Semantics of logic
312:
273:general relativity
269:empirical evidence
180:
876:
875:
832:
831:
666:Deductive closure
612:
611:
551:Critical thinking
426:Philosophy portal
405:Reichenbach, H.,
381:Marx W. Wartofsky
250:David Finkelstein
246:quantum mechanics
49:quantum phenomena
16:(Redirected from
916:
894:Logic literature
846:
845:
844:
766:
531:
495:Computer science
456:
449:
442:
433:
428:
423:
422:
421:
410:
403:
397:
390:
384:
377:
284:atomic sentences
242:John von Neumann
238:Garrett Birkhoff
137:Hans Reichenbach
89:Hans Reichenbach
61:John von Neumann
57:Garrett Birkhoff
21:
924:
923:
919:
918:
917:
915:
914:
913:
879:
878:
877:
872:
842:
840:
828:
792:
783:Boolean algebra
757:
608:
599:Metamathematics
577:
529:
483:
465:
460:
424:
419:
417:
414:
413:
404:
400:
391:
387:
378:
374:
369:
316:Michael Dummett
310:Michael Dummett
304:
227:
221:
172:
139:
101:epistemological
97:
53:classical logic
37:Michael Dummett
35:and another by
23:
22:
15:
12:
11:
5:
922:
920:
912:
911:
906:
901:
896:
891:
881:
880:
874:
873:
871:
870:
865:
855:
850:
837:
834:
833:
830:
829:
827:
826:
821:
816:
811:
806:
800:
798:
794:
793:
791:
790:
785:
780:
774:
772:
763:
759:
758:
756:
755:
750:
745:
740:
735:
730:
725:
720:
715:
710:
705:
700:
695:
690:
689:
688:
678:
673:
668:
663:
658:
657:
656:
651:
641:
636:
631:
626:
620:
618:
614:
613:
610:
609:
607:
606:
601:
596:
591:
585:
583:
579:
578:
576:
575:
570:
565:
560:
559:
558:
553:
543:
537:
535:
528:
527:
522:
517:
512:
507:
502:
497:
491:
489:
485:
484:
482:
481:
476:
470:
467:
466:
461:
459:
458:
451:
444:
436:
430:
429:
412:
411:
398:
385:
371:
370:
368:
365:
303:
300:
286:but rather in
223:Main article:
220:
217:
190:: at one time
171:
168:
164:logical system
138:
135:
96:
93:
43:properties of
24:
14:
13:
10:
9:
6:
4:
3:
2:
921:
910:
907:
905:
902:
900:
897:
895:
892:
890:
887:
886:
884:
869:
866:
863:
859:
856:
854:
851:
849:
839:
838:
835:
825:
824:Logic symbols
822:
820:
817:
815:
812:
810:
807:
805:
802:
801:
799:
795:
789:
786:
784:
781:
779:
776:
775:
773:
771:
767:
764:
760:
754:
751:
749:
746:
744:
741:
739:
736:
734:
731:
729:
726:
724:
721:
719:
716:
714:
711:
709:
706:
704:
703:Logical truth
701:
699:
696:
694:
691:
687:
684:
683:
682:
679:
677:
674:
672:
669:
667:
664:
662:
659:
655:
652:
650:
647:
646:
645:
644:Contradiction
642:
640:
637:
635:
632:
630:
627:
625:
622:
621:
619:
615:
605:
602:
600:
597:
595:
592:
590:
589:Argumentation
587:
586:
584:
580:
574:
573:Philosophical
571:
569:
568:Non-classical
566:
564:
561:
557:
554:
552:
549:
548:
547:
544:
542:
539:
538:
536:
532:
526:
523:
521:
518:
516:
513:
511:
508:
506:
503:
501:
498:
496:
493:
492:
490:
486:
480:
477:
475:
472:
471:
468:
464:
457:
452:
450:
445:
443:
438:
437:
434:
427:
416:
408:
402:
399:
395:
389:
386:
382:
376:
373:
366:
364:
362:
358:
354:
349:
345:
342:
339:
334:
330:
325:
321:
317:
308:
301:
299:
297:
293:
289:
285:
281:
280:quantum logic
276:
274:
270:
265:
263:
262:Hilbert space
259:
255:
251:
247:
243:
239:
235:
234:Boolean logic
230:
226:
225:Quantum logic
219:Quantum logic
218:
216:
213:
208:
203:
201:
200:straight line
197:
196:non-Euclidean
193:
189:
185:
184:Hilary Putnam
178:Hilary Putnam
176:
169:
167:
165:
161:
156:
154:
149:
144:
143:complementary
136:
134:
132:
127:
125:
121:
116:
114:
110:
106:
102:
94:
92:
90:
86:
81:
79:
75:
70:
66:
65:quantum logic
62:
58:
54:
50:
46:
42:
38:
34:
33:Hilary Putnam
30:
19:
743:Substitution
563:Mathematical
488:Major fields
401:
393:
388:
375:
357:anti-realism
350:
346:
343:
329:truth values
313:
277:
266:
231:
228:
204:
181:
157:
142:
140:
130:
128:
117:
99:What is the
98:
82:
76:in that the
28:
26:
858:WikiProject
728:Proposition
723:Probability
676:Description
617:Foundations
361:metaphysics
292:observables
288:operational
109:W. V. Quine
95:W. V. Quine
85:W. V. Quine
909:Empiricism
883:Categories
788:Set theory
686:Linguistic
681:Entailment
671:Definition
639:Consequent
634:Antecedent
338:connective
819:Fallacies
814:Paradoxes
804:Logicians
738:Statement
733:Reference
698:Induction
661:Deduction
624:Abduction
594:Metalogic
541:Classical
505:Inference
41:algebraic
853:Category
753:Validity
654:Antinomy
582:Theories
546:Informal
188:geometry
153:momentum
868:changes
860: (
718:Premise
649:Paradox
479:History
474:Outline
353:realism
254:lattice
207:realism
80:fails.
770:topics
556:Reason
534:Logics
525:Syntax
69:binary
797:other
762:Lists
748:Truth
515:Proof
463:Logic
367:Notes
260:on a
45:logic
862:talk
708:Name
693:Form
355:and
294:and
240:and
59:and
604:Set
256:of
63:on
885::
363:.
298:.
202:.
155:.
91:.
864:)
455:e
448:t
441:v
27:"
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.