Логика: понятие,структура,функции

Логика - философская наука о формах и законах мышления.

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

Логическая форма- это сторона мысли, независящая от конкретного содержания, это категория, отражающая строение, структуру мысли, способ связи и её частей.

Основные формы мышления: 1.имя(понятие); 2.суждение(высказывание); 3.умозаключение

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

Суждение(высказывание) – форма мышления, в которой что-либо утверждается или отрицается о предмете мысли.

Умозаключение – самая сложная форма мышления, свойственная человеку, посредством которой из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем высказывание-заключение.

Основные логические операции (функции)

1. Конъюнкция (логическое умножение) – логическая функция, по крайней мере, от двух переменных, которая принимает единичное значение при единичных значениях всех переменных. Конъюнкция образуется соединением двух высказываний в одно с помощью союза «и».

2. Дизъюнкция (логическое сложение) – логическая функция, по крайней мере, от двух переменных, которая принимает нулевое значение при нулевых значения всех переменных. Дизъюнкция образуется соединением двух высказываний в одно с помощью союза «или».

3. Строгая дизъюнкция – логическая функция от двух переменных, которая принимает единичное значение при разных значениях переменных. Строгая дизъюнкция образуется соединением двух высказываний в одно при помощи оборота речи «либо…, либо…»

4. Импликация (логическое следование) – логическая функция от двух переменных, которая принимает нулевое значение при единичном значении первой переменной и нулевом значении второй. Импликация образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».

5. Эквивалентность (равнозначность) – логическая функция от двух переменных, которая принимает единичное значение при одинаковых значения переменных. Эквивалентность образуется соединением двух высказываний в одно при помощи оборота речи «… тогда и только тогда, когда…»

6. Отрицание (инверсия) – логическая функция от одной переменной, которая принимает единичное значение при нулевом значении переменной и наоборот. Отрицание образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…»

 

ЯЗЫК ЛОГИКИ. ОСНОВНЫЕ СЕМАНТИЧЕСКИЕ КАТЕГОРИИ

Логика - философская наука о формах и законах мышления.

Основные символы языка логики:

· a,b,c,…(A,B,С,…) -символы личных и общих имен предметов

· P,Q,R -символы предиката (признака предмета)

· p,q,r -символы высказываний (суждений)

· - (все, любой, каждый) квантор общности

· - кванторсуществования (существую, некоторые, многие, иногда)

· - отрицание

Логические связки(союзы):

· - конъюнкция (все соединительные союзы: и, но, да, а,….)

· - дизъюнкция(слабая, нестрогая)

· - дизъюнкция (сильная, строгая) (разделительные союзы: или, либо

· - импликация (логическое следование)

· - эквивалентность (если и только если, то; тогда и только тогда, когда)

 

ИМЕНА. ОБЩАЯ ХАРАКТЕРИСТИКА

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

Содержание имени -признак, на основании которого предметы обобщаются в классы.

Виды имен по объему:

· единичное - имя в объем которого входит один предмет

· общее – имя в объем которого входит более одного предмета. Разновидность общих имен – универсальные имена

· нулевые(пустые) – имя, объем которых не содержит ни одного элемента. Виды имен по содержанию:

· 1)конкретные - имена, элементы которых реально существующие в действительности объекты.

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

2)конкретные - имена, элементами объема которых явл-ся объекты или предметы (как идеальные, так и материальные)

абстрактные - имена, элементами объема которых явл-ся свойства объектов и отношения между ними.

· положительные – указывается признак, присутствующий у объекта.

отрицательные – указывается признак, отсутствующий у объекта.

· относительные – предполагают соотнесение предметов с какими-то другими

безотносительные – их содержание не предполагает соотнесения предметов с какими-то другими

Т.о. дать логическую характеристику имени означает определить вид имени по объему и содержанию.

ЛОГИЧЕСКИЕ ОТНОШЕНИЯ ИМЕН

Сравнимые и несравнимые имена:

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

Сравнимые имена делятся на:

· совместимые – имена, объемы которых хотя бы частично совпадают.

· несовместимые

Отношения:

· отношение совместимости. Существует 3 типа совместимости:

- равнообъемность (тождество ) – отношения между именами, объемы которых полностью совпадают А -самый большой город РБ, Б -столица РБ

- подчинение -объем одного имени полностью включается в объем другого имени

А – родовое понятие; В -видовое понятие

!!! Не путать с отношениями целого и части

Т.о. подчинением отражаются родовидовые отношения. Например, А-гомельчане, В-жители Сельмаша.

- пересечение (перекрещивание ) – объемы имен частично совпадают.

А -писатель, В -ученый

· отношения несовместимости:

- соподчинение. Соподчиненные имена – несовместимые имена включены в объем общего подчиняющего понятия.

А - треугольник, В – четырехугольник, С – геометрическая фигура

- противоречие -два несовместимых имени полностью исчерпывают объем третьего подчиняющего имени, причем одно из них (первых двух) обозначает предметы лишенные свойств, входящих в содержание второго имени.

А - вкусное яблоко

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

А –вкусное яблоко

В –противное яблоко