Значение слова «общезначимость»
-
Общезначимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут:
⊨
A
{\displaystyle \vDash A}
. Важнейшими видами логических формул являются пропозициональные и предикатные формулы. При классическом понимании логических операций общезначимость пропозициональных формул проверяется путём построения истинностных таблиц: формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И («истина»). Общезначимость предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, то есть не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она (это результат Чёрча). Из теоремы Гёделя о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классическом исчислении предикатов.
Источник: Википедия
-
общезна́чимость
1. (в логике) свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогических символов, то есть предикатных и пропозициональных переменных
Источник: Викисловарь
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: подпитанный — это что-то нейтральное, положительное или отрицательное?
Нейтральное
Положительное
Отрицательное
Не знаю
Синонимы к слову «общезначимость»
Предложения со словом «общезначимость»
- Скептическое отношение к жизни софистов позволяло им сомневаться, в частности, в том, что считалось, казалось бы, несомненным, – в общезначимости нравственности, морали.
- Отсюда проистекает вполне понятная интенция – как можно более основательно абстрагироваться от них и тем самым претендовать на общезначимость получаемых знаний.
- Кантовский подход состоит в том, чтобы, фиксируя некий факт (например, общезначимость математики), выстроить определённую группу факторов таким образом, чтобы они предстали перед нами как «условия возможности» данного факта.
- (все предложения)
Цитаты из русской классики со словом «общезначимость»
- И, строго говоря, вне отношения к этому факту ее выводы теряют приложимость и общезначимость: схемы Канта годны, чтобы характеризовать не человека вообще со всей неисчерпаемой полнотой его духа, но только «научного Человека», т. е. всего одну сторону этого духа и его деятельности.
- Т. 5. С. 296).], и в то же время оно притязает на объективность и общезначимость своих оценок, что и приводит Канта к постановке вопроса: «как возможны синтетические суждения a priori в области эстетики?» Художественный вкус поэтому становится у Канта «Vermögen» [Способность, возможность, сила (нем.).] и рассматривается как аналогичная разуму способность a priori оценивать сообщаемость (Muttheilbarkeit) чувств, которые связаны с данным представлением (без посредства понятия) (160) [«Вкус можно было бы даже определить как способность суждения о том, чему наше чувство придает всеобщую сообщаемостъ без посредства понятия» (Кант И. Соч.:
- (все цитаты из русской классики)
Понятия, связанные со словом «общезначимость»
-
«Логические исследования» (нем. Logische Untersuchungen, 1900, 1901) — философское сочинение Э. Гуссерля. Хотя в «Логических исследованиях» ещё не развёрнуты все характерные для феноменологии темы, это — исходная для феноменологического движения работа, о которой сам Гуссерль сказал позднее, что она стала для него «произведением прорыва».
-
Феноменали́зм — философское учение о том, что мы познаем не сущность вещей, «вещи в себе», а лишь явления.
-
«Воображаемое установление общества» — книга Корнелиуса Касториадиса, французского социолога, психоаналитика, философа и социального активиста, одного из создателей группы «Социализм или варварство», изданная в 1975 г. Перевод с франц. Г. Волковой, С. Офертаса. М.: Гнозис; Логос, 2003 г.
-
Закон в философии — «необходимая связь (взаимосвязь, отношение) между событиями, явлениями, а также между внутренними состояниями объектов, определяющая их устойчивость, выживание, развитие, стагнацию или разрушение». В философском смысле под законом подразумевают «объективные связи явлений и событий, существующие независимо от того, известны они кому-нибудь или нет».
-
Эпи́стема (от греч. ἐπιστήμη «знание», «наука» и ἐπίσταμαι «знать» или «познавать») — центральное понятие теории «археологии знания» Мишеля Фуко, введённое в работе «Слова и вещи. Археология гуманитарных наук» (1966).
- (все понятия)
Отправить комментарий
Предложения со словом «общезначимость»
Скептическое отношение к жизни софистов позволяло им сомневаться, в частности, в том, что считалось, казалось бы, несомненным, – в общезначимости нравственности, морали.
Отсюда проистекает вполне понятная интенция – как можно более основательно абстрагироваться от них и тем самым претендовать на общезначимость получаемых знаний.
Кантовский подход состоит в том, чтобы, фиксируя некий факт (например, общезначимость математики), выстроить определённую группу факторов таким образом, чтобы они предстали перед нами как «условия возможности» данного факта.
- (все предложения)