Ebook: Логическая семантика и философские основания логики

М.: МГУ, 1986. — 360 с.В монографии в систематической форме излагаются философские основания классической и неклассической логик.
Логические структуры и связи не являются отображением, зеркалом чего-либо в самой действительности. Ещё Э. Гуссерль отмечал – и совершенно верно, – что связи тут идеальные, логика – не эмпирическая наука, в её основаниях лежат идеальные связи. В ходе познавательной деятельности вырабатываются определённые абстракции и идеализации, мы апеллируем к особого рода идеальным объектам – и всё это ложится в основу логических связей. Так, согласно Гильберту, применение обычных законов логики зависит от того, имеем ли мы дело с «действительными предложениями» математики или с «идеальными» (высказываниями об «идеальных элементах»). Мир логики (её оснований) – идеальный мир, и семантики различного типа логических систем предполагают введение специального типа идеальных сущностей. Вопрос этот весьма интересен и сложен. Отсюда – и проблемы номинализма и платонизма в самой семантике, в обосновании логических систем. Останавливаться на этом здесь невозможно. Но тем не менее это важнейший аспект философских, теоретико-познавательных оснований логики. Так, построение семантик модальных, интенсиональных систем предполагает онтологию «возможных миров», введение возможных миров (учёт условий, ситуаций, истинностных оценок), классов таких миров, операций и отношений над такого рода объектами. В известном смысле это особая онтология «интенсиональных» сущностей («интенсиональная онтология», по словам У. Куайна).
Смирнова Елена Дмитриевна – специалист по логике, профессор кафедры логики филосософского факультета МГУ, зав. сектором логики ИФ РАН. Занималась разработкой проблем современной логики, логической семантики, теории познания, философских оснований логики.