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