раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного фактора в логическом выводе относятся еще к античности (Аристотель, Диодор Кронос).
Вклад Фрэнсиса Бэкона в логику Нового времени
Определение 1
Логика и аргументация Нового времени... Ученый был недоволен состоянием науки своего времени и предпринял попытку обновления способа познания... «Новую логику» он рассматривает в роли орудия познания – органона.... Вклад Рене Декарта в логику Нового времени
Рене Декарт считал, что главное упущение всех его предшественников... Вклад Готфрида Вильгельма Лейбница в логику Нового времениЛогика Лейбница закономерно вытекает из его
This paper establishes the relation that holds between the temporal past and future and the emergence of uncertainty. This uncertainty involved in argument naturally leads to non-classical logic. A paradox hereby conceived consists in that the logic of uncertainty may be presented as a fragment of classical logic, which is demonstrated in what follows.
Общая характеристика временныхлогик
Определение 1
Интервальные семантики временныхлогик - это... Определение 2
Темпоральная (временная) логика - это ветвь математической логики, которая занимается... Существуют два основных типа временнойлогики:
линейная временнаялогика,
разветвленная временнаялогика... Особенности интервальной семантики для временныхлогик
Темпоральная логика - это мощный инструмент для... Интервальная семантика временныхлогик основывается на представлении времени в виде линейной шкалы, где
Представление о времени в традиционных культурах отличается от современных представлений, доминирующих в науке. Традиция считает время циклическим и качественным, современная наука, напротив, линейным и количественным. Для индоиранской традиции свойственно утверждение об изначальном вечном и непостижимом принципе, из которого разворачивается наш мир, существующий во времени, в котором все меняется. В зороастризме вечный непостижимый и бесконечный Зерван Акарана отличен от «длинного» конечного времени Зервана Карана. Аналогично этому в индуизме Вишну-Пурана говорит об изначальном непостижимом Брахме, из которого Время-Кала развертывает весь проявленный мир двойственности. Циклы времени свойственны проявленному миру. Математизация времени, его измерение, создание календарей, помимо практических целей, преследовали прежде всего метафизические цели. Они символизировали устройство мира. Посредниками между изначальным принципом, вечным бесконечным Временем и человеческим масштабом времени...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
