4.Язык логики высказываний.

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

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

Выделяют несколько видов знаков:

1) знаки-копии (фотографии, отпечатки пальцев и т. п.);

2) знаки-признаки (дым – признак огня, боль – признак болезни и т. п.);

3) знаки-сигналы (звонок – начало занятия);

4) знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные.

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

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

Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения.

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

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

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

5. Понятие

Понятие – простая форма абстрактного мышления, которая фиксирует существенные признаки предмета или класса предмета.

Логические характеристики понятия, как форма абстрактного мышления…..

Содержание понятия – это совокупность отличительных признаков предмета. Раскрывается в логической операции определения понятия.

Объем понятия – множество реальных предметов, объединяемых данным понятием.

Графическое изображение объема понятия, введено в 18в Эйлером. «Круг Эйлера» или «фонетический круг». Объем n=1 - единичное понятие (спутник Земли), n>1- общие понятия («кошка», «спутник»), n=0 – пустые/нулевые (сладкая соль). Предельно общие понятия или универсальные категории филологии.

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

1.конкретные понятия – такие понятия, которые указывают на предмет или предметное значение (горячий, холодный, тол, кошка)

2.абстрактные понятия – указывают на свойства мысленно отдельно от его носителя (красивый человек – конкретно, красота – абстрактно). Всё абстрактное: честность, синева, свобода, равенство, братство.

3.положительные понятия – указывают на наличие свойства (честный человек)

4.отрицательные понятия – указывают на отсутствие свойств (БЕСчестный человек)

5.собирательные понятия – указывают на единства и особенности целостности, свойства целостности (группа, поезд, группа друзей).

6.обобщенные понятия – это переход к понятию с большим объемом на основании отношения

7.ограниченные понятия – переход к понятию с небольшим объектом.

Предел – единичное понятие.