Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: (Википедия)
Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут:
Все значения слова «общезначимость»Скептическое отношение к жизни софистов позволяло им сомневаться, в частности, в том, что считалось, казалось бы, несомненным, – в общезначимости нравственности, морали.
Отсюда проистекает вполне понятная интенция – как можно более основательно абстрагироваться от них и тем самым претендовать на общезначимость получаемых знаний.
Кантовский подход состоит в том, чтобы, фиксируя некий факт (например, общезначимость математики), выстроить определённую группу факторов таким образом, чтобы они предстали перед нами как «условия возможности» данного факта.