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