103. Непротиворечивость
Никому еще не удавалось создать философию, которая была бы одновременно правдоподобной и внутренне непротиворечивой. К правдоподобию стремился Локк, но достиг его лишь за счет непротиворечивости.
Большинство же великих философов поступали наоборот.
Философия, не свободная от внутренних противоречий, не может быть полностью истинной, но непротиворечивая философия вполне может оказаться полностью ложной.
3. Непротиворечивость и интервальность Как бы ни было велико его значение, факт непротиворечивости не следует рассматривать как априорное условие научной ценности теории. Научную ценность могут представлять и противоречивые, но нетривиальные теории. Если в числе теорем
4. Непротиворечивость в ультраинтуиционизме В связи с темой непротиворечивости и отождествлений нельзя обойти молчанием ультраинтуиционистскую программу обоснования математики{126}, тем более, что она является российским приоритетом.Появлению этой программы
5. Непротиворечивость и “собственный универсум” логики Теперь, в связи с проблемой непротиворечивости и практикой отождествлений, я хочу сделать несколько замечаний к понятию “предметная область” (или “универсум рассуждения”){134}, поскольку эта тема является одной из
§ 5. Независимость и непротиворечивость аксиом Теперь нам необходимо рассмотреть вопросы, связанные с набором аксиом. Каковы существенные и желательные свойства, которыми должен обладать набор аксиом?1. Аксиомы исследуются с учетом имплицируемых ими суждений.
ГЛАВА IV: Непротиворечивость, полнота и геометрия Смысл явный и неявныйВ главе II мы видели пример того, как смысл — по крайней мере, в относительно простом контексте формальных систем — рождается из изоморфизма между управляемыми правилами символами и вещами реального
Непротиворечивость системы управления Вселенной Необходимо объяснить вопрос, связанный с тем, как сочетаются обе модели управления, с точки зрения, свободы действия локальных центров Вселенной (Личности, Я).Каждое «Я» — это новое направление развития Вселенной,