10 вопросов для атеистов-сциентистов

[войд]

вдогонку.
я уже приводил АА высказывание Фомы Deus est esse omnium, nоn essentiale, sed causale (Бог есть бытие всего, не сущностное, но причинное). это классический богословский тезис: "Бог есть бытие всего". т.е., тварный мир не обладает собственным бытием -- он существует только благодаря Богу. нет 2 видов бытия -- (тварного) бытия и инобытия. есть только одно бытие -- Бог. но тут богословам надо размежеваться с пан(ен)теизмом. поэтому: "не по сущности, но как причина". в терминологии Хайдеггера: бытие -- условие возможности сущего.

[plug]

...Так. Надо будет посмотреть сегодняшние темы про Православие.

Похоже, он сам себя "забанил". Обратите внимание - нарушений то нет.

Кстати, Энджел прислал мне в личку извинение, что не может ответить до указанного срока. И просил передать извинения Вам и Vetrov'у. Что я и делаю.

[RehNeferMes]

Похоже, он сам себя "забанил". Обратите внимание - нарушений то нет.

Я про другое. Я про то, как шла в той теме его попытка "межконфессиональной проповеди". Господин-то наш из чувствительных и гордых, а неправославный народ в той теме не из робких.

И это Angel ещё с главным лютеранским калибром не встречался - с Pavels'ом из латвийской Baznica Info. Не для нежных духом была бы встреча...

[Клёст]

Да ладно, чё Вы парню кости перемываете... Позвали планово в стационар - месяца через полтора вернется свеженький, как огурчик.

[Sigert]

Я про другое. Я про то, как шла в той теме его попытка "межконфессиональной проповеди". Господин-то наш из чувствительных и гордых, а неправославный народ в той теме не из робких.

Жалко, Рех, что Ангел ушел. Вы ему проигрывали как гиксосы Яхмосу.

[Клёст]

Жалко, Рех, что Ангел ушел. Вы ему проигрывали как гиксосы Яхмосу.

- "Избави Бог и нас от этаких судей" - (c) - И.Крылов. Впрочем, история рассудила даже этот казус: где Яхмос и где потомки Иосифа Прекрасного...

[Sigert]

- "Избави Бог и нас от этаких судей" - (c) - И.Крылов.

Рех хороший человек но он слишком зациклен на возможностях человеческого разума. Слишком высоко он их оценивает.

Впрочем, история рассудила даже этот казус: где Яхмос и где потомки Иосифа Прекрасного...

Йахмосъ там где ему и надо быть - в Луксорском музее. А потомки Иосифа рассыпаны по всему миру.

[ИлюхаМ]

вдогонку.
я уже приводил АА высказывание Фомы Deus est esse omnium, nоn essentiale, sed causale (Бог есть бытие всего, не сущностное, но причинное). это классический богословский тезис: "Бог есть бытие всего". т.е., тварный мир не обладает собственным бытием -- он существует только благодаря Богу. нет 2 видов бытия -- (тварного) бытия и инобытия. есть только одно бытие -- Бог. но тут богословам надо размежеваться с пан(ен)теизмом. поэтому: "не по сущности, но как причина". в терминологии Хайдеггера: бытие -- условие возможности сущего.

Мне показалось, или можно провести аналогию с материей и временем?

[RehNeferMes]

Жалко, Рех, что Ангел ушел. Вы ему проигрывали как гиксосы Яхмосу.

Да что вы говорите? Да где же именно? Ахти мне, бедному.

Вы крайне наблюдательны. Потому что, кроме вас, никто этого не заметил.

- "Избави Бог и нас от этаких судей" - (c) - И.Крылов.

Даже и Бога беспокоить не надо. То судьи, а тут - так... комар недоудовлетворённый.

[войд]

Мне показалось, или можно провести аналогию с материей и временем?

в смысле? "мир/бог ~ материя/время"? не, не похоже.

[EDX]

Ой, маладца. А теперь определите сам оператор K. Только, пожалуйста, соразмеряйте свои умственные и физические усилия. А то но две строчки силы-то хватило, так ума недовложение.

K: p-> true iff p known, false else.
Что тяжко? Че тут определять?

[Bovlan]

K: p-> true iff p known, false else.
Что тяжко? Че тут определять?

Определять не тяжко. Тяжко правильно определять.

let IL={true, false}
K: IL -> IL Учитесь...

Таких операторов K всего четыре штуки.
1. K(p)=true
2. K(p)=false
3. K(p)=p
4. K(p)=~p
Других нет. Как сюда вписывается iff p known?

[EDX]

Определять не тяжко. Тяжко правильно определять.
Таких операторов K всего четыре штуки.
1. K(p)=true
2. K(p)=false
3. K(p)=p
4. K(p)=~p
Других нет. Как сюда вписывается iff p known?

???
Обычно. Определение оператора К: К(р) истинно, если р известно, К(р) ложно, если р неизвестно.

Что вам еще надо? В чем проблема?

[Bovlan]

???
Обычно. Определение оператора К: К(р) истинно, если р известно, К(р) ложно, если р неизвестно.

Что вам еще надо? В чем проблема?

Проблема в

let IL={true, false}
K: IL -> IL Учитесь...

Какой из четырёх приведённых операторов K?

[EDX]

Проблема в
Какой из четырёх приведённых операторов K?

Вы запутались...

Начнем сначала.

IP = {p}, IL={true, false}

K: IP->IL, K(p) true iff p known, false else.

То есть оператор К отображает множество всех высказываний на IL, в зависимости от того известен ли аргумент или нет. Вот и все.

Вместо того, чтобы лопотать о четырех операторах, обратили бы внимание на то, что шутник и балагур EDX, развел вас как дитя своим K: IL->IL. Мне интересно было когда вы до этого допрете. Так и не доперли. Что однако и не удивительно.