Разместить заказ
Вы будете перенаправлены на Автор24

Логическая семантика

8-800-775-03-30 support@author24.ru
Статья предоставлена специалистами сервиса Автор24
Автор24 - это сообщество учителей и преподавателей, к которым можно обратиться за помощью с выполнением учебных работ.
как работает сервис
Логическая семантика

Что такое логическая семантика?

Определение 1

Логическая семантика - раздел логики, в котором изучаются отношения языковых символов к означаемым ними объектам и выражаемому ними содержанию.

  • Когда семантика как раздел семиотики столкнулся с совместными категориями интерпретации знаковых систем всех типов, то логическая семантика столкнулась с особенного рода знаковыми системами — языками, которые созданы для целей и задач логики.

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

Замечание 1

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

Логическая семантика как наука

Семантика как взыскательная наука может применяться только для языков, которые имеют установленную текстуру и формальную систему. Логическая семантика решает вопрос нахождения путей и методов интерпретации формальных систем, поэтому они выступают как эффекты формализации содержательных доктрин.

В Логической семантике распознают теорию референции, базирующуюся на понятии истинности, и теорию толку. Уточнение понятия "толка" наталкивается на принципные проблемы, стимулированные многогранностью данного понятия. Есть разные способы семантического анализа: способ экстенсионала и интенсионала (Р. Карнап, Р. Монтегю), способ работы именования (Г. Фреге), доктрина неполных знаков (Б. Рассел), концепция твердых десигнаторов (С. Крипке) и др.

Способы семантического анализа толка и ценности выражений, созданные в Логической семантике, имеют все шансы применяться и к анализу природных языков. Тем не менее, данные способы не считаются в заключительном случае необходимыми. Нужно учесть конкретные лингвистические свойства выражений натурального языка, смыслы которых находятся в зависимости и еще от контекста потребления, от коммуникативных качеств, от пресуппозиций носителя языка и прочих причин.

Развитие логической семантики

Прогрессивная Логическая семантика всходит к работам Г. Фреге. Тем не менее, исследование Логической семантики как особенного раздела закономерной науки следует датировать началом $30$-х гг., когда начали выходить работы А. Тарского, а именно его базовый труд «Понятие правды в формализованных языках» ($1935$). В $1942-1947$ гг. выходит трехтомное издание «Изыскание по семантике» Р. Карнапа.

Замечание 2

Значимой вехой в исследовании Логической семантики стало подтверждение К. Геделем семантической полноты первопорядкового исчисления предикатов и установление частичности исчислений предикатов высочайших порядков. Также, подтверждение А. Тарским неопределимости понятия истинности посредством исследуемого языка.

В послевоенные годы значительные результаты были достигнуты в доктринах моделей, в частности, в доктрине, которая рассматривала взаимосвязь между синтаксическими качествами формул и качествами их моделей. Именно в этот период начали формироваться семантики для разного типа модальных логик, интуиционистской логики, релевантных, немонотонных и множества иных классов закономерных исчислений. Разрабатываются разные методы возведения семантик: семантики с истинностными провалами и пресыщенными оценками, теоретико-игровые, ситуационные и другие.

В заключительные десятилетия планируется сближение семантики и прагматики. При построении семантики предусматриваются конкретные прагматические нюансы: контексты потребления выражений, явные свойства субъекта познавательной работы.