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

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

 

Интуиционистская логика

интуиционистская логика
форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, к-рые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа. См. также Конструктивное направление.

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

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

Что такое интуиционистская логика
Значение слова интуиционистская логика
Что означает интуиционистская логика
Толкование слова интуиционистская логика
Определение термина интуиционистская логика
intuicionistskaya logika это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):

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