Торвальд Олафсен – Научный материализм (страница 68)

Классификация

Это разбиение множества исследуемых предметов на множество классов в соответствии с обнаруженными у них свойствами и создание строгой иерархической структуры этих классов, в которой однозначно определены их отношения. В такой структуре каждый нижестоящий относительно данного класс содержит в себе дополнительные, присущие только ему признаки, которые выделяют его из родительского класса и отличают его от соседних нижестоящих классов; каждый вышестоящий класс содержит в себе меньшее количество признаков относительно данного — только те, которые являются общими для всех его дочерних классов.

Добавление к классу

Если предмет обладает свойствами, которые встречаются в уже известном классе, его относят к этому классу, дополняя тем самым знание о множествах объектов с одинаковыми свойствами. Если существует множество классов, содержащих те или иные свойства исследуемого предмета, предмет относят одновременно ко всем этим классам.

Описание

Это фиксация в материальном виде различных наблюдаемых свойств предмета средствами повседневного языка или специальных символов и цифр. Описание, как правило, начинается с наиболее важных для исследователя свойств и должно быть достаточно подробным, чтобы по нему построить модель изучаемого предмета, которая удовлетворит нужды исследователя.

Введение определений

Это метод, родственный описанию, но он подразумевает создание постоянного однозначного описания предмета, которое достаточно для безошибочной идентификации предмета среди всех других, удовлетворяет нужды конкретного исследования и не включает все остальные его свойства. Такое описание закрепляется за специальным термином, и этот термин является сокращением, которое при его применении должно означать ровно то же, что и закреплённое за ним описание.

Анализ

Это метод, подразумевающий разделение сложного предмета на более простые его части и дальнейшее изучение этих частей по отдельности с целью лучше понять устройство всего предмета. Этот и следующий методы применимы как к реальным, так и к абстрактным предметам.

Синтез

Это соединение множества предметов в единое целое для получения нового предмета с желаемым набором свойств.

Аналогия

Этот метод состоит в том, что при сравнении двух предметов на основании наличия у них некоторых одинаковых признаков делается предположение об их сходстве и в других признаках.

Моделирование

Это создание специального предмета — модели — которая повторяет часть свойств исследуемого предмета и служит для повышения удобства процесса исследования. Модель может быть как реальным объектом, так и образом в сознании.

Индукция

Это мыслительная операция, при которой принимается, что если множество подобных предметов имеют некоторое дополнительное общее свойство, то все такие предметы обязательно имеют это же свойство. Индукция непогрешима, то есть даёт абсолютно надёжный вывод, когда изучены все существующие предметы, соответствующие приведённому описанию, и ущербна, то есть даёт неподтверждённый вывод, когда изучена лишь часть таких предметов. Несмотря на ущербность, второй тип индукции постоянно используется, может приносить пользу и иногда даже бывает необходимым.

Дедукция

Это мыслительная операция, при которой заключается, что поскольку все предметы из некоторого класса обладают определёнными свойствами, то и отдельный конкретный предмет из этого класса имеет те же свойства. Иными словами, при дедукции знание о множестве предметов проецируется на один отдельно взятый предмет из этого множества.

Мысленный эксперимент

Это моделирование в сознании и осмысление процесса, подобного реальному эксперименту, но с исключением из модели некоторых условий, которые в реальности полностью исключить невозможно. Мысленный эксперимент позволяет изучать наиболее существенные свойства предмета, не отвлекаясь на множество других.

Идеализация

Этот метод является развитием мысленного эксперимента. Он подразумевает выделение условий, которые влияют на проявление определённых свойств предмета, и последующее их исключение из модели, с целью доведения изучаемых свойств предмета до их максимального выражения. При этом такой абстрактный предмет уже не может быть воспроизведён в реальности, но помогает лучше понять свойства своего реального прототипа.

Формализация

