April 23rd, 2007

with Cat The Cat

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

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

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

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

Правильнее говорить о "формальной логике," "простой формальной логике," причем, исключительно об Аристотелевой ее части - основе всех основ.

PS
Ну у меня и тон. ;)

Ну и пусть. ;)