ВУЗ:
Составители:
Рубрика:
67
х
1
G у
1,
х
2
W у
2
╞ х
1
→ у
1
Gх
2
→ у
2
х
1
W у
1,
х
2
G у
2
╞ х
1
→ у
2
Gх
2
→ у
2
– правила следования для равнозначности
х
1
W х
2
╞ х
1
≡ х
2
Gх
2
х
1
G у
1,
х
2
G у
2
╞ х
1
≡ у
1
Gх
2
≡ у
2
9
Актуальная бесконечность – это понятие о бесконечной
совокупности предметов определенного класса, задание которой
завершено и предметы которой представлены одновременно в
виде готового, актуально существующего множества. Таковым, к
примеру, является множество действительных чисел, которое
входит между 0 и 1. Оно является бесконечным, несмотря на то,
что имеет начало в виде 0 и конец в виде 1. Его
бесконечность
обусловлена тем фактом, что нет конца пересчету его элементов,
но оно актуально, так как все числа, входящие в него, мыслятся
данными одновременно.
10
Необходимо отметить, что интуиционисты принимают не-
сколько отличные от общепринятых записи логических операций:
отрицание n (а), конъюнкция К (а, в), импликация j (а, в), дизъ-
юнкция n (а, в) и т. д.
11
Работы С.А. Крипке: «Теорема полноты в модальной ло-
гике» (1959), «Нормальные модальные исчисления высказыва-
ний» (1963), «Ненормальные модальные исчисления высказыва-
ний» (1965).
68
СПИСОК РЕКОМЕНДУЕМОЙ
И ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
1. Асмус В.Ф. Иммануил Кант. М., 1973.
2. Аналитическая философия. Избранные тексты. М., 1993.
3. Аристотель. Риторика //Античные риторики. М., 1978.
4. Бочвар Д.А. К вопросу о парадоксах математической ло-
гики и теории множеств // Матем. сб. М., 1944. Т. 15. Вып. 3.
5. Войшвилло Е.К. Релевантная логика.
6. Вригт Г.Х. фон.
Логико-философские исследования. М.,
1986.
7. Гегель Г. Наука логики // Энциклопедия философских
наук. М., 1975. Т. 1.
8. Гейтинг А. Интуиционизм. М., 1965.
9. Гильберт Д., Аккерман В. Основы теоретической логики.
М., 1947.
10. Гудмен Н. Способы создания миров // Факт, фантазия и
предсказание. М., 2001. С. 116–256.
11. Заде Л.А. Понятие лингвистической переменной и
его
применение к принятию приближенных решений. М., 1976.
12. Зиновьев А. Очерки комплексной логики. М., 2000.
13. Ивин А.А. Теория аргументации. М., 2000.
14. Ивин А.А. Логика. М., 1999.
15. Ивин А.А. Логика норм. М., 1973.
16. Клини С.К. Математическая логика. М., 1973.
17. Кондаков Н.И. Логический словарь-
справочник. М., 1975.
18. Поварнин С.И. Спор. О теории и практике спора. Пг., 1918.
19. Рамсей Ф. Философские работы. Томск, 2003.
20. Тарский А. Введение в логику и методологию дедуктич-
ных наук. М., 1948.
21. Тондл Л. Проблемы семантики. М., 1975.
22. Фейс Р. Модальная логика. М., 1974.
23. Фреге Г. Мысль: Логическое
исследование // Избр. рабо-
ты. М., 1975. С. 50–75.
24. Черч А. Математика и логика // Математическая логика и
ее применение. М., 1965.
25. Шрамко Я. Очерки истории возникновения и развития
аналитической философии // Логос. 2005. № 2. С. 40–12.
х1 G у1, х2 W у2 ╞ х1 → у1 Gх2→ у2 СПИСОК РЕКОМЕНДУЕМОЙ
х1 W у1, х2 G у2 ╞ х1 → у2 Gх2→ у2 И ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
– правила следования для равнозначности
х1 W х2╞ х1 ≡ х2 Gх2 1. Асмус В.Ф. Иммануил Кант. М., 1973.
х1 G у1, х2 G у2 ╞ х1≡ у1 Gх2≡ у2 2. Аналитическая философия. Избранные тексты. М., 1993.
9
Актуальная бесконечность – это понятие о бесконечной 3. Аристотель. Риторика //Античные риторики. М., 1978.
совокупности предметов определенного класса, задание которой 4. Бочвар Д.А. К вопросу о парадоксах математической ло-
завершено и предметы которой представлены одновременно в гики и теории множеств // Матем. сб. М., 1944. Т. 15. Вып. 3.
виде готового, актуально существующего множества. Таковым, к 5. Войшвилло Е.К. Релевантная логика.
примеру, является множество действительных чисел, которое 6. Вригт Г.Х. фон. Логико-философские исследования. М.,
входит между 0 и 1. Оно является бесконечным, несмотря на то, 1986.
что имеет начало в виде 0 и конец в виде 1. Его бесконечность 7. Гегель Г. Наука логики // Энциклопедия философских
обусловлена тем фактом, что нет конца пересчету его элементов, наук. М., 1975. Т. 1.
но оно актуально, так как все числа, входящие в него, мыслятся 8. Гейтинг А. Интуиционизм. М., 1965.
данными одновременно. 9. Гильберт Д., Аккерман В. Основы теоретической логики.
10 М., 1947.
Необходимо отметить, что интуиционисты принимают не-
10. Гудмен Н. Способы создания миров // Факт, фантазия и
сколько отличные от общепринятых записи логических операций:
предсказание. М., 2001. С. 116–256.
отрицание n (а), конъюнкция К (а, в), импликация j (а, в), дизъ-
11. Заде Л.А. Понятие лингвистической переменной и его
юнкция n (а, в) и т. д.
11 применение к принятию приближенных решений. М., 1976.
Работы С.А. Крипке: «Теорема полноты в модальной ло-
12. Зиновьев А. Очерки комплексной логики. М., 2000.
гике» (1959), «Нормальные модальные исчисления высказыва- 13. Ивин А.А. Теория аргументации. М., 2000.
ний» (1963), «Ненормальные модальные исчисления высказыва- 14. Ивин А.А. Логика. М., 1999.
ний» (1965). 15. Ивин А.А. Логика норм. М., 1973.
16. Клини С.К. Математическая логика. М., 1973.
17. Кондаков Н.И. Логический словарь-справочник. М., 1975.
18. Поварнин С.И. Спор. О теории и практике спора. Пг., 1918.
19. Рамсей Ф. Философские работы. Томск, 2003.
20. Тарский А. Введение в логику и методологию дедуктич-
ных наук. М., 1948.
21. Тондл Л. Проблемы семантики. М., 1975.
22. Фейс Р. Модальная логика. М., 1974.
23. Фреге Г. Мысль: Логическое исследование // Избр. рабо-
ты. М., 1975. С. 50–75.
24. Черч А. Математика и логика // Математическая логика и
ее применение. М., 1965.
25. Шрамко Я. Очерки истории возникновения и развития
аналитической философии // Логос. 2005. № 2. С. 40–12.
67 68
