ВРЕМЕНИ ЛОГИКА


ВРЕМЕНИ ЛОГИКА
или Временная логика, — раздел современной модальной логики, изучающий логические связи временных утверждений, т.е. утверждений, в которых временной параметр включается в логическую форму. В.л. начала складываться в 1950-е гг. прежде всего благодаря работам англ. логика А.Н. Прайора, хотя первые попытки учесть роль временного фактора в логическом выводе относятся еще к античности (Аристотель, Диодор Кронос).
Задачей В.л. является построение искусственных (формализованных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени.
В.л. представляет собой множество логических систем (логик), распадающихся на А-логику и В-логику времени. Первая ориентирована на временной ряд «прошлое — настоящее — будущее», вторая — на временной ряд «раньше — одновременно — позже».
В А-логике рассматриваются высказывания с «будет», «было», «всегда будет», «всегда было» и т.п. Понятия «будет» («было») и «всегда будет» («всегда было») взаимно определимы: «Будет А» («Было А») означает «Неверно, что всегда будет не-А». («Неверно, что всегда было не-А»). Напр., «Будет ветрено» означает то же, что «Неверно, что всегда будет безветренно».
В числе законов А-логики времени утверждения:
то, что всегда будет, будет; то, что всегда было, было (напр.: «Если всегда будет время, то оно будет»);
неверно, что наступит противоречивое событие; неверно, что было такое событие («Неверно, что было холодно и не холодно»);
если будет, что будет нечто, оно будет;
если неверно, что всегда было, что не всегда будет нечто, то оно имеет место сейчас;
будет, что нечто было, если и только если оно или есть сейчас, или будет, или уже было («Будет так, что шел снег, только если он или идет, или пойдет, или уже шел»);
всегда было, что всегда будет нечто, только если оно есть, всегда было и всегда будет («Всегда было, что всегда будет хорошая погода, в том и только в том случае, если она есть, всегда была и всегда будет») и т.п.
Фин. философом и логиком Г.Х. фон Вригтом А-логика времени формулируется с использованием выражений «...и затем...» и «...и в следующей ситуации...». «А и затем 5» означает «Сейчас А и будет В», что может пониматься так же, как «А изменяется (переходит) в В». В.л. может, т.о., истолковываться и как логика изменения.
В терминах временных понятий могут быть определены модальные понятия «необходимо» и «возможно»:
необходимым является то, что всегда было, есть и всегда будет («Пространство необходимо, только если оно всегда было, есть и всегда будет»);
возможно то, что или было, или имеет место, или будет («Возможно, что птицы улетают на юг, только если они уже улетели, улетают сейчас или улетят в будущем»).
В В-логике времени рассматриваются высказывания с «раньше», «позже» и «одновременно». Первые два из этих понятий взаимно определимы: «А раньше В» означает «В позже А». Одновременные события могут быть определены как такие, что ни одно из них не раньше другого.
Среди законов В-логики утверждения:
ничто не раньше самого себя;
если первое раньше второго, то неверно, что второе раньше первого;
если первое раньше второго, а второе одновременно с третьим, то первое раньше третьего и т.п.
Понятие «раньше» неопределимо через «было», «есть» и «будет»; раньше одно другого могут быть и два прошлых, и два будущих события. В свою очередь, временные оценки, включающие ссылку на «настоящее», несводимы к утверждениям с «раньше». А-логика и В-логика времени являются, т.о., двумя самостоятельными, несводимыми друг к другу ветвями В.л.
А-логика времени нашла приложение при обсуждении некоторых филос. проблем, в анализе грамматических времен и др. В-логика использовалась при аксиматизации определенных разделов физики, биологии, при обсуждении проблемы непротиворечивого описания движения и др.
Временные ряды «прошлое — настоящее — будущее» и «раньше — одновременно — позже» несводимы друг к другу. Они независимы в широких пределах и представляют собой две т.зр. на мир, два способа описания одних и тех же вещей и событий, дополняющие друг друга. Первый ряд употребляется по преимуществу в гуманитарных науках, второй — в естественных. Можно сказать, что первые понятия служат для описания мира как становления, вторые — для описания мира как бытия. Поскольку временные ряды несводимы друг к другу, возникает вопрос, не является ли один из них более фундаментальным. Согласно распространенной т.зр., в интерсубъективном, безличностном языке науки неправомерно употребление «было — есть — будет», предполагающих ссылку на «субъективное», постоянно меняющее свое положение «настоящее». С др. стороны, мир без «стрелы времени» неисторичен, он как бы задан сразу, и все события лежат в одной временной плоскости.
К этому спору о допустимости использования в науке временных оценок с изменяющимся истинностным значением имеет прямое отношение и В.л.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.


Просмотров: 1340
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • "ЧТО ДЕЛАТЬ?"
  • “ЧТО ТАКОЕ ФИЛОСОФИЯ?”
  • «СУМЕРКИ ИДОЛОВ, или Как философствуют молотом»
  • «ЧТО ДЕЛАТЬ»
  • «ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»
  • Вначале было солнце
  • Вначале было яйцо
  • Во времени
  • Во времени
  • Где это было?
  • ЕВРОПЕЙСКАЯ ФИЛОСОФИЯ ведет начало с греков, которые не только овладели с помощью уже существовавшего до них мышления новыми предметами
  • знание-как и знание-что
  • Или, Или. лама савахфани
  • ИМЕТЬ ИЛИ БЫТЬ?
  • ИНАЧЕ, ЧЕМ БЫТЬ, ИЛИ ПО ТУ СТОРОНУ СУЩНОСТИ
  • Линия времени
  • логика (формальная логика)
  • логика времени
  • логика научного познания (логика науки)
  • Логика современной физики
  • ПРОМИТТОР Планета, к которой может быть определена дирекция сигнификатора, в результате чего образуется аспект между прогрессивным положением сигнификатора и положением при рождении промиттора, обещающий определенные события или условия, соответствую
  • СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • ФИГУРА Фигура, также карта, схема, тема, зеркало небес, гороскоп - условное изображение состояния неба (т. е. астрологически значимых астрономических факторов) в данный момент времени. Наиболее значимые в большинстве систем факторы, так или иначе отр
  • ФИЛОСОФИЯ НОВОГО И НОВЕЙШЕГО ВРЕМЕНИ
  • формальная логика или логика
  • Фрейм как если бы
  • Фрейм как если бы
  • Что значит быть летучей мышью?
  • ЧТО ТАКОЕ ФИЛОСОФИЯ?



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь