ТЕМА 1. 2 ФОРМАЛЬНЫЕ ЗНАКОВЫЕ СИСТЕМЫ v

ТЕМА 1. 2 ФОРМАЛЬНЫЕ ЗНАКОВЫЕ СИСТЕМЫ

v 1. Мышление и язык. Язык как информационная система, функции языка. v 2. Язык и значение. Предметное и смысловое значение языковых выражений. v 3. Семантические категории языка: дескриптивные и логические термины

1 МЫШЛЕНИЕ И ЯЗЫК КАК ИНФОРМАЦИОННАЯ СИСТЕМА, ФУНКЦИИ ЯЗЫКА. v. Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. v. Мышление неразрывно связано с языком.

v Функции естественного языка многочисленны и многогранны: v 1) Язык — средство повседневного общения людей, средство общения в научной и практической деятельности. v 2) Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому. v 3) Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания.

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

2 ЯЗЫК И ЗНАЧЕНИЕ. ПРЕДМЕТНОЕ И СМЫСЛОВОЕ ЗНАЧЕНИЕ ЯЗЫКОВЫХ ВЫРАЖЕНИЙ.

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

v. Имя — это слово или словосочетание, обозначающее какой-либо определенный предмет v. Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т. п.

v Значением имени является обозначаемый им предмет. v Смысл (или концепт) имени — это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах.

3 СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ЯЗЫКА: ДЕСКРИПТИВНЫЕ И ЛОГИЧЕСКИЕ ТЕРМИНЫ

v. К дескриптивным (описательным) терминам относятся: v 1. Имена предметов — слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы ( «Аристотель» , «первый космонавт» , « 7» )

v. Предикаторы— слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, «порядочный» , «синий» , «электропроводный» , «есть город» , «меньше» , «есть число» , «есть планета» и др. ).

v. Функциональные знаки — выражения, обозначающие предметные функции, операции ( «ctg α» , «+» , «V-» и др. ).

v. Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).

КОНЪЮНКЦИЯ

v. Конъюнкция соответствует союзу «и» . Конъюнктивное высказывание обозначается , или v(например, «Закончились лекции (а), и студенты пошли домой (b)» )

ДИЗЪЮНКЦИЯ

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

ИМПЛИКАЦИЯ

v. Импликация соответствует союзу «если. . . то» . Например, «Если будет хорошая погода, то мы пойдем в лес» .

ЭКВИВАЛЕНЦИЯ

v. Эквиваленция соответствует словам «если и только если» , «тогда и только тогда, когда» , «эквивалентно» . v. Пример: Рим – столица Италии

v. Отрицание соответствует словам «не» , «неверно, что» . v. Квантор общности обозначается и соответствует квантовым словам «все» ( «всякий» , «каждый» , «ни один» ). v. Квантор существования соответствует словам «некоторые» , «существует» .