Розкрито суть основних понять сучасної логіки, розглянуто її зв'язок з гуманітарними, природничими та технічними науками. Проаналізовано особливості алгебри контактних схем. Наведено теорію множин, а також результати логічного дослідження Д.Гільберта. Розглянуто логіку висловлень як основу символічної логіки. Описано індуктивні та дедуктивні види умовиводів. Проаналізовано вплив математичної теорії зв'язку на логіко-семантичні дослідження. Розкрито суть проблеми існування в логіці, визначено особливості логіки предикатів.

Раскрыто содержание основных понятий современной логики, рассмотрена ее связь с гуманитарными, естественными и техническими науками. Проанализированы особенности алгебры контактных схем. Приведены теория множеств, а также результаты логического исследования Д.Гильберта. Рассмотрена логика высказываний как основа символической логики. Описаны индуктивные и дедуктивные виды умозаключений. Проанализировано влияние математической теории связи на логико-семантические исследования. Раскрыто содержание проблемы существования в логике, определены отличительные черты логики предикатов.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"