Суть формальной логики

[Пламен]

Сообщение послал(а): Детерминист (adsl-63-192-13-186.dsl.snfc21.pacbell.net)
Дата: Четверг, 8 Мая 2003, at 8:21 p.m.
........

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

Но, Пламен, вы лучше попробуйте объяснить одно явление (:как человек - спец по явлениям в бытие:).
Возьмём такое бытие каким является наш форум. Образованные сплошь люди, в жизни никто их, по-видимому, не считает глупыми, а скорее - наоборот. Образование наших форумцев в общем и целом имеет тенденцию к физико-математическому уклону. Во всяком случае количество часов лекций по математике не идёт ни в какое сравнения с американскими и другими ВУЗами, подготавливающих специалистов такого же общественно-образовательного уровня.

И вот, имея все это, мы можем наблюдать просто невежество в отношении СУТИ формальной логики (логики высказываний) и математической логики. То есть, зная наизусть все правила, теоремы, следствия и пр. нет понимания самого главного - чем она занимается и к чему она относится. У Крока, например, это зашло так далеко, что, по-моему, возврата уже нет (:общественность, можно сказать, утеряла человека в формулах теории предикатов:). Общественности надо поставить на вид.

Скажите, Пламен, - почему, отчего мы наблюдаем сплошь и рядом такие явления?