Arches

Use Your Browser's Back Button to Return to Previous Page
If you're stuck in a browser frame - click here to view this same page in Quantonics!

Doug Renselle's Critical Commentary
of
Max Jammer's Quantum Logic
in
Chapter 8
of
Jammer's

The Philosophy of Quantum Mechanics

"...and a logic which gave us something like this movement of fact
would express truth far better than the traditional school-logic,
which never gets of its own accord from anything to anything else, and registers
only predictions and subsumptions, or static resemblances and differences."

William James
in his
Varieties of Religious Experience
Page 450 of 527 total pages excluding index.
Longmans Green and Co., 1902, 1st edition.
Our bold.

Doug - added James quote - 1Jun2006.

Latest update: 29Mar2014 - Doug.

We have achieved a plateau of effort here, i.e., what we initially set out to accomplish. There is still much to comprehend and comment about though. We will leave red text as-is for about a month, then reset it. Subsequent updates will use our multi-bar code which we inaugurated in our Quantum Pendulum page. We have now made updates which make this page, from our perspectives, ready for consumption. If you want a brief summary of our effort here see this, and this. Also, see other minor red text changes.

Jammer's work ALREADY helps us stimulate some great affects. Check our QELRs of point, line and circle based upon our latest quanton: a quantum fuzz¤n. Also take a peek at our most recent (August, 2004) Fermionta,which our work here in Jammer helped stimulate.

Our commentary derives from pp. 341-416 of Jammer's TPoQM. (Notice that Dirac's famous text has an analogous, (quantum ) heteronymic (e.g., TProQM vis-à-vis TPhoQM) mnemonic for his, The Principles of Quantum Mechanics. We shall assiduously avoid confusion in that regard. That should be our only reference to Dirac in this web page.)

Jammer breaks Chapter 8 of TPoQM into seven sections:

  1. The Historical Roots of Quantum Logic
  2. Nondistributive Logic and Complementary Logic
  3. Many-Valued Logic
  4. The Algebraic Approach
  5. The Axiomatic Approach
  6. Quantum Logic and Logic
  7. Generalizations

As you can see, Jammer's approaches and analyses are almost wholly mechanical. To our way of thinking quantonically, only von Weizäcker treads near avatars quantum, yet his approach is still objective (in his usages of mathematics as symbolic and formal representations of a n¤nformal, n¤nmæchanihcal quantum ræhlihty) . We felt that if only Weizäcker could uhsæ anihmatæ, ihncludæd-mihddle quantonic scrihpts he would swerve nearer what we intend.

But to be honest and fair and as transparent as we know how to be, "quantum logic" is an oxymoron!

Why?

'Logic' is about two-valuedness of verity versus falsity. 'Logic' is bivalency: dialectical bivalency, digital bivalency. Doug - 31Jan2006.

