Изящно сформулировано

[cheralpa]

"Способ рассуждения, заключающийся в построении цепочки силлогизмов, является только трансформирующим механизмом, который можно применять независимо от того, каковы посылки, к которым он применяется, и который, следовательно, не может характеризовать природу этих последних".

Н. Бурбаки. Очерки по истории математики.

Comments

[korvin_]

ну почему, если теория полна и непротиворечива и известно что-то про природу выводов, которые получаются из этой цепочки силлогизмов, то, наверное, вполне может?

[cheralpa]

Например?

[korvin_]

если доказательство корректно и вывод истинен, то и посылки истинны? нет? ну, естественно, если теория полна и блаблабла

[cheralpa]

Как вы узнаете, что вывод истинен, если не из посылок? О том и речь, что процедура рассуждений может быть безупречна, но истинность вывода этим не обеспечивается. Истинность в этом случае полностью зависит от достоверности посылок.