 |
 |
|
 |
|
|
ИНТУИЦИОНИСТСКАЯ ЛОГИКА |
| Большая советская энциклопедия (БЭС) |
форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности (См. Бесконечность).
В соответствии с концепцией интуиционизма, в И. л. нет исключенного третьего принципа (См. Исключённого третьего принцип) и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логическая система, построенная нидерландским математиком А. Гейтингом в 1930 (охватывает логику предикатов; ещё ранее — на основании соображений, отличных от интуиционистских, — систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил советский учёный В. И. Гливенко). Интуиционистская логика Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с точки зрения интуиционизма нидерландского математика Л. Э. Я. Брауэра.
С развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться конструктивной логикой (хотя в И. л. и нет некоторых принципов, признаваемых многими представителями этих направлений, например принципа конструктивного подбора, выдвинутого конструктивным направлением (См. Конструктивное направление), возглавляемым советским математиком А. А. Марковым).
|
| Философский энциклопедический словарь 2 |
форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, которые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа.
см. также Конструктивное направление. |
|
|
|
|
|
|
|
|
 |
|
 |
|
|
