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/academicru/academicru_news.php on line 46 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/academicru/academicru_news.php on line 47 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/academicru/academicru_news.php on line 49 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/academicru/academicru_news.php on line 50
|
ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ законы исчисления высказываний и алгебры логики, выражающие нек-рые свойства отрицания, связанные в нек-рых случаях также с импликацией. В классич. исчислении высказываний они выражаются следующими формулами: (здесь "-" - знак отрицания, а "-> - знак импликации, т.е. логич. следования). Две последние из этих формул верны также и в интуиционистском исчислении высказываний (см. Интуиционистская логика и Конструктивная логика). В классич. алгебре логики Д. о. з. выражаются следующими тождествами: (здесь И - знак истины). Содержательный общелогич. смысл Д. о. з. состоит в том, что двойное отрицание (т.е. повторенное два раза отрицание, отрицание отрицания), грубо говоря, есть почти то же самое, что и утверждение, равносильно последнему; хотя при более тонком анализе выясняется, что переход от двойного отрицания (нек-рого высказывания) к утверждению (того же высказывания) в общем случае является, в отличие от обратного перехода, в нек-ром смысле неконструктивным. А. Кузнецов. Москва. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970. Категория: Словари и энциклопедии » Философия » Философская энциклопедия Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|