|
|
От
|
MOA
|
|
|
К
|
Добрыня
|
|
|
Дата
|
14.10.2005 10:39:26
|
|
|
Рубрики
|
Прочее;
|
|
Re: "Невозможно доказать...
И, ПМСМ, необходимо помнить, что та логика, которую изучают гуманитарии - юристы, например - есть противоречивая формальная система, "наивная логика", или, более формально - "логика первого порядка".
О том, что наивная логика есть система противоречивая - свидельствует существование в ней формально правильных но противоречивых высказываний - знаменитые парадоксы логики - "бог и камень", "критянин", "брадобрей" - ну или коротко "эта фраза ложна". По критерию формальных систем, система, в которой можно построить противоречивые высказывания - ложная, "неправильная" система.
В программировании СУБД, например, используют "логику второго порядка". Её отличают ограничения, наложенные не высказывания, т.е. упомянутые парадоксы там просто не записываются.
С уважением, МОА.