Ослаблення усталеного символічного впровадження: чи потрібна істина в математиці як точної науки
Під час свого розвитку квантова логіка початку посилатися не тільки на традиційну, але і на кілька напрямів сучасних досліджень, які намагалися зрозуміти механіку з логічної точки зору. Було представлено множинних квантових підходів, щоб ввести різні стратегії і проблеми, які обговорюються в літературі квантової механіки. Коли це можливо, виключені непотрібні формули, щоб дати інтуїтивне розуміння понять до отримання або введення пов’язаної математики.
Багаторічний питання в інтерпретації квантової механіки полягає в тому, доступні принципово класичні пояснення для квантовомеханических явищ. Квантова логіка зіграла більшу роль у формуванні та уточненні цього обговорення, зокрема дозволяючи нам бути досить точним щодо того, що ми розуміємо під класичним поясненням. Тепер з точністю можна встановити, які теорії можна вважати достовірними, а які – логічним завершенням математичних суджень.
