Логицизм
Логицизм Логицизм и его критика Логицизм — это философская система, разработанная Бертраном Расселом и Альфредом Уайтхедом в начале 20 века. […]
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм — форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Иллюминационизм Основы Иллюминационизма Иллюминационизм — философская школа, основанная Шахаб ад-Дином Сухраварди в XII веке. Сухраварди написал фундаментальный текст «Хикмат аль-Ишрак»
Объединяющие теории в математике Объединяющие теории в математике Математика объединяет множество областей, включая геометрию, алгебру и анализ. Примеры включают аналитическую
Антипсихологизм Основы антипсихологизма Антипсихологизм утверждает, что логическая истина независима от содержания идей. Зародился в работах Канта и Больцано, развит Ремке
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм — форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Доинтуиционизм Определение прединтуиционизма Прединтуиционисты — это группа математиков, которые разделяли взгляды Брауэра на природу математики. Брауэр ввел термин в 1951
Концептуализм Концептуализм в метафизике Концептуализм объясняет универсалии как структуры, существующие в разуме. Находится между номинализмом и реализмом, отрицает существование универсалий
Логический атомизм Логический атомизм — философское воззрение, возникшее в начале 20 века с развитием аналитической философии. Мир состоит из конечных
Беллетристика Фикционализм — точка зрения в философии, утверждающая, что утверждения, кажущиеся описаниями мира, следует понимать как случаи «выдумки». Беллетристика включает
Диалектеизм Диалектеизм — мнение о том, что существуют высказывания, являющиеся одновременно истинными и ложными. Диалектеизм не является системой формальной логики,
Традиционализм Конвенционализм — философская позиция, основанная на соглашениях в обществе, а не на внешней реальности. Негласные правила играют ключевую роль
Банальность Тривиализм — логическая теория, утверждающая истинность всех утверждений и противоречий. Тривиалист верит, что все на свете является правдой. В
Семантика выводимой роли Логически выведенная семантика ролей отождествляет значение выражения с его отношением к другим выражениям. Георг Вильгельм Фридрих Гегель
Переоценка ценностей Супервалюционизм — семантика, используемая для работы с несущественными единичными терминами и неопределенностью. Супервалюционизм позволяет применять тавтологии пропозициональной логики
Психологизм Психологизм — семейство философских позиций, в которых психологические факты играют центральную роль в обосновании непсихологических фактов. Слово «психологизм» было
Семантическая теория истины Семантическая теория истинности утверждает, что истинность является свойством предложений. Семантическая концепция истины возникла благодаря работам польского логика
Теории, подтверждающие себя Самопроверяемые теории — арифметические системы первого порядка, слабее арифметики Пеано. Дэн Уиллард исследовал свойства самопроверяемых теорий и