конструктивная логики
В начале XX века возникла интуиционистская логика, опирающаяся на математический интуиционизм... Основная идея математического интуиционизма – существование первоначальной интуиции, благодаря которой... Конструктивная логика признает идеи интуиционизма продуктивными.
Вещественные числа, как они стали пониматься с времен Дедекинда, неотъемлемая часть математики, используемой при формализации экономических структур. По современным представлениям вещественные числа образуют линейно упорядоченное архимедово поле. Попробуем внимательно проанализировать, насколько адекватно аксиомы, определяющие поле вещественных чисел, отражают ситуации, имеющие место в экономике.
Анализ формалистских и интуиционистских элементов в теории А. Бадью показывает, что она распадается на две независимые части, одна из которых относится к формализму (онтология), а другая к интуиционизму (теория субъекта). При этом формалистские элементы служат для концептуализации этических ограничений, накладываемых на интуиционистского субъекта Брауэра.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
