временная логика


временная логика
раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного фактора в логическом выводе относятся еще к античности (Аристотель, Диодор Кронос).
Задачей Л.в. является построение искусственных (формализованных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени.
Л. в. представляет собой множество логических систем (логик), распадающихся на А-л о г и к у и B-логику времени. Первая ориентирована на временной ряд "прошлое - настоящее - будущее", вторая - на временной ряд "раньше - одновременно -позже".
В А-логике рассматриваются высказывания с "будет", "было", "всегда будет", "всегда было" и т. п. Понятия "будет" ("было") и "всегда будет" ("всегда было") взаимно определимы: "Будет A" ("Было A") означает "Неверно, что всегда будет не-А" ("Неверно, что всегда было не-А"). Напр., "Будет ветрено" означает то же, что "Неверно, что всегда будет безветренно".
В числе законов А-логики времени утверждения:
> то, что всегда будет, будет; то, что всегда было, было (напр.: "Если всегда будет время, то оно будет");
> неверно, что наступит противоречивое событие; неверно, что было такое событие ("Неверно, что было холодно и не холодно");
> если будет, что будет нечто, оно будет;
> если неверно, что всегда было, что не всегда будет нечто, то оно имеет место сейчас;
> будет, что нечто было, если и только если оно или есть сейчас, или будет, или уже было ("Будет так, что шел снег, только если он или идет, или пойдет, или уже шел"); > всегда было, что всегда будет нечто, только если оно есть, всегда было и всегда будет ("Всегда было, что всегда будет хорошая погода, в том и только том случае, если она есть, всегда была и всегда будет") и т. п.
Финским философом и логиком Г. X. фон Вригтом А-логика времени формулируется с использованием выражений "...и затем..." и "...и в следующей ситуации...". "A и затем В" означает "Сейчас А и будет В", что может пониматься также как "A изменяется (переходит) в B". Л.в. может, таким образом, истолковываться и как логика изменения.
В терминах временных понятий могут быть определены модальные понятия "необходимо" и "возможно":
> необходимым является то, что всегда было, есть и всегда будет ("Пространство необходимо, только если оно всегда было, есть и всегда будет");
> возможно то, что или было, или имеет место, или будет ("Возможно, что птицы улетают на юг, только если они уже улетели, улетают сейчас или улетят в будущем").
В B-логике времени рассматриваются высказывания с "раньше", "позже" и "одновременно". Первые два из этих понятий взаимно определимы: "A раньше В" означает "В позже A". Одновременные события могут быть определены как такие, что ни одно из них не раньше другого.
Среди законов B-логики утверждения:
> ничто не раньше самого себя;
> если первое раньше второго, то неверно, что второе раньше первого;
> если первое раньше второго, а второе одновременно с третьим, то первое раньше третьего и т. п.
Понятие "раньше" неопределимо через "было", "есть" и "будет"; раньше одно другого могут быть и два прошлых, и два будущих события. В свою очередь, временные оценки, включающие ссылку на "настоящее", несводимы к утверждениям с "раньше". А-логика и B-логика времени являются, таким образом, двумя самостоятельными, несводимыми друг к другу ветвями Л. в.
А-логика времени нашла приложения при обсуждении некоторых философских проблем, в анализе грамматических времен и др. B-логика использовалась при аксиоматизации определенных разделов физики, биологии, при обсуждении проблемы непротиворечивого описания движения и др.
Временные ряды "прошлое - настоящее - будущее" и "раньше - одновременно - позже" несводимы друг к другу. Они неза-
висимы в широких пределах и представляют собой две точки зрения на мир, два способа описания одних и тех же вещей и событий, дополняющие друг друга. Первый ряд употребляется по преимуществу в гуманитарных науках, второй - в естественных. Можно сказать, что первые понятия служат для описания становления мира, вторые - для описания его бытия. Поскольку временные ряды несводимы друг к другу, возникает вопрос, не является ли один из них более фундаментальным. Согласно распространенной точке зрения, в интерсубъективном, безличностном языке науки неправомерно употребление "было - есть - будет", предполагающих ссылку на "субъективное", постоянно меняющее свое положение "настоящее". С другой стороны, мир без "стрелы времени" неисторичен, он как бы задан сразу, и все события лежат в одной временной плоскости.
К этому спору о допустимости использования в науке временных оценок с изменяющимся истинностным значением имеет прямое отношение и Л. в.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "временная логика" в других словарях:

  • ВРЕМЕННАЯ ЛОГИКА —     ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… …   Философская энциклопедия

  • временная логика —         ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

  • Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика формальная — (logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ человек; след.,… …   Народы и культуры

  • Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

  • ВРЕМЕНИ ЛОГИКА — или Временная логика, раздел современной модальной логики, изучающий логические связи временных утверждений, т.е. утверждений, в которых временной параметр включается в логическую форму. В.л. начала складываться в 1950 е гг. прежде всего… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.