Аннотация:Рассмотрена роль квантовой логики в математическом обосновании квантовой механики. Показано,
что статья Биркгофа и фон Неймана (1936 г.) внесла вклад в последовательно строгое изложение квантовой механики. Идея решетки квантовых высказываний, изложенная Биркгофом и фон Нейманом, была в конце 20 века доработана до уровня обобщенной квантовой теории вероятностей.