АКСИОМА СВОДИМОСТИ

АКСИОМА СВОДИМОСТИ — одна из аксиом логики и математики. Согласно А. с. любое высказывание более высокого типа эквивалентно одному из высказываний первого типа, т.е. высказыванию о свойствах изучаемых объектов. С ее помощью доказывается принцип математической индукции, без которого трудно представить себе...

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

Год актуализации: 2017

Источник публикации: Специальная и общая философия науки: энциклопедический словарь

Тематика:

Похожее:

АКСИОМА СВОДИМОСТИ // Специальная и общая философия науки: энциклопедический словарь. 2017. URL branch.znanium.ru/read/957685 (дата обращения 22.06.2026)

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД – способ построения науч. тео- рии, предусматривающий выбор опред. ее положений в качестве исходных, из к-рых чисто логич. путем доказательств выводятся все остальные. ...

Год актуализации: 2013

Источник публикации: Современный словарь по общественным наукам

Тематика:

ФИЛОСОФИЯ

Похожее:

АКСИОМАТИЧЕСКИЙ МЕТОД // Современный словарь по общественным наукам. 2013. URL branch.znanium.ru/read/652023 (дата обращения 22.06.2026)

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД — основной метод логико-математических дисциплин. По всеобщему признанию, именно с него математика началась как наука. Хорошо известно, что основания этого метода были разработаны философами, прежде всего Платоном и Аристотелем, но понадобился гений профессионального математика Евклида, чтобы представить геометрию...

в аксиоматическом виде. На наш взгляд, подвиг Евклида состоял в выявлении научного строя математики. До него все математики ограничивались изучением теорий как проблемно-концептуальных образований. Не было человека, способного рассмотреть всю проблематику геометрических теорий с единой точки зрения. Именно это удалось сделать Евклиду. В комментариях к его трудам часто указывается, что благодаря его усилиям была установлена незыблемость математических истин. Разумеется, это...

Год актуализации: 2017

Источник публикации: Специальная и общая философия науки: энциклопедический словарь

Тематика:

Похожее:

АКСИОМАТИЧЕСКИЙ МЕТОД // Специальная и общая философия науки: энциклопедический словарь. 2017. URL branch.znanium.ru/read/957395 (дата обращения 22.06.2026)

АКСИОМАТИЧЕСКОЕ И КРИТИЧЕСКОЕ МЫШЛЕНИЕ

АКСИОМАТИЧЕСКОЕ И КРИТИЧЕСКОЕ МЫШЛЕНИЕ Сущность аксиоматического и критического мышления рас- крывается посредством категорий «утверждение» и «отрицание». Посредством названных понятий формулируется принцип сопря- женности утверждения и отрицания. Данный принцип лежит в ос- нове философского закона отрицания отрицания, обуславливаю- щего единство поступательности...

и преемственности в развитии [20, с. 471]. Аксиоматическое мышление (от греч. αξίωμα — утверждение) рассматривает некоторые исходные положения (постулаты) в ка- честве очевидных суждений или аксиом — истин, не требующих доказательств. При этом соответствующие исходные постулаты используются при доказательстве прочих положений. Критическое мышление (от лат. criticus — критика, оценка) исхо- дит из того, что высказанное суждение является тезисом, требую- щим...

Год актуализации: 2017

Источник публикации: Психологические типы: справочник

Тематика:

ПСИХОЛОГИЯ

Похожее:

АКСИОМАТИЧЕСКОЕ И КРИТИЧЕСКОЕ МЫШЛЕНИЕ // Психологические типы: справочник. 2017. URL branch.znanium.ru/read/975608 (дата обращения 22.06.2026)

АКСИОМЫ ПРАВА

АКСИОМЫ ПРАВА – фундаментальные принципы человеческого сосуществования и, одноврем., установки правосознания, к-рые де- лают право возможным. По И.Иль-ину, таковыми являются: закон духовного достоинства, закон автономии и закон взаимного призна- ния. ...

Год актуализации: 2013

Источник публикации: Современный словарь по общественным наукам

Тематика:

ПРАВО

Похожее:

АКСИОМЫ ПРАВА // Современный словарь по общественным наукам. 2013. URL branch.znanium.ru/read/648522 (дата обращения 22.06.2026)

АКТ

АКТ (лат. aсtus – действие и actum – документ) – 1) в юриспруден- ции: официальный письменный документ, влекущий опред. право- вые последствия; 2) в философской концепции Аристотеля катего- рия, отождествляемая с феноменом «энергии», обозначавшая дея- тельное осуществление чего-либо; 3) в...

широком соц. знач.: дей- ствие, поступок; 4) в искусстве: законченная часть драматического произведения или театрального представления. ...

Год актуализации: 2013

Источник публикации: Современный словарь по общественным наукам

Тематика:

Похожее:

АКТ // Современный словарь по общественным наукам. 2013. URL branch.znanium.ru/read/648523 (дата обращения 22.06.2026)

АКТ

АКТ (лат. actus — действие) — 1) официальный документ, имею- щий юридическую силу. В зависимости от того, кем и на каком уровне управления выпускается (принимается) акт, и от его содер- жания принято различать государственные, ведомственные, нормативные, региональные и другие акты;...

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

Год актуализации: 2009

Источник публикации: Современный социоэкономический словарь

Тематика:

Похожее:

АКТ // Современный социоэкономический словарь. 2009. URL branch.znanium.ru/read/633973 (дата обращения 22.06.2026)

имя пользователя
пароль