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

СЕМИОТИКА - общая теория знаковых систем, к числу кото­рых относятся как естественные языки, так и специальные язы­ки конкретных наук, искусственные языки, сигнальные систе­мы и т. п. Основы С. были заложены в трудах швейцарского лингви­ста Ф. де Соссюра и амер. логика Ч. Пирса (конец XIX в.). Последующую разработку различных разделов С. осуществляли Ч. Моррис, А. Тар­ский, Р. Карнап и др.

С. выделяет 3 аспекта (уровня) исследований любой знако­вой системы: 1) синтактика изучает формальную структуру знаков и их сочетаний, правила их образования и преобразования; 2) семантика основное внимание уделяет анализу значения и смысла языковых выражений; 3) прагматика исследует отно­шения между знаковыми системами и теми, кто их воспринимает, интерпретирует и использует.

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

Билет № 3

Основные формы и приёмы интеллектуальной познавательной деятельности. (стр. 18 – 24)

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

Суждение – мысль, содержащая утверждение о наличии в действительности некоторого положения дел. («снег бел», «сера не электропроводна»)

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

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

Ещё одной формой отражения действительности на рациональной ступени познания, наряду с понятием и суждением, является научная теория.

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

Главная задача теории – установление закономерностей функционирования объектов некоторой предметной области.

Центральное место в логических исследованиях занимает анализ операции «рассуждение»

Рассуждение – процедура обоснования некоторого высказывания путём пошагового выведения его из других высказываний.

Простейший вид рассуждения – умозаключение.

Умозаключение – непосредственный переход от одного или нескольких высказываний А₁, А₂,…,А_n к некоторому высказыванию В.

А₁, А₂,…,А_n – посылки

В – заключение

У мозаключение принято формулировать посредством конструкции следующего вида

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

Иногда в ходе рассуждения применяется непрямая аргументация. Примером непрямого способы является рассуждение от противного.

Формы и приёмы интеллектуальной познавательной деятельности исследуются и в других науках: психологии, психолингвистике, эпистемологии.

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

Билет № 4