[Стороной]

Всё утро мучила, вероятно как следствие кучи проглоченных лекарств, мысль о логике. Где логика, если:

Все люди - животные. Все собаки - животные. Все собаки лают. Значит, все люди - лают...

Нет, люди, конечно, лают, но не все же!

Comments

[fdragon]

Хммммм...

Это такая разновидность инопланетной логики?

[Стороной]

fdragon

Не, это разновидность машинной логики. По типу, если А=В, а В=С, то А=С.

[fdragon]

Ясно

Неправильная какая-то машинная логика: А<B, C<B, значит А=С )

[Стороной]

fdragon

Э, нет, здесь нельзя неравенство ставить! Скорее включение!

[Бранд]

А вы в курсе, что некоторые собаки не лают? /сбой программы/...



К тому же, В не равно С, поскольку С есть лишь одно из свойств В, так что А, совпадающее с В только в пункте D (животные), не выводит следствия: А=С

[Стороной]

Бранд

Сейчас, на листочке прикину области включения...

[beeholder]

чистейшей воды софистика. скучно.

[Darkvvt]

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

[Стороной]

Darkvvt

Ещё один плюс в торону нечёткой логики.

Где операция И выглядит как MIN(А,В), а ИЛИ как MAX(A,B).

[Ворона]

Стороной Все люди - животные. Все собаки - животные. Все собаки лают. Значит, все люди - лают...



Дык... А где "все животные лают"? %)



"потому и не кусают"(с) рекламный ролик

[Darkvvt]

Стороной, или можно пойти к другой логике

А или Б по сути одно и тоже это философия. от Зенона Элейского и его апологетов или.

А или Б, а не пофигу ли собственно? это дзен или пофигизм

[Архангел]

Все не так!

Надо рассмтривать ab ovo! Вернее, со Стакана!

Стакан является интерфейсом ко всему сущему.

Животные - интерфейс, унаследованный от стакана и имеющий более расширенную структуру.

Человек - это класс, унаследованный от интерфейса Животное. (Есть мнение, что человек - это наследование класса Обезьяна, но класс Обезьяна, в свою очередь, наследование интерфейса Животное, следовательно, противоречия нет)

Собака - это класс, унаследованный от интерфейса Животное.

Ergo, логика вышеприведенных высказываний была нарушена, ибо рассматривать надо было не как equipero, а как наследование(inheritance) объектов.

Человек:Обезьяна:Животное:Стакан

{

public class speak

{

...........

}

}

Собака:Животное:Стакан

{

public class bark

{

..................

}

}

Откуда видно, что даже если человек умеет лаять, то это всего лишь фича его класса speak, но человек вовсе не обязан лаять, а собака говорить.

Dixi!