Советский философский словарь

МИНИМАЛЬНАЯ ЛОГИКА

логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного отрицания» , недоказуем в М. л. Однако в миним. исчислении высказываний всё же можно доказывать от противного отрицат. предложения, опираясь на «закон приведения к абсурду». Логич. средства миним. исчисления предикатов входят в логико-математич. аппарат, используемый в исследованиях по основаниям математики, а также проблем т. н. искусств, интеллекта. Исключение из М. л. «закона приведения к абсурду» приводит к положительной логике, в к-рой вообще нет доказуемых отрицат. предложений.

  1. минимальная логика—МИНИМАЛЬНАЯ ЛОГИКА логич. система являющаяся ослаблением интуиционистской логики и конструктивного логики iза счт исключения из числа постулатов формулы интерпретируемой ...Большая советская энциклопедия
  2. минимальная логика—логическая система являющаяся ослаблением интуиционистской логики См. Интуиционистская логика и конструктивной логики См. Конструктивная логика за счт исключения из числа...Большая Советская энциклопедия II
  3. минимальная логика—МИНИМАЛЬНАЯ ЛОГИКА логич. система являющаяся ослаблением конструктивной логики и интуиционистской логики за счт исключения из числа постулатов принципа из противоречия сл...Философская энциклопедия
  4. минимальная логика,—система логич. правил не использующая не только принципа исключенного третьего или закона снятия двойного отрицания классич. математич. логики но и приемлемого с т. зр. и...Философская Энциклопедия (в 5 томах)