3. Язык логики. Основные семантические категории

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

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

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

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

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

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

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

• -отрицание

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

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

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

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

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

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

4. Имена. Общая характеристика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5. Логические отношения имен

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

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

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

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

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

Отношения:

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

-

АВ

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

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

А

В

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

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

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

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

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

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

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

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

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

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

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

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

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