Если человек A приводит аргумент человеку B, чтобы убедить его в истинности утверждения X, как B может определить, насколько убедительным является аргумент A, максимально объективно (т. е. таким образом, чтобы каждый мог проверить и согласиться)? Единственными типами аргументов, которые превосходно иллюстрируют эту идею, по моему мнению, являются доказательства математических теорем или математических утверждений в целом, поскольку, если все согласны с исходными аксиомами и шаг за шагом будут следовать дедуктивным аргументам, каждый должен быть в состоянии прийти к такой же вывод, и даже автоматизированная система доказательства теорем тоже должна быть в состоянии сделать это. Хотя, справедливости ради, технически все еще возможно подвергнуть сомнению истинность математического доказательства, поставив под сомнение исходные предпосылки (например, почему я должен приниматьАксиомы Цермело-Френкеля ? , и т. д.).
Но не все аргументы формальны, логичны и дедуктивны, как математические доказательства. В физике, например, есть «доказательства», в которых используются приближения, такие как малоугловое приближение . Или в областях, в которых отсутствует формальный математический синтаксис, таких как философия, философские «доказательства» в значительной степени полагаются на использование повседневного естественного языка для выражения аргументов, что неизбежно вносит большую степень двусмысленности из-за неточного значения некоторых слов, что оставляет пространство для субъективной интерпретации, сомнения в логических следствиях и т. д. (Например, я не уверен, что «философское доказательство» может быть когда-либо переформулировано таким образом, чтобы его можно было проверить с помощью автоматического средства доказательства теорем.)
И помимо дедуктивного рассуждения существуют и другие виды парадигм рассуждения, такие как индуктивное рассуждение и абдуктивное рассуждение , в которых природа выдвигаемых аргументов различна.
Если B хочет проверить, насколько убедительны доводы, которые A пытается привести, чтобы убедить их в истинности X, как B может сделать это максимально объективно? Должен ли Б больше доверять дедуктивным аргументам, абдуктивным аргументам или индуктивным аргументам? Должен ли Б подвергать сомнению и проверять каждое отдельное помещение? Как B может определить, стоит ли принимать посылку, а не подвергать сомнению? Может ли B счесть довод A более убедительным, если A представит несколько независимых аргументов?
Подводя итог: существуют ли объективные способы определить, насколько убедительным является аргумент (или дело, основанное на нескольких аргументах)?
Когда вы говорите «из А и В мы можем заключить (неофициально) С», существует множество различий в том, примет ли это слушатель. У людей есть базовые предположения и методы мышления — часто не сформулированные или известные словами, — которые приводят их либо к заключению С, либо к отрицанию С с разной степенью достоверности.
Так что на первый взгляд это выглядит как плохие новости, потому что можно сказать, что аргументы могут быть «объективно» убедительными.
Однако, если кто-то сначала не понимает аргумент, он может прийти к пониманию его с помощью дальнейших аргументов. Они могут отказаться принять А, но они принимают X и Y, и они согласились бы с тем, что X и Y подразумевают А, если бы только кто-то указал им на это. Тогда нужно только указать им на X и Y, и они согласятся с А, а затем с С. После этого процесса человек, если он «рационален», будет счастлив, что достиг большей последовательности в своих убеждениях. .
Мы могли бы сделать шаг и сказать, что человек должен верить какому-то утверждению, если он в конце концов убедится в нем после того, как подумает, обсудит его и рассмотрит соответствующие доказательства. Человек не должен намеренно оставаться в неведении.
Так что это близко к вашей идее «объективно» убедительных аргументов, если это не совсем то же самое. Мы можем перефразировать это: аргумент «объективно» должен убедить человека, если бы он был убежден в нем, если бы знал больше о предпосылках и исходной информации.
См. также байесовский вывод , который во многих отношениях представляет собой достойную нормативную модель людей, обновляющих свои убеждения на основе неофициальных данных. Самый большой недостаток модели заключается в том, что точный байесовский вывод трудновыполним с точки зрения вычислений, поэтому люди не могут его сделать. Но они могут делать что-то похожее на это.
В идеале для любого спора между двумя сторонами или вы хотите убедить других в каком-то пропозициональном аргументе, мы должны перевести и подключить к какой-то формальной логической системе, а затем давайте просто посчитаем, и, надеюсь, через некоторое время появится окончательный ответ. И исторически некоторые смелые философы брали на себя такие авантюрные проекты, например Лейбниц. Лейбниц периодически думал о таком проекте, используя свою так называемую Универсальную характеристику человеческих идей, гораздо более амбициозную, чем Begriffsschrift Фреге.
Мотивация Фреге для развития своего формального подхода к логике напоминала мотивацию Лейбница для его исчисления-рационализатора (несмотря на то, что в предисловии Фреге ясно отрицает, что он достиг этой цели, а также что его главной целью было бы построение идеального языка, подобного языку Лейбница, который Фреге заявляет быть довольно трудной и идеалистической — хотя и не невозможной — задачей). Фреге продолжал использовать свое логическое исчисление в своих исследованиях основ математики, проводившихся в течение следующей четверти века.
С другой стороны, впоследствии известный логик Курт Гёдель считал, что универсальная характеристика осуществима и что ее разработка произведет революцию в математической практике. Компьютерное формальное доказательство знаменитой теоремы о четырех красках, похоже, воплотило его видение в математической сфере.
Пока кажется, что только в области логики, математики и естественных наук мы можем успешно убедить других объективно. Для меня основная практическая проблема, которую можно применить к ситуациям реальной жизни, связана с эпистемологическим контекстуализмом .. В реальных жизненных ситуациях фоновый контекст намного сложнее, чем чистая научная или логическая область, поскольку это, по сути, почти бесконечная сеть со слишком большим количеством параметров. Даже в экономике любая реалистичная полезная прогностическая модель может запросто потребовать сотни параметров. Таким образом, чтобы достичь своей цели объективно убедить других, вам нужно сосредоточиться на уточнении контекста и фильтрации параметров в теории. Даже после этого, из-за многочисленных видов релятивизма современного общества, ваше тщательно сконструированное убеждение неизбежно будет неправильно понято многими, придерживающимися взглядов, отличных от ваших...
Физз
пользователь48437
Адам Рубинсон
пользователь48437
Амит Шарма
не тот парень
Конифолд