Логика: краткий теоретический курс. Веревичев И.И. - 75 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

74
фотографий, отпечатков пальцев и т.д. Применение аналогии в судебной
практике носит название юридического прецедента.
ОСНОВЫ ЛОГИЧЕСКОЙ ФОРМАЛИЗАЦИИ
Естественные и формальные языки различны по своим целям и
функциям. Естественные языки прежде всего предназначены для общения. Они
более выразительны и многозначны. Формальные языки – это искусственные
знаковые системы, рационализирующие более узкие сферы деятельности
людей: научное познание, средства связи и т.п. Формальные языки строятся на
основе четко сформулированных правил. Синтаксические правила
формального языка регулируют процессы осмысления и применения
логических структур – терминов, формул, выводов и доказательств. В
частности, это необходимо в юриспруденции для анализа и сопоставления
собственного нормативного языка со спецификой его собственной дедуктивной
логики суждений и рассуждений. Семантические правила помогают решать
проблемы интерпретации отношений между знаками и обозначаемыми ими
предметами. В процессе формализации естественного языка в искусственную
знаковую систему прежняя знаковая структура реконструируется не столько
ради краткости и упрощения изложения мысли, сколько ради более
эффективного представления о логических и внелогических связях и
отношениях формализуемого фрагмента мысли. С помощью языков логики
определяются и фиксируются основные категории языка, различные контексты
его использования.
1. Язык логики предикатов
Логика предикатов – важнейший инструмент уточнения логического
смысла высказываний. Язык логики предикатов является языком классической
логики и применяется в системе, называемой исчислением предикатов,
использование которой предусматривает изучение не только специфики
логических операторов и связок (отрицания, конъюнкции, дизъюнкции,
импликации, эквиваленции), но и анализ внутренней структуры суждений.
Алфавит языка логики предикатов состоит из следующего набора знаков-
символов:
- предметные переменные: х, y, z…;
- предметные постоянные: а, в, с …;
- предикатные переменные р, q, r…;
- предикатные постоянные Р, Q, R, …;
- функторы (логические связки, кванторы, условные обозначения
операций, скобки и т.п.).
В этом алфавите предметными (или индивидными) переменными
называют термины, указывающие явным образом на конкретный единичный
предмет, предполагая наличие такого же значения в фиксированном
предметном универсуме, т.е. в некотором классе предметов. Примером таких
переменных могут служить выражения «нечто», «кто-то», «что-то» и т.п.

Страницы