← All posts tagged логика

Goren

А что, отношение равенства вообще никак не определимо? Ни в какой системе вообще? То есть, нет такой системы аксиом, которая бы характеризовала отношение равенства и больше никакое?

Goren

Собственно, надо найти такие утверждения в каком-то формальном языке, которые logically valid, но не instance of tautology. Насколько я понимаю, один из примеров
$$ \forall x Ax \rightarrow \exists x Ax $$
А ещё?

Goren

Жуик, время для очередного признания: я никогда не понимал людей, которые могут воспринять чужую точку зрения. Как это вообще можно проделать? Разве что если своего мнения по какому-то вопросу не сложилось. Потому что если я имею какое-то мнение по какому-то вопросу, то это для меня правда. Иначе бы я так не думал, зачем думать заведомую неправду? А если моё мнение истинно, то любое другое мнение, которое противоречит моему — ложно. Как, а главное, зачем воспринимать ложь? The whole thing just doesn't make sense.

Goren

Молодая девушка на похоронах своей матери замечает привлекательного, хорошо одетого молодого человека, которого раньше никогда не видела, и сразу влюбляется. Это любовь с первого взгляда! Теперь она думает только о нем постоянно! Проходит несколько дней и она убивает свою сестру. Вопрос: почему?

ответ под жуиккатом.

Goren

Жуик, а какие вещи в математике невозможно определить? Вроде, в теории множеств нельзя определить, собственно, множество и отношение принадлежности, так? Или как-то можно? А равенство двух элементов можно? А ещё вот такой вопрос — вот универсум теории множеств — это что? Это ведь не множество, наверное? Я запутался, в общем.

Goren

Слушай, жуик, а я вот тут подумал. Те логические школы, которые не признают закон исключённого третьего и, соответственно, не признают доказательств от противного — они, значит, всякие индукции и рекурсии тоже не признают? Ведь вроде состоятельность индуктивного доказательства доказывается как раз от противного афаик. Что же тогда нам остаётся? Одни конструкции?

Goren

Есть такая игра — что бы ты сделал, если бы мог исправить только одну маленькую вещь в мире, но с гарантией? Я бы, например, сделал так, чтобы ГСМы не писали статьи по логике. Вот что это такое, например? ru.wikipedia.org Леденящий душу пиздец...

Goren

en.wikipedia.org <- вот эта хуита меня убивает. Трагедия же. Можно сказать, выбили из-под ног только-только найденную опору в логике. Получается, что можно практически любое абсурдное высказывание сформулировать таким образом, чтобы оно было истинным. То есть, можно сказать "все действительные корни уравнения x^2+1=0 равны 10", можно сказать "все фиолетовые носороги умеют летать", можно сказать "все порядочные депутаты состоят в Единой россии", можно сказать "коммунизм — это рай", можно сказать "единственная цель в жизни человека — служение богу", можно сказать "бог это зелёный головастик".. И все эти высказывания будут строго истинными, хуй тут что опровергнешь. Ведь не предъявишь же Б-га и не докажешь, что он не зелёный головастик... Даже не вижу выхода отсюда. Разве что массировано переползать на троичную логику, но с ней тоже, наверное, есть какие-нибудь баги...