Традиционная Логика

традиционная формальная логика, общее наименование систем дедуктивной (см. Дедукция) логики, не связанных с употреблением формализованных языков (См. Формализованный язык), то есть не использующих аппарата математической логики. Основное содержание Т. Л. Заключено в силлогистике (См. Силлогистика). См. Логика. ..

Первый этап в развитии (формальной) логики, начавшийся в 4 в. До н.э. И завершившийся в кон. 19 - нач. 20 в., когда сформировалась современная (математическая, символическая) логика.Т. Л. Изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания им значений и т.п. Современная логика использует специально сконструированные (формализованные) языки, призванные сле..

— логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так. Если высказывание истинно, то оно истинно. Напр. «Если трава зеленая, то она зеленая», «Если трава черная, то она черная». Т. З. Выражает идею, что каждое высказывание является необхо­димым и достаточным условием своей собственной истинности. С применением символики логической закон записывается так (р — некоторое высказывание. ->. - ..

- отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличи­мых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отлича­ются нами друг от друга по каким-то характеристикам. Это не ис­ключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характерис­тикам, об..

— закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. З. Для условного высказывания (импликации) можно передать так. Когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье. Напр. «Если дело обстоит так, что с развити­ем медицины появляется больше возможностей защитить человека от болезней и с увеличением этих возможностей растет средняя продолжитель..

- мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, вы­водится новое суждение, называемое заключением или следствием. Умозаключения часто подразделяют на дедуктивные (см. Дедук­ция) и индуктивные (см. Индуктивная логика, Индуктивное умо­заключение). В дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. При истинности посылок и при соблю­дении соответствующих логически..