Формальная семантика: различия между версиями

'''Формальная семантика''' — этодисциплина, изучениеизучающая [[семантика|семантикисемантику]], или (интерпретации,) [[формальный язык|формальных]] и [[естественный язык|естественных языков]] путём их формального описания в математических терминах.

Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого [[Алфавит (информатикаформальный язык)|алфавитом]]) и множества правил вывода (также называемого [[формальная грамматика|формальной грамматикой]]), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за [[аксиома|аксиомы]] (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и значений истинности её предложениям.

До становления современной логики, в ''«[[Органон]]е''» Аристотеля, а именно в работе ''«Об истолковании''» были заданы основы понимания и значения логики. Введение [[квантор]]ов должно было решить проблему общности множеств, не решаемую в рамках субъектно-предикатного анализа Аристотеля, хотя в логике термов появляется новый интерес, а именно попытки построить исчисление в духе силлогистики Аристотеля, но используя свойства общности кванторов из современной логики.

* '''Модельно[[Теоретико-теоретическаямодельная семантика''']], архетип семантики теории истинности [[Альфред Тарский|Альфреда Тарского]], основанной на его Т-схеме, является одной из ключевых концепций модельной теории. Это один из наиболее распространённых подходов. Основная его идея в том, что смысл различных частей утверждения задаются всевозможными способами рекурсивного задания группы функций интерпретации, отображающих предложения на некоторые заранее заданные математические множества. Так, интерпретация логики предикатов первого порядка задаётся отображением термов в универсум, и отображение предикатов в значения истинности «истина» и «ложь». На модельно-теоретической семантике основан подход в теории смысла под названием ''семантика условной Истины'', который впервые был предложен [[Дэвидсон, Дональд|Дональдом Девидсоном]]. Семантика Крипке по сути вносит некоторые дополнения к семантике Тарского.