Л.В. Рутковский - автор труда "Основные типы умозаключений" (1888). Если М.И. Каринский строил теорию выводов, используя лишь отношения тождества, то Л.В. Рутковский считает возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др. Умозаключения делятся им на интенсивные (т.е. рассматриваемые в логике содержания) и экстенсивные (рассматриваемые в логике объема).
С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848-1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители. Так, Б. Рассел считал, что если гипотеза относится не к одной или нескольким частным вещам, но к любому предмету, то такие выводы составляют математику.
Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается ее познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.
Логика и мышление
Освоение проблем формальной логики, в первую очередь, требует глубокого понимания ее объекта и предмета как науки, уяснения ее методологической роли для практической деятельности специалиста любого профиля, понимания специфики формально-логического подхода в познании объективной действительности. Определение предмета и значения логики имеет большое практическое значение, поскольку означает освоение прикладного характера логики, ее нормативных требований и превращение их в норму собственной мыслительной деятельности правоведов и экономистов.
Абстрактное мышление как объект логики
Человек, обладая сознанием, отражает действительность и получает знания о природе, обществе самом себе. Полученные знания не имеют самостоятельной ценности для человека; они необходимы ему для осуществления своей жизнедеятельности путем управления своими действиями на основе знания. Знание только тогда ценно, когда оно позволяет человеку правильно ориентироваться в мире, осуществляя свою жизнедеятельность в нем. Поэтому цель познания заключается в получении не любых знаний, а истинных, использование которых приводит к верным результатам. Под истиной в данном случае понимается адекватное (верное) отражение в сознании человека явлений и процессов природы, общества и мышления.
Есть знания, истинность которых очевидна. Такие, например, суждения, как: "Я ощущаю, что на улице холодно, или "Я слышу какой-то звук", отражают факты, которые человек познает в процессе непосредственного физического взаимодействия с объектом познания при помощи органов чувств. Такого рода факты принято называть очевидными, потому что они не нуждаются в доказательстве. К числу очевидных воспринимаемых непосредственных знаний относятся прежде всего те знания, которые являются результатом чувственного познания, а также внутреннего опыта ("Это воспоминание для меня неприятно"). Путем чувственного отражения, которое основано на психических процессах, человек может познать отдельные предметы и их свойства.
К психическим процессам относят: ощущение, восприятие, представление.
Ощущение - это отражение отдельных свойств предметов или явлений объективного мира, непосредственно Бездействующих на органы чувств. Например, отражение свойств теплого, холодного, черного, белого, горького, сладкого и т.д.
Восприятие представляет собой целостное отражение внешнего мира, непосредственно воздействующего на органы чувств. Например, образ самолета, моря, леса, луга и т.д.
Представление - это чувственный образ предмета (вещи), в данный момент не воспринимаемого человеком, но воспринятого ранее в той или иной мере. Примерами воспроизводящего представления являются образы своего дома, образы родных и близких людей, которых мы сейчас не видим, образы тех мест, где человек когда-то отдыхал и т.д. Представление может быть не только воспроизводящим, но и творческим, в том числе фантастическим. Следует подчеркнуть, что творческое представление у человека может возникнуть и благодаря словесному описанию.
Кроме непосредственных знаний, есть знания, истинность которых видна опосредствованно, т.е. через посредство других знаний. Все те факты, которые совершаются в нашем отсутствии (например, прошедшие или будущие явления) могут быть познаны только опосредствовано. К примеру, по многочисленным памятникам русским воинам и остаткам военных сооружений и укреплений на Бородинском поле можно представить, какое здесь было грандиозное сражение. Если бы мы 5-7 сентября 1812 г. были бы на этом месте, то мы непосредственно восприняли бы это сражение. Таким образом, опосредствованное знание доказывается, делается убедительным, очевидным при помощи знаний непосредственных, а это осуществляется на уровне абстрактного мышления. Чувственное отражение является основой абстрактного мышления, которое позволяет познавать законы мира, сущность предметов. Абстрактное мышление отражает мир и его процессы глубже и полнее, чем чувственное познание. Но, чтобы этого добиться, надо правильно мыслить. Поэтому логику иногда называют наукой о правильном мышлении. Таким образом, объектом логики как науки выступает абстрактное мышление.
Но мышление - это сложный, многосторонний процесс, высшая форма познания мира, свойственная только человеку. Основными формами абстрактного мышления являются понятия, суждения и умозаключения.
Понятие - форма мышления, в которой отражаются существенные признаки одноэлементного класса или класса однородных предметов. Понятия в языке выражаются словами (например, "дерево", "самолет") или группой слов, т.е. словосочетаниями, например, "студент гуманитарного института", "создатель художественных картин", "река Дон", "космический корабль" и др.
Суждение представляет собой форму мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение выражается в форме повествовательного предложения. Суждения бывают простыми и сложными. Пример простого суждения: "Колорадский жук опустошает картофельное поле". Пример сложного суждения: "Наступила осень, и лебеди улетают". Оно состоит из двух простых суждений.
Умозаключение - это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Виды умозаключений и изучает логика. Приведем пример.
Все металлы - вещества
Железо - металл
Железо - вещество
Первые два суждения, которые находятся над чертой, называются посылками, а третье суждение называется заключением.
Необходимо отметить, что в процессе познания человек стремится к достижению истинного знания. Развиваясь на основе общественно-трудовой деятельности, внутренняя структура мыслительного процесса формировалась в соответствии с закономерностями природы и свойствами человеческого мозга. Логическая форма обусловлена наиболее общими, чаще всего встречающимися свойствами, непосредственными связями и отношениями реального мира. Поэтому она вполне закономерно выражает устойчивые черты любого правильного мышления.
Логическая форма представляет собой исторически установившийся способ связи между составными элементами человеческой мысли. При этом в каждом мыслительном акте можно выделить как предмет мысли, так и то, что мыслится о предмете: его свойствах, состоянии, действиях, а также отношениях с другими предметами. Мысль о предмете вступает в логические связи с другими мыслями в доказательном рассуждении, умозаключении и т.д. Связь элементов правильной мысли носит устойчивый характер, который обусловлен исторически сложившейся внутренней структурой мыслительного процесса. Свои формальные операции и законы логика не излагает произвольно, а лишь отражает и формулирует в них объективно закономерные отношения между структурными элементами мысли. Такие отношения в конечном счете определяются наиболее общими свойствами объективного мира.
Необходимо подчеркнуть, что логику в мышлении интересует отнюдь не все. Ряд важных проблем, в том числе сущность мышления, его генезис и отношение к материальному миру, а также его познавательные возможности изучает философия. Физиология, в свою очередь, интересуется тем, как зависит мышление от состояния мозга, материального субстрата мысли. Психология изучает условия нормального функционирования и развития мышления, влияние на него социально-психологической среды, чувств. Генетика старается раскрыть тайны наследования детьми от родителей способностей к какой-либо деятельности. Ученые-кибернетики изучают технические возможности моделирования человеческого мышления. Свою специфическую сторону мышления изучает логика.
Предмет формальной логики
Выяснение специфической особенности логической формы служит предпосылкой для определения предмета формальной логики. Он, как и предмет любой науки, представляет объективный характер. Формальная логика изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях. Вполне естественно, что устойчивые связи элементов правильной мысли приобретают характер законов. Анализ таких связей наряду с описанием структурных форм мышления составляет предмет изучения формальной логики. Логика есть наука о законах и формах правильного мышления.