Это перевод знаний о предметах в строгий символьный язык, который исключает двусмысленность при обозначении связей между предметами, представляет эти связи в компактном виде и таким образом значительно упрощает построение полезных рассуждений. Это позволяет выстроить очень большие и устойчивые системы знаний, которые практически невозможно создать, используя повседневный язык.

Исторический метод (интерполяция и экстраполяция)

Этот метод подразумевает наблюдение поведения модели в течение некоторого времени и абстрагирование свойств её движения или развития. Когда некоторые наблюдаемые свойства модели очевидно следуют определённому паттерну, становится возможным построить на его основании предположение, как модель вела себя в промежутках между изученными моментами, если наблюдение имело дискретный характер, а также как она поведёт себя в будущем. Исторический метод в математике представлен операциями интерполяции и экстраполяции и работает гораздо более точно, чем для реального мира, ввиду идеальности математических абстракций.

Среди далее приведённых методов будут такие, для реализации которых недостаточно одной-двух простых мыслительных операций, а вместо этого потребуются длинные последовательные рассуждения. Чтобы рассуждения приносили полезный результат на постоянной основе, требуется владение логическими законами и правилами.

Первый закон логики: закон тождества

Для построения полезного рассуждения следует обязательно дать чёткие определения всем участвующим в нём понятиям и затем в течение всего рассуждения неуклонно придерживаться этих определений. Употребление одного и того же термина в разных значениях делает результат рассуждения случайным.

Второй закон логики: закон противоречия

Если одно высказывание утверждает что-либо о предмете, а другое высказывание это отрицает, эти высказывания не могут быть одновременно верными. Это достаточно очевидно при одновременном употреблении таких высказываний, но часто такие высказывания разделены множеством других тезисов в пределах длинного рассуждения, и от этого противоречие незаметно. Нельзя допускать появление таких пар высказываний в рассуждении.

Третий закон логики: закон исключённого третьего

Всякий признак либо присущ предмету, либо не присущ, и третьего варианта быть не может. Следовательно, когда одно высказывание утверждает что-либо о предмете, а другое это отрицает, одно из них, согласно второму закону логики, обязательно будет ложным, и тогда второе высказывание, которое его отрицает, будет истинным, ибо третьего не дано.

Четвёртый закон логики: закон достаточного основания

Чтобы рассуждение было полезным, каждое утверждение в нём должно иметь достаточное основание, то есть должно быть подтверждено исчерпывающими неопровержимыми аргументами. В противном случае результат рассуждения будет случайным. Минимальным проявлением этого закона в повседневном общении может быть проверка каждого высказывания хотя бы наилучшими способами из доступных — например, сравнением информации от множества опосредованных источников, но для построения надёжной системы знаний этого недостаточно.

Критерий достаточного основания

Достаточное основание, либо неопровержимый аргумент, подразумевает, что суждение опирается на очевидный эмпирический опыт, собираемый в условиях чистоты эксперимента, известные аксиомы, непогрешимые логические операции и накопленное знание, полученное этими же способами. Все другие основания, как, например, неполная индукция, прогноз на основании статистических данных, ссылка на авторитет источника или популярность мнения, догадки, субъективные ощущения, видения во сне и что угодно другое не являются достаточными, чтобы называть суждение верным.

Правило прецедента

В течение тысяч лет люди замечали, что многие предметы, процессы, события и свойства реального мира многократно повторялись в разных местах и в разное время, в том же виде или с некоторыми отличиями. При этом способность к повторению присуща не только тем событиям, которые повторяются постоянно, как, например, вращение Земли вокруг Солнца — было замечено, что повторяться могут и редкие необычные предметы, события, процессы и свойства. Поэтому принято считать, что если имеется прецедент, то есть что-либо существует или существовало в реальности, то неуместно говорить, что этого больше не может быть никогда. Следует считать, что любой известный предмет, процесс, событие и свойство могут быть воспроизведены при определённых условиях неограниченное число раз, потому что до сих пор это всегда работало только так.