Раздел 1. Введение. Предмет, функции и основные категории логики.

Логика (гр. logos - мысль, слово, речь, разум) - это наука о законах и формах правильного мышления. Соблюдение строгих, научно обоснованных требований логики является непременным условием последовательного, непротиворечивого и обоснованного мышления. В отличие от других наук логика изучает следующие аспекты человеческого мышления.
Во-первых, она рассматривает мышление как инструмент познания объективного мира, как безусловное средство получения истинных знаний через понятия, суждения и умозаключения.
Во-вторых, мышление интересует логику со стороны практической результативности и правильности выводного знания, полученного из ранее установленных и проверенных истин, без обращения в каждом конкретном случае к опыту, а только в результате применения законов и правил мышления.
В-третьих, мышление интересует логику как структурно-формальный процесс, то есть процесс, подчиняющийся определенным закономерностям в своем функционировании. Вот почему логика позволяет отвлекаться от содержания объекта и концентрировать внимание только на формах, в которых протекают тот или иной мыслительный процесс. Эти аспекты зависимости логики и мышления определяют особенности логики как науки.

Таким образом, основное назначение логики для практической деятельности человека состоит в том, что она дает возможность выяснить условия достижения истинных знаний, получить четкое представление об анализе структуры мыслительного процесса, и, что очень важно для практических действий, выработать не только логический аппарат, но и метод познания. Знание теории логики и приемов логического анализа, умение рассматривать мысль не только со стороны ее содержания, но и со стороны ее построения, то есть логической формы, помогает человеку избегать неясностей, непоследовательности и противоречивости в рассуждениях.

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

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

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

Особенностью предмета формальной логики служит также анализ форм и законов мышления вне их возникновения и развития.

Следует подчеркнуть, что логика берет уже сложившуюся форму, рассматривая ее как нечто устоявшееся, без всякой собственной истории. Сложный процесс формирования и совершенствования внутренней структуры мысли лежит за пределами предмета логики; она раскрывает форму мышления вне связи с историческим развитием познания.

Логическая форма и законы мышления являются общими для всех людей.

Мышление и язык

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

Общепринятым в современной логике является так называемый язык логики предикатов.

Важное значение для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическая характеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.

Дескриптивные термины (лат.descriptic- описание) - это имена предметов, предикаторы и функциональные знаки. Они выражаются словами естественного языка и на данный момент речемыслительной деятельности адекватно отражают предмет мышления.

Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.

Предикаторы - это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.

Функциональные знаки - это принятые обозначения предметных функций, операций ("+" и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

На основе семантических категорий естественного языка создан специальный алфавит языка логики предикатов.

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