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

##plugins.themes.bootstrap3.article.main##

A.M. Anisov

Abstract

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Анисов Л.М. Время и компьютер. Негеометрический образ времени. М., 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.