Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
МИНИМАЛЬНАЯ ЛОГИКА,логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного отрицания» , недоказуем в М. л. Однако в миним. исчислении высказываний всё же можно доказывать от противного отрицат. предложения, опираясь на «закон приведения к абсурду». Логич. средства миним. исчисления предикатов входят в логико-математич. аппарат, используемый в исследованиях по основаниям математики, а также проблем т. н. искусств, интеллекта. Исключение из М. л. «закона приведения к абсурду» приводит к положительной логике, в к-рой вообще нет доказуемых отрицат. предложений.
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|