Логико-философские исследования (Избранные труды) - [17]

Шрифт
Интервал

Наконец, логическая независимость положения дел означает, что логически возможно в любом данном случае получить или не получить любые их комбинации. Если число положений дел в совокупности конечно и равно n, то число таких возможных комбинаций будет 2**n. Любую такую комбинацию можно назвать полным состоянием или возможным миром. Для обозначения конъюнкции предложений и их отрицаний (порядок членов конъюнкции не важен), которые описывают положения дел, т. е. "атомы" или "элементы" возможного мира, был введен термин "описание состояния".

Рассматриваемое множество положений дел я буду также называть "пространством состояний". В нашем формальном анализе везде будет предполагаться, что пространства состояний являются конечными.

Допустим, что полное состояние мира в данном случае можно описать путем установления любого данного элемента некоторого пространства состояний, независимо от того, получается он или нет в этом случае. Удовлетворяющий этому условию мир можно назвать "миром Трактата". Именно такого рода мир исследовал Витгенштейн в своем "Логико-философском трактате". Он представляет собой частный случай более общей концепции структуры мира, которую можно назвать логическим атомизмом.

Является ли мир, в котором мы живем, "миром Трактата" или миром с логико-атомистической структурой? Это глубокий и сложный метафизический вопрос, и я не знаю, как на него ответить. (Тот факт, что "мир Трактата" "узок", что огромное множество известных и важных вещей остается за его пределами, не является убедительным возражением против идеи существования этого мира.) Однако независимо от нашего ответа нельзя отрицать, что в качестве упрощенной модели мира концепция Витгенштейна, развитая в "Трактате", и интересна сама по себе, и полезна для многих целей в философии логики и науки. Я буду использовать в своем анализе эту модель, что, в частности, означает, что положения дел рассматриваются мной как единственные "онтологические кирпичики", из которых составлен изучаемый нами мир. Мы не будем анализировать внутреннюю структуру этих "кирпичиков". Вещи, свойства и отношения — это онтологические сущности, анализ которых выходит за рамки нашего формально-логического исследования.

В основе формализма нашей логики лежит "классическая" двузначная пропозициональная логика (ПЛ). Я предполагаю, что этот раздел логики известен читателю. Его описание можно найти в любом учебнике по элементарной логике.

На основе ПЛ мы строим следующую (элементарную) временную логику[111].

К алфавиту ПЛ добавляется новый символ Т, представляющий бинарную связку. Выражение "p Т q" читается так: "Сейчас происходит событие p, а затем, т. е. в следующий момент, происходит событие q".

Выражения слева и справа от Т могут быть соединением переменных и функционально-истинностных связок. Особый интерес представляет случай, когда они являются описаниями состояния. Полное выражение будет тогда говорить, что в данный момент мир находится в определенном состоянии, а в следующий момент находится в том же самом состоянии или в каком-то другом.

Выражения слева и справа от Т могут сами содержать символ Т. Можно построить цепочку формул — Т (- Т (- Т …))…, описывающих состояния, которые последовательно, т. е. в различные моменты некоторого отрезка времени, проходит мир. Особый интерес представляет случай, когда выражения, обозначенные как "-", являются описаниями состояния. Цепочку такого типа будем называть (фрагментом) истории мира. Термин "история" имеет двойственное значение: он может означать последовательность как самих полных состояний мира, так и их описаний.

Мы получим "логику" с оператором Т, если к аксиомам пропозициональной логики добавим следующие четыре аксиомы:

T1. (p\/q T r\/s)‹-› (р T r) \/ (p T s) \/ (q T r) \/ (q T s)

T2. (p T q) amp; (p T r) — › (p T q amp; r)

T3. p ‹-›^(p T q \/ ~q)

T4. ~ (p T q amp; ~q),

а к правилам вывода пропозициональной логики добавим правило: если эквивалентность некоторых выражений доказана, то они взаимозаменимы (правило экстенсиональности).

Если число возможных полных состояний мира (в данном случае) равно 2**n, то число возможных историй мира в m последовательных моментах равно 2**(m*n). Удобно говорить, что n измеряет "ширину" мира, а m измеряет "длину" его истории. Дизъюнкцию 2**(m*n) различных возможных историй мы будем называть Т-тавтологией или "тавтологичной историей". Она говорит о всех возможных путях изменения мира, когда "время проходит" от первого момента до момента т., никак не ограничивая действительный ход событий. Таким образом, эта тавтология вообще ничего не говорит о его реальной истории.

