Какую роль сыграли Венский кружок и Львовско-Варшавская школа в развитии формальной логики?

Венский кружок внёс значительный вклад в развитие формальной логики, в частности логического позитивизма. web.archive.org Представители кружка, в том числе Рудольф Карнап, разработали систему критериев оценки качества теоретического вывода. web.archive.org Одним из результатов работы кружка стала строго формализованная количественная теория логической вероятности. web.archive.org Также для Венского кружка характерен принцип верификационизма, согласно которому критерием значения предложения является возможность его проверки. yanko.lib.ru

Львовско-Варшавская школа также внесла значительный вклад в развитие формальной логики. iphlib.ru Представители школы внесли вклад в философию языка, логическую семантику и семиотику, в разработку систем неклассической логики, теорию множеств. iphlib.ru Некоторые исследования школы: теория индукции, строение и функции научной теории, разработка аксиоматического метода, теория вероятностей, принципы построения иерархии формализованных языков, доказательства важнейших теорем о полноте и разрешимости для ряда исчислений. iphlib.ru

Таким образом, и Венский кружок, и Львовско-Варшавская школа внесли существенный вклад в развитие формальной логики.