Логика Классическая

145

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

С этим связаны многие ее особенности, нередко расценивающиеся теперь как недостатки. В частности, формальным аналогом условного высказывания в Л.к. Является импликация мате­риальная, для которой верны положения. Истинное высказывание имплицируется любым высказыванием, ложное высказывание им­плицирует каждое высказывание и другие парадоксы импликации. Критика Л. К. Началась в начале XX в. И велась в разных направ­лениях. Результатом ее явилось возникновение новых разделов со­временной логики, составляющих в совокупности логику неклас­сическую. Л. К. Остается тем не менее ядром современной логики, сохраняющим свою теоретическую и практическую значимость. Явившись тем образцом, от которого отталкивались разнообраз­ные неклассические системы, Л.

К., как правило, оказывается в оп­ределенном смысле предельным и притом наиболее простым слу­чаем последних. Многие из них могут быть представлены как расширения Л.к., обогащающие ее выразительные средства..

Значения в других словарях
Логика Изменения

- раздел современной логики, занима­ющийся исследованием логических связей высказываний об из­менении и становлении материальных или идеальных объектов. Л.и. Относится к логике неклассической. Ее задача — построение искусственных (формализованных) языков, способных сделать бо­лее ясными и точными рассуждения об изменении объекта — пе­реходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. И. Ничего не говорится о конкретных харак­теристиках изменения и становления..

Логика Квантовой Механики

- логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько ра­дикальным, что возникла идея особой «логики микромира», от­личной от обычной «логики макромира». В середине 30-х годов была построена первая Л. К. М., положившая начало еще одному направлению логики неклассической. Позднее немецкий философ и логик Г. Рейхенбах (1891-1953) предложил трехзначну..

Логика Классов

- раздел математической логики, соответ­ствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. К. Соответствует и силлогистике Аристотеля. Иногда Л. К. Рассматривается как формализованная теория множеств, в других случаях - как расширение логики выс­казываний. Если в логике высказываний отвлекаются от связей меж­ду субъектом и предикатом высказывания, то в Л. К. Эти связи учи­тываются. В число классов в Л. К. Включается и пустой класс (0), содержащий нулевое..

Логика Комбинаторная

(от лат. Combinare — соединять, соче­тать) — одно из направлений в математической логике, занимаю­щееся анализом понятий, которые в рамках классической мате­матической логики принимаются без дальнейшего изучения (напр., понятия «переменная», «функция», «правила подстановки» и т. Д.). В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило модус поненс. Оно формули­руется так. Если даны предлож..

Дополнительный поиск Логика Классическая Логика Классическая

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Логика Классическая" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Логика Классическая, различные варианты толкований, скрытый смысл.

Первая буква "Л". Общая длина 19 символа