Реферат: Знак и значение. Метод формализации
исходит из того, что значением знака является совокупность действий, которые можно предпринять с предметом, когда я получаю, вижу, слышу опледеляется как знак.
В данной концепции: значение- некоторая совокупность операций, проведение которых возможно с определеным предметом. Умножение–определенный алгоритм действий
БАЗОВЫЕ ОПРЕДЕЛЕНИЯ. Существует до 30 определений формы, которые можно аргументировать в 3 раздела: внешний вид; разновидность; строение.
Как внешний вид это самое распространенное определение формы.
Разновидность: формы сознания, формы бытия.
Строение–это более соответствует внутренней сущности предмета.
Гегель акцентировал внимание на проблеме формы и содержания.
Форма- это то, что присуще данному предмету на уровне сущности.
Строение может быть представлено различным образом: совокупность, система, структура
Совокупность–неустойчивая система веще, образующая некое целое(пассажиры троллейбуса- неустойчивая целостность)
Система- более устойчивое состояние(упорядочивает элементы по какому-то соотношению)(пассажиры- отделение военных- некая целостная система, вышли из троллейбуса- система не развалится)
Структура- инвариант системы, это то, что дает устойчивость системе, это то, что может сохранять сущность целого, в мысле различного(материального и др.) состояния. Пример: мелодия- структура, может быть представлена голосом, музыкальным инструментом, оркестром, нотами. Исполнение различное, а структура одна и таже.
Информация- вывод: наиболее соответвуют определения формы через структуру.
Формализация представляет собой выявление содержания через форму, и поэтому структура для нас представляет интерес.
Традиционно привыкли противопоставлять форму и содержание, но когда мы говорим о формализации, то оказывается, что форма и содержание взаимосвязаны. Формализация–это однозначное установление последовательности мысли и последовательности знаков, выражающих эту мысль. Формализация- установление однозначного соответствия между операциями в мысли и операциями со знаками, то есть если мы знаем последовательность знаков и что этот знак обозначает, то можем восстановить ту мысль, которая была формализована.
Алгоритм формализации:
задать список исходных символов, то есть каждому содержательному компаненту соотнести определенный знак.
Задать правила образования, то есть правила сочетания знаков
Отобрать исходные формулы(аксиомы)
Задаются правила преобразования(правила вывода). На этом этапе задаются правила получения из исходных форм всех остальных разрешенных, допустимых форм.
Гильберт сравнивал метод формализации с шахматной игрой:
1. знаки- фигуры и поля. 2. Формулы- расположение фигур на доске. 3. Исходные формулы- начальная позиция шахматной комбинации 4. Правила преобразования- правила ходов.
ФУНКЦИИ ФОРМАЛИЗАЦИИ
Цель формализации: выразить мысль в таковой форме с помощью с помощью определенных, доведенных до символа знаков. Формализация всегда сопровождается символизацией, имеет смысл тогда, когда используется символика
Функции:
экономность. За счет формализации достигается эффект, когда объемное содержание может быть выражено лаконично, емко. «выразить мир в ореховой скорлупе», таким содержанием проще оперировать. Формализация позволяет сделать объект обозримым(необходимо и достаточно)
точность выражения. Значение или многозначность слова определяет наше отношение. «язык навязывает видение мира». Хомский: «наш мир ограничен решеткой языка». Важно задать прежний смысл, так как слово дает определенную установку.
Контрольная. Если мы выразим содержание в формализованной форме, то очень легко найти ошибки в рассуждениях. Правила логического вывода: все греки смертны, Сократ–грек, значит Сократ смертен.
Эвристическая функция, то есть формализация позволяет решить ту или иную проблему, или ускорить решение той или иной проблемы.