Место и статус научной проблемы в познании. 6 страница
Со времен Евклида дедуктивно-аксиоматическое построение знания считалось образцовым. Объяснительные теории следуют этому образцу. Однако если Евклид и многие ученые после него полагали, что исходные положения теоретической системы представляют собой самоочевидные истины, то современные ученые понимают, что такие истины найти нелегко, и постулаты их теорий служат не более чем предположениями о глубинных причинах явлений. История науки дала достаточно много свидетельств наших заблуждений, поэтому основоположения объяснительной теории рассматриваются как гипотезы, истинность которых еще нуждается в доказательстве. Менее фундаментальные законы изучаемой области дедуктивно выводятся из основоположений теории. Поэтому-то объяснительная теория и называется «гипотетико-дедуктивной».
В философии проблема построения знания обсуждалась в рамках логического позитивизма. В 1925 г. на кафедре натуральной философии Венского университета, которую после смерти Э. Маха возглавил М. Шлик, собралась группа молодых ученых, поставивших перед собой смелую цель - реформировать науку и философию. Эта группа вошла в историю под именем "Венского кружка" философов. В него входили сам М. Шлик, Р. Карнап, вскоре ставший признанным лидером нового направления, О. Нейрат, Г. Фейгль, В. Дубислав и др. После прихода к власти в Германии нацистской партии члены кружка и их сторонники в Берлине, Варшаве и других научных центрах континентальной Европы постепенно эмигрировали в Англию и США, что способствовало распространению их взглядов в этих странах
Модель науки логического позитивизма возникла в результате истолкования с точки зрения этих принципов структуры символической логики. В основе науки, по мнению неопозитивистов, лежат протокольные предложения, выражающие чувственные переживания субъекта. Истинность этих предложений абсолютно достоверна и несомненна. Совокупность истинных протокольных предложений образует твердый эмпирический базис науки. Для методологический концепции логического позитивизма характерно резкое разграничение эмпирического и теоретического уровней знания. Однако первоначально его представители полагали, что все предложения науки - подобно протокольным предложениям - говорят о чувственно данном. Поэтому каждое научное предложение можно свести к протокольным предложениям - подобно тому, как любое молекулярное предложение экстенсиональной логики может быть разложено на составляющие его атомарные предложения. Достоверность протокольных предложений передается всем научным предложениям, поэтому наука состоит только из достоверно истинных предложений.
С точки зрения логического позитивизма, деятельность ученого в основном должна сводиться к двум процедурам: 1) установление протокольных предложений; 2) изобретение способов объединения и обобщения этих предложений. Научная теория мыслилась в виде пирамиды, в вершине которой находятся основные понятия (величины), определения и постулаты; ниже располагаются предложения, выводимые из постулатов; вся пирамида опирается на совокупность протокольных предложений, обобщением которых она является. Прогресс науки выражается в построении таких пирамид и в последующем слиянии теорий, построенных в некоторой конкретной области науки, в более общие теории, которые в свою очередь объединяются в еще более общие и так далее, до тех пор, пока все научные теории и области не сольются в одну громадную систему - единую унифицированную науку. В этой примитивно-кумулятивной модели развития не происходит никаких потерь или отступлений: каждое установленное протокольное предложение навечно ложится в фундамент науки; если некоторое предложение обосновано с помощью протокольных предложений, то оно прочно занимает свое место в пирамиде научного знания.
В таком случае значительная часть научной информации носит характер выводных суждений, т.е. суждений, не полученных путем непосредственного восприятия каких-то фрагментов действительности, а выведенных из других суждений, которые как бы извлечены из их содержания. Логическим средством получения таких выводных знаний и является умозаключение, т.е. мыслительная операция, посредством которой из некоторого количества заданных суждений выводится иное суждение, определенным образом связанное с исходным. Все умозаключения можно квалифицировать как индуктивные и дедуктивные.
Дедуктивным называют такое умозаключение, в котором вывод о некотором элементе множества делается на основании знания общих свойств всего множества. Например: "Все металлы обладают ковкостью. Медь — металл. Следовательно, медь обладает ковкостью".В этой связи под дедуктивным методом познания понимают именно дедуктивное умозаключение. Таким образом, содержанием дедукции как метода познания является использование общих научных положений при исследовании конкретных явлений.
Дедукция выгодно отличается от других методов познания тем, что при истинности исходного знания она дает истинное выводное знание. Однако было бы неверным переоценивать научную значимость дедуктивного метода, поскольку без получения исходного знания этот метод ничего дать не может. Поэтому ученому прежде всего нужно научиться пользоваться индукцией.
Под индукцией обычно понимается умозаключение от частного к общему, когда на основании знания о части предметов класса делается вывод о классе в целом. Однако можно говорить об индукции в более широком смысле слова как о методе познания, как о совокупности познавательных операций, в результате которых осуществляется движение мысли от менее общих положений к положениям более общим. Следовательно, разница между индукцией и дедукцией обнаруживается только прежде всего в прямо противоположной направленности хода мысли.
Обобщая накапливаемый эмпирический материал, индукция подготавливает почву для выдвижения предположений о причине исследуемых явлений, а дедукция, теоретически обосновывая полученные индуктивным путем выводы, снимает их гипотетический характер и превращает в достоверное знание.
Индукция (или обобщение) бывает полная и частичная. Полная индукция состоит в исследовании каждого случая, входящего в класс явлений, по поводу которого делаются выводы. Подобная возможность представляется редко, поскольку отдельных случаев бесконечное множество. Таким образом, мы делаем обобщение на основе изучения типичных случаев. Но индукция на основе ограниченного объема данных не приводит к универсальным, или широко применимым, принципиальным заключениям. Процесс получения средней величины не есть умозаключение, а только перечисление, приводящее к суммарным данным. Впрочем, такие методы очень ценны как ступени, ведущие к окончательным доказательным данным по специальным вопросам. Почти все статистические показатели — суммарный итог отдельных перечней.
Поскольку большинство приводимых в научных текстах показателей являются итогом перечней отдельных примеров, есть необходимость привести способы обоснованности их использования в таких текстах, основываясь на рекомендациях, даваемых известным американским специалистом по ораторскому искусству Полем П.Сопером в книге "Основы искусства речи".
Первый способ — установить, правилен ли пример, положенный в основу обобщения, поскольку неправильность такого примера может резко подорвать доверие не только к данному обобщению, но и к самому автору научной работы.
Второй способ — выяснить, имеет ли пример отношение к заключению. Допустим, что краска марки А стоит дешевле, чем краска марок Б, В и Г. Казалось бы, неизбежен вывод, что краска марки А выгоднее других. Но такое заключение было бы неправильным, потому что приведенные примеры не обладают качеством относимости к выводу. Они относимы только к заключению, что краска марки А самая дешевая. Лучшие качества краски других марок делает их более выгодными. Это одна из самых обычных ошибок в индуктивных заключениях.
Третий способ — определить, достаточно ли приведено примеров. Решение вопроса, достаточно ли взято примеров, зависит от их количества, способа отбора и видоизменяемости. Взяв наугад два случая некомпетентности отечественных бизнесменов, еще нельзя прийти в выводу, что все наши бизнесмены — люди некомпетентные. В России много тысяч пред-принимателей. При отборе нескольких примеров большую роль играет фактор случайности. Российские бизнесмены, как и вообще все люди, очень различны.
Четвертый способ — установить, типичны ли подобранные примеры. Этот способ проверки имеет прямое отношение к изложенному выше. Достаточно или недостаточно примеров, зависит от того, насколько они типичны.
Теоретические знания являются основным знанием науки, поскольку в нем представляются результаты исследований различных ученых. Теоретическое знание представляет собой сложную развивающуюся систему, в которой по мере трансформации возникают все новые уровни организации. Это приводит к тому, что теоретическое знание постоянно эволюционирует.
В том, что целью научного познания являются достижения истинного знания, представленного в теории, и в том, что, даже достигнув подобного статуса, теория постоянно меняется, и состоит загадка теоретического знания. Чтобы понять, почему такое возможно, необходимо проанализировать характер теоретического уровня познания, структуру теоретического знания и ряд других моментов. Поскольку теория является «квинтэссенцией» научного познания, постольку в ее сути заключается природа научного познания.
Теория представляет собой то состояние исследования действительности, которое достигнуто учеными на данный момент времени, по сути, теорией можно считать форму достоверного научного знания о некоторой совокупности объектов, представляющих собой систему взаимосогласованных утверждений и доказательств, также содержащую методы объяснения и предсказания предметов и явлений исследовательской области. В таком ракурсе теория противопоставляется эмпирическому знанию и отличается от него достоверностью содержащегося в ней научного знания, обобщенным описанием исследуемых в ней явлений; обозначением в качестве своего основания исходных утверждений и множества утверждений, получаемых из исходных путем вывода или доказательства. Теория обладает поэтому той специфической чертой, благодаря которой в ней возможен переход от одного положения к другому без всяких ссылок на опытные данные (в этом, кстати, и заключена возможность теории предсказывать ход процессов).
Характерными чертами теории можно обозначить ее всеобщность и универсальность. Универсальность проявляется в том, что любая теория в качестве своего объекта рассматривает все предметы и явления, которые попали в ее поле зрения (даже несмотря на то, что эти объекты могут быть единичными и неповторимыми). Данная возможность быть общей (одинаково относится ко всем исследуемым объектам) и есть факт универсальности теории. Если бы теория не могла подобным образом интерпретировать свою исследовательскую базу, то тогда она была сугубо эмпирической формой познания. Подобная универсальность очевидна и при этимологически анализе. Термин «теория» ( от греч. «ύέωρία») означал «рассмотрение», «исследование», что в первую очередь относится к особенности исследуемого процесса, а не к его направленности. Поэтому для теории любой объект равнозначен, дифференциация же возникает в ходе установления степени достоверности содержащегося в нем знания.
Всеобщность и универсальность теории, являясь отличительными позитивными ее чертами, с одной стороны, с другой стороны, приводят знания теории к особому объяснению и описанию действительности, на которые это знание направлено. Данная специфика констатирует, что знания, подвергаясь процедурам обобщения и универсализации, преломляет представления положений теории о действительности. Проще говоря, эти знания «огрубляются». Основной формой проявления «огрубления» выступает процесс единообразия как знаний, так и действительности, представления о которой мы черпаем из содержания знания. Единообразие знания происходит посредством двух моментов: во-первых, мы приводим знания к единой логической форме, а во-вторых, через понимание эмпирического опыта, как характерной для всех предметов и явлений форме, подводить исследуемые объекты к единому знаменателю, таким способом теоретическое знание пытается обозначить неявную мысль, что действительность в своем эмпирическом и теоретическом освещении устойчива и неизменна. Именно указанные свойства выступают основанием для того, чтобы признать теорию и теоретический уровень познания в качестве высшего уровня науки и самого достоверного уровня науки.
Еще одной важнейшей чертой теории является то, что теоретическое знание необходимо по характеру своей взаимообусловленности. Это значит, что элементы теоретического знания между собой «сплетены» необходимыми связями. Необходимый характер теоретического знания следует из той неизбежной трансформации знания, которую оно претерпевает на пути теоретического оформления. Это процедуры универсализации и обобщения, приводящие к единообразию. А как мы уже сказали, одной из форм «единообразия» является логическая обработка содержащегося в теории знания, поэтому знание, не прошедшее такую обработку, автоматически не считается теоретическим знанием.
Другой чертой, характерной для теории, являются ее представительность и репрезентативность. Теория должна строиться таким способом, чтобы в ней можно было четко представить каждый предмет, ею исследуемый. Отсюда выходит еще одно требование к научному знанию – его эксплицитность. Теория должна как можно адекватнее избавляться от имплицитности. Даже если неявные знания лежат «на поверхности», они все равно должны быть уточнены. С данной процедурой, часто реализуемой в теории, связать такое явление и понятие как « метатеория», традиционно под метатеорией познания и выступает анализ, направленный на раскрытие сущности структуры, потенциала, применимости, эксплицитности теории. Главным признаком метатеоретичности является превращение самой теории, ее структуры и содержания в объект теоретического исследования.
Метатеория, тем не менее, характеризуется также как простая научная теория. Это означает, что она должна соответствовать всем критериям научного знания и содержать в себе те черты, которые мы описали выше. Единственно, что в метатеоретическом характере исследования очевидней проявляется, так это то, что оно лучше демонстрирует многоуровневость, многозначность теоретического исследования. Например, при непосредственном (обыденном) исследовании объекта для нас он предстает в качестве только чувственного объекта, а в ходе теоретического исследования мы уже видим что-то большее (то, что осталось за рамками чувственного познания, тем более при метатеоретическом исследовании. Когда мы можем анализировать не только чувственные данные, но рационально осмысленные идеи и т.д. Не случайно приставка «мета» означает в переводе с греческого «позади», «вслед за», что этимологически подчеркивает появление еще одного уровня действительности, который остался вне внимания в прошлый раз исследования. Как правило, функции метатеоретического исследования всегда выполняла философия, иногда это делали какие-то конкретные науки. Говоря о метатеоретической функции исследования, которая возможна по отношению к научной теории, следует указывать на ее как положительные, так и отрицательные свойства. К положительным можно отнести то, что благодаря метатеории, ученый имеет возможность более детального раскрытия степени исследованности объекта, степени опосредованности связей данной теории с действительностью, процесса абстрагирования и формализации знания, символического аппарата теории и т.д. Но имеются и отрицательные свойства. К таковым можно отнести те опасности, которые содержатся в возникающем уклоне психологического порядка, что предполагает собой разрыв между теорией и действительностью, направленность только на символические аспекты теоретизации и т.д. Поэтому метатеоретичность полезна только тогда, когда она укрепляет логическую связанность и эвристический потенциал теории.
2. Логическая взаимосвязь теоретического знания
Логическая связанность теоретического знания. Аксиоматизация и формализация научных теорий. Аксиомы, постулаты и теоремы.
Аксиоматизация - один из способов дедуктивного построения научных теорий, при котором: 1) выбирается некоторое множество принимаемых без доказательства предложений определенной теории (аксиом); 2) входящие в них понятия явно не определяются в рамках данной теории; 3) фиксируются правила определения и правила вывода данной теории, позволяющие вводить новые термины (понятия) в теорию и логически выводить одни предложения из других; 4) все остальные предложения данной теории (теоремы) выводятся из аксиом на основе правил вывода данной теории.
Первые представления об аксиоматическом методе возникли в Древней Греции (Элеаты, Платон. Аристотель, Евклид). В дальнейшем делались попытки аксиоматического изложения различных разделов философии и науки (Спиноза, Ньютон). Для этих исследований было характерно содержательное аксиоматическое построение определенной теории (и только ее одной), при этом основное внимание уделялось определению и выбору интуитивно очевидных аксиом. Начиная со второй половины 19 в., в связи с интенсивной разработкой проблем обоснования математики и математической логики, аксиоматическую теорию стали рассматривать как формальную (а с 20—30-х гг. 20 в — как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, которые ей удовлетворяют. При этом основное внимание стали обращать на установление непротиворечивости системы, ее полноты, независимости системы аксиом. В связи с тем, что знаковые системы могут рассматриваться или вне зависимости от содержания, которое может быть в них представлено, или с его учетом, различаются синтаксические и семантические аксиоматические системы (лишь вторые представляют собой собственно научные знания). Это различение вызвало необходимость формулирования основных требований, предъявляемых к ним, в двух планах: синтаксическом и семантическом (синтаксическая и семантическая непротиворечивость, полнота, независимость аксиом). Анализ формализованных аксиоматических систем привел к установлению их принципиальных ограниченностей, главная из которых является доказанная К. Гёделем невозможность полной аксиоматизации достаточно развитых научных теорий (например, арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания. Аксиоматизация является лишь одним из методов построения научного знания, но ее использование в качестве средства научного открытия весьма ограниченно. Аксиоматизация осуществляется обычно после того, как содержательно теория уже в достаточной мере построена, и служит целям более точного ее представления, в частности строгого выведения всех следствий из принятых посылок В последние 30—40 лет большое внимание уделяется аксиоматизации не только математических дисциплин, но и определенных разделов физики, биологии, психологии, экономики, лингвистики, включая теории структуры и динамики научного знания.
Формализация(от лат. forma - вид, образ) - отображение результатов мышления в точных понятиях и утверждениях. При формализации изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Формализация уточняет содержание путем выявления его формы и может осуществляться с разной степенью полноты. Выражение мышления в естественном языке можно считать первым шагом формализации. Дальнейшее углубление достигается введением в обычный язык разного рода специальных знаков и созданием искусственных языков. Логическая формализация направлена на выявление и фиксацию логической формы выводов и доказательств. Полная формализация теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логического вывода, используемые в доказательствах. Такая формализация включает в себя три момента: 1) обозначение всех исходных, неопределяемых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных формул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Проверка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вычислительной машине. Формализация играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуждения. Так обстоит дело, в частности, с широко используемым понятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы. Только с формализацией арифметики появилась возможность поставить вопрос, охватывает ли формализованная арифметика всю содержательную арифметику. Как показал К. Гёдель, достаточно богатая содержанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями последняя, в теории всегда останется невыявленный, неформализованный остаток
Теории и модели
Теоретическая модель представляет собой совокупность абстрактных объектов (теоретических конструктов, между которыми установлены строго определенные связи и отношения). Относительно этих абстрактных объектов теоретической модели и формулируются теоретические законы. Именно поэтому теоретический закон может быть использован при объяснении реальной ситуации опыта только в том случае, если теоретическая модель ранее была обоснована с точки зрения ее способности отображать существенные связи действительности, проявляющиеся в подобных ситуациях. С этой точки зрения обнаружение соотношения неопределенностей В.Гейзенбергом в 1927 г. демонстрирует пример обоснования теоретического факта на основе создания теоретической модели из абстрактных объектов. Это соотношение относится в своей простейшей форме к ситуации, когда мы имеем материальную частицу массой м, двигающуюся в пространстве, пусть это будет одномерное пространство R с координатой х, со скоростью υ. Тогда В. Гейзенберг доказал, что в квантовой теории, если мы пробуем измерить координату и скорость, мы не можем измерить их одновременно сколь угодно точно. Между ошибками измерения Δх и Δυ этих переменных существует взаимно-обратное соотношение, Δх´Δυ ≈ h/m, где h – постоянная Планка.
Постоянная Планка – это то, что характеризует наше вхождение в квантовый мир. Если она равняется нулю, то мы находимся в мире классической физики. Если она отлична от нуля, то мы попадаем в мир квантовых явлений. Предметы макро и мега миров настолько велики, что постоянная Планка может считаться равной нулю. Для электронов и атомов это уже неверно (так, для электрона h/m ≈ 1 см2 (сек). Наличие подобного соотношения связано с тем, что квантовые частицы одновременно проявляют и волновые свойства, при этом длина волны λ связана со скоростью υ частицы соотношением де Бройля: mυ = h/λ в которое входит постоянная Планка[14].
Таким образом, мы видим, что данное соотношение было выведено на основе построения теоретической модели, включавшей в свою структуру такие абстрактные объекты, как материальная частица, одномерное пространство, координата, постоянная Планка. На основе рассмотрения этой теоретической модели была выявлена закономерность Δх´Δυ ≈ h/m.
Интерпретация этой ситуации позволила Бору сформулировать новую, теоретически выведенную закономерность[15], состоявшую в том, что у нас есть разные приборы для измерения координаты и скорости. Но это не просто разные приборы. Измеряя либо одну переменную, либо другую, мы находимся в разных экспериментальных ситуациях, которые невозможно соединить вместе. Эти ситуации являются дополнительными: либо мы смотрим в микроскоп и как можно более точно локализуем, где находится частица, либо мы ставим дифракционную решетку и пытаемся измерить длину волны λ, чтобы найти скорость.
В качестве другого примера можно привести теорию атома водорода, выдвинутую Н. Бором в 1913 г. Хотя все основные свойства и зависимости между теоретическими объектами в процессе построения данной теории можно было выразить чисто математически с помощью трех постулатов Бора, для облегчения рассуждений была построена наглядная модель, в которой атом водорода напоминает солнечную систему, в которой вокруг ядра вращается единственный электрон.
Данные примеры демонстрируют одну характерную особенность теоретически развитых научных дисциплин, таких, как физика, химия и др. – это применение количественных методов исследования. Законы их теорий формулируются на языке математики. Признаки абстрактных объектов, образующих теоретическую модель, выражаются в форме физических величин, а отношения между этими признаками – в форме связей между величинами, входящими в уравнение. При этом теоретическая модель, выполняя роль основы интерпретации той или иной математической формулы, тем самым позволяет посредством решения уравнений и анализа результатов развернуть содержание теоретической модели. Через выявление всего богатства связей и отношений, заложенных в теоретической модели, можно добиться получения новых знаний об исследуемой реальности.
Значительная роль, отводимая теоретическим моделям в процессе создания теорий и формулирования законов, их взаимосвязь с соответствующим математическим формализмом, требует отдельного выделения и рассмотрения. Поэтому такие модели обозначаются как теоретические схемы, ибо играют роль схем объектов, исследуемых в теории. Кроме того, во многом это необходимо сделать для того, чтобы отличить теоретические модели от других типов моделей (натуральных, аналоговых, знаковых, вероятностных и пр.[16]), некоторые из которых служат средством построения теории, но не включаются в ее состав.
В соответствии с указанными подуровнями теоретического знания можно говорить о теоретических схемах в составе фундаментальной теории и в составе частных теорий. Отличие их состоит в том, что в основании фундаментальной теории лежит теоретическая схема, построенная из небольшого набора базисных абстрактных объектов, конструктивно независимых друг от друга. Относительно нее формулируются фундаментальные теоретические законы. Частные же теоретические схемы подчинены фундаментальной, но по отношению друг к другу могут иметь независимый статус. Например, механика отчетливо представлена несколькими относительно независимыми разделами: механика малых колебаний, вращения твердого тела и т.д., составляющих фундаментальную теоретическую схему. В свою очередь, каждый из разделов образован системой своих специфических объектов; в механике малых колебаний - это «амплитуда», «период колебания»; в механике твердого тела – «главный момент инерции», «мгновенная ось вращения» и др. Они образуют частные теоретические схемы.
Говоря о частных теоретических схемах, необходимо подчеркнуть специфику образующих их абстрактных объектов: 1) они могут быть сконструированы на основе абстрактных объектов фундаментальной теоретической схемы, выступая как их модификация. Кроме того, в связи с тем, что теория не представляет собой линейной организации, то построение частных теоретических схем и связанных с ними уравнений может предшествовать образованию развитой фундаментальной теории. Более того, как отмечает В.С. Степин[17], возможно параллельное существование частных теоретических и фундаментальных теоретических схем, описывающих одну и ту же область взаимодействия, но с альтернативных позиций. Это, например, характерно для периода становления электромагнитной теории (См: Кун Т. Структура научных революций. М.,1977.), когда было выдвинуто множество теорий, объяснявших явления электричества и магнетизма. Например, Фарадея, схема которого базировалась на идеи близкодействия и Ампера, основывавшейся на принципе дальнодействия.
Альтернативные схемы, как это было показано в работах отечественных и зарубежных исследователей: Т. Куна, В.С. Степина и др., после образования фундаментальной теории или отбрасываются, или включаются в ее состав в трансформированном виде;
2) одни из них играют роль основных объектов теории, другие могут вводиться относительно независимо от остальных абстрактных объектов частной теории.
Таким образом, развитая научная теория представляет собой сложную, иерархически организованную систему теоретических схем и законов.
Истинность теории
Исходным пунктом рассуждений о том, что вероятность может быть охарактеризована и в ходе абстрактного (теоретического) уровня познания, является мысль о ее (вероятности) наличии в ходе чувственного уровня познавательной деятельности, когда существует прямой, непосредственный контакт между субъектом и объектом. Понятно, что отсутствие подобного контакта вряд ли будет способствовать элиминации вероятности и на уровне абстрактного (теоретического) познания.
Абстрактное познание мира строится на основе мыслительных процессов. Очевидно, что мышление не является непосредственной формой отражения объективной реальности. Мышление, тем более абстрактное, опосредованно, отвлеченно, конструктивно, ориентированно на смыслопорождение, а не смыслопрочтение. Мышление может отражать мир как послечувственное восприятие, так и до (прогноз, предвидение). Причем в процессе мышления возможно такое изображение свойств объективного мира, которые могут быть недоступны чувственным способам восприятия (даже с помощью приборов). Тем самым, мышление способно самостоятельно, не опираясь на чувственный опыт, углубляться в сущность предметов, явлений, процессов, существующих в мире. По сути мышление расширяет наши границы мировидения, делает наши способности в познавательной деятельности более адекватными. Именно поэтому абстрактный (теоретический) уровень познания не может избегать вероятностных форм постижения мира. Во-первых, потому что этот уровень обладает самостоятельным статусом и не зависим от чувственного познания, а, следовательно, может обойтись без эмпирического подтверждения своих суждений (а это возможно только через вероятностные способы функционирования). Во-вторых, потому что абстрактный (теоретический) уровень познания в силу способности мышления расширять границы мировидения человека находится постоянно в «пограничном состоянии», на грани «известного» и «неизвестного», а, следовательно, также вынужден работать на основе вероятностных способов. Не случайно в классической концепции науки одним из критериев истины являлась практика, как форма реализации (проверки) вероятностных идей в жизни.