Опровержение логическое - определение. Что такое Опровержение логическое
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Опровержение логическое - определение

Логическое следование; Следование логическое; Логическое следствие

Опровержение логическое      

обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к формальным аналогам перечисленных понятий: формулам каких-либо исчислений, последовательностям формул, фигурирующим в качестве формальных выводов и доказательств, системам формул (и их подсистемам), играющим роль аксиом исчисления, системам следствий из аксиом и формальным системам (исчислениям) в целом - также можно говорить о логическом опровержении: О. л. формулы есть (формальное) доказательство её отрицания; О. л. формального вывода или доказательства - это эффективное указание на то, что данная последовательность формул не удовлетворяет определению вывода (доказательства); наконец, О. л. системы аксиом или исчисления в целом представляет собой содержательное доказательство противоречивости (несовместимости) данной системы, проведённое средствами Метаязыка данного исчисления (в его метатеории (См. Метатеория)) (см. Непротиворечивость). Один из самых распространённых способов О. л. состоит в приведении опровергаемого тезиса (суждения, умозаключения, теории в целом) к противоречию (см. Косвенное доказательство, Доказательство от противного). Вообще, в соответствии с многообразным пониманием терминов "доказательство" и "отрицание", фигурирующих в разъяснении термина "О. л.", последний может пониматься многими различными, хотя и родственными, путями.

Понятие О. л. играет важную роль в методологии науки, особенно в методологии эмпирических наук. Это связано с тем, что термин "индуктивное доказательство", часто применяемый по отношению к опытным проверкам тех или иных фактов, может пониматься буквально (не метафорически) лишь в случае доказательства отрицательных утверждений: совпадение результатов опыта с предсказанием теории всегда в принципе может быть отнесено за счёт недостаточной точности измерений; расхождение же теоретических и экспериментальных данных, выходящее за пределы допустимого "разброса" результатов, опровергает данный вариант теории. Из сказанного, конечно, не следует, что "положительная ценность" понятия О. л. заключается в чисто теоретическом, методологическом его аспекте; О. л. части возможных гипотез, носящее бесспорный характер, увеличивает степень правдоподобия конкурирующих гипотез (оцениваемую в некоторых случаях по правилам индуктивной логики), а в случае, когда конкурирующая гипотеза единственна, служит вполне строгим её доказательством.

Лит. см. при ст. Доказательство.

ОТРИЦАНИЕ         
ОПЕРАЦИЯ, МЕНЯЮЩАЯ ЗНАЧЕНИЕ НА ПРОТИВОПОЛОЖНОЕ
Отрицание (логика); Логическое отрицание; Негация; Инвертирование; NOT
в грамматике - выражение при помощи различных языковых средств того, что связь между элементами высказывания мыслится как реально не существующая или отсутствующая. Отрицание может выражаться отдельными словами (рус. "нет", "не", нем. nein, nicht, англ. no, not), аффиксами (рус. приставки "не...", "без...", нем. un...) и др. способами.
---
философская категория, выражающая связь двух последовательных стадий (состояний) развивающегося объекта; отрицание - условие изменения объекта, при котором некоторые элементы не просто уничтожаются, но сохраняются в новом качестве (см. Снятие).
---
логический эквивалент оборота "неверно, что..." или просто частицы "не"; операция, формализующая логические свойства этих слов.
ОТРИЦАНИЕ         
ОПЕРАЦИЯ, МЕНЯЮЩАЯ ЗНАЧЕНИЕ НА ПРОТИВОПОЛОЖНОЕ
Отрицание (логика); Логическое отрицание; Негация; Инвертирование; NOT
1. В грамматике: слово или морфема, заключающие в себе значение противоположности утверждаемому, например "нет", "не", "ни".
2. В философии: стадия в развитии объекта, сменяющая собой предыдущую и вбирающая в себя из нее все положительное.
Закон отрицания отрицания (закон диалектики, устанавливающий единство последовательностей и преемственностей в развитии объекта).

Википедия

Импликация

Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».

Импликация записывается как посылка {\displaystyle \Rightarrow } следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие.

Суждение, выражаемое импликацией, выражается также следующими способами:

  • посылка является условием, достаточным для выполнения следствия:
  • следствие является условием, необходимым для истинности посылки.

Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы.

При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением.

Что такое Опроверж<font color="red">е</font>ние лог<font color="red">и</font>ческое - определение