Resultats de la cerca
Es mostren 2 resultats
lògica
Lògica
Ciència que estudia sistemàticament els enunciats vàlids o formalment veritables (entenent que un enunciat és formalment veritable si són veritables tots els enunciats que tenen el mateix esquema lògic) o que tracta de la relació de conseqüència entre enunciats.
A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la…
lògica de la mecànica quàntica
Lògica
Lògica no clàssica sorgida en el camp de la mecànica quàntica en observar (John Von Neumann i Garret Birkhoff, 1936) que les ‘‘proposicions’’ relatives als enunciats d’aquesta mecànica podien ésser representades per subspais tancats d’un espai de Hilbert complex i separable, com espai natural del càlcul operacional amb el qual s’estudià i fonamentà la mecànica quàntica (anàlogament a com les proposicions del càlcul de probabilitats són representades per subconjunts d’un conjunt de resultats elementals).
Així, la lògica de la mecànica quàntica és el càlcul reticular dels subespais tancats d’un tal espai de Hilbert, on la intersecció o mínim és la intersecció conjuntista ordinària, la negació o complementari és el complement ortogonal i la unió o màxim de dos subespais és el subespai més petit que els conté tots dos s’obté un reticle que no és modular i que dóna, per tant, una lògica molt apartada de la clàssica en què el reticle és distributiu En aquesta lògica, la incoherència no implica necessàriament contradicció encara que aquesta sempre implica aquella com a reflex del principi que hi ha…