Советский философский словарь - определимость
Связанные словари
Определимость
определимость
одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и Семантика). Понятие синтаксически определимо в данной теорий, если на её языке можно записать явное (номинальное) определение этого понятия через др. понятия той же теории, причём такое, что его (определения) замыкание доказуемо в данной теории. Т. е. понятие синтаксически определимо, если возложен перевод содержащих это понятие выражений (аксиом, теорем) теории в дедуктивно эквивалентные выражения той же теории, в к-рых определимое понятие всюду замещено понятиями, его определяющими. Синтаксич. О. это вопрос о связи понятий (терминов) теории, подобный вопросу о связи её утверждений по отношению выводимости. Поэтому теоретически важно иметь общий метод доказательства О. или её отрицания. Именно такой метод дают теоремы об О. Э. Бэта и В. Крейга, устанавливающие эквивалентность синтаксич. О. и нек-рых ограничит. условий на характер моделей теории. Обе эти теоремы апеллируют к понятию семантич. О. (введено А. Тарским, 1933), к-рая относится к выразит. возможностям языка теории, к связи понятий (терминов) теории с действительностью. Семантич. О, означает «отобразимость» в теории объектов действительности (в т.ч. и абстракций свойств, множеств, отношений и т. п.), свидетельствуя о наличии их «языковой модели». Понятие к.-л. содержательной области семантически определимо в теории, если найдётся формула (выражение), переводящая это понятие на язык теории (причём такая, что её замыкание выполнимо в указанной содержательной области). Про объекты области, семантически определимые в теории, говорят, что они определимы в этой области. Хотя синтаксич. и семантич. О. различны, их можно поставить в связь в метаязыке, полагая зависимость семантич. О. объекта в области от истинности синтаксич. определения этого объекта в той же области.
Рейтинг статьи:
Вопрос-ответ:
Что такое определимость
Значение слова определимость
Что означает определимость
Толкование слова определимость
Определение термина определимость
opredelimost это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |