...
..Впоследствии эти законы наряду с законом тождества («A есть A») были приняты схоластами в качестве основных законов логики. Оригинальная формулировка Аристотеля: «Оба утверждения A и не-A не могут быть одновременно ложны». Наряду с этим, в «Метафизике» встречается (не как закон, а как способ рассуждения) другая формулировка, в настоящее время более употребимая: «Одно из утверждений A или не-A должно быть истинным». Эта формулировка известна как сильный закон исключённого третьего и получила в схоластической логике название tertium non datur...
...Брауэр был убеждён, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключённого третьего, он настаивал на том, что кроме утверждения и его отрицания имеется ещё третья возможность, которую нельзя исключить: она обнаруживает себя при рассуждениях о бесконечных множествах объектов. Ограничение Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике и это сразу же вызвало резкую оппозицию многих математиков. Первое формальное доказательство брауэрова закона дал В. И. Гливенко (1928). Критика Брауэром закона исключённого третьего положила начало новому направлению в формальной логике (см. Логика формальная) — интуиционистской логике. В ней не принимается данный закон и отбрасываются все те способы рассуждения, которые с ним связаны.

В целом, закон исключённого третьего представляется теперь спорным законом логики, более того, в некоторых рассуждениях его следует считать ложным. Общая критика закона (в его сильной форме) сводится к следующим положениям. Он применим для рассмотрения терминов в фиксированной обстановке с фиксированной точки зрения. Он не подходит для меняющейся обстановки и субъективных понятий. Он не допустим даже для терминов, если исследователя интересует не просто доказательство, а построение. Тем не менее, во всех указанных случаях иногда его использование корректно и весьма эффективно, но требует дополнительных обоснований....

https://static.life.ru/posts/2017/01...305__1440x.jpg

27.01 18:06
В Русской православной церкви (РПЦ) предложили организаторам «Бессмертного полка» позволить участникам шествия почтить память героев не только Великой Отечественной войны (ВОВ), но и других войн, например, Первой мировой. Об этом сообщил руководитель управления по работе с общественными организациям Синодального отдела по взаимоотношениям церкви с обществом и СМИ Дмитрий Рощин в рамках Международных рождественских образовательных чтений.
«Мы бесконечно не можем выезжать на победе в Великой Отечественной войне. Хоть это и великая веха нашей истории, но прошло очень много лет, и то, что мы этим прикрываемся, говорит о том, что других побед особых не было. А нам нужны новые победы, мы с Николаем Земцовым (руководителем движения «Бессмертный полк» - прим. Агентства «Москва») обсуждали эту вещь, и он это очень хорошо понимает. Мы предлагаем ему расширить «Бессмертный полк» в исторической перспективе, то есть чтобы там стали появляться портреты героев Первой мировой войны, русских героев Отечественной войны 1812 г. и так далее. Чтобы это была некая ретроспектива русской героической истории. И тогда уже, потому что это будет более естественно, там будут появляться некие образы, связанные с этими войнами. Потому что не у всех людей советского времени четко сформулировано, что победа нашего народа в Великой Отечественной войне состоялась, в том числе, благодаря молитве», - пояснил он.
По словам Д.Рощина, обсуждается также возможность поминовения церковью воинов, для чего участникам шествия необходимо будет оставить записки с именами.
«Н.Земцов идею поддерживает, но надо до святейшего дойти, чтобы у нас было благословение. И, с одной стороны, мы лезть туда не будем с крестным ходом, а с другой стороны, церковь будет выполнять свою функцию и поминать погибших», - сказал он.