Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Substitution and Truth in Quantum Logic

Itamar Pitowsky
Philosophy of Science
Vol. 49, No. 3 (Sep., 1982), pp. 380-401
Stable URL: http://www.jstor.org/stable/187281
Page Count: 22
  • Read Online (Free)
  • Download ($14.00)
  • Subscribe ($19.50)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Substitution and Truth in Quantum Logic
Preview not available

Abstract

If p(x1,...,xn) and q(x1,...,xn) are two logically equivalent propositions then p(π (x1),...,π (xn)) and q(π (x1),...,π (xn)) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x1,...,xn. In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule of universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory.

Page Thumbnails

  • Thumbnail: Page 
380
    380
  • Thumbnail: Page 
381
    381
  • Thumbnail: Page 
382
    382
  • Thumbnail: Page 
383
    383
  • Thumbnail: Page 
384
    384
  • Thumbnail: Page 
385
    385
  • Thumbnail: Page 
386
    386
  • Thumbnail: Page 
387
    387
  • Thumbnail: Page 
388
    388
  • Thumbnail: Page 
389
    389
  • Thumbnail: Page 
390
    390
  • Thumbnail: Page 
391
    391
  • Thumbnail: Page 
392
    392
  • Thumbnail: Page 
393
    393
  • Thumbnail: Page 
394
    394
  • Thumbnail: Page 
395
    395
  • Thumbnail: Page 
396
    396
  • Thumbnail: Page 
397
    397
  • Thumbnail: Page 
398
    398
  • Thumbnail: Page 
399
    399
  • Thumbnail: Page 
400
    400
  • Thumbnail: Page 
401
    401