dor_id: 4115623

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: https://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: http://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://critica.filosoficas.unam.mx/index.php/critica/article/view/296/287

100.1.#.a: Lungarzo, Carlos

524.#.#.a: Lungarzo, Carlos (1979). Posibilidades de generalización de las lógicas cuánticas. Crítica. Revista Hispanoamericana de Filosofía; Vol 11 No 31, 1979; 89-110. Recuperado de https://repositorio.unam.mx/contenidos/4115623

245.1.0.a: Posibilidades de generalización de las lógicas cuánticas

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 1979

264.#.1.c: 2018-11-09

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: http://critica.filosoficas.unam.mx/index.php/critica/article/view/296

001.#.#.#: critica:oai:ojs2.132.248.184.97:article/296

041.#.7.h: spa

520.3.#.a: The complete and atomic orthomodular lattice structure which is formed by the projectors (or equivalently, by the closed subspaces) of a complex and separable Hilbert space will be indicated in this paper by LG (H), where H is the Hilbert space. (We take operations and distinct elements for granted.) LG (H) is, classically considered, the “typical” logic of quantum mechanics, in the following sense: if H is the space associated with physical system S, then H’s rays, the ultramaximal operators, etc., represent typical properties of S, such as observable states and magnitudes. LG (H) is simply an element in model sets of more general theories such as the orthomodular lattice set, which we formalize in § 2, using a second-order logic. This generalization, which we call “formal” because it consists merely of giving more permissive axioms that facilitate the apparition of new structures other than LG (H), can yet be extended. In § 2 we use infinitarian logics, where a numerable number of conjunctions and quantificators is permitted, to express the theory of orthomodular partially ordered sets (posets). That formulation uses essentially the logic called (omega-1, omega-1), and a conjecture is raised about proving it cannot be realized within a weaker logic. The way to prove this, it is suggested, should be analogous to the way the indefinability of well-ordering is proved. Such generalizations are analogous to those obtained when we pass, e.g., from the field of real numbers to any commutative, Archimedian, etc., field; then to a commutative ring with and unity, and so on. They are, therefore, formal, in the sense that (1) they do not “say” much about the initial structure which motivated the generalization and that (2) in generalizing, we allow the “entrance” of new structures that have little to do with the original motivation. For instance, in the theory of orthomodular lattices, besides Hilbert-space logics (or those based on other topological vectorial spaces), new models appear, such as finite or orthomodular lattices, for which the name “quantum logic” has little sense. In § 3 we study the modifications, and eventual generalizations, of the basic structure that generates quantum logic, i.e., the infinite-dimensional separable complex Hilbert space structure. A first way seems to be the generalizing of the field, and it is analyzed in § 3.1. In principle, it seems natural to admit that the field must contain some copy of the field of real numbers, or have at least an expressive force as great as theirs. This is why the use of real fields and for a greater certainty, of complex fields in the H spaces of quantum mechanics seems to be fully justified. They study of quaternions, carried on by Emch and others, but not clearly completed yet, could lead to an equivalent quantum mechanics, notwithstanding the non-commutativity of this field. Anyway, real, complex and quaternions seem to be only fields with a “natural” right to sustentate these spaces. The incompleteness of rational fields, and their undesirable properties as to dimension and measurability, cause them to be rejected. Other proposals are studied. Leaving aside Hensel’s bodies, that seem to be wholly different in nature, we are left with p-adics Qp and Galois’ fields as the only reasonable candidates. Know algebraic results are then invoked, according to which an extension or completion of these bodies would not lead to the desired results. Quite simply, we would not, save on trivial instances, have any logic at all. It is a well-known fact that by completing p-adic fields (let K be such a completion) we arrive at space (V, K) upon that field, which does not allow to define hermitian forms for dimensions greater than 4. Actually, no involutory anti-automorphism of the field (such as complex conjugation) permits to associate any quadratic form for a dimension greater than or equal to 5. Things are even worse in the case of Galois’ fields where limitative results begin to appear already in dimensions greater than 2. In § 3.2 we choose to accept the complex numbers body C as a canonic body, and see whether it is possible to generalize space into a class that need not be Hilbert’s. There are various possibilities: to consider Banach spaces, or else more or less general local convex spaces, and particularly, to focus analysis on Mackey spaces. For Banach spaces there appear Maczynski’s limitative results; for Mackey spaces, “analogous” results from Wilbur. (Cf. references at the end of the essay.) As a matter of fact, only infinite-dimensional spaces can be of any interest. In this case, if a Mackey space has an “acceptable” topology, i.e., a stronger one than the so-called weak convergence topology, and its LG (M) is really a logic, then M is once again a Hilbert space. Several of these results to the conclusion that we can hardly obtain a different logic (a more general or anyway more informative one) by taking the class LG (E) of some non-Hilbert space E. Rayski’s proposition about substituting Schwartz space for Hilbert space is also considered, but although such a substitution would modify actual work “within” the space in the interests of formalization, it is natural to expect the apparition of a logic LG (S), equivalent to former logics. Maybe the part special logics play in quantum mechanics will be entirely unnecessary when the axiomatizing of a physical system can be done in terms of some kind of spaces that leaves no doubt about its usefulness. [C.L.] Resumen

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol 11 No 31 (1979); 89-110

773.1.#.o: http://critica.filosoficas.unam.mx/index.php/critica

046.#.#.j: 2021-09-28 00:00:00.000000

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 89-110

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

758.#.#.1: http://critica.filosoficas.unam.mx/index.php/critica

doi: https://doi.org/10.22201/iifs.18704905e.1979.296

