Please enable JavaScript.
Coggle requires JavaScript to display documents.
Аксиоматический метод, Историческое развитие, Статусы аксиом, Структура…
Аксиоматический метод
Историческое развитие
Неевклидовая геометрия и новые статусы аксиом
Евклид: геометрия как первая аксиоматическая теория
Аристотель: разделение истинных высказываний
Статусы аксиом
Утверждение
Предположение
Лингвистическое соглашение
Структура аксиоматического метода
Основные понятия
Неопределяемые понятия
Объекты и отношения
Исходные положения
Постулаты
Логические процедуры вывода
Дедукция теорем
Современные достижения
Аксиоматика натуральных чисел (Дж. Пеано)
Логика (Д. Гилберт, П. Бернайс)
Формализация аксиоматического метода
Сферы применения
Основное использование в математике
Применение в эмпирических науках
Ограничения в философии и наблюдательных науках
Значение концепции Хабермаса
Актуальность в современных дискуссиях
Теоремы как преобразования
Правила вывода и логика
Ограничения аксиоматического метода
Теорема о неполноте (К. Гёдель)
Понятие истины (А. Тарский)