№ 3 В.А. Бочаров* ПИФАГОРЕИЗМ, ПЛАТОНИЗМ, МАТЕМАТИКА И ЛОГИКА В статье обосновывается положение о необходимости для понимания характера законов логики и математики признания наличия мира платоновских идей. <...> С этой целью последовательно строится вначале пифагорейский мир чисел, а затем и мир платоновских идей. <...> Тем самым доказывается тезис Пифагора: все есть число. <...> Ключевые слова: мир, информация, универсальная логика, натуральные числа, законы математики, законы логики, мир Пифагора, мир Платона. <...> For this purpose the author firstly constructs logically the Pythagorean world of numbers and then the world of Plato’s ideas. <...> By that way it is proved Pythagorean thesis: “Things are numbers”. <...> Key words: world, information, universal logic, natural numbers, laws of mathematics, laws of logic, Pythagorean world, Plato’s world. <...> В науке принято ставить, обсуждать и определенным образом решать вопрос о существовании так называемой необходимой сущности (субстанции, предмета). <...> , все доказательства онтологического существования Бога являются неудовлетворительными. <...> Тем не менее можно показать, и это было мною сделано, что имеется целый ряд объектов, онтологическое существование которых является логически необходимым фактом [см. <...> И прежде всего таким объектом, который не может онтологически не существовать, является мир (универсум). <...> Является ли он абсолютно материально пустым, т.е. не содержащим никаких материальных объектов, или же он наполнен материей? <...> Этот закон непосредственно устанавливает фактуальную необходимость вечного существования материи. <...> Рассмотрим наиболее интересный случай, когда мир, который не может онтологически не существовать, является материально абсолютно пустым, т.е. представляет собой пустое множество — ∅. <...> С точки зрения современной семантической теории информации, объективно существующая информация есть не что иное, как объективно существующая структура мира. <...> Действительно, если мы вводим в некоторый универсум рассуждения хотя бы один признак, скажем, признак А, выделяя тем самым в этом универсуме <...>