Phenomen.Ru : Философия online

Главная > Философский словарь > формальная система

  логин

  пароль

Забыли пароль?


:: сайта »
:: академические »
:: глобальные »
:: Философская правда »


:: члены »
:: кандидаты »
:: форум кандидатов »
:: зарегистрироваться »


:: все статьи »
:: популярные статьи »
:: обсуждения »


:: философский словарь »
:: :: все статьи КФС »
:: :: все статьи РБ »
:: каталог ресурсов »
:: :: добавить ссылку »


:: все форумы »
:: общий форум »
:: форум кандидатов »
:: обновленные темы »


  e-mail

Подробности



RSS-канал Новости Phenomen.Ru
Rambler's Top100

В данном разделе представлены словари и энциклопедии по философии и смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело, став одним из авторов Открытой философской энциклопедии. [Помощь]

Краткий философский словарь (алфавитный список) >>
Русская Британника (алфавитный список) >>
Открытая философская энциклопедия (алфавитный список) >>

Поиск:

 

 В заголовках, расширенный
 В заголовках, строгий
 Полнотекстовый поиск

 Краткий философский словарь
 Русская Британника
 Открытая философская энциклопедия

Найдено в Русской Британнике


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


СМ. ТАКЖЕ
Нужен автоломбард круглосуточно? Мы выгодно оценим ваш автомобиль.

 Страница обновлена:
 18.11.2017, 17:04:18 MSK

 © Программирование и
     дазайн: Иван Шкуратов