Нытье логика

[psilogic]

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

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

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

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

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

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

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

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

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

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

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

Comments

[rssh.livejournal.com]

Интересно, а чего ты хочешь ?
Можешь описать тип ожидаемой реакции ?

[goh-dan.livejournal.com]

:(

[parasionka.livejournal.com]

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

[ex-kosilova.livejournal.com]

а в чем заключается ваше решение парадоксов материальной импликации в рамках классической логики?
и о каких именно парадоксах речь?

[perets2001.livejournal.com]

Я правильно понял, что парадоксы „решаются“ накладывнием ограничений на понятие истинности следования, то есть заменой материальной импликации на некую иную?

[m0ris.livejournal.com]

Мрак. В этой стране с ней так будет всегда ))

[eterevsky.livejournal.com]

Лично моё субъективное впечатление: мат. логика сейчас развивается довольно слабо, так как основная задача подведения чёткого фундамента под математику была решена на рубеже 19–20 веков Фреге и Расселом, а сейчас идёт изучение вопросов, относительно бесполезных на практике. Наиболее активная часть — та, которая граничит с теорией алгоритмов.

Что касается логики нематематической (фактически, теории познания в философии), то тут я не очень хорошо представляю, что происходит. Знаю, что есть позитивизм, но слабо представляю, чем его современное состояние отличается от того, что было в начале 20-го века.