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): Прямая ссылка на эту публикацию:
|
|