формализованный язык


формализованный язык
        ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в данном языке.
        Построение Ф. я. начинается с задания его алфавита — совокупности исходных, примитивных символов. В алфавит включаются логические символы (знаки логических операций и отношений, напр. пропозициональные связки и кванторы), нелогические символы (параметры дескриптивных составляющих естественного языка) и технические символы (напр., скобки). Затем формулируются так называемые правила образования сложных знаков языка из простых — задаются различные типы правильно построенных выражений. Наиболее важным их видом являются формулы — аналоги высказываний естественного языка.
        Отличительной особенностью Ф. я. является эффективность определений всех его синтаксических категорий: вопрос о принадлежности произвольного символа или последовательности символов алфавита к тому или иному классу языковых выражений решается алгоритмически в конечное число шагов.
        Иногда в состав Ф. я. наряду с алфавитом и правилами образования включают так называемые правила преобразования — процедуры дедукции, точные правила переходов от одних последовательностей символов к др. В этом случае Ф. я., по существу, отождествляется с логическим исчислением. Др. трактовка Ф. я. предполагает принятие правил интерпретации его выражений, позволяющих каждой синтаксической категории знаков сопоставить семантическую, что существенно для выявления логических форм.
        Ф. я. могут обладать различными выразительными возможностями. Так, пропозициональные языки позволяют исследовать логическую форму лишь на уровне сложных высказываний, без учета внутренней структуры простых высказываний. Языки силлогистики позволяют фиксировать логические формы атрибутивных высказываний. Первопорядковые языки воспроизводят структуру как простых (и атрибутивных, и реляционных), так и сложных высказываний, но в них разрешается квантификация только по индивидам. В более богатых языках — языках высших порядков — допускается квантификация также по свойствам, отношениям и функциям.
        Принципы построения Ф. я. могут быть использованы Ф.и при задании языков нелогических, прикладных теорий.
        В этом случае в алфавит языка вместо абстрактных нелогических символов (параметров) вводятся имена конкретных объектов предметной области теории, знаки определенных функций, свойств, отношений и т.п.
        В.И. Маркин

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.


Просмотров: 883
Категория: Словари и энциклопедии » Философия » Энциклопедия эпистемологии и философии науки





Другие новости по теме:

  • Восприятие Сложных Звуков
  • восприятие сложных звуков
  • ГЕРАКЛ 22 СМЕРТЬ И ПРИНЯТИЕ ЕГО В СОНМ ОЛИМПИЙСКИХ БОГОВ
  • ЗАКОН ЕСТЕСТВЕННОГО ОТБОРА
  • Знаки и символы (signs and symbols)
  • Искусственный язык
  • Искусственный язык
  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • логика высказываний
  • логика высказываний
  • Опросник Для Диагностики Устойчивых Форм
  • полнота логических исчислений
  • Расширение функций языка
  • Расширение функций языка
  • Речевые акты. Опыт по философии языка
  • Сокращение функций языка
  • СООБЩЕСТВО АНОНИМНЫХ АЛКОГОЛИКОВ (АА) И ЕГО ПРОГРАММА «12 ШАГОВ»
  • Сужение функций языка
  • Унификация языка (языков)
  • ФИГУРА Фигура, также карта, схема, тема, зеркало небес, гороскоп - условное изображение состояния неба (т. е. астрологически значимых астрономических факторов) в данный момент времени. Наиболее значимые в большинстве систем факторы, так или иначе отр
  • ФОРМАЛИЗОВАННЫЙ ЯЗЫК
  • Формы существования языка
  • Формы существования языка (в социолингвистике)
  • Язык искусственный
  • язык логики
  • язык науки
  • язык науки
  • ЯЗЫК НАУКИ
  • языка функции (употребление языка)



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь