Формализованный язык как средство выявления логической формы языковых выражений

Актуальность исследования. Формализованный язык – искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в данном языке. Построение формализованного языка начинается с задания его алфавита – совокупности исходных, примитивных символов. В алфавит включаются логические символы (знаки логических операций и отношений, например, пропозициональные связки и кванторы), нелогические символы (параметры дескриптивных составляющих естественного языка) и технические символы (например, скобки). Затем формулируются так называемые правила образования сложных знаков языка из простых – задаются различные типы правильно построенных выражений. Наиболее важным их видом являются формулы – аналоги высказываний естественного языка.

---

Многим требуется презентация под ключ , заказать её можно на сайте Work5, если заполнить форму.

---

. Целью исследования является формализованный язык как средство выявления логической формы языковых выражений. Для реализации этой цели ставятся и решаются следующие задачи:  выявить и обосновать понятие «формализованный язык»;  исследовать, как формализованный язык является основой для построения логических теорий. Объект исследования - формализованный язык. Предмет исследования - формализованный язык как средство фиксации логических форм высказываний. Работа состоит из введения, двух глав, заключения, списка литературы.

Формализованный (формальный) язык- язык, характеризующийся точными правилами построения выражений и их понимания. Он строится в соответствии с четкими правилами, обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изучаемой предметной области (моделируемых объектов). В отличие от естественных языков формальным языкам присущи четко сформулированные правила семантической интерпретации и синтаксического преобразования используемых знаков, а также то, что смысл и значение знаков не изменяется в зависимости от каких-либо прагматических обстоятельств (например, от контекста). Большинство формальных языков (созданных конструкций) строится по следующей схеме: сначала выбирается алфавит, или совокупность исходных символов, из которых будут строиться все выражения языка; затем описывается синтаксис языка, то есть правила построения осмысленных выражений. Буквами в алфавите формального языка могут быть и буквы алфавитов естественных языков, и скобки, и специальные знаки и т.п. Из букв, по определенным правилам можно составлять слова и выражения. Осмысленные выражения получаются в формальном языке, только если соблюдены определенные в языке правила образования. Для каждого формального языка совокупность этих правил должна быть строго определена и модификация любого из них приводит чаще всего к появлению новой разновидности (диалекта) этого языка. Формальные языки широко применяются в науке и технике. С точки зрения информатики, среди формальных языков наиболее значительную роль играют формальный язык логики (язык алгебры логики) и языки программирования.

1. Аристотель. Соч. в 4х томах, Т. 3. – М.: Мысль, 2015. – 612 с. 2. Васильев Н.А. Воображаемая логика, Избранные труды. Отв. ред. д.филос.н. В.А. Смирнов. – М.: Наука, 2019. – 264 с. 3. Гегель. Энциклопедия философских наук. Т. 1. – М.: Мысль, 2014. – 462 с. 4. Ильенков Э.Д. Философия и культура. – М.: Политиздат, 2015. – 464 с. 5. Кант И. Критика чистого разума. – Минск: Литература, 2018. – 960 с. 6. Кондаков Н.И. Логический словарь. – М.: Наука, 2017. – 638 с. 7. Маркс К., Энгельс Ф., Ленин В.И. О диалектическом и исто рическом материализме. – М.: Политиздат, 2014. – 636 с. 8. Московченко А.Д. Проблема интеграции фундаментального и технологического знания. – Томск: ТУСУР, 2018. – 192 с. 9. Московченко А.Д. Автотрофность: фактор гармонизации фундаментально - технологического знания. – Томск: Знамя Мира, 2013. – 263 с. 10. Московченко А.Д. Философия автотрофной цивилизации.– Томск: Твердыня, 200. – 216 с. 11. Смирнов В.А. Логико- философские труды. – М.: Эдиториал УФСС, 2012. – 582 с.