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