1.3. Предмет и семантические категории традиционной формальной логики

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

Цель логики – формирование интеллектуальной культуры деятельности, закономерностей мышления. Мышление опирается на формы чувственности и с ним связано, однако у мышления существуют и свои законы, которые постигаются с помощью умозрения, на уроне отвлеченного, абстрактного мышления, элементарной формой которого является ПОНЯТИЕ.

Понятие отличается от образа. Образ многомерен и «вещественен», понятие абстрактно, отвлеченно от вещественного, сущностно приподнято над материальным бытием. Понятие – форма отвлеченного мышления. У него всегда есть знак (в данном случае – слово - нечто материальное) и содержание, которое мыслится (оно не имеет телесности). Исследование этого мыслительного содержания по знаковым формам выражения и составляет предмет логики.

Логика изучает и формализует типовые структуры рассуждения, пользуясь при этом специфическим языком. Для его понимания необходимо знать основные семантические категории.

Семантическая категория – это устойчивый смысловой элемент какой-либо формальной системы (в том числе и языковой). НПР – Грамматика элементы – буквы, слова, знаки препинания. Буква может заменить букву, тогда изменится смысл, но не может быть заменена знаком препинания, тогда смысл теряется: РАК,РОК,КОК,СОК, С?К

В логике взаимозаменяемыми смысловыми единицами – семантическими категориями, служат:

Понятие (Имя) – словесный знак, обозначающий предмет. Имя всегда имеет содержание – предметное значение – какой предмет обозначен

План выражения – смысловое значение, указывающее на контекст, в котором характеризуется объект.

Высказывания - это мысль, выраженная в повествовательной (утвердительной или отрицательной форме). Главная характеристика высказывания (истинно, ложно, неопределенно.) Логика высказывания – это пропозиционная логика.

Логические термины – это константы, играющие связующую роль в рассуждениях. В том числе,

Логические союзы и кванторы.

Λ – конъюнкция, соединительный союз.

НПР: Россия, крупнейшая мировая держава и страна с многонациональным населением.

Наступило лето и я отправился в поход.

V – дизъюнкция, или разделительный союз

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

• Строгая: Данный угол, либо тупой, либо острый, либо прямой.

Импликация

А ‪→В А(основание) В(следствие). Соединение двух и более простых суждений, имеющих детерминацию. НПР: Если через воздух пропускать электрический ток, то в нем появится атомарный кислород. Если абсолютизировать роль личности в историческом процессе, то можно прийти к субъективно-идеалистической трактовке истории.

Эквиваленция

А ≡ В (ТОЖДЕСТВЕННОСТЬ), состоит из двух простых суждений, связанных симметричным логическим отношением «Если и только если, тогда и только тогда». ( Если А, то В, если и только В, то А )

НПР: Если и только если основным производителям принадлежит в стане полнота власти, то данная страна является демократической.

Отрицание -

А , не-А Соответственно – неверно, что … потолок наверху:.. днем светит луна и т.д.

Кванторы: определение общего и частного в суждении

• Квантор общности – все, всякий, каждый ….. человек имеет в душе заветную мечту.

• Квантор существования - не все, некоторые …. студенты умеют рисовать.

(О.Д. Щипунова)