Онтология математического дискурса - [27]
Если построение есть непосредственное продолжение экспозиции, то доказательство как бы продолжает детерминацию. Оно представляет собой речь по поводу проведенного построения, описывая полученную в ходе его конструкцию. Доказательство, как и детерминация, имеет дело со следом. Хинтикка утверждает, что эта часть теоремы чисто аналитическая, поскольку, в отличии от экспозиции и построения, не вводит никаких новых единичных предметов. Все доказательство можно развернуть в виде цепочки силлогизмов.
1. Накрест лежащие углы равны. Углы 1 и 4 - накрест лежащие. ____________________________________ углы 1 и 4 - равны.
2. Накрест лежащие углы равны. Углы 2 и 5 - накрест лежащие. ___________________________________________ Углы 2 и 5 - равны.
3. Смежные углы в сумме равны двум прямым. Углы 1 и 3+5 - смежные. ___________________________________________
Углы 1 и 3+5 - в сумме равны двум прямым
4. Если слагаемые равны между собой, то их суммы равны . Слагаемые в суммах 4+5+2 и 1+3+2 равны между собой. ______________________________________________________
4+5+2 и 1+3+2 равны между собой.
5. Если две величины порознь равны третьей, то они равны между собой. 1+2+3 и p порознь равны 4+5+2 ___________________________________________ 1+2+3 и p равны между собой.
Обратим внимание на то, что меньшими посылками этих силлогизмов являются единичные синтетические суждения. (Поэтому и заключение каждого силлогизма - единичное суждение.) Этим они (меньшие посылки) существенно отличаются, например, от больших посылок или от утверждения теоремы. В них не содержится никакого синтеза понятий. Следовательно они не устанавливают (и не предполагают) возможности. Их роль совершенно иная. Они фиксируют действительность предмета, описывая актуальный, уже созданный единичный объект. Все, что говорится по ходу доказательства относится к имеющемуся в наличии предмету. Это присутствие в наличии (которое, вообще, и есть действительность) представляет собой необходимое условие доказательства. Последнее всегда относится к следу проведенного построения. Если при разговоре об аксиомах или постулатах требование наличия следа (на доске или бумаге) казалось излишним, то теперь именно этот след и является изучаемым объектом. Заключительная фраза доказательства в точности повторяет детерминацию. Но если тогда она произносилась гипотетически, то сейчас является описанием уже построенного объекта, т.е. констатацией факта. Суть этой констатации состоит в том, что она указывает на актуализацию того понятия, возможность которого предполагалась в protasis. Коль скоро нами построена конструкция, сообразная схеме этого понятия, то оно (понятие) реально. Возможен его реальный синтез согласно формальным условиям опыта. Точнее не только возможен, но уже произведен. Поэтому можно вернуться к первоначальному утверждению теоремы, произнеся его уже в качестве заключения. Заключение представляет собой общее суждение, указывающее на реальную возможность понятия, как на установленную. В переходе от доказательства к заключению можно усматривать логическую трудность. С точки зрения формальной логики такой переход незаконен, т.к. является заключением от единичного к общему, т.е. переходом от более слабого утверждения к более сильному. Проведенное рассмотрение позволяет, однако, взглянуть на дело иначе. В доказательстве мы говорили о действительном объекте. Заключение касается лишь возможности того же объекта вообще. То, что действительно, естественно также и возможно. Обоснование законности заключения, таким образом, состоит в рассмотрении не количества суждений, а их модальности. Мы совершаем переход от более сильной модальности к более слабой, чем и удостоверяем истинность утверждения теоремы.
3 Необходимость и случайность
Пока что мы не касались третьей из категорий модальности - необходимости. Обращение к ней требует от нас дополнительных разъяснений, ибо возникает подозрение, что все предыдущее рассуждение содержит какую-то путаницу с категориями. В самом деле, разве доказательство теоремы устанавливает возможность суждения? Не лучше ли сказать, что она устанавливает его необходимость? Совершенно естественно и неоспоримо, в частности, что сумма внутренних углов треугольника необходимо равняется двум прямым. Утверждение, что упомянутая сумма возможно равна двум прямым, звучит по меньшей мере странно. Прежде всего, укажем на два различных (хотя и близких) понимания возможности. Допустимо (и вполне естественно) говорить о возможном, как о горизонте всех явлений, которые могут при определенных условиях возникнуть. Например, речь может идти о спектре различных свойств, которыми может обладать вещь (точнее о спектре признаков, которые могут быть присоединены к данному понятию). Треугольник может быть равнобедренным или вписанным в окружность. Но может и не быть. Но сумма его внутренних углов равна двум прямым всегда. Этого не может не быть. Это - необходимое свойство. В противоположность ему два других - случайные. Может так случиться, например, что треугольник вписан в окружность.
Книга будет интересна всем, кто неравнодушен к мнению больших учёных о ценности Знания, о путях его расширения и качествах, необходимых первопроходцам науки. Но в первую очередь она адресована старшей школе для обучения искусству мышления на конкретных примерах. Эти примеры представляют собой адаптированные фрагменты из трудов, писем, дневниковых записей, публицистических статей учёных-классиков и учёных нашего времени, подобранные тематически. Прилагаются Словарь и иллюстрированный Указатель имён, с краткими сведениями о характерном в деятельности и личности всех упоминаемых учёных.
Монография посвящена одной из ключевых проблем глобализации – нарастающей этнокультурной фрагментации общества, идущей на фоне системного кризиса современных наций. Для объяснения этого явления предложена концепция этно– и нациогенеза, обосновывающая исторически длительное сосуществование этноса и нации, понимаемых как онтологически различные общности, в которых индивид участвует одновременно. Нация и этнос сосуществуют с момента возникновения ранних государств, отличаются механизмами социогенеза, динамикой развития и связаны с различными для нации и этноса сферами бытия.
Из кн.: Афонасин Е.В. Античный гностицизм. СПб, 2002, с. 321–340.
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
Впервые в науке об искусстве предпринимается попытка систематического анализа проблем интерпретации сакрального зодчества. В рамках общей герменевтики архитектуры выделяется иконографический подход и выявляются его основные варианты, представленные именами Й. Зауэра (символика Дома Божия), Э. Маля (архитектура как иероглиф священного), Р. Краутхаймера (собственно – иконография архитектурных архетипов), А. Грабара (архитектура как система семантических полей), Ф.-В. Дайхманна (символизм архитектуры как археологической предметности) и Ст.
Макс Нордау"Вырождение. Современные французы."Имя Макса Нордау (1849—1923) было популярно на Западе и в России в конце прошлого столетия. В главном своем сочинении «Вырождение» он, врач но образованию, ученик Ч. Ломброзо, предпринял оригинальную попытку интерпретации «заката Европы». Нордау возложил ответственность за эпоху декаданса на кумиров своего времени — Ф. Ницше, Л. Толстого, П. Верлена, О. Уайльда, прерафаэлитов и других, давая их творчеству парадоксальную характеристику. И, хотя его концепция подверглась жесткой критике, в каких-то моментах его видение цивилизации оказалось довольно точным.В книгу включены также очерки «Современные французы», где читатель познакомится с галереей литературных портретов, в частности Бальзака, Мишле, Мопассана и других писателей.Эти произведения издаются на русском языке впервые после почти столетнего перерыва.