April 23rd, 2007
Вот, в новости попал.
Неправильное применение термина.
Очень часто встречаю в русском ЖЖ (и, вообще, в русском Интернете) термин "линейная логика," обычно, с добавкой "простая линейная логика."
Применяется он в смысле "простых логических рассуждений."
Вообще-то, линейная логика Жана-Ива Жирара штука сложная и тонкая. Ее еще надо уметь применять и простой ее назвать очень сложно. ;)
Правильнее говорить о "формальной логике," "простой формальной логике," причем, исключительно об Аристотелевой ее части - основе всех основ.
PS
Ну у меня и тон. ;)
Ну и пусть. ;)
Применяется он в смысле "простых логических рассуждений."
Вообще-то, линейная логика Жана-Ива Жирара штука сложная и тонкая. Ее еще надо уметь применять и простой ее назвать очень сложно. ;)
Правильнее говорить о "формальной логике," "простой формальной логике," причем, исключительно об Аристотелевой ее части - основе всех основ.
PS
Ну у меня и тон. ;)
Ну и пусть. ;)