Неправильное применение термина.

[thesz]

Очень часто встречаю в русском ЖЖ (и, вообще, в русском Интернете) термин "линейная логика," обычно, с добавкой "простая линейная логика."

Применяется он в смысле "простых логических рассуждений."

Вообще-то, линейная логика Жана-Ива Жирара штука сложная и тонкая. Ее еще надо уметь применять и простой ее назвать очень сложно

Comments

[palm_mute]

Мне кажется, о "формальной логике" здесь тоже говорить не совсем правильно. Словосочетание "здравый смысл" больше подойдет.

[thesz]

Это, обычно, относится к чужим (псевдо)логическим рассуждениям.

[monocalibro]

Что-то я не помню чтобы я вместо формальная логики где-то упоминал линейную. Но если да - то искренние извинения, вырвалось.Во времена моей молодости и микросхем ЛА "линейной логикой" называли любую логическую схему без бистабильных эдементов.

Прикольно.

[nealar]

Всегда считал, что логические схемы и линейные - принципиально разные вещи.

Re: Прикольно.

[monocalibro]

Это жуткий жаргон, связанный, возможно, с использованием 155 серии умельцами в качестве усилителей.

[nealar]

Если их загнать в такой режим, они перестают работать, как логические. Но на язык, возможно, это именно так и повлияло.

[lomeo]

Путаюсь я в этих логиках и исчислениях. Столько всего прочитал, а толку - ноль. Простая линейная логика говорит, что пора прекращать.

[thesz]

А что говорит комбинаторная логика?

[lomeo]

Молчит. Сидит в углу, кубики переставляет.

[thesz]

А можно ли осторожненько осведомиться (без каких-либо умыслов ломать чьи-либо планы) - можно ли зайти в гости числа 29 вечерком?

Вроде, у меня свободный вечер получается.