Сепарация апорий и парадоксов
На Философском штурме Александр Болдачев пишет:
boldachev, 19 октября, 2012 - 15:45. ссылка
Вот вам предельно точное и объемлющее определение парадокса в логике
(1) Парадокс в логике - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическим суждениям и законами логики.
Пожалуй, по существу это определение сопоставимо со следующим определением
(2) Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности. http://ru.wikipedia.org/wiki/Парадокс
Если в (2) добавить положение об эмпирических суждениях, а из (1) исключить положение о противоречии законам логики, эти два определения можно совместить как развернутое и краткое определение апории.
В самом деле. Возьмем классический случай - апории Зенона. Они логически строги, но противоречат повседневному опыту. В википедийной статье эта характеристика апорий не эксплицирована (не выявлена). Поэтому (2) можно записать в следующей формулировке с поправкой, заимствованной у А.Болдачева:
(2.1) Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности и вступает в противоречие с очевидными эмпирическим суждениям.
Лаконичное определение (1) хорошо вписывается в понятие апории:
(1.1) Апория - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическими суждениями.
На основании определения (1.1) можно сортировать (сепарировать) парадоксы и апории. Всё, что противоречит опыту, хотя и представляет собой строгое логическое доказательство, есть не парадокс, а апория.
За парадоксом же (в логике), закрепляется именно внутреннее противоречие логической системы, которое выражается в выводе, хотя и логически строгом, взаимно исключающих суждений.
Парадокс в логике (Википедийная формулировка):
(3) Логический парадокс - это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики.
--
Михаил П. Грачёв.
boldachev, 19 октября, 2012 - 15:45. ссылка
Вот вам предельно точное и объемлющее определение парадокса в логике
(1) Парадокс в логике - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическим суждениям и законами логики.
Пожалуй, по существу это определение сопоставимо со следующим определением
(2) Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности. http://ru.wikipedia.org/wiki/Парадокс
Если в (2) добавить положение об эмпирических суждениях, а из (1) исключить положение о противоречии законам логики, эти два определения можно совместить как развернутое и краткое определение апории.
В самом деле. Возьмем классический случай - апории Зенона. Они логически строги, но противоречат повседневному опыту. В википедийной статье эта характеристика апорий не эксплицирована (не выявлена). Поэтому (2) можно записать в следующей формулировке с поправкой, заимствованной у А.Болдачева:
(2.1) Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности и вступает в противоречие с очевидными эмпирическим суждениям.
Лаконичное определение (1) хорошо вписывается в понятие апории:
(1.1) Апория - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическими суждениями.
На основании определения (1.1) можно сортировать (сепарировать) парадоксы и апории. Всё, что противоречит опыту, хотя и представляет собой строгое логическое доказательство, есть не парадокс, а апория.
За парадоксом же (в логике), закрепляется именно внутреннее противоречие логической системы, которое выражается в выводе, хотя и логически строгом, взаимно исключающих суждений.
Парадокс в логике (Википедийная формулировка):
(3) Логический парадокс - это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики.
--
Михаил П. Грачёв.