Курсовая работа: Формальная логика и мышление, вывод и рассуждение
Формальная логика не описывает мышление и что нужно строить для этого описания какую-то другую систему понятий.
Хотя в прошлый раз мы уже обсуждали – и довольно подробно – те моменты, в которых формальная логика оказалась бессильной, я хочу и сегодня, в дополнение к уже сказанному, выделить и обсудить ряд моментов, которые, на мой взгляд, особенно важны при описании мышления и которые вместе с тем создают очень большие трудности в анализе.
Это обсуждение я хочу начать с описания некоторых фактов из практики научного мышления, фактов довольно типичных. Всем изучающим политэкономию известен тот факт, что сначала Смит, а потом Рикардо пытались построить теорию товарных отношений в буржуазном обществе, теорию производства и обмена. Адам Смит положил в ее основание трудовой принцип стоимости. Он утверждал, что стоимость любого товара определяется затратами труда на его производство: чем больше труда затрачено на производство товара, тем больше он должен стоить и тем по большей цене он должен продаваться. Но Рикардо показал затем, что товары не продаются и не могут продаваться по их стоимости. Они продаются по цене, которая в каждом отдельном случае принципиально отлична от стоимости.
Таким образом, имелось теоретическое положение, своего рода гипотеза, которую клали в основание теории, и имелись эмпирические факты, которые ей противоречили. На основании этого несоответствия Рикардо отверг трудовую теорию стоимости и стал рассматривать экономические явления на другой основе.
Потом появился Карл Маркс, который, на первый взгляд, сделал совершенно невозможное. Он принял принцип трудовой стоимости Адама Смита и на этой основе построил такую теорию, из которой вытекало несоответствие цены и стоимости товаров, и таким путем связал друг с другом теоретический принцип и эмпирически наблюдаемые факты.
Создав свою структуру теории "капитала", Маркс показал, что если мы положим в основание принцип, что все товары должны продаваться по их стоимости, то мы затем, в ходе развертывания этой структуры теории, придем к положению, что они не могут продаваться по стоимости и должны продаваться по цене производства.
На этот факт мы должны посмотреть с особой стороны. Как Смит и Рикардо, имея определенную совокупность эмпирических фактов, рассуждали, стараясь изобразить систему буржуазных производственных отношений, так и Маркс, имея ту же совокупность эмпирических фактов, тоже рассуждал и строил систему своей теории. Смита и Рикардо в этой работе постигла неудача, они не смогли свести концы с концами в своей теории и добиться объяснения всех эмпирических фактов.
А Марксу удалось это сделать. И это объясняется прежде всего тем, что он рассуждал иначе, чем они. Имея такой сложный эмпирический факт из истории науки, мы, естественно, можем поставить вопрос, почему, за счет каких неправильностей в рассуждении Смит и Рикардо не смогли решить стоящую перед ними задачу, а Карл Маркс, в противоположность им, ее решил. Мы можем поставить такую задачу: сопоставить друг с другом рассуждения Смита и Рикардо, с одной стороны, и рассуждения Маркса, с другой, с тем чтобы выявить различия в этих рассуждениях. Мы можем стремиться понять, в чем была неправильность рассуждений Рикардо и в чем, наоборот, была правильность рассуждений Маркса.
Но оказывается, что если к решению этой задачи мы будем подходить с аппаратом понятий формальной или математической логики, то ответить на этот вопрос мы не сможем. И у Смита, и у Рикардо, и у Маркса мы выделяем суждения и, может быть, умозаключения. И когда мы представляем рассуждение этих мыслителей в цепочках суждений и умозаключений, то нам никак не удается схватить то различие их способов мышления, которое привело к разнице в результатах. Иначе говоря, используя эти понятия, нам не удается выяснить, в чем же состояло действительное различие этих мышлений. Система понятий формальной логики не дает нам возможности выделить и ухватить ту разницу, какая существует между этими двумя типами рассуждений.
К этому надо еще добавить, что когда я говорю, что мы можем представить рассуждение в виде цепочки суждений и умозаключений, то я произвожу очень сильное, можно даже сказать космологическое, упрощение действительного положения вещей и очень сильно идеализирую его. Хотя понятия формальной логики, в частности схемы силлогизма, были выработаны давным-давно, за всю позднейшую историю никто и никогда не раскладывал реальные рассуждения, зафиксированные в науке, на суждения, силлогизмы, полисиллогизмы и т.п. И больше того, разложить большие массивы научных рассуждений, например такие, как мы имеем в трех томах "Капитала" Маркса, на маленькие единицы в виде суждений и их связок в умозаключениях – задача невозможная и вообще бессмысленная.
К этому я бы рискнул добавить, что в научных рассуждениях, по-видимому, вообще нет таких образований, как умозаключения в том их виде, как это представлено в теориях логики. Но этот тезис я буду еще особо разбирать ниже и там постараюсь изложить соображения, обосновывающие его.
К тому же я хочу еще добавить, что, возможно, структуры суждений и умозаключений были созданы вообще не для того, чтобы изображать сложные системы рассуждений и тем более раскладывать на них длинные цепи процессов рассуждения. На предыдущих лекциях я не раз говорил вам, что схемы силлогизмов возникают первоначально в виде правил, или предписаний, к построению деятельности.
Этот момент вообще требует самого пристального внимания. Вероятно, как эти правила-предписания, так и созданные на их основе схемы служат не столько для анализа реальных процессов рассуждений, сколько в качестве образцов, нормативно задающих ту структуру, по которой надо строить рассуждение.
Схемы силлогизмов и вообще умозаключений формальной логики могли вообще не изображать реальных рассуждений с их смысловыми соотношениями и связями, но это не мешало им быть нормой при оформлении процессов мышления, нормой при построении знаковой структуры рассуждений. Если это так, то это будет еще одним аргументом в подтверждение и обоснование того тезиса, что с помощью схем формальной логики нельзя изобразить процессы мышления, что для этого нужны совсем другие понятия и схемы. Но тогда уже, естественно, претензии к формальной логике должны будут строиться несколько иным образом – не так, как я сделал это выше.
Тогда мы должны будем говорить о том, что в развитии науки логики происходит принципиальный катаклизм, меняются ее задачи, общая направленность, а вместе с тем, естественно, и ее понятийный аппарат. Из системы норм деятельности она превращается в теорию некоторой объективной действительности.
Но тогда это будет означать, что в истории логики долгое время сожительствуют, по сути дела, разные науки – нормативные и описательные, и конфликт между ними не разрешается, а тянется в истории, затрудняя работу как по одной, так и по другой линии, создавая массу видимых противоречий и парадоксов. Тогда условием продуктивного развертывания исследований в дальнейшем является четкое и недвусмысленное разделение этих двух планов в науке логике. И с этой точки зрения должна быть проанализирована также и история самой логики.
Вполне возможно, что все это рассуждение применимо также и к языкознанию. Сейчас я не вижу никакого принципиального различия между ним и логикой. Возможно, что те парадоксы процедур анализа, с одной стороны, и процедур синтеза, с другой, которые наметились сейчас в языкознании, в частности в работах Хомского и Ревзина, обусловлены именно этими моментами. То, что было названо анализом в традиционных грамматиках и формальном языкознании, было, по сути дела, формулированием таких правил-предписаний, а совсем не описанием речевых текстов. Синтез проводился людьми интуитивным образом, и он, естественно, не нуждался ни в чем другом. Теперь же, когда поставили задачу машинного синтеза или построения текстов речи, естественно, понадобились совершенно другие представления элементов, из которых будут синтезироваться тексты. Таким образом и языкознание подошло к такому этапу, когда в нем должны будут развиваться чисто описательные, теоретические моменты.
Все то, что мы с вами разобрали в отношении возможностей и ограниченности понятий формальной логики, можно показать на любых других примерах; в частности, очень ярким, с моей точки зрения, является пример двух текстов – Галилея и Гюйгенса, – в которых рассматриваются явления соударения двух шаров. Галилей в своем анализе потерпел неудачу, а Гюйгенс нашел правильное решение. И поэтому мы можем поставить вопрос: в каком месте своего рассуждения Галилей допустил ошибку, в чем состояла неправильность его рассуждения, за счет чего Гюйгенс, в противоположность ему, эту задачу решил?
Чтобы не вызывать недоразумений, я хочу еще несколько уточнить саму постановку вопроса. Я спрашиваю: в каких понятиях нам нужно будет описывать рассуждения Галилея и Гюйгенса, чтобы мы могли объяснить ошибку, допущенную первым, и средства успеха второго? Иначе говоря, в каких словах и понятиях мы будем говорить об их рассуждениях?
Мне важно здесь обратить ваше внимание на саму постановку проблемы. Она сама еще требует обсуждения. Ведь ставя подобную задачу, можно впасть в ошибку и мистификацию. Вполне возможно, что кто-то мне скажет, что сам вопрос этот незаконен, что он не имеет и не может иметь решения или что, если даже это решение может быть получено, оно все равно никому не будет нужно. Но сейчас спорить на эту тему мы не будем. Я поставил перед вами вопрос, и совесть моя чиста. Я буду двигаться дальше так, как будто вопрос о правомерности такой постановки вопроса уже решен. Мне важно будет только еще уточнить ее с нескольких сторон.
Предположим, что мы взяли два текста, содержащих решения одной и той же задачи: один правильный, другой неправильный. Предположим также, что мы хотим выяснить, в чем состояла ошибка одного из ученых, например Галилея. Здесь можно двигаться несколькими различными путями.
Мы можем начать сравнивать между собой эти два понимаемых нами рассуждения и найдем в них такие точки, когда рассуждения начинают как бы расходиться, идут в разные стороны. Очевидно, ошибка будет лежать где-то в этом расхождении. Мы можем произвести некоторое упрощение. Пусть эти два рассуждения очень близки друг к другу. Сначала они шли как бы совершенно параллельно, а потом в рассуждении Галилея мы выделяем "отклонение". Это будет, очевидно, "отклонение" относительно рассуждения Гюйгенса. Само это отклонение будет характеризоваться по отношению к правильному шагу в рассуждении Гюйгенса. В результате сравнения мы получим знание о Галилеевом рассуждении сравнительно с рассуждением Гюйгенса. Это будет, таким образом, "дифференциальное знание". Рассуждение Гюйгенса будет эталоном, и поэтому в рассуждении Галилея будет характеризоваться только то, что отличает его от рассуждения Гюйгенса.
Схематически это можно представить так:
Очевидно, что отношение этих двух объектов можно перевернуть: рассуждение Галилея сделать эталоном, а рассуждение Гюйгенса характеризовать относительно него. С точки зрения логической схемы это будет то же самое, а в практическом отношении этот второй вариант будет обладать рядом недостатков. Специфика подобных знаний такова, что их никогда нельзя использовать в дальнейшем для сравнения характеризуемого объекта с другими. Я разбирал эту форму знания в статье о понятии скорости.
Например, мы сможем затем сравнивать рассуждение Галилея с каким-то другим рассуждением. Но при этом нам никак не поможет то знание, которое мы о нем уже имеем. Всю работу придется проделывать заново, безотносительно к предшествующим операциям. Двигаясь таким образом, мы будем получать множество знаний, характеризующих отличие рассуждения Галилея от других рассуждений. И они будут характеризовать его с разных сторон. Но эти знания нельзя будет ни синтезировать, ни сопоставлять друг с другом.
Другой путь будет заключаться в том, что мы выработаем некоторую стандартную процедуру для описания всех возможных рассуждений относительно одной и той же группы эталонов. Тогда мы сможем – если нам это удастся – получить описание каждого реального рассуждения. Так как эти описания получены на основе одного и того же эталона и будут характеризовать различия между каждым из этих рассуждений и одним эталоном, то мы сможем затем сравнить сами эти различия и таким образом получим некоторые характеристики отношений, существующих между сравниваемыми рассуждениями. Схематически это можно представить так:
Мне важно сейчас подчеркнуть различие двух типов знаний, которые мы можем получить, сравнивая между собой различные научные рассуждения. Различие этих двух типов знаний проявляется абсолютно всюду. Если нам нужно сравнить два явления, то мы можем воспользоваться знанием первого типа. Если нам нужно сравнивать между собой много явлений, то мы должны будем вырабатывать знания второго типа. А это значит – создавать систему унифицированных или универсальных эталонов. В дальнейшем, как я это показал в специальных работах, роль этих унифицированных эталонов начинают выполнять понятия теории. На этот момент вам нужно обратить внимание, так как он будет иметь исключительно важное значение в дальнейшем.
Понятия формальной логики – суждения, силлогизмы, умозаключения – являются такими универсальными эталонами понятий. Но характер их таков, что они не дают возможности решить те задачи, которые мы с вами хотим решить. Значит, нам нужны другие понятия, но они обязательно должны быть тоже такими универсальными, приложимыми ко всем или во всяком случае ко многим научным рассуждениям.
Если бы мы могли получить построенные на основе таких понятий изображения рассуждений, то мы бы могли затем отбросить сами эти рассуждения и начать сравнивать только их изображения. И таким путем мы получили бы все, что нам нужно. Именно к такой системе понятий и к таким изображениям, построенным на их основе, должна стремиться наука.
--> ЧИТАТЬ ПОЛНОСТЬЮ <--