[Логика Неклассическая]
а- совокупность логических теонрий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попытнкой ее усовершенствования, но также ее дополнением и дальнейншим развитием идей, лежащих в основе современной логики. Начавшаяся в конце XIX Ч начале XX в., критика классической логики привела к возникновению целого ряда новых, неклассинческих разделов математической (символической) логики. В ряде слунчаев оказалось, что реализованные при этом идеи активно обсужндались еще в античной и средневековой логике. Л. Брауэр (1881Ч1961) подверг сомнению неограниченную принменимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного донказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированнной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880-1940). В 1912 г. К. И. Льюис (1883Ч1964) обратил внимание на парандоксы импликации, характерные для формального аналога условнного высказывания в классической логике Ч импликации материальной. В дальнейшем он разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен ценлый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и уснловной связи. Наибольшую известность из них получила релеваннтная логика. Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип). В 20-е годы XX в. Я. Лукасевичем (1878-1956) и Э. Постом (1897Ч1954) были построены многозначные логики, допускающие более двух истинностных значений. На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в со- временной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики. В середине 20-х годов появилась первая работа Э. Малли по деоннтической логике, исследующей логические связи нормативных выснказываний. К этому же времени относится первая попытка Э. Гуснсерля (1859Ч1938) развить оценок логику. В 30-е годы Д. фон Нейманом (1903-1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики. Особенно интенсивно Л. н. продолжала расширяться после втонрой мировой войны. С. Яськовским (1906-1965) была построена ллогика дискуссии