Logic is classical. Classical logic is formal, mechanical. Quantum reality (i.e., Doug's Quantonics hermeneutics of it) is neither classically formal, nor classically mechanical. As Rabelais might say, "quantum logic is coquecigrues (an avatar of a memeo which classically appears as an absolute absurdity; see Rosebush)!" Classical logic reifies yu! And, classical logic has no wu. Indeed, classical logic drives wu out, disembodies wu! Now there's a Geertzian "anti anti" if we ever saw one. Quantonics is inventing quantum philosophy, as we go. Here we see another justification of our sense of need to accomplish that. Coquecigrues is a Rabelaian avatar, genuinely. Coquecigrues: A reembodiment.

See [François] Rabelais (1495-1553), Gargantua and Pantagruel, Book I, Ch. 49, 'How Picrochole in his flight fell into great misfortunes, and what Gargantua did after the Battle.' Readers should worry that Britannica's [un]Great Books, Volume 24, Rabelais is a useless resource here. Ugh! See our above Australian link and search for <Rabelais coquecigrues>.

Quantum reality offers naught similar classical notions of logic and reason. Bergson explained: reality is neither stable nor objectively independent. Classical reason and logic require both stability and independence. Classical logic is flat. SOMland is a Flatland.

We went to our Cambridge and Oxford Dictionaries of Philosophy. We searched for: imaginary, i, conjugate, conjugation, complex (in any sense of conjugation), wedded, orthogonal, and so on... Classic philosophy has no (appears to have no) means of entering discussions of quantum~coquecigrues! (Will someone who speaks French please tell~show us how to pronounce coquecigrues? We guess it is something like kawkseegruh.)

Relevant comments appear in Heisenberg's The Physical Principles of the Quantum Theory, "It is instructive to compare the mathematical apparatus of quantum theory with that of the theory of relativity (Reminder: Add link here to Hoffmann's TSSotQ, Act II comparison of QM and R. That review is due end of August, 2007 or sooner. Doug - 6Aug2007.). In both cases there is an application of the theory of linear algebras. One can therefore compare the matrices [vis-à-vis Schrödinger waves] of quantum theory with the symmetric tensors of the special theory of relativity. The greatest difference is the fact that the tensors of quantum theory are in a space of infinitely many dimensions, and that this space is not real but imaginary [~wu, what we call quantum~nonactuality; we failed to mention here, when we first wrote this treatise in May, 2004, that Quantonics' n¤nactuality is not classically conservative, rather it represents unlimited potential...if we show our quantum~reality quanton(n¤nactuality,actuality) in Cantonese it might look like this: quanton(wu,yu)...in Autiot it looks like: quanton(Aleph,Yod)... and those both illustrate, almost ad oculos, why we call quantum~l¤gihc "coquecigrues"... Doug - 4Nov2006, 27Oct2014]." Start of first paragraph of Chapter IV. Our brackets.

Thus one may educe Quantonics' choice to use coquecigrue in place of "quantum logic." Quantonics' new quantum philosophy uses coquecigrue while assiduously avoiding classical 'logic.'

Topic

Classical Logic

Coquecigrues: Quantum Reality (Quantonics Hermeneutics)

By Doug Renselle, ©Quantonics, Inc., 2004-2030
Action Local unitemporal time-like motion-based 'interaction' only Fecundulates both local and nonlocal space-like at-a-distance action
Associativity Everywhere dissociative with local mechanical (e.g., f=ma) interaction Everywhere associative with coherent coinsidence with n¤n~ & ~interfering n¤n~ & ~l¤cal phasæ~ænc¤dings. See holograph.
Availability Unrestricted is axiomatic Impossible (What we mean when you see us use a classical 'probability zero' in a quantum comtext.)
Cause Cause-effect Due quanta, EIMA, entanglement, interference, scintillation, tunneling, peaqlo, et al.: uncaused affectation; affectless causation. Doug - 4Apr2009.
Certainty Classical strawman dichon(uncertainty, certainty); see classical 'truth' Quantum certainty and uncertainty emerq quantum stochastic uncertainty interrelationshipings; see QLOs and peaqlos
Change

Logically independent (a calculus of change-independent 'motion'); essentially what classicists mean by 'event'

Always changes and changes all (quantum fractal novel emergence & immergence)
Quantum~system absence of ideal 'notions' of inertial status quo 'state.'
Quantum~change is absolute. Its absoluteness begs individual spontaneity, vicissitudinality, and free will as quantum~ego.
See Doug's more recent, CeodE 2011 Flux is Simple. State is Complex.
Doug - 20Feb2011.
Commutation Commutation of variables and probabilities is valid. Commutation of variables and all stochastics are invalid. A key affect is to invalidate classical commutative Bayesian theories. Commutation also invalidates classical uses of tensors and Abelian Groups. Doug - 6Feb2009, 5Apr2009, 5Aug2009.
Conjunction

Entails mechanical, formal EEMD, production fit: objective synthesis via dichon(A, B)

~Comjunction: quantum EIMA complementation via quanton(A,B)
Contradiction* Logical individuation implores logical negation Negation is quantum subjective, mostly due included-middle and flux; quantum flux is all positive, n¤n 'negatable'
Correspondence 1:1 (axiomatic excluded-middle 'dependency;' major feigned deign of dialectic thought) many : many (everywhere~included~middle~associativity, EIMA)
Determinism Axiomatic (past determines future; nature as a clockwork machine) Only as likelihood which assesses a priori complex ensembles of omnistributionings
Entailment Viewed objectively as a posteriori causation (global 'law') Viewed quantumly as a priori valuation (local choosings)
Essence Objectivity (dialectical lisrability; see lisr) Flux (see flux as essence of quantum reality)
Exegesis Definition, quantitative Description, qualitative
Falsifiability* Logical negation implores logical contradiction Negation is quantum subjective, mostly due included-middle and flux
Granularity State-ic objective & quantitative propertyesque atomicity & 'corpuscular' particularity Qualitative animate interrelative Planck least quantum of energy
See our William James mast quote above, re: "movement of fact."
This is essence of Quantonics' breakthrough wMBU™ quantology, especially our quantization tool.
Quantum~granularity is quantization size of quantum~wave~energy~increments of evolution of quantum~truthings.
Doug - 13Feb2009.
Topic

Classical Logic

Coquecigrues: Quantum Reality (Quantonics Hermeneutics)
Identity Objective clonicity; objective identifiability Impossible
Independence* Axiomatic ('objects' and their significates are independent) Impossible
Individuation Objective isolability Impossible
Judgment* Distills to simple state-ic, social, consensual, positive opinion; goal: absolute righteousness Quantum co~here~ings of ensemble~autonomous~interrelationshipings' Valuings; goal: tentatively quantum~local~betterings
Line (disjunction)

Objective point removal entails production of two line segments (logical disjunction)

Quantum point removal emersces quantum line wholeness
Logic Aristotelian...Boolean, et al., all find their bases in EOOO dialectic Unknown, not yet invented, perhaps uninventable; BAWAM sophist rhetoric
Measurement Scalar magnitude (plus strobe, sample and hold; assumes 'unrestricted availability') Non-classical qubital omnitorings; also see qubit
Middle Excluded-exclusive (e.g., views gravity, G, as 'an object,' as 'objective') Included-inclusive (gravity: massively omnillel animate, EIMA QLOs of isoflux(bosonsfermions)
Negation* Objects may be ideally negated Quanta have quantum complements (classicists misperceive quantum~flux phase~cancellation as ideal classical negation...)
Observation Unilateral, unaffective Omnilateral, coobsfective
Phase, phasicityings Cartesian scalar metric locus of a classical transverse wave's amplitude Quantonic animate quantum~interrelationshipings among wavings and themselves1 - Doug - 17Jan2007
Point Cartesian locus (precise localability) Ensemble probability omnistributionings attractor (fuzzon)
Quantification

Quantitative, stable, EEMD, oppositive measurement and value representation
Qualitative, animate, EIMA, complementary omnitorings and value representationings
Stability* Stoppable (reality conveniently "holds still;" see Bergson CE, topic 40, p. 301); essentially what classicists mean by 'state;'
Classically reality axiomatically and dogmatically attempts to be 'radically stable.'
See state-event
Unstoppable. There are n¤ classical notions of classical 'stability' in quantum~reality except as QTP and QVP memeos.
Quantum~reality is radically instable due
absolute~change borne of quantization and transmutation borne of scintillation.
Add Stable anchor. See back link.
Time Logically independent (unitemporality; also see Hughes - item 4 & Buridan - item 7) Omnitemporality (scaling perspicacity & perspicuity). Too, fathom quantons(atemporalityings,temporalityings). Doug - 19Feb2019
Truth* Tentatively certain, based upon absence of falsifiability Uncertain mostly due ensemble heterogeneity, subjective negation and unstoppability
Uncertainty Ideal dialectical opposite of classical 'certainty;' exemplar: Hume's ideal sceptics are absolutely uncertain Quantum certainty and uncertainty are always stochastically partial as quanton(partial_uncertainty,partial_certainty)
Topic

Classical Logic

Coquecigrues: Quantum Reality (Quantonics Hermeneutics)
*See Bases of Judgment
1This quantum memeo~memeotic is essential to grasp in order to standunder quantum reality. Reality, especially its quantum~actual c¤mplæmænt, which most classicists refer as 'reality,' issi quantum phase~encodings of quantum fluxings. Doug - 17Jan2007.

By Doug Renselle, ©Quantonics, Inc., 2004-2030
(10Sep2004 rev - Sort table by topic. Add topics: Conjunction, Contradiction, Line (to demonstrate 'disjunction'), and Quantification.)
(24Feb2005 rev - Add Coquecigrues to title of quantum column.)
(18Sep2005 rev - Update topic 'Middle.')
(14Nov2005 rev - Update topics 'Cause,' and 'Entailment.' Reset red text.)
(11,21Dec2005 rev - Add 'quanta' and 'qubit' links under Classical Logic vis-à-vis Coquecigrues Table. Update 'cause' there too and change background color from red to yellow.)
(7Dec2006 rev - Add 'certain,' and 'uncertain' to table.)
(17Jan2007 rev - Embellish quantum 'associativity.' Add 'phase.' Add footnote 1.)
(7Sep2008 rev - Update both 'change' and 'stability.')
(6,13Feb2009 rev - Add 'commutation.' Update 'granularity.')
(5Apr2009 rev - Add links under 'cause' (entanglement, interference, and scintillation) and 'commute' (our EPR Table entry on classical vav quantum 'commute.'). )
(2Jul2010 rev - Add EUUaC 'interference' link.)
(20Feb2011 rev - Update 'change' and 'stability.')
(11Jan2012 rev - Update 'stability.')
(29Mar2014 rev - Add 'Stable' anchor under 'Stability' in Coquecigrues comparison Table.)
(19Feb2016 rev - More comtemporary updates to table.)

As you may intuit by Jammer's section titles' words this is a formal work, e.g.,

See Logic and What is Logic?, Classical vis-à-vis Quantum Complementarity, for discussion of Value see our Bases of Judgment and What is Wrong with Probability as Value?, for Many-Valued see our heterogeneous, for Algebraic see Bergson on radical mechanism and duration, Axiomatic, and Generalizations.

See Doug'a CeodE 2012 QELR of Value.

Let's commence our section-by-section commentary...

1. - The Historical Roots of Quantum Logic

Supporting our list of bullet comments, Jammer tells us that all interpretations (of course excepting Quantonics) find their bases in an assumption. That assumption is that any interpretation of quantum mechanics (QM) should encompass one or more of these "components," which he describes in detail in Section 1, Chapter 8, of TPoQM. These are part of Quantum Logic's "historical roots," according to Jammer:

Jammer's
"Components"

Classic Dialectical Interpretation of Jammer's Terminology
"All the interpretations of quantum mechanics described so far [are] based on [these] assumptions." Jammer, p. 341. Our brackets.

Quantonics' Critical Commentary
Theory

Jammer shows us how current theories of quantum mechanics (QM) run into what he calls "an impasse."

Jammer says Theory is physical, must be physical.

Jammer says Theory decomposes into our following list: Formalism, Relations, and Picture.

: Theory

See mechanics.

: Thæ¤ry

Formalism

Jammer explains that QM's Formalism is mathematical.

Jammer says, "If a certain theory T leads to an impasse,..., it is not necessarily its mathematical formalism as such nor the meaning of its extralogical concepts that may have to be modified; it may equally well be the logic underlying the formulation of T which has to be revised." This represents what is called a quantum logical approach. It is mechanical.

In Quantonics, we see formalism, and thus mathematics as quantum philosophies' greatest impediments to understanding QM.

: Formalism

See form.

: Æmærqancy

See emerq.

Relations

Jammer says QM's Theoretical set of Relations are "Epistemic Relations."

Most logicians distinguish epistemic (anthropocentric belief) and alethic (fact and truth) logics. It is Quantonics view that belief emerges and evolves where fact and truth are expected to be immutable, stable and independent. Latter is classical. Former appears, to us, more quantum but for its innate "epistemic" anthropocentricity.

: Relations

Classically, mechanically, materially, substantially, objectively, relations can only be formally 'interactive,' due an assumption (an axiom) of exclusion based upon Aristotle's 'axiom' of 'excluded-middle.'

: Ihnterrelati¤nships

Quantum reality's middle is included! Quantons in reality compenetrate, interpenetrate, comfuse, entangle, superpose, con(m)dense, coinside, co-here, etc.

formal rules, tools, axioms, suppositions, normatives, unequivocations, nonprevarications, maths, etc. can classically define, n¤r classically describe quantum reality! N¤næ of those, n¤r their spawn can adequately represent 'classical relations' in quantum reality! 'Classical relations' do n¤t 'exist' in quantum reality!!!

Picture Jammer tells us that QM's Picture is a "physical Picture."

: Picture (i.e., QM's classical mythos)

Classically 'physical' implies mechanical, material, substantial, objective, formal, etc.

: Æmærs¤s

Quantum reality, an emersos, is flux. Flux can emersce many affectings, some of which only appear 'classically, state-ically physical.'

David Bohm claims that quantum flux manifests itself holographically, as animate, EIMA "holomovement[ings]." Our brackets. We tend to agree, but need more effort here to assess potentia for hologrammings to be and portray all of quantum reality, both nonactuality and actuality, their isoflux and flux. It appears now that Bohm is right on if holo issi n¤t just photonic. Doug - 31Oct2004.

Quantons aræ anihmatæ, EIMA pihcturings ¤f ræhlihty.

See animate, EIMA.

Jammer tells us that many new forms of QM logic are called "multi-valued logics." Observe how this is still and yet a classical objective view of QM logic. How? A good example is what they intend by "multi-valued." Don't they mean multiple discrete single observation values, measurable and stoppable hold-still values? Quantonics' version would change that "multi-valued AKA fuzzy" active voice pasticity to participating plural present participle nowistic (affective) and futuristic (anticipative, expectational) "many valuings, many coobsfectings, and many signatureings."

Jammer drops countless names of multi-value logicians, both obscure (e.g., Siger of Brabant and Duns Scotus) and not (Peirce, Zawirski, etc.), regardless they nearly all share analytic formal mechanism. One, Zwicky, who may not have realized his suggestion to abandon Aristotle's 'law' of excluded-middle was an abandonment of formal mechanism. Bell quotes Zwicky, "The conceptual difficulties in quantum mechanics may be interpreted as due to the peculiar inconsistencies of this theory which in certain respects conforms with our principle of flexibility, whereas in other respects...quantum mechanics and the relativity theory are based on very antiquated notions. It should also be clear from our discussion that the recent controversies regarding the absolute truth of uncertainty principle versus causality are quite futile, as scientific truth intrinsically cannot be absolute." Quote appears on pages 345-6. Our bold.

Jammer writes that Zwicky's ideas were not well accepted by Margenau. Margenau apparently did not intuit paradigm shifting of physical 'laws' as many truthings and quantum evolution of betterings. Margenau essentially claimed that logical validity finds its bases in physics as an empirical science. To us that is blatantly Aristotelian, like saying, "A is A because A is A." Elsewhere we show how Margenau's beliefs tend toward and favor formal mechanics.

2. - Nondistributive Logic and Complementary Logic

Jammer tells us that a first penetration into a qualitative quantum mechanical 'logic' was suggested by Jon von Neumann in his 1932 masterpiece Mathematical Foundations of Quantum Mechanics. See p. 253 of Beyer's 1955 translation. Jammer quotes von Neumann exactly, "the relation between the properties of a physical system on the one hand, and the projections on the other, make possible a sort of logical calculus with these. However, in contrast to the concepts of ordinary logic, this system is extended by the concept of 'simultaneous decidability' which is characteristic for quantum mechanics." Readers please be (quantum~) aware that classical temporal simultaneity (i.e., ideal mechanical isochrony) and quantum coherent simultaneity (e.g., everywhere uncertain phasicity) are entirely omniffering comcepts. Coherent peaqlos may cohere across ensembles of PNFings. Doug - 25May2007; thanks to DMD and a reader in Boston for stirring this addendum. See Doug's QELR of simultaneity.

Aside on Quantonics' Simultaneity Resources:

Doug - 1Apr2008.

End aside on Quantonics' Simultaneity Resources.

Von Neumann's 'simultaneous decidability' and 'simultaneous measurability' offer classical notions of what we call 'many truths,' a kind of heterogeneous incommensurability. This is a tell that von Neumann was on a better track, yet he still retained his mechanical legacy, as we shall see. One problem: his 'simultaneity' implies homogeneous temporality, and quantum reality demands heterogeneous timings.

Later, von Neumann and Birkhoff wrote a paper describing a 'phase space' G with states represented by points P. Propositions like a then are subsets Sa of G. Propositions expressing measurements in G can thus be certain. Further,

  1. a intersect b is true if P lies in Sa intersect Sb
  2. a union b is true if P lies in Sa union Sb
  3. complement (negation) a' says P is not in Sa
  4. both a true and b true means a implies b and implies Sa is a subset of Sb (implication: a implies b)
  5. said implication is reflexive, transitive, and antisymmetric
  6. a is equivalent b if both a is in (implies) b and b is in (implies) a

Our red bold highlights show extreme classical predilections of Birkhoff and von Neumann. See our QELRs of state, point, measure, certain, uncertain, true, and equals. Also see our QELPs.

Jammer, "A physical quality was now defined by Birkhoff and von Neumann as the set of all experimental propositions equivalent to a given experimental proposition." All of this allowed Birkhoff and von Neumann classical notions of 'partial ordered systems.' Their approach retained compatibility with classical mechanics.

Where have we seen 6 before? Does this sound familiar? "We are in It and It is in us." That is an expression of an included-middle! This is a good tell of a better track.

But what kind of included-middle have Birkhoff and von Neumann invented? A classically mechanical included-middle, whose point and propositional middles cannot be included due their innate mechanicity. Points and propositions are classical lisr objects! They did not say P1 in P2 and P2 in P1, did they? Quantum points, which we call "fuzzons," have arbitrary probability propositions (and (e.g., ~spatial, temporal, energy~mass, etc.) distributions and likelihoods). Classical points ideally do not. (For two fathomable exemplars see our quantum versions of line and circle.)

Their complementation is classical ideal objective negation. Quantum c¤mplæmæntati¤n is massively (scope of reality) subjective. (See Bergson's Negation is Subjective. Also ponder how interpretation/heuristic/hermeneutic of ei as -1 offers one of an unlimited number of metaphors of how quantum c¤mplæmæntati¤n is subjective.)

Conclusion? Birkhoff and von Neumann concluded that quantum logic is still mechanical but different from classical logic. Where classical logic is a Boolean lattice, quantum logic is an orthocomplemented modular lattice. They made some tiny progress but failed massively via retention of mechanicity.

Our reactions in our May, 2004 notes concluded:

  1. There is meet n¤r join,
  2. There is classical identity, and
  3. Quantum reality is n¤t classically logical n¤r classically mechanical.

Karl Popper refuted Birkhoff and von Neumann's paper, however, in our view Popper's own system of thought is questionable: it is mechanical, it assumes complementarity is objective and exclusive, it assumes falsifiability, and it assumes logic may be unambiguous. We accept none of those assumptions. To our ways of thinking, Popper just "didn't get it." Popper's negation is objective. Quantum reality is always ambiguous and thus not mechanical and not analytic due its up to Planck rate animate EIMAness. See our 2004 Bases of Judgment.

Abner Shimony, in 1971, offered his suggestions as a potential solution to Birkhoff and von Neumann's difficulty of interpretation of conjunction and disjunction of propositions:

 

Shimony's Four Suggestions Depicted by Jammer, p. 355

Quantonics' Assessments of Shimony's Suggestions
 1. a intersect b is defined as true if each of the following two experimental procedures always produces the truth value 1, a measurement of projection operator Pa is followed by that of Pb, a measurement of Pb is followed by that of Pa.
  • quantum real 'procedure' can 'always' produce ideal classical truth.
  • Classical '1' does n¤t 'exist' in quantum reality. See One is Only.
  • Quantum tihmings are n¤t unitemporal, homogeneous, analytic, etc.
2.  On the assumption of the reproducibility of state preparation one may measure Pa on one system in the state under discussion, then measure Pb on a second system in the same state, then Pa on a third system in the same state, and so on, and define a intersect b as true if all measurements (now without mutual interference) yield the value 1, a suggestion made by Birkhoff himself.
  • Ideal classical state exists n¤t in quantum reality.
  • Ideal mechanical reproducibility is n¤t possible in quantum reality. Quantum real processes are n¤t reproducible. See repeatability, valid and verify.
  • Ideal clonicity of systems and systems' states is n¤t possible in quantum reality.
  • Ideal mutual noninterference of multiple systems is n¤t possible in quantum reality. (Issues of coherence and decoherence, self interference, etc., here.)
3.  One may admit conjunctions only of propositions that belong to a sublattice which is Boolean.
  • Boolean logic is n¤t viable in quantum reality. Quantum reality is n¤t Boolean.
  • Ideal objective conjunction is n¤t possible in quantum reality.
4.  One may assign to the conjunction of incompatible propositions a logically exceptional status by modifying the object language with the help of a many-valued logic so that no metalinguistic criteria are necessary to exclude such conjunctions from being used as meaningful propositions.
  • Object language is n¤t viable in quantum reality. Quantum reality is n¤t objective.
  • Meaningful classical, ideal, formal, objective, mechanical, analytic, etc. propositions are n¤t viable in quantum reality.

Jammer discusses Martin Strauss' modified logic for quantum mechanics next. Strauss adheres some pretty silly stuff, claiming that von Neumann's use of probability theory is questionable due classical complementarity. He claims the unitarity of any metric is necessary to ensure that "meaningless questions have no meaningful answers." We nearly laughed out loud when we read this bilge. To us, all questions imply some comtext(s) and some answer(s). His Ph.D. dissertation claimed that Birkhoff and von Neumann's paper offers metaphysical propositions whose bases demand physical situations which cannot confirm or contradict them. He felt denouncing distributivity abandons two valuedness. Though he did not grasp it well, he is right! Dialectic is our problem! We have to abandon dialectic (two valuedness) in order to commence understanding and describing quantum reality!

In this section 8.2. Nondistributive Logic and Complementary Logic, Jammer's acknowledgment of Patrick Suppes approach, to us, comes closest to what we consider quantum better. It essentially says quantum reality is waves and waves are probability (and likelihood) distributions. Bravo! Suppes approach still has some problems in its assumption of closure, and quantum complements as classically objective elements.

We reaffirm baselines: quantum reality is nondistributive (as well as noncommutative, nonfactorizable, etc.; note that quantum associativity is vastly omnifferent and omniffering classical associativity, so in that sense quantum reality is non classically associative also; see EIMA and associate) and quantum complementarity is inclusive via macroscopic spatially and temporally arbitrary wave function probability (pastings), plausibility (nowings), and likelihood (futurings) di(omni)stributions. Lack of grasp of these baselines contributed significantly to troubles encountered by and in quantum logicians' efforts.

This section (8.2.) offered us significant growth in understanding some important memeos plus growth in our own innovation of better quantum memes and memeotics.

3. - Many-Valued Logic

Jammer begins this section in a review of Paulette Février's "tri-valent" logic. Paulette sees a need for novel notions of disjunction and conjunction, but she stays with classical legacy objectification, quantification, uni-global context, dissociativity, etc. She, as most others, fails to grasp dialectic as classical logic's primal thorn. Yet she was one who said that quantum logic is "non Aristotelian."

Jammer talks about Hans Reichenbach next. Reichenbach tackled probability as an approach and weighed its value dealing with indeterminacy and pondered its massive philosophical issues. He attempted to apply probability to logical propositions. In Quantonics this works if one throws out dialectic, e.g., dichon(A, B) vis-à-vis quanton(C,D), where C and D are quantons and A and B are dyadic classical objects.

Reichenbach did not recognize this primal quantum meme and went on to apply legacy classical thing-king to his own three valued logic. Part of his legacy is an assumption that classical mathematics are appropriate to use in a novel "quantum logic." To his credit he did recognize that quantum reality is hermeneutic and demands as Philip R. Wallace so astutely put it, "interpretation involves according primacy to subjective memes over objective notions." (Slightly paraphrased to adapt Quantonics' bent.) Classicists expect a single OGC interpretation of reality and conclude that quantum reality's many interpretations thus are a "problem." Rather, heterogeneous interpretations are, instead, a quantum tell: a huge quantum opportunity. Classicists carry similar idiocy over into their notions of 'measurement.' Likewise quantum measurement is heterogeneous, polychronic, pragmalogical, incommensurable, etc. All, to classicists, "absurd prevarication and equivocation." "Nonsense."

Essentially, Reichenbach innovated this: trichon(true, mu, false). His critics responded, quintessentially, "tertium non datur."

Reichenbach was far ahead of his peers in several ways. He saw a need for metalanguage preference over classical objective language. Kurt Gödel would agree. We agree. (A great example here is Gödel's provability as above 'proof,' a metalinguism for 'proof.' )

Almost no one liked Reichenbach's approach...

On Pauli, Jammer shows how Pauli favored "Status quo is the way to go."

On Bohr, Jammer shows that Bohr kept putting quantum logic back in SOM's box via his exclusive and dialectical and bogus versions of (to satisfy Einstein, what Bohr called "exclusive") quantum complementarity. (quantum~flux everywhere~included~middle associates~interrelates quantum~flux; only classical 'concrete' may be "exclusive" - Doug - 9Jul2006)

Born called Reichenbach's approach "a game with symbols." Born claimed that mathematics are "capable" of describing quantum mechanical reality. Trouble is, quantum reality is not mechanical. Classicists use analysis, mechanics, and mathematical formalisms to try to force quantum reality into their dialectical 'concrete' thing-king.

Result? "Back to Copenhagen I."

Von Weizsäcker's infinite valued logic is better than any three valued approach, but von Weizsäcker, like many of his colleagues, via his apparent assumption of analytic stoppability, failed to see quantum reality as emergent and unstoppable process. If von Weizsäcker had assumed a Planck rate, recursive, animate EIMA quantum reality his approach would be similar Quantonics' approach. Bundles of metavectors could be much like our fuzzons. Even so, he too was rejected for his ideas.

This section is interesting, but for us it just doesn't go anywhere. That's very likely appropriate since science's entrenched notions tend to reject almost anything novel, unless science itself is in crisis. Most times novel ideas are viral to science's current paradigm.

Doug - 10Sep2004.

4. - The Algebraic Approach

We took no notes on this section. It is short. Mathematics are objective, formal, and mechanical. They are dialectical and Aristotelian. As such they are essentially useless in any study of a non mechanical quantum reality.

Doug - 10Sep2004.

5. - The Axiomatic Approach

Jammer focuses on Mackey's axiomatic approach.

Let us just synopsize Mackey's axioms' (1 through 9) sprinkled classical dependencies and assumptions:

  1. two primitive (i.e., undefined) notions:
    1. observables (quantum reality demands a memeo of "observablings;" heterogeneity is good and we must also support absolute animacy~process)
    2. states (quantum reality demands a memeo of "statings;" heterogeneity is good and we must also support absolute animacy~process)
  2. the Borel set, a formally pure mathematical concept (but quantum reality is n¤t radically mechanical)
  3. a closed interval [0, 1] exists (quantum reality supports n¤ classical notions of closure, ideal classical zero, and ideal classical one)
  4. disjoint questions (quantum reality offers n¤ analogue of ideal classical disjunction; see axiom 5)
  5. a question-value measure which uniquely determines some observable A (quantum reality offers n¤ single measure which uniquely determines any observable)
  6. observables correspond one-to-one to certain question-valued measurables (quantum reality offers n¤ 1-1 correspondence due animate EIMA quantum flux, plus...)
  7. equivalence (quantum reality offers n¤ means of classically establishing equivalence)
  8. closed set (n¤ closed sets 'exist' in quantum reality)
  9. point (n¤ classical points 'exist' in quantum reality)
  10. simultaneity (depends upon a classical 'definition' of time; classical time is global uni-time; all time is synchronous with a master time, everywhere; classical time is a space-proxy where space is primitive (undefined); so simultaneity, classically, is a space-proxy primitive and appears to quantum reality as a Steinian "decoherent concept;" quantum reality is n¤t a classical space-time extensity)
  11. negation (classical negation is objective; quantum negation issi subjective)
  12. complement (classical complementation is objective and exclusive, i.e., Aristotelian; quantum complementation issi subjective and inclusive)
  13. Boolean (classical logic is Boolean; n¤ such 'concept' 'exists' in quantum reality)
  14. separable (quantum reality issi n¤t classically 'separable')
  15. dimension (quantum reality issi n¤t classically 'di-mensional;' quantum reality appears omnimensional; notice 'di's' innate two-valuedness)
  16. states (ideal classical 'state' does n¤t 'exist' in quantum reality)
  17. proved (ideal classical 'proof' may n¤t be achieved in quantum reality)
  18. property (classically ideal notions of 'property' as a stoppable, state-ic, scalar magnitude does n¤t 'exist' in quantum reality)
  19. certainty (classically ideal notions of certainty do n¤t 'exist' in quantum reality)

Jammer's piece d'resistance, though, comes on p. 394, "If, however, all measurable properties (observables) of a quantum system are taken into consideration objectifiability becomes impossible within the framework of classical logic." This sentence agrees with our Quantonics perspectives and begs a question, "Why did we wade through all that algebraic and axiomatic crap?"

On page 395, Jammer continues, "Mittelstaedt was led to study the validity of logic in nature and in particular, in that part of spatiotemporal reality which can be described by the statements of quantum theory..."

This section ends with all theoreticians jumping back in SOM's classical, dialectical, logical box. Hans Lenk disputed Mittelstaedt's work and Jammer ends this section thus, "Mittelstaedt's alleged misconception was for Lenk just another argument for his general contention that all attempts, carried out so far, to show on philosophical grounds that classical logic has to be supplanted by some form of quantum logic in order to become adequate for modern physics have failed." Pure classical thing-king, folks.

This was all transpiring during 1950s-1960s. Philosophers of this time period still believed that "truth values of logical propositions are time independent," and that "measurement can be verified." Lenk accused "that Mittelstaedt confused the temporal order of measurement processes with the logical order of different stages in [] dialogue."

These 'philosophers' and 'scientists' failed to ask and attempt to answer, we believe, primitive and protoproemial questions, "Whatings, whenings, whereings, whyings, whoings, and howings issi quantum realityings?" See our H5W. They, instead, simply accepted and took for granted quantum reality is classically mechanical! As we, et al., have accused elsewhere, they, as did Einstein, adhered naïve AKA 'local' realism.

To us, quantum reality is n¤t classically mechanical and thus it is n¤t classically logical. To us, quantum logic is an oxymoron.

Quantonics is a novel emerscenturing quantum~science and ~philosophy which attempts to cure many of these classical ills.

Doug - 10Sep2004

6. - Quantum Logic and Logic

Jammer begins this section, "To analyze the more recent views on the relation between quantum logic and logic in general let us resume the problem, partially discussed earlier, whether quantum logic could ever possibly supplant ordinary logic."

He continues, "It would be inconsistent, it was argued, to claim for quantum mechanics as a theory the validity of some kind of nonstandard logic and, at the same time, to apply to quantum mechanical calculations ordinary mathematics which, as is well known, presupposes standard logic." This quote shows classical thing-king's desperate attempts to retain its legacy hierarchy of logic, mathematics, and then science (based upon former twos' hierarchy).

These conundra appeared to demand a whole novel and presumed formal approach.

We see how entrapped all these folk are in classical thing-king methods (CTMs). They cannot get out! They are stuck! They keep looping on CTMs and endlessly reiterating classical, malputative bilge: scalarbation!

To avoid a new quantum principia of quantum formality, Pascual Jordan "...restricted explicitly the scope of quantum logic to the laws of possible connections of statements about the state of a physical system..." Trouble is, folks, quantum reality is n¤t classically physical, n¤r formal, n¤r has it any classical state-icity.

Prion said, "Let's keep the old classical logic! It works in quantum reality too!" But it does n¤t!

Jammer points out that all logic since Aristotle, follows Aristotle, and folks Jammer, et al., did not grasp this conclusion, but that is our problem! Simply, Aristotle blew it, in spades. He logically damned everyone who followed him and believed in his sand- and toy-box toddling.

One notion that is incredibly important to grasp here is that all 'as practiced' logic and mathematics on Earth today find their bases in Aristotle! Few understand that he was just wrong! To us, that is a major catastrophe for our world. It is the key SOM disabler of nearly all thinking on Earth at Millennium III's emergence. Perhaps even more important: Aristotle infects everyday judgment, society, law, epistemology, ethics, politics, and so on. It is an unmitigated disaster of maltuitive thought. We've lived with it for 2500 years. It is nowings rent and purchase for change.

"According to...David Finkelstein..., there is no such thing as an a priori universally valid logic; logic like geometry, undergoes a process of evolution whose first major revolutionary change or 'fracture,' as he called it, became apparent through the abandonment of distributivity—just as the first fracture in Euclidean geometry appeared with the abandonment of Euclid's fifth postulate." Amen! Finkelstein is one of our heroes. To a large extent, he understands. Essentially, Finkelstein denies Aristotle too. Read pp. 404-405 for detail here.

Section 6 continues rehashing, with other actors, issues already covered above. Let's leave it at that.

If you need medication at this juncture, an antidote to too much classicism, see (Irving) Stein (Concept of Object as Foundation of Physics), plus both Don Howard, and Jon P. Jarrett (Philosophical Consequences of Quantum Theory). For some samples and examples see our Bell Theorem Study.

Doug - 11Sep2004.

7. - Generalizations

Except for one paragraph in section 7 of chapter 8, Jammer generalizes quantum logic back into SOM's box. We quote that paragraph in its entirety, "Just as there are two schools among quantum logicians which differ on the issue of whether to formulate quantum logic bivalently or multivalently, so there are, roughly speaking, two opposing views concerning the role which quantum logic has to play methodologically. According to the more radical school the non-Boolean logic, qua empirical logic, plays the role of an explanatory principle in physics; the ultimate significance of the conceptual revolution brought about by quantum mechanics lies in the 'emancipation' of logic from the status of an a priori and purely formal discipline to that of an empirically significant explicans. It is this idea that Finkelstein and Putnam had in mind when they pointed to the analogous development of geometry which in classical physics had an a priori status and became in general relativity an empirically manifested explanatory principle of large-scale space-time phenomena."

So, we give up distributivity...

But folks, that's not all we have to give up! Let's make another one of Doug's notorious lists:

We have to give up classical notions of,

From what we have read and what we understand and what we believe, whatever system of thought accomplishes giving up those notions and innovating novel quantum supersedents, won't be anything like what we mean when we classically say "logical." Quantum reality simply urges us to give up all that classical embungling bogosity.

Jammer penultimends thus, quoting Finkelstein, "We are in a delicate position, using logic to study the need for changing logic." And, potentially, as we would add, eliminating it... Quantum logic is an oxymoron.

Our situation here is kin our own conundrum of using quantum mechanics to rid our world of classical formal mechanics and replace it with a Bohmian nonmechanics supported by a Bohmian nonmathematics which presupposes a Bohmian quantum nonlogic...perhaps quantum super~holographic empiricism (QsHE) or similar.

Jammer's text is simply delicious reading. Our copy has post-its on nearly every page. Jammer and we should benefit were he to place its text on-line for easy access and reference.

Doug - 30May2004 through 12Sep2004.

 



To contact Quantonics write to or call:

Doug Renselle
Quantonics, Inc.
Suite 18 #368 1950 East Greyhound Pass
Carmel, INdiana 46033-7730
USA
1-317-THOUGHT

©Quantonics, Inc., 2004-2030 — Rev. 19Feb2016  PDR — Created 26May2004  PDR
(23Jun2004 rev - Add 'Social Agreement' link under Generalizations.)
(1-2Sep2004 rev - Add sec. 8.2 review.)
(8Sep2004 rev - Add 'peaqlo' link to 'cause' topic in classical quantum vis-à-vis table. Start sec. 8.3 review.)
(10-14Sep2004 rev - Update logic table. Fix blank cells in table. Correct some typos.)
(16Sep2004 rev - More typos and repair unintentional omissions.)
(1Oct2004 rev - Add anchor to page bottom list.)
(13Oct2004 rev - Reset legacy red text. Add red text to 'the' in list just above.)
(31Oct2004 rev - Typos. Correct grammatical errors. Add some red text. Add some links.)
(3Nov2004 rev - Add 'Give Up Classical Notions' anchor. Add 'repeatability' to 'Give Up' list.)
(8-17Nov2004 rev - Typos. Add red text emerqant.)
(28Nov2004 rev - Add 'Coquecigrues' anchor. Add some detail and a link on 'coquecigrues.')
(21Jan2005 rev - Add anchor to Classical Logic vav Quantum Reality table.)
(24Feb2005 rev - Alter table's quantum column label.)
(18,24Apr2005 rev - Extend 'Judgment' item under 'logic' comparison table near page top. Add two column title lines to Classical Logic vav Coquecigrues table.)
(5Jun2005 rev - Adjust coquecigrues logic comparison table cell widths.)
(15Aug2005 rev - Add Rosebush link and red text updates near page top.)
(18Sep2005 rev - Update Jammer Table term 'Middle.' Reset red text. Add 'a Geertzian "anti-anti"' link under 'Coquecigrues.')
(29Oct2005 rev - Move 'summary' anchor up one paragraph.)
(14Nov2005 rev - Update near page top logic table.)
(11,21Dec2005 rev - Add 'quanta' and 'qubit' links under Classical Logic vis-à-vis Coquecigrues Table. Update 'cause' there too.)
(26,31Jan2006 rev - Add Two-Valuedness anchor. Add 'EOOO,' 'CTM,' and 'Dialectic' links there. Add detail on 'logic.')
(19Apr2006 rev - Update our 'Give Up Classical Notions' list.)
(1Jun2006 rev - Add our quote of James heuristics on a new logic of dynamic 'fact.')
(9Jul2006 rev - Add 'Bohr Update' link under 'bogus versions' in Section 3 of Chapter 8 Critique.)
(28Aug2006 rev - Update 'classical logic' vav coquecigrues table near page top.)
(4Nov2006 rev - Add comment re: quantum~reality as nonconservative via quanton(wu,yu). Add 'availability impossible' link under quantum logic column of page top table on coquecigrues.)
(7Nov2006 rev - Change 'Bohm' to 'Bohr' under Section 3.)
(7,10Dec2006 rev - Update logic table near page top. Reset some legacy red text.)
(17Jan2007 rev - Update logic table and remove legacy red text.)
(14Feb2007 rev - Add 'Quantum Omnilateral Memes' link.)
(23Apr2007 rev - Update 'identity' in our list of classical notions we have to give up.)
(25May2007 rev - Section 2 update on 'simultaneous,' and 'simultaneity.')
(15Jul2007 rev - Repair '[]
dentical' to 'identical.')
(4,6Aug2007 rev - Add 'Suppes' anchor. Add reminder to add TSSofQ QM and R comparison link.)
(20Nov2007 rev - Add QM vav R link to Hoffmann's TSSoTQ - Act II.)
(17Dec2007 rev - Reformat slightly.)
(1Apr2008 rev - Add aside on Quantonics' Simultaneity resources.)
(7Sep2008 rev - Update Classical vav Quantum Logics table.)
(8Dec2008 rev - Replace some fonts with gifs. Reset legacy markups.)
(6,11,13Feb2009 rev - Add 'commutation' to Classical vav Coquecigrues table. Add link to our QELR of 'quantum~aware.' Update table's granularity topic.)
(20Mar2009 rev - Add 'simultaneity' comments for both classical isochronic notions and quantum phasistic memeos under 'Nondistributive Logic and Complementary Logic.')
(5Apr2009 rev - Update classical vav coquecigrues table with new links to recent, CeodE 2009, emerqants.)
(5Aug2009 rev - Update classical vav quantum logic table's 'commutation' for tensors and abelian groups.)
(9Jan2010 rev - Make page current. Adjust colors. Fix and e to pixi typo. Reset legacy markups.)
(11May2010 rev - Add 'quantum negation' link to QELR of 'negate.' Also see our QELR of 'cancel.')
(2Jul2010 rev - Add Bohm EUUaC link to Doug's omniscription of 'interference' under our quantum logic table's omniscription of quantum affectation (classical 'cause').)
(20Feb2011 rev - Update 'coquecigrues' table items 'change' and 'stability.')
(11Jan2012 rev - Update 'coquecigrues' table item 'stability.')
(19Jun2013 rev - Add link to 2012 QELR of Value near page top.)
(29Mar2014 rev - Update coquecigrues table.)
(27Oct2014 rev - Near page top add, 'in Autiot it looks like: quanton(Aleph,Yod)...')
(19Feb2016 rev - Two table updates, a 'hive sense' update, and a 'signatureings' update)


Arches