Большая советская энциклопедия - интуиционистская логика
Интуиционистская логика
интуиционистская логика
Интуиционистская логика, форма логики предикатов, отражающая взгляд интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности. В соответствии с концепцией интуиционизма, в И. л. нет исключенного третьего принципа и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логическая система, построенная нидерландским математиком А. Гейтингом в 1930 (охватывает логику предикатов; еще ранее — на основании соображений, отличных от интуиционистских, — систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил советский ученый В. И. Гливенко). Интуиционистская логика Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с точки зрения интуиционизма нидерландского математика Л. Э. Я. Брауэра. С развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться конструктивной логикой (хотя в И. л. и нет некоторых принципов, признаваемых многими представителями этих направлений, например принципа конструктивного подбора, выдвинутого конструктивным направлением, возглавляемым советским математиком А. А. Марковым).
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям. ...Большой энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 6901 | |
2 | 4972 | |
3 | 3110 | |
4 | 3053 | |
5 | 2918 | |
6 | 2908 | |
7 | 2850 | |
8 | 2815 | |
9 | 2783 | |
10 | 2657 | |
11 | 2578 | |
12 | 2401 | |
13 | 2278 | |
14 | 2248 | |
15 | 2224 | |
16 | 2193 | |
17 | 2132 | |
18 | 2114 | |
19 | 2102 | |
20 | 2083 |