Опровержение логическое | это... Что такое Опровержение логическое? (original) (raw)
Опровержение логическое
Опровержение логическое
обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к формальным аналогам перечисленных понятий: формулам каких-либо исчислений, последовательностям формул, фигурирующим в качестве формальных выводов и доказательств, системам формул (и их подсистемам), играющим роль аксиом исчисления, системам следствий из аксиом и формальным системам (исчислениям) в целом — также можно говорить о логическом опровержении: О. л. формулы есть (формальное) доказательство её отрицания; О. л. формального вывода или доказательства — это эффективное указание на то, что данная последовательность формул не удовлетворяет определению вывода (доказательства); наконец, О. л. системы аксиом или исчисления в целом представляет собой содержательное доказательство противоречивости (несовместимости) данной системы, проведённое средствами Метаязыка данного исчисления (в его метатеории (См. Метатеория)) (см. Непротиворечивость). Один из самых распространённых способов О. л. состоит в приведении опровергаемого тезиса (суждения, умозаключения, теории в целом) к противоречию (см. Косвенное доказательство,Доказательство от противного). Вообще, в соответствии с многообразным пониманием терминов «доказательство» и «отрицание», фигурирующих в разъяснении термина «О. л.», последний может пониматься многими различными, хотя и родственными, путями.
Понятие О. л. играет важную роль в методологии науки, особенно в методологии эмпирических наук. Это связано с тем, что термин «индуктивное доказательство», часто применяемый по отношению к опытным проверкам тех или иных фактов, может пониматься буквально (не метафорически) лишь в случае доказательства отрицательных утверждений: совпадение результатов опыта с предсказанием теории всегда в принципе может быть отнесено за счёт недостаточной точности измерений; расхождение же теоретических и экспериментальных данных, выходящее за пределы допустимого «разброса» результатов, опровергает данный вариант теории. Из сказанного, конечно, не следует, что «положительная ценность» понятия О. л. заключается в чисто теоретическом, методологическом его аспекте; О. л. части возможных гипотез, носящее бесспорный характер, увеличивает степень правдоподобия конкурирующих гипотез (оцениваемую в некоторых случаях по правилам индуктивной логики), а в случае, когда конкурирующая гипотеза единственна, служит вполне строгим её доказательством.
Большая советская энциклопедия. — М.: Советская энциклопедия.1969—1978.
Полезное
Смотреть что такое "Опровержение логическое" в других словарях:
- Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
- Дилемма — (греч. dílemma, от dís дважды и lemma Лемма, посылка) особый вид умозаключений (См. Умозаключение) с гипотетическими (условными) и разделительными (дизъюнктивными) Посылками. Различают конструктивную Д. (утверждающая форма, modus ponens… … Большая советская энциклопедия
- Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
- Логика — Гр … Википедия
- Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
- Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
- Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
- ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
- Софистические опровержения — «СОФИСТИЧЕСКИЕ ОПРОВЕРЖЕНИЯ» («Zocpicmkol ЕА.£ухol», лат. «Sophistici Elenchi») трактат Аристотеля. Это сочинение большинство комментаторов рассматривает в качестве девятой книги «Топики». Его предметом являются «софистические… … Энциклопедия эпистемологии и философии науки
- ДВОЙНАЯ ИСТИНА — [двойственная истина, «двух истин» теория], термин, служащий для обозначения возникшего в средние века учения об одновременной истинности или взаимной независимости ряда положений философии и богословия, которые вступают в видимое противоречие… … Православная энциклопедия