Логика неопределенности и неопределенности во времени.
Main Article Content
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.
Downloads
Download data is not yet available.
Article Details
How to Cite
Anisov A. Логика неопределенности и неопределенности во времени. // Logicheskie Issledovaniya / Logical Investigations. 2002. VOL. 9. C. 5-31.
Issue
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.
Анисов А.М. Семантика неопределенности //Логические исследования. Вып.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.