Логическая семантика и её проблема

Введение
Современная формальная логика называется символической, потому что она анализирует структуру и законы мышления на специальном языке.
Необходимая связь между мышлением и языком, в которой язык функционирует как материальная оболочка мысли, позволяет идентифицировать логические структуры только посредством анализа языковых выражений. Точно так же, как орех может быть достигнут только путем открытия его оболочки, так и логические формы могут быть выявлены только путем семантического анализа.
Логическая семантика является важной частью логики в целом. В данном эссе будут рассмотрены основные положение логической семантики и ее проблемы.
«Если бы функция действительно была только значением аналитического выражения, она была бы числом; и ничего нового благодаря этому мы бы не приобрели.» (с. 217). Действительно, чтобы указать функцию, вы должны указать метод, с помощью которого вы найдете соответствующее значение функции для каждого значения аргумента. Наиболее распространенный метод — определить функцию по формуле y = f (x), где f (x) — переменная x. В этом случае говорят, что функция задана формулой или что функция задана аналитически.
Если функция y = f (x) определена и увеличивается (уменьшается) в интервале X, а диапазон ее значений равен интервалу Y, она имеет обратную функцию, а обратная функция определяется и увеличивается в интервале Y (уменьшается). [1]
«Равенство требует глубокого размышления над вопросами, которые с ним связаны и на которые не так легко найти ответ'. Является ли оно отношением?» (с. 230) По нашему мнению, «фактическое равенство» представляет собой смешение терминов «фактическое» и «не объективное» (формальное) и показывает противоречие в самом понятии «равенство».
В конце концов, «равенство», «равная мера» (как термин, как средство регулирования и т. д.) есть только в контексте различия между «фактическим» и «формальным» и только как нечто «формальное», которое отделено от «фактического» (абстрагированного). Слова отделены от обозначенных предметов, чисел и баллов — подсчитанных предметов, шкалы — от взвешенного веса и т

. д.
К примеру, тождество — это равенство, истинное для всех значений переменных. Два выражения, значения которых одинаковы для всех значений переменных, называются одинаково равными [2]. Означает ли это истинное равенство? Проблема равенства широко исследуется в логической семантике.
Равенство обозначается символом «≡».
Преобразование идентичности выражения — это замена исходного выражения идентичным ему выражением. Часто в этом предложении слово «идентичный» опускается, и они просто говорят «преобразование выражения», что подразумевает, что это преобразование идентичности. Для идентичных преобразований используются сокращенные формулы умножения, арифметические законы и другие тождества.
Когда вы выполняете идентичные преобразования алгебраических выражений, вы должны знать порядок выполнения действий, действий с разбиениями и степенными выражениями, сокращенных формул умножения и так далее.
Следует отметить, что при одинаковых преобразованиях остаются неизменными:
- значение допустимых изменений буквенных значений;
- диапазон допустимых значений для каждого из значений.
Каждая концепция и суждение идентичны себе, если они равны. Закон идентичности означает, что в процессе мышления невозможно заменить одну мысль другой, одну концепцию другой. В случае нарушения этого закона возможны логические ошибки, что также является отображением проблем логической семантики.
«Ведь процесс суждения является чем-то в высшей степени своеобразным и ни с чем не сравнимым. Можно даже сказать, что процесс суждения состоит в различении частей внутри значения истинности.» (с. 236). Более сложная форма мышления, чем концепция — это суждение. Оно включает в себя концепцию, но не сводится к ней, а представляет собой качественно особую форму, которая выполняет другие свои функции в мышлении.
Суждение — это идея, которая утверждает наличие или отсутствие объектов, их свойств или их связей. На языке суждения обычно выражаются осмысленными предложениями и могут быть оценены как правильные или неправильные. Примеры суждений: «Марс — это планета», «У роз есть шипы». Суждения делятся на два класса — простые и сложные.
Простые суждения — это те суждения, в которых невозможно выделить определенную часть, которая, в свою очередь, является суждением