PhiloDream

1) истинно лишь то, что познано, проверено и доказано;

2) расчленять сложное на простое;

3) восходить от простого к сложному, от более очевидного к менее очевидному;

4) исследовать предмет во всех деталях.

Последователи Р. Декарта Арно и Николь в 1662 г. написали книгу "Логика, или Искусство мыслить", где поставили задачу освобождения логики Аристотеля от внесенных в нее последующими представителями логической науки схоластических ошибок. Немалая заслуга в развитии логики принадлежит представителям немецкой классической философии, особенно И. Канту (1724-1804) и Г.В.Ф. Гегелю (1770- 1831). Так, И. Кант выступил, в частности, против абсолютизации законов логики. По взглядам И. Канта, логика представляет собой науку о необходимых законах, правилах рассудка вообще. Вот почему логика, по его рассуждениям, должна изучать форму мышления в отрыве от его содержания, т.е. независимо от объекта мышления. Он утверждал, что логика отвлекается от всякого содержания, а следовательно, и от самих вещей. И. Кант выдвинул новый тип логики, которую назвал трансцендентальной (от лат. transcendere - переступать). В ней логические формы рассматриваются как априорные (доопытные) свойства рассудка, обусловливающие возможность всеобщего и необходимого знаний явлений опыта. Позитивным вкладом в логику является то, что немецкий ученый отличал логическое основание и логическое следствие от реальной причины и реального следствия. И. Кант признавал также существование "чисто формальной" логики, которая имеет дело с "чистыми" формами мышления. Обстоятельную критику взглядам И. Канта на сущность формальной логики дал Г.В.Ф. Гегель. В то же время он критически относился вообще к формальной логике. Свое отношение к этой науке как "метафизической" он строил исходя из объективно-идеалистического положения о тождестве законов мышления и бытия. Критику законов формальной логики Г.В. Ф. Гегель дал во второй книге своей работы "Наука логики", в разделе "Учение о сущности". По мнению Гегеля, законы логики носят всеобщий характер, распространяются на все сферы действительности. Однако такой универсальной логикой должна стать не формальная логика, а диалектика саморазвития, "инобытием" которого является внешний мир. Определенное внимание развитию логики уделяли К. Маркс (1818-1883), Ф. Энгельс (1820-1895), а позже В.И. Ленин (1870-1924). В своих философских работах они отмечали, что традиционная логика является теорией правильно познающего мышления. Мышление же, не подчиняющееся положениям логики, не способно адекватно отразить объективную реальность. В.И. Ленин отмечал, в частности, ограниченность познавательных задач формальной логики. Однако такая ограниченность не лишает ее права оставаться наукой со своим специальным предметом изучения. Крупными русскими исследователями в области логики были М.И. Каринский (1840-1917) и Л.В. Рутковский (1859-1920). Так, М.И. Каринский внес значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т.е. "тождества"); описать в ней дедуктивные и индуктивные умозаключения. Л.В. Рутковский - автор труда "Основные типы умозаключений" (1888). Если М.И. Каринский строил теорию выводов, используя лишь отношения тождества, то Л.В. Рутковский считает возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др. Умозаключения делятся им на интенсивные (т.е. рассматриваемые в логике содержания) и экстенсивные (рассматриваемые в логике объема). С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848- 1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители. Так, Б. Рассел считал, что если гипотеза относится не к одной или нескольким частным вещам, но к любому предмету, то такие выводы составляют математику. Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается ее познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.