Нытье логика

[psilogic]

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

Шастал я по всему инету, даже в буржуйские форумы заглядывал. И вот к какому выводу пришел: с логикой нынче полный мрак, с формальной - тем паче. Наивно искал критику, а нашел... ну я опишу, ЧТО я нашел.

Нашел народ нескольких типажей.

1. Чайник.
Задает вопросы типа: а че такое импликация? Ну то есть, ничего человек по теме не знает, но считает своим долгом вякнуть, обозначить свое присутствие. Ну ладно, мы люди не гордые, могу чего-то объяснить, но в лекторы я все-таки не записывался.

2. ИнтересуЮщий.
Продвинутый чайник, который где-то узнал таблицу истинности для материальной импликации и сильно этим горд. Начинает меня "просвещать". Ну ладно, слушаю, указываю на места, где он, фигурально говоря, плюс с минусом перепутал. ИнтересуЮщий начинает злиться и плавно переходит в состояние "кисо обиделось".

3. Гугль.
Этих пидрочил ненавижу больше всего. Дебил, который научился пользоваться Google-ем. Начинает осыпать меня сцылочками по теме. Ептваю, на*уй сдались твои сцылочки, когда все исходные данные у тебя перед носом? Ты, с*кайоб*ная можешь найти место в моих выкладках, где я плюс с минусом перепутал?! Можешь или нет? В ответ - очередная серия сцылочек, иногда с переходом в состояние "кисо обиделось". Если провести выборочную проверку ссылочек, то оказывается в лучшем случае, что они никак не противоречат моей точке зрения, а обычно оказывается, что они не имеют никакого отношения к теме, разве что есть пересечение по терминологии.

4. Остепененный Гугль.
Разновидность гугля с соответствующим образованием и может даже степенями, но он то ли уже впал в маразм, то ли врет откровенно насчет своего образования, то ли получил его по блату. Эти ссылочки дают все больше на любимых аффторов и на бумаге. Чтобы, значит, я не мог прямо носом ткнуть в тот факт, что подсовывает он мне фуфло.

5. Скучающий спец
Редкий тип. Не могу ничего плохого о них сказать, только встречаются они редко, и поиметь толк от них не получается. Начинаешь обсуждать. Идет здоровый скептицизм, потом уточнения по делу, потом - стандартные возражения, к которым у меня давно готовы ответы. Обычно все укладывается в несколько постов - максимум 5-6. Но вот потом - тишина. Ни ответа, ни привета. Ни признания, дескать, psilogic, наверное, ты был прав, по крайней мере я не могу найти, к чему у тебя придраться. Ни заявления, дескать, да фигню ты пишешь вот в этом месте, но спорить с тобой я устал. Просто тишина, и все. И не поймешь: то ли я убедил человека, то ли просто за*бал своим занудством (да что-то не похоже, слишком быстро) ? :)

6. Завхоз
Еще одна разновидность гуглей. Отсылают "учить матчасть", даже не указывая ссылочек. Просто учи матчасть. Толку от них не добиться, все, что они могут - это сыпать оскорблениями и хвастать своими титулами (наличие которых х*й проверишь, и вообще титул - не аргумент).

7. Философ
Эти начинают треп, как им кажется, по теме. Человеку говоришь: мил чел, ты вообще понял о чем речь? Ты зачем мне читаешь лекцию по интуиционистскому исчислению, когда я предлагаю решение в рамках классического? Вскоре получается очередное кисо обиженное. Видимо, ему как раз хотелось лекцию почитать, покрасоваться, дескать, вот он даже о какой логике слышал...

Такие вот дела. В общем, мрак в интернете с логикой, полный мрак :(

Comments

[psilogic.livejournal.com]

Спасибо. Если не лень, расскажите, что у вас получилось с той трехзначной системой.

[perets2001.livejournal.com]

Ничего особенного не получилось, потому что это был побочный результат и в дипломе я концентрировался на другой трехзначной системе. Так что никаких теорем я не доказывал, просто описал систему и привел некоторые особенности.