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


временная логика
        ВРЕМЕННАЯ ЛОГИКА - раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950-х), а также во многом и нынешнее состояние обязаны работам А.Н. Прайора. Философско-методологическим основанием В. л. является принцип конкретности истины. Поэтому следует признать заслугу и Гегеля в формировании концепции В. л., на что обращал внимание автор гипотезы о возможности ее построения Дж.Н. Финдлей. Среди предпосылок В. л. важное место занимают грамматические исследования датского ученого О. Есперсена (система «семи времен» глаголов с различением «времен» высказывания, действия и ссылки).
        Истоки В. л. лежат в античной и средневековой логике. В трактате Аристотеля «Об истолковании» говорится, что «простое высказывание есть звукосочетание, обозначающее присущность или неприсущность чего-то с различением во времени»; при рассмотрении парадокса «завтрашнего морского сражения» допускается непостоянство во времени истинности и ложности суждений. Для Диодора Крона суждения вроде «сейчас имеет место день» являются истинными в одно время и ложными в другое. Импликация «если р, то понималась им так: «Никогда не было такого времени, когда р было истинным при одновременной ложности q». Согласно его «главенствующему аргументу» (kyrieyon), три суждения являются несовместными: 1) каждое истинное суждение о прошлом является необходимым; 2) невозможное не следует из возможного; 3) нечто, чего нет и не будет, все-таки является возможным. В средневековой логике формулировались условия истинности суждений с временной квалификацией (Жан Буридан); разрабатывалась концепция «возможных миров» (Вальтер Бурлей, Дуне Скот, Уильям Оккам). Новое время отличается охлаждением интереса к временной квалификации логической формы. Затем он возобновляется (Дж. Буль, Ч.С. Пирс) и более уже не исчезает. Пирсу принадлежит идея модели «ветвящегося времени», оказавшейся в центре нынешних разработок.
        На возникновение В. л. существенно повлияла модальная логика. Дж. Финдлей считал, что «исчисление времен следует включить в современное развитие модальной логики». Особое значение в этом отношении имели исследования проблемы квантификации модальной логики.
        Наиболее распространенный способ оформления систем В. л. связан со «стратифицированной» концепцией Э.Дж. Леммона. «Минимальная система» включает классическое пропозициональное исчисление, правила присвоения всегда-будущности и всегда-прошлости (аналоги правила введения квантора общности в логике предикатов), а также аксиомы однородности времени, связывающие предположения об однородности времени и истинностные значения высказываний. Расширения получаются путем присоединения к этому «страту» других постулатов.
        В начале 20 в., посредством уточнения очень давних интуитивных представлений, Дж.Э. Мак-Таггарт сформулировал взаимодополнительные концептуальные модели: А-ряд, т.е. ряд прошлого, настоящего и будущего, и В-ряд, представляющий время с помощью понятий «до», «одновременно» и «после». Первый служит для построения объектного языка исчислений В. л., второй — метаязыка для описания временных структур.
        Разработку проблем семантики В. л. начал еще Прайор. Благодаря работам Э.Дж. Леммона, Г. Х. фон Вригта, С. Крипке, Д. Габбая, В.А. Смирнова, Дж. Берджесса и др. эта область приобрела современный вид.
        Э.Ф. Караваев
        Лит.: Анисов A.M. Время и компьютер: Негеометрический образ времени. М., 1991; Вригт Г.Х. фон. Логико-философские исследования. М., 1986; Ишмуратов А.Т. Логические теории временных контекстов (временная логика). Киев, 1981; Караваев Э.Ф. Основания временной логики. Л., 1983; Карпенко А.С. Фатализм и случайность будущего: Логический анализ. М., 1990; Смирнов В.А. Определение модальных операторов через временные // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984; Он же. Логические системы с модальными временными операторами // Там же; Benthem J.F.A.K. van. The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Dordrecht, 1983; Burgess J.P. Basic tense logic // Handbook of Philosophical Logic.Vol. II. Dordrecht, 1984; Ohrstrom P., Hasle P.F. V. Temporal Logic - from Ancient Ideas to Artificial Intelligence. Dordrecht, 1995; Prior A.N. Time and Modality. Oxford, 1957; Он же. Past, Present and Future. Oxford, 1967; Он же. Papers on Time and Tense. Oxford, 1968.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.


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





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

  • БАЛАНС ВРЕМЕНИ РАБОТНИКОВ
  • БЮДЖЕТ ВРЕМЕНИ
  • ВЕЛИКИЕ НЕВРОЗЫ НАШЕГО ВРЕМЕНИ
  • Во времени
  • Во времени
  • Восприятие Времени
  • восприятие времени
  • ВОСПРИЯТИЯ ВРЕМЕНИ НАРУШЕНИЯ
  • ВРЕМЕНИ БЮДЖЕТ
  • ВРЕМЕНИ ЛОГИКА
  • ВРЕМЕНИ СОЗНАНИЕ
  • ВРЕМЕННАЯ ЛОГИКА
  • временная логика
  • Временная перспектива (time perspective)
  • ДУХ ВРЕМЕНИ
  • Линия времени
  • Линия времени
  • логика времени
  • Нарушения Восприятия Времени
  • нарушения восприятия времени
  • Ограниченная во времени психотерапия (time-limited psychotherapy)
  • ПРОЕКЦИЯ ВО ВРЕМЕНИ ПО ЛАЗАРУСУ
  • Психогении военного времени
  • Расстройство осознавания времени
  • ФИГУРА Фигура, также карта, схема, тема, зеркало небес, гороскоп - условное изображение состояния неба (т. е. астрологически значимых астрономических факторов) в данный момент времени. Наиболее значимые в большинстве систем факторы, так или иначе отр
  • ФИЛОСОФИЯ НОВОГО И НОВЕЙШЕГО ВРЕМЕНИ
  • ФОНД РАБОЧЕГО ВРЕМЕНИ
  • ХРОНОКРАТОРЫ - МАРКЕРЫ ВРЕМЕНИ
  • ЧУВСТВО ВРЕМЕНИ
  • ЭКОНОМИИ ВРЕМЕНИ ЗАКОН



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

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






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

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







    Locations of visitors to this page



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