Логика неопределенности и неопределенности во времени.

Main Article Content

А.М. Анисов

Аннотация

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.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Анисов А. Логика неопределенности и неопределенности во времени. // Логические исследования / Logical Investigations. 2002. Т. 9. C. 5-31.
Выпуск
Раздел
Статьи

Литература

Анисов Л.М. Время и компьютер. Негеометрический образ времени. М., 1991.
Анисов А.М. Семантика неопределенности //Логические исследования. Вып.4. М., 1997.
Анисов А.М. Аксиоматическое исчисление неопределенности //Логические исследования. Вып.7. М., 2000.
Анисов AM. Темпоральный универсум и его познание. М., 2000.
Аристотель. Соч.: в 4 т. М., 1976-1984. Т. 2. С. 99-102.
Великие тайны прошлого // Reader’s Digest, 1996.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М., 1979.
Гильберт Д, Бернайс П. Основания математики. Теория доказательств. М., 1982.
Гранатовский Э.А. Послесловие ИБойс М. Зороастрийцы. Верования и обычаи. М., 1988.
Драгалин А.Г. Математический интуиционизм. М., 1979.
Карпенко А.С. Фатализм и случайность будущего: Логический анализ. М., 1990.
Лейстнер Л., Буйтаги П. Химия в криминалистике. М., 1990.
Логика и компьютер. Вып. 3. Доказательство и его поиск. М., 1996.
Лукасевич Я. О детерминизме //Логические исследования. Вып.2. М., 1993.
Молчанов Ю.Б. Проблема времени в современной науке. М., 1990.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Смирнов В.А. Поиск доказательств в натуральном интуиционистском исчислении предикатов с _-символом и предикатом существования //Логические исследования. Вып. 3. М., 1995.