0). Так, М. И. Каринский внёс значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиомагикодедуктивную систему логики, исходя из основного отношения равенства (т. е. тождества); описать в ней дедуктивные и индуктивные умозаключения.
  Л. В. Рутковский автор труда "Основные типы умозаключений" (1888). Если М. И. Каринский строил теорию выводов, используя лишь отношения тождества, то Л. В. Рутковский считал возможным признать равноправным с отношениями тождества и такие, как отношения сходства, сосуществования и др.
  С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определённому кругу логических операций. Представляют математическую логику Г. Фреге (1848 1925), Б. Рассел (1872 1970), Б. Аккерман (1896 1962) и другие мыслители.
  Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронновычислительных машин, теории программирования и т. п. Значительный вклад в разработку современной математической логики внесли наши отечественные учёныематематики А. П. Колмогоров, А. А. Марков, П. С. Новиков, М. В. Келдыш и др. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается её познавательная функция и методологическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.
  Контрольные вопросы
  1.Что представляет собой чувственное познание,

<<<назад<<< * перейти на стр. 1-233 * збірник літератури №12 * >>>далее>>>