Философская энциклопедия - постулат

ПОСТУЛАТ

(от лат. postulatum — требование), положение (суждение, утверждение), принимаемое в рамках к.-л. науч. теории за истинное в силу очевидности и поэтому играющее в данной теории роль аксиомы (наряду с аксиомами логики). Таковы, напр., галиле-евский принцип относительности и принцип постоянства скорости света в релятивистской механике. П.— это нелогические (специальные) аксиомы теории; их сочетание с аксиомами и правилами логики позволяет описать (индивидуализировать) объекты универсума теории и их свойства. П. теории выступают как её осн. абстракции и служат содержат. основанием для вывода др. её положений-теорем. Подобное толкование П. согласуется с антич. традицией, восходящей к «Началам» Евклида. Иногда под П. (или правилами преобразования) подразумевают все аксиомы, схемы аксиом, определения и правила вывода рассматриваемой формальной системы. Встречается также толкование П. как спорных положений, включение которых в число исходных принципов (аксиом) не приводит, однако, к противоречию. В этом смысле П. будет, напр., по отношению к др. аксиомам логики — исключённого третьего принцип.

Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 19; Чёpч А., Введение в математич. логику, пер. с англ., т. 1, М., 1960, § 07, § 55.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.