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) и другие мыслители. Так, Б. Рассел считал, что если гипотеза относится не к одной или нескольким частным вещам, но к любому предмету, то такие выводы составляют математику.

Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается ее познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.

Логика и мышление

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

Абстрактное мышление как объект логики

Человек, обладая сознанием, отражает действительность и получает знания о природе, обществе самом себе. Полученные знания не имеют самостоятельной ценности для человека; они необходимы ему для осуществления своей жизнедеятельности путем управления своими действиями на основе знания. Знание только тогда ценно, когда оно позволяет человеку правильно ориентироваться в мире, осуществляя свою жизнедеятельность в нем. Поэтому цель познания заключается в получении не любых знаний, а истинных, использование которых приводит к верным результатам. Под истиной в данном случае понимается адекватное (верное) отражение в сознании человека явлений и процессов природы, общества и мышления.

Есть знания, истинность которых очевидна. Такие, например, суждения, как: "Я ощущаю, что на улице холодно, или "Я слышу какой-то звук", отражают факты, которые человек познает в процессе непосредственного физического взаимодействия с объектом познания при помощи органов чувств. Такого рода факты принято называть очевидными, потому что они не нуждаются в доказательстве. К числу очевидных воспринимаемых непосредственных знаний относятся прежде всего те знания, которые являются результатом чувственного познания, а также внутреннего опыта ("Это воспоминание для меня неприятно"). Путем чувственного отражения, которое основано на психических процессах, человек может познать отдельные предметы и их свойства.

К психическим процессам относят: ощущение, восприятие, представление.