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