ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ 1. Место и роль логики в

ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
1. Место и роль логики в познавательном процессе. Исторические этапы
развития логического знания.
2. Логика как теория рассуждений. Логическая форма и логические
категории.
1. Термин «логика» многозначен и используется для обозначения:
- естественного хода вещей и процессов (например, логика фактов,
логика событий, логика поведения);
- совокупности правил, которым подчиняется процесс мышления,
отражающий действительность;
- науки о правилах рассуждения и форм, в которых они осуществляются.
Логика исследует мышление, но в отличие от других областей знания,
изучающих мышление (психологии, педагогики, медицины, кибернетики и
т.д.), изучает его как средство познания окружающего мира и те его
формы и законы, в которых происходит отражение мира в процессе
мышления. Данный процесс находит воплощение в языковой форме.
Язык выступает средством выражения мысли, и в логике
используется как средство оперирования языковыми выражениями.
Язык
представляет знаковую систему, предназначенную для
фиксации, хранения, передачи и переработки информации. Главная
функция языка как знака – репрезентация предмета для некоторого
интерпретатора. Свою функцию знаки выполняют благодаря значениям и
смыслам.
Значение знака
знаком.
(экстенсионал) – предмет представляемый данным
Смысл знака (интенсионал) – информация о представляемом
предмете, которую содержит сам знак или которая связывается с этим
знаком.
Логика в своем развитии проходит несколько исторических этапов,
видоизменяясь по содержанию:
- традиционная логика (аристотелевская);
- классическая логика (математическая, символическая);
- неклассическая логика (философская, модальная).
2.
Логика как наука о законах и
мышления, представляет теорию рассуждений.
формах правильного
Рассуждение представляет собой последовательность связанных по
определенным правилам мыслей, используемых для обоснования некоторого
высказывания путем пошагового выведения его из других высказываний.
Движение к истине определяется правильностью рассуждения. Понятие
истинности (ложности) относится к конкретному содержанию суждения и
определяется соответствием (несоответствием) действительности.
Понятие правильности (неправильности) относится к логическим
операциям и действиям мышления и определяется соответствием
(несоответствием) правилам и законам логического мышления.
Таким образом, логическая истина есть соответствие рассуждения
тем правилам и законам, которые для него установлены, то есть
исходные суждения и полученный из них вывод согласуются логически
корректно и между ними присутствует отношение логического следования
по форме.
Логической формой мысли является структура этой мысли, то есть
способ связи её составных частей. Мысль, истинная в силу своей логической
формы представляет логически истинное суждение.
Логические конструкции основываются на логических категориях,
которые представляют предельно общие классы взаимозаменяемых
выражений, которые должны быть осмысленны. Основными логическими
категориями являются высказывания, имена и функторы.
Высказывание – предложение, выражающее мысль, которая может
быть либо истинной, либо ложной → истинность и ложность являются
логическими значениями высказываний.
Имя – слово или словосочетание обозначающее предмет мысли и
выступающее в качестве логического подлежащего или логического
сказуемого в высказываниях типа « а есть в».
Функтор – выражение, которое на основе других выражений,
называемых аргументами, образует новое, более сложное осмысленное
выражение. Среди функторов наиболее распространенными являются:
- именная функция;
- пропозициональная функция;
- операторы.
Указанные функции отличаются тем, в какую логическую категорию они
превращаются после подстановки вместо переменных соответствующих
аргументов.