ИСТИНА

Объектом исследования являются исследования являются различные подходы к пониманию детерминизма в логике, формализации детерминистических аргументов, временные онтологии и модели времени, системы временной логики. Целью данного исследования является прояснение связи между проблематикой детерминизма и становлением идей, сыгравших ключевую роль в формировании логики времени, ее семантических и онтологических оснований. Методологическую основу исследования составляет аппарат современной символической логики. Полученные в диссертации результаты позволяют уточнить классическую проблему детерминизма. Разрозненные подходы в современных логических исследованиях помещаются в общий контекст. Показана связь различных подходов к проблеме детерминизма с различными моделями времени и связанными с ними временными онтологиями. Практическое значение исследования заключается в возможности разработки и чтения курсов по различным системам временной логики, по истории логики для студентов, магистров и аспирантов, специализирующихся по логике.