Я не могу придумать ответ на вопрос - "что такое предположение?"
Учитывая утверждение X, как я узнаю, сколько в нем предположений. Часто бывает, что одно утверждение содержит больше предположений, чем другое. Кроме того, часто просят сравнить два предположения, чтобы сказать, какое из них сильнее, так как же сравниваются два предположения.
Есть ли какая-либо литература по этому вопросу, каковы современные направления мысли по этому вопросу?
Предположение — по крайней мере, в философском контексте — обычно является предпосылкой, часто не сформулированной. Один человек делает утверждение, а другой возражает, что для того, чтобы это было правдоподобным, предполагается что-то еще. Философы часто хорошо разбираются в предположениях, сделанных другими людьми - это приходит с территорией :)
Вообще говоря, лучше иметь меньше или слабее предположений, потому что противнику меньше возражений. Предположение может быть слабее, потому что оно несет в себе меньшую онтологическую приверженность, или оно избегает влечения за спорным утверждением или отношением, или потому что оно просто проще.
Большая часть философии связана с проблемой выявления и тщательного изучения допущений, стоящих за утверждениями, по крайней мере, в философии аналитической традиции. Если бы существовал ответ на ваш вопрос: «Откуда мне знать, сколько существует допущений…», то это подразумевало бы существование механического процесса проведения философского анализа.
На практике процесс анализа далек от механического. Часто мы понимаем, что с утверждением есть проблема, только когда позже обнаруживаем, что оно ведет к лжи, конфликту или путанице. Иногда это открытие происходит из новых данных, иногда из мысленных экспериментов, иногда из попыток разрешить парадоксы, иногда из попыток примирить идеи и теории из разных областей знаний. Часто даже термины и идеи, которые казались нам простыми и не вызывающими проблем, требуют серьезного анализа, чтобы внести ясность в проблему.
Но мы не можем заранее сказать, какой объем анализа нам понадобится или какие предположения мы обнаружим в будущем. Это просто неотъемлемая часть процесса расширения наших знаний и понимания мира.
Формально предположение — это посылка «А» импликации «А => В». При этом сами «А» и «В» могут быть формулами произвольной сложности. Он знает, что импликация истинна тогда и только тогда, когда либо А ложно, либо А и В оба истинны.
В приложениях дается формула «Б» и ищут формулу «А», которая истинна и такая, что импликация «А => Б истинна». Тогда человек знает, что «В» истинно.
Первая задача – найти такую формулу А, т.е. найти скрытую посылку.
пользователь18800
Джо