ЛОГИКА

в классическом смысле — наука о законах мысли; в современном смысле — наука о формах дискурса.

Логика была представлена как искусство «правильным образом направлять разум при познании вещей, в целях как самообучения, так и обучения других» («Логика Пор-Рояля»). Логика — это преимущественно формальная наука о формах понятий, суждений и умозаключений. Подобная интерпретация логики восходит к Аристотелю (384-322 до Р.Х.). В аристотелевском «Органоне» даны принципы и неизменные элементы формальной логики (теория силлогизма, дедукции, индукции): простейший элемент логики — идея, . или понятие; он определяется в параметрах объема и содержания. Содержание — совокупность характеристик, определяющих объект понятия; объем — совокупность существ, наделенных одними и теми же характеристиками. Например, понятие «собака» — это понятие животного, которое можно довольно точно описать; оно обладает множеством определенных характеристик (большим «содержанием»). Понятие «позвоночного» гораздо шире (обладает большим «объемом»), но оказывается гораздо менее определенным; следовательно, содержание обратно пропорционально объему. Суждение определяется как отношение между двумя понятиями; умозаключение — как отношение между двумя или несколькими суждениями. Таковы три основных элемента формальной логики. Кант (1724-1804) является основопо-- ложником трансцендентальной, или материальной, логики, представляющей собой исследование мысли в ее приложении к реальности, что нашло отражение в «методах» математических или физических наук. Сегодня формальная логика  как часть математики называется логистикой. Если формальная логика исходит из языка, то логистика устанавливает систему знаков или символов, переведенных в формы мысли, и комбинирует их по правилам, образующим собственную аксиоматику, при этом дополнительно абстрагируясь от их смысла. На эту тему можно прочитать «Введение в современную логику» (1968) Р. Бланше. См. Математика. Философия. Умозаключение.