Логика - наука о законах и операциях правильного мышления

выраженной с помощью естественного или искусственного языка.

Имена делятся на:

1) простые и сложные, или описательные;

2) собственные;

3) общие.

Каждое имя имеет значение, или смысл.

Значением, или смыслом имени, является способ, которым

имя обозначает предмет, т.е. информация о предмете,

содержащаяся в имени.

- 6 -

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

Три типа знаков.

Знаки - индексы связаны с представляемыми ими

объектами как следствия с причинами.

Знаками - образцами являются те знаки, которые

сами по себе несут информацию о представляемых

ими объектах.

Знаки - символы не связаны причинно и не

сходны с представляемыми ими объектами.

Знаки имеют значения.

Предметные. Смысловые.

Предметным является Смысловым

тот объект, который значением - выража-

представляется емая знаком

знаком. характеристика

объекта,

представителем

которого является

знак.

- 7 -

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

Синтаксические правила языка устанавливают способы образования сложных выражений из простых.

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

Семантические правила определяют способы придания значений выражениям языка.

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

Три группы правил значения.

Аксиоматические правила требуют принятия

предложений определенного вида во всех

обстоятельствах.

Дедуктивные правила требуют принятия

следствий, вытекающих из некоторых посылок,

если приняты сами посылки.

Языки, включающие эмпирические правила

значения, принято называть эмпирическими.

Все языки могут быть разделены на:

1) естественные

2) искусственные

3) частично искусственные.

- 8 -

Семантические категории.

Основные категории языковых выражений.

Именами являются языковые выражения, подстановка

которых по формуле «S есть P» вместо переменных

S и P дает осмысленное предложение.

Предложение - это языковое выражение, являющиеся

истинным или ложным.

Фактор - это языковое выражение, не являющееся

ни именем, ни высказыванием и служащее для

образования новых имен или высказывании из уже

имеющихся.

Понятие и предмет. Принцип образования понятий.

Образование понятия включает в себя множество логических

приемов.

Анализ - это мысленное разложение предметов на его признаки.

Синтез - мысленное соединение признаков предмета в одно целое.

Сравнение - мысленное сопоставление одного предмета с другим,

выявление признаков сходства и различия в том или ином

отношении.

Абстрагирование - мысленное сопоставление одного предмета

с другими, выявление признаков сходства и различия.

- 9 -

Понятия выполняют две основные функции.

1) Познавательная функция. Она осуществляется на основе такой логической операции, как применение понятии.

2) Коммуникабельная. Она тесно связана с предыдущей т.е. функция средства общения.

В понятии различаются прежде всего содержание и объем.

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

Родовые признаки.

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

Объем понятия - это охватываемые им предметы мысли.

Предметы, входящие в объем понятия, называются классом, или

множеством.

Состоит из подклассов, или подмножеств.

Универсальный класс включает свою совокупность предметов исследуемой области.

Единичный класс - класс, состоящий из одного предмета.

Пустой класс - такой, который не содержит ни одного предмета.

- 10 -

Виды понятий по их содержанию.

1) Конкретные - понятия, в которых находят свою отражение сами предметы и явления, обладающие относительной самостоятельностью существования.

2) Абстрактные - это понятия, в которых мыслятся свойство предметов или отношения между предметами, не существующие самостоятельно, без этих предметов.

3) Отрицательные - понятия, которые характеризуются отсутствием у предметов мысли каких - либо качеств.

В соотносительных понятиях один предмет мысли предполагает существование другого и без него не невозможен.

В безотносительных понятиях мыслится предмет, существующий до известной степени самостоятельно.

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

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

Воды понятий по их объему.

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

Непустые понятия имеют объем, в который входит, по крайней мере, один реальный предмет.

Если объем понятия составляет лишь один предмет, то оно называется единичным.

Общие понятия заключают в своем объеме группу предметов.

- 11 -

Отношения между понятиями по их содержанию.

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

Несравнимые - понятия, не имеющие сколько - нибудь существенных в том или ином отношении общих признаков.

Отношения между понятиями по их объему.

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

Между совместимыми, складываются следующие отношения:

Равнозначность. В подобном отношении находятся понятия, объемы которых совпадают полностью, хотя их содержание может в той или иной степени различаться.

Подчинение. В таком отношении находятся понятия, из которых