В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.
Шоколад может быть опасен из-заPкадмия вPкакао-бобах
Оказывается, какао может обладать токсичными свойствами. Ученые считают, что во всем виновата почва, в которой выращиваются какао-бобы. Большая часть деревьев растет в Латинской Америке, где было обнаружено огромное количество следов кадмия, сообщает CDC.
Шоколад из пищевых отходов приготовили в США
Недавно ученые в ходе своих исследований выявили, что помесь кожуры арахиса и кофейных отходов, из которого был изготовлен уникальный молочный шоколад, обладает большим количеством антиоксидантов.