Поиск в словарях
Искать во всех

Советский философский словарь - минимальная логика

 

Минимальная логика

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

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое минимальная логика
Значение слова минимальная логика
Что означает минимальная логика
Толкование слова минимальная логика
Определение термина минимальная логика
minimalnaya logika это

Похожие слова

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины