| dbo:abstract
|
- في ميكانيكا الكم، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 من إعداد غاريت بيرخوف وجون فون نيومان، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع والزخم. يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي وغير ارتباطي. تم اقتراح المنطق الكمي باعتباره المنطق الصحيح للاستدلال المقترح بشكل عام، وعلى الأخص الفيلسوف هيلاري بوتنام، على الأقل في مرحلة واحدة من حياته المهنية. كانت هذه الأطروحة مكونًا مهمًا في بحث بوتنام لعام 1968 «هل المنطق تجريبي؟» حيث قام بتحليل الحالة المعرفية لقواعد المنطق الافتراضي. ينسب بوتنام فكرة أن الشذوذات المرتبطة بالقياسات الكمية تنشأ مع الشذوذات في منطق الفيزياء نفسه إلى الفيزيائي ديفيد فينكلستين. ومع ذلك، كانت هذه الفكرة موجودة لبعض الوقت وتم إحياءها قبل عدة سنوات من خلال عمل جورج ماكي بشأن تمثيل المجموعات والتماثل. لكن الرأي الأكثر شيوعًا فيما يتعلق بالمنطق الكمومي، هو أنه يوفر شكلاً رسميًا فيما يتعلق بالملاحظات ذات الصلة، ومرشحات إعداد النظام والحالات. في هذا الرأي، يشبه النهج المنطقي الكمومي بشكل أو بآخر النهج الجبرالي في ميكانيكا الكم. إن أوجه التشابه في الشكلية المنطقية الكمومية لنظام المنطق الاستنتاجي يمكن اعتبارها فضولاً أكثر منها حقيقة ذات أهمية فلسفية أساسية. يتمثل الأسلوب الأكثر حداثة في بنية المنطق الكمومي في افتراض أنه مخطط - بمعنى نظرية الفئة - للمنطق الكلاسيكي (انظر ديفيد إدواردز). (ar)
- En kvantuma mekaniko, kvantuma logiko estas serio de reguloj por rezonado pri propozicioj kiuj sekvas la principojn de kvantuma teorio. Tiu esplorareo kaj ties nomo originiĝis en artikolo de 1936 de Garrett Birkhoff kaj John von Neumann, kiuj estis klopodante rekongruigi la ŝajnan nekonsistecon de la klasika logiko kun la fakto rilataj al la mezurado de komplementaj variabloj en kvantuma mekaniko, tiel kiel pozicio kaj momanto. Kvantuma logiko povas esti formulata ĉu kiel modifita versio de propozicia logiko aŭ kiel nekomutativa kaj ne-asocia plurvalora logiko. Kvantuma logiko estis proponita kiel la ĝusta logiko por la propozicia inferenco ĝenerale, plej rimarkinde fare de la filozofo Hilary Putnam, almenaŭ je unu momento de sia kariero. Tiu tezo estis grava ingredienco en la artikolo de Putnam de 1968 nome "Is Logic Empirical?" en kiu li analizis la epistemologian statuson de la reguloj de propozicia logiko. Putnam atribuas la ideon ke anomalioj asociaj al kvantumaj mezuroj originitaj kun anomalioj en la logiko de fiziko mem al la fizikisto David Finkelstein. Tamen, tiu ideo estis en la aero dum iom da tempo kaj estis revivigita kelkajn jarojn pli frue fare de George Mackey per sia verko pri grupa prezento kaj simetrio. (eo)
- En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales proposiciones son aquellas relativas al momento lineal o a la posición en el espacio de un electrón. La lógica cuántica puede considerarse como un sistema formal paralelo al cálculo proposicional de la lógica clásica, donde en esta última, las operaciones para combinar proposiciones son las conectivas lógicas y los predicados entre proposiciones son equivalencia e implicación. La lógica cuántica fue creada con el propósito de tratar matemáticamente las anomalías relativas a la medición, como el principio de incertidumbre, en la mecánica cuántica. Estas surgen por la medición simultánea de observables complementarios en escalas atómicas. La expresión "lógica cuántica" también se refiere a la rama interdisciplinária de física, matemática, lógica y filosofía que estudia el formalismo y las bases empíricas de estas reglas algebraicas. Cabe destacar que la lógica cuántica es una disciplina científica independiente y con objetivos diferentes a los de la informática cuántica, aunque ambas dependen, por supuesto, de la física cuántica. (es)
- Als Quantenlogik (englisch quantum logic) werden Versuche bezeichnet, ein logisches System zu formulieren, das den Prinzipien der Quantenmechanik gerecht wird. Die Strukturen der Quantenphysik wirken paradox und sind teilweise schwer nachzuvollziehen. Fragestellungen wie die, ob Schrödingers Katze lebt, fordern das Verständnis heraus. Im Kontext der mathematischen Strukturen der Schrödingergleichung und der Heisenbergschen Unschärferelation wurde deshalb eine Logik gesucht, die Deutungen der Quantenmechanik wie dem Komplementaritätsprinzip oder dem Korrespondenzprinzip nachempfunden ist. Dazu musste die herkömmliche Logik modifiziert werden. Es gibt im Wesentlichen drei verschiedene Ansätze zur Quantenlogik:
* John von Neumann und Garrett Birkhoff entdeckten als erste in den mathematischen Strukturen der Quantenphysik (Hilbertraum, Hamiltonoperator) eine von der bis dahin üblichen Booleschen Algebra abweichende so genannte orthomodulare Logik.
* Hans Reichenbach und andere entwickelten aus einer Wahrscheinlichkeitslogik eine dreiwertige Quantenlogik mit den Wahrheitswerten wahr, falsch und unbestimmt.
* Peter Mittelstaedt, Ernst-Walther Stachow und Carl Friedrich von Weizsäcker entwickelten die dialogische Logik zu einer zeitlichen Logik der Quantenprozesse um. Hilary Putnam nahm 1968 die Quantenlogik zum Anlass, die a-priori-Geltung logischer Gesetze insgesamt in Frage zu stellen, was eine Debatte um den Status logischer und algebraischer Gesetzmäßigkeiten auslöste. (de)
- La logique quantique est la base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique. En particulier, les observables n'étant pas forcément commutatives, le théorème d'Heisenberg (cf. le principe d'incertitude), entraîne la notion d'intricats, notion purement quantique comme l'illustre celle de chat mort & vivant du célèbre paradoxe du chat de Schrödinger. John von Neumann a montré, en réfléchissant aux fondations de la mécanique quantique, que la logique d'Aristote (cf. Organon) était en contradiction avec la logique quantique. En particulier la notion du tiers exclu n'existe pas en logique quantique. George Mackey, puis (en) ont développé ces réflexions, puis beaucoup d'autres. (fr)
- In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure. Quantum logic has been proposed as the correct logic for propositional inference generally, most notably by the philosopher Hilary Putnam, at least at one point in his career. This thesis was an important ingredient in Putnam's 1968 paper "Is Logic Empirical?" in which he analysed the epistemological status of the rules of propositional logic. Modern philosophers reject quantum logic as a basis for reasoning, because it lacks a material conditional; a common alternative is the system of linear logic, of which quantum logic is a fragment. Mathematically, quantum logic is formulated by weakening the distributive law for a Boolean algebra, resulting in an orthocomplemented lattice. Quantum-mechanical observables and states can be defined in terms of functions on or to the lattice, giving an alternate formalism for quantum computations. (en)
- 量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。 (ja)
- 논리학과 양자역학에서 양자 논리(量子論理, 영어: quantum logic)는 양자역학의 상태 공간의 대수적인 이론을 논리학적으로 해석하는 이론이다. 양자 논리는 고전 논리(불 대수)와 여러 성질들을 공유하지만, 고전 논리의 분배법칙이 양자 논리에서는 일반적으로 성립하지 않는다. (ko)
- Em Física Matemática, lógica quântica é um conjunto de regras para o raciocínio relativo a uma classe proposições para as quais os princípios da teoria quântica são considerados. Esta área de pesquisa e este nome originaram-se em uma publicação de 1936 de Garrett Birkhoff e John von Neumann, que tentaram reconciliar a aparente inconsistência da lógica booleana clássica com os fatos relacionados as medições de na mecânica quântica, tais como a posição e o momento. A lógica quântica pode ser formulada como uma versão modificada da lógica proposicional ou como uma não comutativa. Dentro das propriedades que claramente a distinguem da lógica clássica,encontra-se a falha da da lógica proposicional. p e (q ou r) = (p e q) ou (p e r), Onde os símbolos p, q e r são variáveis proposicionais. Para ilustrar como a lei distribuitiva falha, considere-se uma partícula movendo em uma reta e tendo: p = "a partícula está se movendo para a direita"q = "a partícula está no intervalo [-1,1]"r = " a partícula não está no intervalo [-1,1]" Se a proposição "q ou r" é verdadeira, então p e (q or r) = p Por outro lado, as proposições "p e q" e "p e r" são ambas falsas, desde que elas se referem simultaneamente a valores de posição e momento, o que não é permitido pelo principio da incerteza. Então, (p e q) ou (p e r) = falso Portanto a lei distributiva falha. (pt)
- Квантовая логика — раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить очевидную несогласованность классической логики с фактами по поводу измерения дополнительных переменных в квантовой механике, как например координата и импульс. Квантовая логика может быть сформулирована как измененная версия логики высказываний. Она имеет несколько свойств, которые отличают её от классической логики. В частности, отсутствие дистрибутивности: , где символы , и — . Чтобы проиллюстрировать, почему дистрибутивный закон не работает, рассмотрим движущуюся по прямой частицу. Далее, пусть логические переменные , и имеют следующие значения:
* «частица двигается вправо»;
* «частица слева от начала координат»;
* «частица справа от начала координат». Тогда предложение «» всегда верно, точно как и С другой стороны, «» и «» неверны, так как требуют более жёстких условий одновременных значений позиции и инерции, что не возможно по принципу неопределённости Гейзенберга. Поэтому и дистрибутивность не может существовать. Представьте лабораторию, которая имеет аппаратуру, необходимую для измерения скорости пули, выпущеной из огнестрельного оружия. Тщательно подбирая условия (температуру, влажность, давление и т.д.), необходимо неоднократно выстрелить из одного и того же оружия и провести измерения скоростей. Это даст некоторое распределение скоростей. Однако мы не будем стремиться получить тем же образом эти значения для каждого индивидуального измерения, для каждой группы измерений; мы ожидаем, что эксперимент приводит к такому же распределению скоростей. В частности, мы можем ожидать распределения вероятностей предложениям, например, { a ≤ скорость ≤ b}. Поэтому естественно предложить, что при контролируемых условиях подготовки измерение классической системы можно описать мерой вероятности на пространстве состояний. Такая же статистическая структура также присутствует в квантовой механике.Для более подробной информации о статистике квантовых систем, смотрите учебные пособия по квантовой статистической механике. (ru)
- Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів. Вона часто називається сучасною основою, або структурою квантових розрахунків. Звичайна булева логіка не застосовна для квантових розрахунків з огляду на вимогу зворотності квантових процесів. Квантова механіка вимагає щоб за результатом дії можна було б однозначно визначити початкові операнди. Наприклад, якщо в звичайній логіці результат операції АБО — істина, то можна зробити висновок, що хоча б один з двох операндів мав значення істинності. Точно визначити, який із них був істинним, чи, можливо, істинними були обидва, — неможливо. Така ситуація недопустима в квантовій механіці, тому операція АБО не може бути реалізованою квантовим комп'ютером. З огляду на це квантова логіка користується іншими логічними операціями, які мають властивості оборотності. Квантова логіка пропонувалася як правильна логіка висловлювань взагалі, зокрема таку думку підтримував філософ Гіларі Патнем, принаймні в одній точці у своїй кар'єрі. Ця теза була важливою складовою в роботі Патнема Is Logic Empirical?, в якій він проаналізував епістемологічний статус правил логіки висловлювань. Гіларі Патнем назвав фізика автором думки, що аномалії, пов'язані з квантовими вимірюваннями, властиві самій логіці фізики. Однак, ця ідея вже існувала деякий час, її відродив в роботі 1963 року щодо теорії представлень груп симетрії. Проте, загальніша точка зору відносно квантової логіки полягає в тому, що вона надає формалізм для зіставлення квантових спостережуваних, фільтрів системи підготовки та станів. Подібність квантового логічного формалізму до системи дедуктивної логіки можна розглядати радше як курйоз, ніж як факт фундаментального філософського значення. (uk)
|
| rdfs:comment
|
- 量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。 (ja)
- 논리학과 양자역학에서 양자 논리(量子論理, 영어: quantum logic)는 양자역학의 상태 공간의 대수적인 이론을 논리학적으로 해석하는 이론이다. 양자 논리는 고전 논리(불 대수)와 여러 성질들을 공유하지만, 고전 논리의 분배법칙이 양자 논리에서는 일반적으로 성립하지 않는다. (ko)
- في ميكانيكا الكم، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 من إعداد غاريت بيرخوف وجون فون نيومان، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع والزخم. يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي وغير ارتباطي. (ar)
- Als Quantenlogik (englisch quantum logic) werden Versuche bezeichnet, ein logisches System zu formulieren, das den Prinzipien der Quantenmechanik gerecht wird. Die Strukturen der Quantenphysik wirken paradox und sind teilweise schwer nachzuvollziehen. Fragestellungen wie die, ob Schrödingers Katze lebt, fordern das Verständnis heraus. Im Kontext der mathematischen Strukturen der Schrödingergleichung und der Heisenbergschen Unschärferelation wurde deshalb eine Logik gesucht, die Deutungen der Quantenmechanik wie dem Komplementaritätsprinzip oder dem Korrespondenzprinzip nachempfunden ist. Dazu musste die herkömmliche Logik modifiziert werden. (de)
- En kvantuma mekaniko, kvantuma logiko estas serio de reguloj por rezonado pri propozicioj kiuj sekvas la principojn de kvantuma teorio. Tiu esplorareo kaj ties nomo originiĝis en artikolo de 1936 de Garrett Birkhoff kaj John von Neumann, kiuj estis klopodante rekongruigi la ŝajnan nekonsistecon de la klasika logiko kun la fakto rilataj al la mezurado de komplementaj variabloj en kvantuma mekaniko, tiel kiel pozicio kaj momanto. Kvantuma logiko povas esti formulata ĉu kiel modifita versio de propozicia logiko aŭ kiel nekomutativa kaj ne-asocia plurvalora logiko. (eo)
- En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. (es)
- In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure. (en)
- La logique quantique est la base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique. En particulier, les observables n'étant pas forcément commutatives, le théorème d'Heisenberg (cf. le principe d'incertitude), entraîne la notion d'intricats, notion purement quantique comme l'illustre celle de chat mort & vivant du célèbre paradoxe du chat de Schrödinger. (fr)
- Em Física Matemática, lógica quântica é um conjunto de regras para o raciocínio relativo a uma classe proposições para as quais os princípios da teoria quântica são considerados. Esta área de pesquisa e este nome originaram-se em uma publicação de 1936 de Garrett Birkhoff e John von Neumann, que tentaram reconciliar a aparente inconsistência da lógica booleana clássica com os fatos relacionados as medições de na mecânica quântica, tais como a posição e o momento. p e (q ou r) = (p e q) ou (p e r), Se a proposição "q ou r" é verdadeira, então p e (q or r) = p (p e q) ou (p e r) = falso (pt)
- Квантовая логика — раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить очевидную несогласованность классической логики с фактами по поводу измерения дополнительных переменных в квантовой механике, как например координата и импульс. , где символы , и — .
* «частица двигается вправо»;
* «частица слева от начала координат»;
* «частица справа от начала координат». Тогда предложение «» всегда верно, точно как и (ru)
- Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів. Вона часто називається сучасною основою, або структурою квантових розрахунків. Звичайна булева логіка не застосовна для квантових розрахунків з огляду на вимогу зворотності квантових процесів. Квантова механіка вимагає щоб за результатом дії можна було б однозначно визначити початкові операнди. Наприклад, якщо в звичайній логіці результат операції АБО — істина, то можна зробити висновок, що хоча б один з двох операндів мав значення істинності. Точно визначити, який із них був істинним, чи, можливо, істинними були обидва, — неможливо. Така ситуація недопустима в квантовій механіці, тому операція АБО не може бути реалізованою квантовим комп'ютером. З огляду на це квантова логіка користує (uk)
|
