Софисты представляли собой группу мыслителей, образовавшуюся в V в. до н. э. в Афинах и отстаивающую позиции крайнего скептицизма. Они говорили, что узнать что-либо наверняка нельзя и учили своих последователей жить без достоверного знания о мире. В соответствие с известным высказыванием Протагора о том, что «человек есть мера всех вещей», софисты призывали людей «мерить» вещи в соответствие со своей природой и нуждами. Сократ увидел опасность софистической педагогики в развращении учеников, поскольку она учит тому, в истинности чего не уверены и сами учителя. Утверждая, что истина относительна, софисты отрицают существование общезначимых понятий и норм и тем самым лишают людей возможности понимать друг друга. А понимание – основа согласия и единства общества.
Сократ и его ученик Платон настаивали на том, что основой познания и обучения служат общие понятия, которые называются универсалиями. Эти универсалии уже заключены в человеческом разуме от рождения и таким образом познание заключается в припоминании того, что мы уже знаем. Но в таком случае сам собой напрашивается вопрос о том, откуда в нашей памяти берутся эти универсалии. Платон говорил, что поскольку мы не получаем знания о них в течение жизни, то это знание заложено в нас до рождения. Дети, как известно, знают поначалу очень мало, поскольку душа забывает при рождении свое знание общих идей, а затем каким-то образом напоминает сознанию о знании, уже содержащемся в ней. В диалоге «Государство» Платон обстоятельно разъясняет, каким образом происходит пробуждение памяти и извлечение из неё знания идей. При этом он объявляет получаемые при помощи органов чувств знания недостоверными, относящимися к первому уровню. Это всего лишь бледные подобия истины, смутные представления о ней. Истинное знание – это созерцание универсалий, скрытых в человеке. Первый шаг на пути к этому знанию – выработка в себе сознания того, что знания, полученные через чувственные восприятия, недостаточны и зачастую – неверны. Один и тот же предмет, рассмотренный с разных точек зрения, оказывается разным, и разуму не удается постичь его истинную природу. Следовательно, нужно отказаться от опоры на чувственные данные и перейти к исследованию мира универсалий в своей собственной душе. Для этого лучше всего помогают занятия математикой, которые развивают мыслительные навыки, помогают соотносить друг с другом разные идеи. Полное же понимание и постижение природы универсалий обеспечивает занятие диалектикой.
Сходную с платоновской точку зрения на источник и основы нашего познания отстаивал французский математик и философ Рене Декарт. Для проверки надежности наших знаний, он предложил начинать всякое познание с сомнения относительно имеющейся информации о мире. Путем последовательного исключения фактов, не выдержавших проверку принципом сомнения, Декарт пришел к тому, что есть только два факта, в истинности которых нельзя усомниться. Первый из них выражен в ставшем крылатым выражении: «Я мыслю, следовательно, я существую» (Cogito ergo sum). Второй несомненной истиной является, по Декарту, бытие Бога. Отличительными признаками несомненных истин, позволяющими отделить их ото лжи и заблуждения, являются ясность и отчетливость. На этом основании мы можем быть полностью уверены в истинности всех математических знаний, поскольку математика имеет дело исключительно с ясными и отчетливыми врожденными идеями.
Теории познания Платона, Декарта и подобные им получили название рационалистических. Они утверждают, что, используя определенные логические процедуры, при помощи одного разума, можно получить истинное знание. Это знание есть знание универсалий (общих понятий), которые врожденны нам, и из которых можно дедуцировать частные знания. Формами рационального познания являются понятие, суждение и умозаключение. Философская дисциплина, исследующая формы и законы рационального познания называется логикой.
Вторая традиция, объясняющая природу истинного знания, получила название эмпиризма. Представляющие её философы отрицают существование врожденного знания и вообще скептически настроены по отношению к возможности получения достоверного знания на основе одного только разума. Те доказательства существования идеальных объектов, которые приводят Платон, Декарт, Лейбниц и другие рационалисты, вовсе не являются убедительными для других философов и ученых и не всегда согласуются с теми данными, которые обнаруживаются в ходе развития науки. Динамика научного знания и периодически происходящие революции в характере человеческого мышления свидетельствуют о том, что абсолютно достоверных и неизменных истин не существует даже в математике, которая воспринимается рационалистами как идеал. Примером может служить появление неэвклидовой геометрии, в которой есть теоремы, не являющиеся истинными в классической геометрии.