В настоящей книге рассматривается драматическая история математической логики, связанная с понятием "универсума рассуждения" - предметной области в логике. Освещается коллизия взглядов двух выдающихся логиков конца XIX - начала XX в.: Г.Фреге и Э.Шредера. Логические построения Фреге, настаивавшего на всеобщем характере логического универсума, привели к противоречивости его системы ("парадокс Рассела"). Подход Шредера вылился в исторически первую логическую теорию типов предметов. Показано, что спор Фреге и Шредера отражал диалектическую природу логико-онтологического принципа тождества. Книга рассчитана на широкий круг читателей, интересующихся философскими проблемами современной науки, специалистов в области философии и логики, преподавателей высших учебных заведений, аспирантов и студентов - философов, историков математики и логиков.
V nastojaschej knige rassmatrivaetsja dramaticheskaja istorija matematicheskoj logiki, svjazannaja s ponjatiem "universuma rassuzhdenija" - predmetnoj oblasti v logike. Osveschaetsja kollizija vzgljadov dvukh vydajuschikhsja logikov kontsa XIX - nachala XX v.: G.Frege i E.Shredera. Logicheskie postroenija Frege, nastaivavshego na vseobschem kharaktere logicheskogo universuma, priveli k protivorechivosti ego sistemy ("paradoks Rassela"). Podkhod Shredera vylilsja v istoricheski pervuju logicheskuju teoriju tipov predmetov. Pokazano, chto spor Frege i Shredera otrazhal dialekticheskuju prirodu logiko-ontologicheskogo printsipa tozhdestva. Kniga rasschitana na shirokij krug chitatelej, interesujuschikhsja filosofskimi problemami sovremennoj nauki, spetsialistov v oblasti filosofii i logiki, prepodavatelej vysshikh uchebnykh zavedenij, aspirantov i studentov - filosofov, istorikov matematiki i logikov.