handle: 00fee24eda140bb9

harvesting_date: 2021-05-17 10:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2010-10-13 00:32:37.0

file_modification_date: 2010-10-31 21:28:25.0

file_creator: Claudia Chavez

file_name: bc7ee01b45bb0db210cae18766e1dc5fe377a8238166a8d3bf069db696a39fbc.pdf

file_pages_number: 22

file_format_version: application/pdf; version=1.5

file_size: 557036

245.1.0.b: Posibilidades de generalización de las lógicas cuánticas

last_modified: 2023-08-23 12:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2

Artículo

Posibilidades de generalización de las lógicas cuánticas

Lungarzo, Carlos

Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Cita

Lungarzo, Carlos (1979). Posibilidades de generalización de las lógicas cuánticas. Crítica. Revista Hispanoamericana de Filosofía; Vol 11 No 31, 1979; 89-110. Recuperado de https://repositorio.unam.mx/contenidos/4115623

Descripción del recurso

Autor(es)
Lungarzo, Carlos
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
Posibilidades de generalización de las lógicas cuánticas
Fecha
2018-11-09
Resumen
The complete and atomic orthomodular lattice structure which is formed by the projectors (or equivalently, by the closed subspaces) of a complex and separable Hilbert space will be indicated in this paper by LG (H), where H is the Hilbert space. (We take operations and distinct elements for granted.) LG (H) is, classically considered, the “typical” logic of quantum mechanics, in the following sense: if H is the space associated with physical system S, then H’s rays, the ultramaximal operators, etc., represent typical properties of S, such as observable states and magnitudes. LG (H) is simply an element in model sets of more general theories such as the orthomodular lattice set, which we formalize in § 2, using a second-order logic. This generalization, which we call “formal” because it consists merely of giving more permissive axioms that facilitate the apparition of new structures other than LG (H), can yet be extended. In § 2 we use infinitarian logics, where a numerable number of conjunctions and quantificators is permitted, to express the theory of orthomodular partially ordered sets (posets). That formulation uses essentially the logic called (omega-1, omega-1), and a conjecture is raised about proving it cannot be realized within a weaker logic. The way to prove this, it is suggested, should be analogous to the way the indefinability of well-ordering is proved. Such generalizations are analogous to those obtained when we pass, e.g., from the field of real numbers to any commutative, Archimedian, etc., field; then to a commutative ring with and unity, and so on. They are, therefore, formal, in the sense that (1) they do not “say” much about the initial structure which motivated the generalization and that (2) in generalizing, we allow the “entrance” of new structures that have little to do with the original motivation. For instance, in the theory of orthomodular lattices, besides Hilbert-space logics (or those based on other topological vectorial spaces), new models appear, such as finite or orthomodular lattices, for which the name “quantum logic” has little sense. In § 3 we study the modifications, and eventual generalizations, of the basic structure that generates quantum logic, i.e., the infinite-dimensional separable complex Hilbert space structure. A first way seems to be the generalizing of the field, and it is analyzed in § 3.1. In principle, it seems natural to admit that the field must contain some copy of the field of real numbers, or have at least an expressive force as great as theirs. This is why the use of real fields and for a greater certainty, of complex fields in the H spaces of quantum mechanics seems to be fully justified. They study of quaternions, carried on by Emch and others, but not clearly completed yet, could lead to an equivalent quantum mechanics, notwithstanding the non-commutativity of this field. Anyway, real, complex and quaternions seem to be only fields with a “natural” right to sustentate these spaces. The incompleteness of rational fields, and their undesirable properties as to dimension and measurability, cause them to be rejected. Other proposals are studied. Leaving aside Hensel’s bodies, that seem to be wholly different in nature, we are left with p-adics Qp and Galois’ fields as the only reasonable candidates. Know algebraic results are then invoked, according to which an extension or completion of these bodies would not lead to the desired results. Quite simply, we would not, save on trivial instances, have any logic at all. It is a well-known fact that by completing p-adic fields (let K be such a completion) we arrive at space (V, K) upon that field, which does not allow to define hermitian forms for dimensions greater than 4. Actually, no involutory anti-automorphism of the field (such as complex conjugation) permits to associate any quadratic form for a dimension greater than or equal to 5. Things are even worse in the case of Galois’ fields where limitative results begin to appear already in dimensions greater than 2. In § 3.2 we choose to accept the complex numbers body C as a canonic body, and see whether it is possible to generalize space into a class that need not be Hilbert’s. There are various possibilities: to consider Banach spaces, or else more or less general local convex spaces, and particularly, to focus analysis on Mackey spaces. For Banach spaces there appear Maczynski’s limitative results; for Mackey spaces, “analogous” results from Wilbur. (Cf. references at the end of the essay.) As a matter of fact, only infinite-dimensional spaces can be of any interest. In this case, if a Mackey space has an “acceptable” topology, i.e., a stronger one than the so-called weak convergence topology, and its LG (M) is really a logic, then M is once again a Hilbert space. Several of these results to the conclusion that we can hardly obtain a different logic (a more general or anyway more informative one) by taking the class LG (E) of some non-Hilbert space E. Rayski’s proposition about substituting Schwartz space for Hilbert space is also considered, but although such a substitution would modify actual work “within” the space in the interests of formalization, it is natural to expect the apparition of a logic LG (S), equivalent to former logics. Maybe the part special logics play in quantum mechanics will be entirely unnecessary when the axiomatizing of a physical system can be done in terms of some kind of spaces that leaves no doubt about its usefulness. [C.L.] Resumen
Idioma
spa
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

Enlaces