Словарь по логике

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

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


  1. логика времени—раздел современной модальной логики изучающий логические связи временных утверждений т. е. утверждений в которых временной параметр включается в логическую форму. Л. в. н...Словарь логики