Словарь по логике

ЛОГИКА КЛАССИЧЕСКАЯ

ЛОГИКА КЛАССИЧЕСКАЯ — разделсовременной(математичес­кой, символической)логики,включающий классическуюлогику высказыванийи классическую логикупредикатов.Л.к. опирается надвузначности принцип,в соответствии с которым всякое высказы­вание является или истинным, или ложным. У истоков Л. к. стоят, наряду со многими другими исследователями, Д. Буль (1815-1864), А. де Морган (1806-1871), Ч. Пирс (1839-1914). В их работах была постепенно реализована идея перенесения в ло­гику тех методов, которые обычно применяются в математике. Пос­ледний шаг в математизации логики в прошлом веке был сделан Г. Фреге (1848-1925). Уже в этом веке важный вклад в развитие Л. к. внесли Б. Рассел (1872-1970), А. Уайтхед (1861-1947), Г. Гиль­берт (1862-1943) и др. Л. к. ориентировалась главным образом на анализ математичес­ких рассуждений. С этим связаны многие ее особенности, нередко расценивающиеся теперь как недостатки. В частности, формальным аналогомусловного высказыванияв Л.к. являетсяимпликация мате­риальная,для которой верны положения: истинное высказывание имплицируется любым высказыванием, ложное высказывание им­плицирует каждое высказывание и другиепарадоксы импликации. Критика Л. к. началась в начале XX в. и велась в разных направ­лениях. Результатом ее явилось возникновение новых разделов со­временной логики, составляющих в совокупностилогику неклас­сическую.Л. к. остается тем не менее ядром современной логики, сохраняющим свою теоретическую и практическую значимость. Явившись тем образцом, от которого отталкивались разнообраз­ные неклассические системы, Л. к., как правило, оказывается в оп­ределенном смысле предельным и притом наиболее простым слу­чаем последних. Многие из них могут быть представлены как расширения Л.к., обогащающие ее выразительные средства.


  1. логика классическая—классикалы логика...Орысша-қазақша «Математика» терминологиялық сөздік
  2. логика классическая—раздел современной математической символической логики включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принци...Словарь логики