В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и даже общекультурное значение). Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков-профессионалов. д. Именно такими понятиями являются "полнота" и "непротиворечивость" систем аксиом "алгоритм", "доказательство", "смысл высказывания и тема", "интерпретация", "семантическая информация", "парадокс" и т. 2012. Воспроизведено в оригинальной авторской орфографии издания 1981 года (издательство "Прогресс").