авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 3 | 4 ||

«Исследование генезиса логической трансценденции в основаниях формальной логики и теории множеств и логически сингулярное решение «Второй проблемы ...»

-- [ Страница 5 ] --

2. В классической формальной логике нулевого порядка существуют такие непротиворечивые логические формулы, конъюнкция которых приводит к образованию тождественно противоречивой формулы. В аристотелевской традиционной логике конъюнкция непротиворечивых формул наоборот всегда является истинной.

3. В классической формальной логике нулевого порядка существуют такие логические непротиворечивые формулы А и А, что по отдельности непротиворечиво можно вывести, как А так и А. В аристотелевской традиционной логике эта логическая ситуация квалифицируется как антиномия, то есть как противоречие.

4. В ряде случаев сочетание классической формальной логики нулевого порядка с аристотелевской традиционной логикой приводит к образованию антиномий, то есть аристотелевских противоречий.

5. Аристотелевская традиционная логика является неполной, поскольку не может дать логически адекватное решение классических парадоксов. Классическая формальная логика нулевого порядка является полной, может дать адекватное решение классических парадоксов.

6. В пространстве логических формул классической формальной логики нулевого порядка аристотелевская традиционная логика является лишь частным случаем, а в этом же пространстве существует также логически предельно трансцендентная логическая система, являющаяся логически инверсной по отношению к системе аристотелевской традиционной логики.

7. Аристотелевская традиционная логика и классическая формальная логика нулевого порядка имеют различные критерии непротиворечивости.

PDF created with pdfFactory Pro trial version www.pdffactory.com В свете исследования логических особенностей классической теории множеств и аксиоматической системы Пеано можно отметить следующие обстоятельства.

1. Принятие «Аксиомы пустого множества» делает невозможным логическое отсечение аристотелевски противоречивых классов.

2. «Теорема Кантора» в общем случае не является верной, поскольку нарушается для бесконечного сингулярного множества U.

3. Каждое множество типа b, удовлетворяющее «Аксиоме регулярности» является элементом логически трансцендентного R-класса Рассела.

4. Отрицание конструктивного существования логически предельно трансцендентных классов недоказуемо в аксиоматических системах ZF и ZFC.

5. «Аксиома выбора» в сочетании с «Методом математической индукции» и глобально непротиворечивой классической формальной логикой нулевого порядка в ряде случаев приводит к образованию множественных аристотелевских противоречий и генезису логически предельно трансцендентной формально-логической системы.

6. Несмотря на то, что аксиоматическая система Пеано, согласно результатам Герхарда Генцена является внутренне непротиворечивой, вместе с этим она в сочетании с «Аксиомой выбора» и глобально непротиворечивой классической формальной логикой нулевого порядка в ряде случаев образует множественные аристотелевские противоречия, эквивалентные логически предельно трансцендентным формулам.

7. «Теоремы Геделя» свидетельствуют о генезисе аристотелевских противоречий при сочетании аксиоматической системы Пеано, аристотелевской традиционной логики и классической формальной логики нулевого порядка.

8. Сочетание основных аксиом теории ZFC с аристотелевской традиционной логикой и классической формальной логикой нулевого и первого порядка образует сингулярную формально-логическую систему, содержащую множественные логически предельно-трансцендентные формулы, логически эквивалентные отрицанию второго и третьего законов аристотелевской традиционной логики.

9. Снятие вопроса аристотелевской противоречивости в основаниях классической теории множеств возможно лишь при условии введения в явном виде трансфинитного времени при описании бесконечных множеств и связанных с ними бесконечных процессов.

10. В теории множеств и классов в связи с необходимостью введения времени в явном виде, необходимо также учитывать A и B логики времени.

PDF created with pdfFactory Pro trial version www.pdffactory.com

Pages:     | 1 |   ...   | 3 | 4 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.