Понятие T-тавтологии дает нам критерий логической истинности для исчисления со связкой Т. Можно показать, что в данном исчислении доказуемы те, и только те, формулы, для которых доказуема их эквивалентность T-тавтологиям. Это означает, что логика связки Т является семантически полной. Она также разрешима; относительно любой данной формулы можно показать, является ли она (доказывается ли ее эквивалентность) T-тавтологией.

Как должно быть ясно из приведенных объяснений и структуры нашего формализма (особенно аксиомы Т2), в нашей временной логике время рассматривается как дискретное, как линейное течение исчислимых последовательных случаев (мгновений, моментов времени). Как и в случае допущения о логико-атомистической структуре мира, здесь также можно задать вопрос: "действительно" ли время имеет дискретную структуру? Не следует ли рассматривать время как "плотное", по крайней мере, т. е. такое, что между двумя любыми моментами времени всегда есть третий? И не следует ли считать его непрерывным? Нет необходимости останавливаться здесь на этих вопросах. Логика связки Т в качестве упрощенной модели временной последовательности состояний мира вполне удовлетворяет целям нашего анализа.


Рекомендуем почитать
Генезис мирового зла

В новой книге автор Н. Мальцев, исследуя своими оригинальными духовно-логическими методами сотворение и эволюцию жизни и человека, приходит к выводу, что мировое зло является неизбежным и неустранимым спутником земного человечества и движущей силой исторического процесса. Кто стоит за этой разрушающей силой? Чего желают и к чему стремятся силы мирового зла? Автор убедительно доказывает, что мировое зло стремится произвести отбор и расчеловечить как можно больше людей, чтобы с их помощью разрушить старый мир, создав единую глобальную империю неограниченной свободы, ведущей к дегенерации и гибели всего человечества.


Анархистский ответ на «Анархистский ответ преступности»

В атмосфере полемики Боб Блэк ощущает себя как рыба в воде. Его хлебом не корми, но подай на съедение очередного оппонента. Самые вроде бы обычные отзывы на книги или статьи оборачиваются многостраничными эссе, после которых от рецензируемых авторов не остаётся камня на камне. Блэк обожает публичную дискуссию, особенно на темы, в которых он дока. Перед вами один из таких примеров, где Боб Блэк, юрист-анархист, по полочкам разбирает проблему преступности в сегодняшнем и завтрашнем обществе.


Minima philologica. 95 тезисов о филологии; За филологию

Вернер Хамахер (1948–2017) – один из известнейших философов и филологов Германии, основатель Института сравнительного литературоведения в Университете имени Гете во Франкфурте-на-Майне. Его часто относят к кругу таких мыслителей, как Жак Деррида, Жан-Люк Нанси и Джорджо Агамбен. Вернер Хамахер – самый значимый постструктуралистский философ, когда-либо писавший по-немецки. Кроме того, он – формообразующий автор в американской и немецкой германистике и философии культуры; ему принадлежат широко известные и проницательные комментарии к текстам Вальтера Беньямина и влиятельные работы о Канте, Гегеле, Клейсте, Целане и других.


Высочайшая бедность. Монашеские правила и форма жизни

Что такое правило, если оно как будто без остатка сливается с жизнью? И чем является человеческая жизнь, если в каждом ее жесте, в каждом слове, в каждом молчании она не может быть отличенной от правила? Именно на эти вопросы новая книга Агамбена стремится дать ответ с помощью увлеченного перепрочтения того захватывающего и бездонного феномена, который представляет собой западное монашество от Пахомия до Святого Франциска. Хотя книга детально реконструирует жизнь монахов с ее навязчивым вниманием к отсчитыванию времени и к правилу, к аскетическим техникам и литургии, тезис Агамбена тем не менее состоит в том, что подлинная новизна монашества не в смешении жизни и нормы, но в открытии нового измерения, в котором, возможно, впервые «жизнь» как таковая утверждается в своей автономии, а притязание на «высочайшую бедность» и «пользование» бросает праву вызов, с каковым нашему времени еще придется встретиться лицом к лицу.В формате a4.pdf сохранен издательский макет.


Искусство феноменологии

Верно ли, что речь, обращенная к другому – рассказ о себе, исповедь, обещание и прощение, – может преобразить человека? Как и когда из безличных социальных и смысловых структур возникает субъект, способный взять на себя ответственность? Можно ли представить себе радикальную трансформацию субъекта не только перед лицом другого человека, но и перед лицом искусства или в работе философа? Книга А. В. Ямпольской «Искусство феноменологии» приглашает читателей к диалогу с мыслителями, художниками и поэтами – Деррида, Кандинским, Арендт, Шкловским, Рикером, Данте – и конечно же с Эдмундом Гуссерлем.


Полное собрание сочинений. Том 45. Март 1922 ~ март 1923

В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.