принятое в кантовской и гегелевской логике название одного из видов суждения. В сущности, бесконечное суждение есть обыкновенное отрицатеьное суждение, только отрицание в нем отнесено к сказуемому , а не помещено в связке .
Для него нравственные суждения важнее теоретических суждений науки. Истина не познается без оценки.... Говоря об этом, он подчеркивал существование двух типов человеческого суждения; он отделил суждения чувств... человека (суждения сердца) от суждений его математического разума.... Только бесконечный разум может постичь бесконечность всего.... Если мы считаем, что бесконечная бездна может быть заполнена только чем-то бесконечным и неизменным,
Опровергается общепринятое универсальное ограничительное истолкование знаменитых теорем К. Гёделя о неполноте арифметики. Приводятся контрпримеры ко второй теореме, показывается ограниченность используемых Гёделем выразительных средств. В рамках гёделева подхода доказывается третья теорема о неполноте, по которой неразрешимыми оказываются самые обычные в (мета)арифметике суждения, причём таких суждений бесконечно много. Тем самым обосновывается вывод о принципиальной неадекватности гёделева представления знания, из чего следует неправомерность переноса полученных в таком представлении выводов на содержательное знание.
Определение 1
Аналитические суждения - это суждения, которые истинны по определению, то есть их истинность... Определение 2
Синтетические суждения - это суждения, которые истинны не по определению, а потому... количество шагов, то для «истины факта» подобное доказательство невозможно, поскольку может требовать бесконечного... Однако Лейбниц полагал, что для «бесконечного разума», Бога все истины даны сразу и непосредственно,... Именно в этом смысле по Лейбницу все истины аналитические, по крайней мере, для этого «бесконечного разума
Предметом статьи является проблема математического осмысления природы бесконечности. Автор демонстрирует принципиальную несовместимость двух подходов к математической бесконечности: первый из них предложен немецким математиком Г. Кантором, второй развивался австрийским философом Л. Витгенштейном. В статье доказывается, что канторовский подход к бесконечности оказывается парадигматическим для попыток обоснования математики. Данный подход был сформулирован в качестве «теории множеств». Внимательный разбор онтологических обязательств и предпосылок «теории множеств» показывает, что допущение актуальной бесконечности – единственная возможность «строгого» обоснования математики как науки. Посредством концептуального анализа автор обнаруживает, что, согласно Кантору, именно актуальная бесконечность задаёт условия истинности суждений математики. Затем автор обращается к компаративному анализу позиций Кантора и Витгенштейна. Компаративный анализ позволяет заключить, что, в противоположность ...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
