Я знаю, что подобный вопрос уже существует на этом сайте, но, пожалуйста, потерпите меня.
Знаменитый декартовский Dubito ergo Cogito ergo sum предполагает существование «я».
Поскольку существует предположение, связанное с выводом (если это так), или утверждение, сделанное в соответствии с ним, зависит от истинностного значения предположения. (Если предположение ложно, утверждение может быть недействительным).
Можно ли таким образом сделать утверждение без каких бы то ни было предположений, которое является истинным и, следовательно, абсолютно истинным? Если нет никаких допущений, то мы знаем, что утверждение абсолютно верно.
Я знаю, что может быть трудно придумать что-то без каких-либо предположений, но если бы мы могли доказать, что существует утверждение, которое имеет минимум предположений или наименьшую мощность набора предположений, мы могли бы прийти к так называемой «максимальной истине». , если, конечно, не существует доказательства или логики, которые подразумевают, что такое утверждение не может существовать (например, если бы я мог удалить предположение до бесконечности)
Это зависит от того, что вы подразумеваете под «знанием», что вы подразумеваете под «чем-то» и что вы подразумеваете под «предположениями». На самом деле, это зависит от гораздо большего, но это действительно забавные слова.
Что делает эту тему сложной, так это то, что концепция «знания» настолько глубоко укоренилась в нашем языке (английском), что трудно даже уловить что-то, что бы ее приемлемо описывало.
Самый общий ответ должен быть «может быть», но если мы ограничимся наиболее распространенным смыслом слов в философии, ответ будет звучным «нет». Чтобы найти ответ «может быть», мы должны отойти от типичных определений.
Например, что такое «что-то», что вы можете знать? Ваши слова подразумевают, что возможность сделать «заявление» является частью головоломки. Итак, как насчет того, чтобы начать с особенно неприятного утверждения :
О, потрепанный ворчун,
Твои мочеиспускания для меня
Словно лепешки на ленивой пчеле.
Это то, что я могу "знать"? Что это значит? Самый распространенный ответ заключается в том, что любое утверждение, сформулированное на языке, должно быть каким-то образом интерпретировано , чтобы прийти к некоторой семантической истине — чему-то познаваемому. Я должен понимать язык.
И предположение, что моя интерпретация этого утверждения верна, является предположением. Мы не можем просто отмахнуться от него и сказать: «О, допустим, наша интерпретация языка верна». Если мы это сделаем, то немедленно обнаружим, что можем пронести допущения в грамматику языка, чтобы скрыть их от нашего подсчета. На самом деле мы не уменьшили количество предположений, мы просто переместили их.
Кроме того, как мы их считаем? Если я на мгновение воспользуюсь языком пропозициональной логики, если я приму одно утверждение , A∧B∧C
предполагаю ли я на самом деле что-то меньшее, чем если бы я предположил три утверждения , A
, B
и C
? Даже подсчет предположений — хитрый зверь. В вычислительной технике есть понятие колмогоровской сложности , которое изучает, сколько битов информации требуется, чтобы передать что-то на конкретном языке. Даже тогда он используется в основном для доказательства невозможности констатировать определенные вещи:
В частности, почти для всех объектов невозможно вычислить даже нижнюю границу колмогоровской сложности (Чайтин, 1964), не говоря уже о точном значении.
Один захватывающий путь, по которому пошли люди, — рассмотреть возможность создания самоподъемных языков, которые могут доказать свою собственную непротиворечивость. Это была увлекательная попытка в начале и середине 1900-х годов, но мы обнаружили, что в целом это невозможно. Логика высказываний слишком слаба, чтобы допускать самореферентные структуры, необходимые языку для того, чтобы говорить о себе. Логика первого порядка имеет дело с печально известной теоремой Гёделя о неполноте. Логика второго порядка действительно может говорить о себе, но не может допустить доказательств своей правоты. Итак, ни один из наших «стандартных» языков не допускает высказываний без предположений.
Так можно ли что-то знать без предположений? Что же, может быть. Мы можем показать, что все обширные области того, что мы хотели бы назвать знанием, не могут работать без допущения. Однако ни одна из «типичных» структур не может доказать, что мы используем правильное определение «знания», «предположения» или чего-либо еще, на самом деле. Так что, возможно, определение «знать что-то без предположений», которое вы используете, действительно допускает такое. Или, может быть, это не так. Мы не можем разработать язык для доказательства того или иного, не делая предположений.
Я хотел бы закрыть с двумя большими ресурсами. Одна из них — прекрасная речь Джона Стила о том, как вырастить язык . Это очень длинное видео, поэтому стенограмма может быть более приемлемой. Он строит язык с нуля, используя очень специфический набор правил. Я нахожу то, что он делал, очень похоже на то, о чем вы думаете.
Вторая — одна из моих любимых цитат из «Чужака в чужой стране » Хайнлайна. Майк Смит является предметом этой цитаты, и он вырос на Марсе, говоря по-марсиански. Только по прибытии на Землю ему пришлось выучить английский язык:
Короткие человеческие слова никогда не были похожи на короткие марсианские слова, такие как «грок», которое всегда означало одно и то же. Короткие человеческие слова были похожи на попытку поднять воду ножом.
И [Бог] было очень коротким словом.
Знания, не требующие предположений, называются по-разному. Прямой, непосредственный, интуитивный и т. д. Я предпочитаю «знание через тождество». Как заметил Аристотель, все остальные знания либо тавтологичны, либо неточны. Только то, что мудрецы называют «Знанием» в верхнем регистре, свободно от предположений. Остальное называется «относительным знанием».
Итак, в ответ на вопрос «Можно ли что-то знать без каких-либо предположений?» Я бы сказал, что невозможно по-настоящему узнать что-то по-другому. Мне кажется, это вопрос логики.
Брэм28
МайклК
новичок
новичок
МайклК
новичок
Брэм28
Мауро АЛЛЕГРАНСА
Мауро АЛЛЕГРАНСА
новичок
Мауро АЛЛЕГРАНСА
Мауро АЛЛЕГРАНСА
новичок
новичок
Брэм28
Брэм28
Логический
Конифолд
Корт Аммон