- логическая теория, цель которой - описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько радикальным, что возникла идея особой "логики микромира", отличной от обычной "логики макромира". В середине 30-х годов была построена первая Л. к. м., положившая начало еще одному направлению логики неклассической. Позднее немецкий философ и логик Г. Рейхенбах (1891-1953) предложил трехзначную логику без закона исключенного третьего, призванную устранять "причинные аномалии", возникающие при попытке применять обычное причинное объяснение к квантовым явлениям. К настоящему времени построены десятки логических систем, стремящихся выявить своеобразие рассуждений в квантовой механике. Эти "логики микромира" существенно отличаются друг от друга как законами, так и способами обоснования. Чаще всего в этих логических системах отказываются от закона коммутативности для конъюнкции ("и") и дизъюнкции ("или") (выражение "А и В" не считается равносильным выражению "В и А", а "А или В" - равносильным "В или A"), от закона дистрибутивности конъюнкции относительно дизъюнкции и др. В первый период своего развития Л. к. м. встретила как критику, так и одобрение. Длительная полемика не внесла, однако, ясности в вопрос, действительно ли квантовая механика руководствуется особой логикой. Если даже это так, надо признать, что исследования в данном направлении не оказали воздействия на саму механику. Вместе с тем Л. к. м. нашла интересные приложения в некоторых других областях.