Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки




А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

логистический метод

Логистический метод - принятый в совр. математике и логике метод построения формализованных систем (Формализация), или исчислений (в логическом синтаксисе употребляется термин «синтаксическая система»). Такие системы строятся чисто формально, как нек-рые конфигурации знаков и их последовательности в отвлечении от смысла соответствующих выражений. Л. м. предполагает: (1) список первичных символов системы; (2) определение тдго, какого вида последовательности первичных символов образуют правильно построенные формулы системы (сокращенно ППФ),- первые два типа правил относятся к правилам образования; (3) определение того, какие ППФ относятся к аксиомам; (4) указание правил вывода (или правил преобразования), по к-рым из соответствующих ППФ как из посылок непосредственно выводится нек-рая ППФ как заключение. Конечная последовательность, состоящая из одной или большего числа ППФ, наз. доказательством, если каждая ППФ в последовательности либо является аксиомой, либо непосредственно выводится согласно правилам вывода из предшествующих ППФ последовательности. Те ППФ системы, для к-рых существуют доказательства, наз. теоремами системы. Иногда в понятие Л. м. помимо построения формальной системы включают также и ее интерпретацию (Логическая семантика). Чисто формальное построение системы не означает в то же время абсолютного игнорирования содержательной стороны, в частности нек-рого класса логических законов. Последние всегда так или иначе учитываются при построении исчисления.


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.

https://store-service.ru/iphone





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)