Онтология математического дискурса. Структура и сущность в математическом рассуждении

В статье Ю.Степанова ([54], c.36-46) приводится (со ссылкой на различных авторов) целый ряд определений термина "дискурс". Не пытаясь анализировать их, приведем те, которые в нашей работе чаще всего будут подразумеваться. Таковым является понимание дискурса как последовательности связанных высказываний или "последовательности элементарных пропозиций, связанных между собой логическими отношениями конъюнкции, дизъюнкции и т.п." (с. 38). Такую последовательность, впрочем, с успехом можно было бы назвать и "рассуждением". Говоря о "математическом дискурсе", мы имеем в виду, что наряду с рассуждением (последовательностью пропозиций, речью) в наше рассмотрение должна быть также включена и графика, например, геометрические чертежи. Математический дискурс, следовательно, является для нас более широким понятием, чем математическое рассуждение.

Другим возможным пониманием слова "дискурс" является связный текст или группа текстов (Степанов указывает, что такое понимание присуще англо-саксонской традиции - с. 36). Такое понимание также важно для нас. Понимая дискурс как текст, мы имеем в виду фиксацию последовательности высказываний, равно как и графических образов. Благодаря такой фиксации, дискурс становится предметом интерпретации и сам может быть рассмотрен как графическая конструкция. Это означает, в частности, что дискурс (рассмотренный в качестве текста) может сам стать предметом высказывания или другого дискурса.

Степанов не считает удовлетворительными такие интерпретации термина "дискурс", находя их чрезмерно узкими. Он, в конечном счете, определяет дискурс как "язык в языке" ([54], c. 44), как достаточно широкий порождающий контекст множества текстов, определяющий и лексику, и синтаксис, и семантику. Мы, однако, будем избегать такой интерпретации для нас очень будет важно указать на серьезную дистанцию, разделяющую понятия "дискурс" и "язык". вернуться в текст

ГЛАВА 1 Рассмотрение онтологического статуса предметов математики в некоторых философских системах

К математическим образам и способам рассуждения философы, как правило, обращаются очень охотно.(См. примечание 1) Поэтому представить здесь сколько-нибудь полный обзор различных философских представлений о математических предметах не представляется возможным. Для этого пришлось бы написать нечто вроде курса истории философии. Задача настоящей главы состоит в том, чтобы выделить два принципиально отличных друг от друга подхода к математической онтологии, в рамках которых возникают различные определения существования. Прежде всего мы обратимся к пониманию природы математических объектов в философии Платона и Аристотеля. Их взгляды на математику явили своего рода парадигму для многих последующих поколений. Вполне естественно рассматривать их концепции математики как конкурирующие. Наверное можно легко проследить идущие через века "линию Платона" и "линию Аристотеля", связывая первую с реализмом, а вторую с эмпиризмом в подходе к математической онтологии. Нас, однако, больше будет интересовать тот общий подход, который был выработан совместно обоими философами и который, в известном смысле, может быть противопоставлен трансцендентальному рассмотрению математического рассуждения.

  1 Платон и Аристотель: определение сущности