История науки логики
История развития логического знания – это хронологически выстроенные этапы накопления человечеством информации о правильном мышлении.
Зарождение логики как науки произошло внутри философии. Логика изучала познающее мышление и применялась как инструмент познания. Появление логики датируется IV в. до н.э. (более двух тысяч лет назад) и связывается с именем древнегреческого философа Аристотеля (384-322 гг. до н.э.), который в своих логических трудах (названных «Органон», что переводится как «орудие, инструмент познания»):
Сформулировал фундаментальные законы мышления:
- закон тождества,
- закон непротиворечия (закон противоречия),
- закон исключенного третьего.
Описал ключевые логические операции.
- Разработал теоретические основы понятия и суждения.
- Провел обстоятельное исследование силлогистического (дедуктивного) умозаключения.
На основе аристотелевского учения о силлогизме сложилось одно из направлений современной математической логики – логика предикатов.
Существенный вклад в формирование логического знания внесли античные стоики (Зенон, Хрисипп и другие), дополнившие теорию силлогизма характеристикой сложных умозаключений. Из логики стоиков позднее развилось такое направление математической логики как логика высказываний.
Развитию логики способствовали и другие античные мыслители – Гален, Порфирий, Боэций, которые дополняли учение Аристотеля.
В Средние века логика была искажена в угоду религиозной догматики, и дальнейшее истинно научное развитие получила лишь в Новое время. Революцией стала теория индукции, которую разработал английский философ Ф. Бэкон (1561-1626). Позднее бэконовские методы систематизировал другой английский философ (и логик) – Дж. С. Милль (1806-1873).
Итак, сложилась формальная (традиционная) логика, длительное время входившая в европейскую систему образования как обязательный элемент. И сегодня эта логика лежит в основе логического образования. Она состоит из двух частей:
- дедуктивной логики Аристотеля,
- индуктивной логики Бэкона-Милля.
Дальнейшие достижения науки логики связаны с именами:
- француза Р. Декарта (1596-1650), который внес огромный вклад в дедуктивную логику;
- немца Г. Лейбница, который сформулировал закон достаточного основания (четвертый основной закон логики в дополнение к трем, описанным Аристотелем), выдвинул получившую в дальнейшем развитие идею математической логики;
- немца И. Канта;
- Ибн Сины (Авиценны);
- Ибн Рушда (Аверроэса) и др.
Из русских ученых и философов можно отметить:
- М. В. Ломоносова (1711-1765),
- А. Н. Радищева (1749-1802),
- Н. Г. Чернышевского (1828-1889),
- М. И. Каринского (1840-1917),
- Л. В. Рутковского (1859-1920),
- С. И. Поварнина (1870-1952), который одним из первых начал развивать логику отношений.
Вторая половина XIX века была ознаменована широким применением в логике математических разработок – методов исчисления. Это направление развивалось Д. Булем, У. С. Джевонсом, П. С. Порецким, Г. Фреге, Ч. Пирсом, Б. Расселом, Я. Лукасевичем и другими. Дедуктивные рассуждения, анализируемые методами исчисления с применением формальных языков, сформировали символическую (математическую) логику.
Современные направления развития логики
В настоящее время математическая логика интенсивно развивается. В нее входит большое количество разделов (чаще их называют логиками):
- логика высказываний,
- логика предикатов,
- вероятностная логика и т. д.
Уделяется внимание разработке многозначной логики, предусматривающей не только традиционно принятые два значения истинности («истина» и «ложь»), но и другие значения. Так, Я. Лукасевич предложил трехзначную логику, использующую значение «нейтрально» («возможно») и построил систему модальной логики со значениями «невозможно», «возможно», «необходимо» и т.д. Также были предложены четырехзначная и бесконечная логики.
Представляется перспективной разработка вероятностной логики. Этот раздел исследует высказывания, характеризующиеся различными степенями правдоподобия (от 0 до 1). Интересна временная логики и другие направления.
Для практического применения в юриспруденции особое значение имеет такой раздел модальной логики, как деонтическая логика. Она исследует структуры языка предписаний, оперируя высказываниями со значениями «запрещено», «разрешено», «обязательно», широко используемыми в правотворчестве.
В целом исследование процессов рассуждения в рамках символической логики значительно повлияло на развитие формальной логики в общем. В то же время символическая логика охватывает не все проблемы традиционной логики, не заменяет ее в полной мере. Специфика формально логики заключается в том, что она концентрируется на формах мышления, не уделяя внимания их возникновению, изменению, развитию. Этими вопросами занимается диалектическая логика. Впервые ее представил в своей объективно-идеалистической философской системе Гегель (1770-1831). В марксизме она получила материалистическую переработку.
Диалектическая логика — наука о диалектическом мышлении, в принципах, законах и категориях которого отражаются взаимосвязи, изменение и развитие объективного мира.
Диалектическая логика занимается изучением развития знания, формированием методологических принципов на основе всеобщих законов диалектике. Диалектическая логика – это метод познания диалектики объективного мира.
Объектом изучения и у формальной и диалектической логики выступает человеческое мышление, но предмет изучения различается. Поэтому диалектическая логика не может заменить формальную – и наоборот. Это две науки, развивающиеся в тесном взаимодействии, проявлением чего выступает практика научно-теоретического мышления, применяющая в процессе познания и формально-логический аппарат, и средства диалектической логики. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно познавать действительность.
