Методологическая концепция логического позитивизма сформировалась в результате отождествления структуры классической экстенсиональной логики (фундаментального раздела современной математической логики) со структурой всего научного знания и определенного гносеологического истолкования элементов этой структуры. Так возникла модель научного знания, которую логические позитивисты считали тем стандартом, на который должны ориентироваться все науки и научные теории. Эта модель имела определенное сходство с некоторыми математическими теориями, а поскольку логика и математика в той или иной мере включены во все научные дисциплины и служат для них образцом строгости и точности, считалось несомненным, что ядром общей методологии науки должны служить те понятая и принципы, которые были включены в дедуктивную модель науки 5. В основе наиболее простой логической системы — пропозиционального исчисления — лежат "атомарные" предложения: А, В, С,... — Этим предложениям приписывают две основные характеристики: 1) каждое атомарное предложение является либо истинным, либо ложным; 2) атомарные предложения независимы одно от другого, т. е. истинность, или ложность одного из них никак не влияет на истинность или ложность других. Из атомарных предложений с помощью логических связок образуются сложные, "молекулярные" предложения. К наиболее употребительным логическим связкам относят: отрицание ("неверно, что", символически: "'-"/), конъюнкцию ("и", символически: "&"); дизъюнкцию ("или", символически: "v"); импликацию ("если..., то...", символически:"->"). Из двух атомарных предложений А и В можно построить сложные предложения вида "~ А", "А & В", "А -> В" и т. п. Затем эти молекулярные предложения мы также можем соединить связками и образовать еще более сложные предложения: "~ А -> А & Д","(~ А -> А & В) v (А -> В)" и т. д. Так возникает иерархия все более сложных молекулярных предложений. Поскольку от содержания атомарных предложений полностью отвлекаются, истинность, или ложность молекулярного предложения зависит только от истинности или ложности составляющих его атомарных предложений. Например, предложение "Если 2 х 2 = 4, то уголь бел" будет ложным, а предложение "Если 2 х 2 = 5, то уголь бел" — ис- 5 Даже такой крупный ученый, как А. Тарский, в свое время был склонен переоценивать возможности логики в методологии научного познания. В середине 30-х годов он писал: "(Современная математическая логика) стремится создать единый аппарат понятий, который мог бы служить общим базисом для всего человеческого знания". — Тарский А. Введение в логику и методологию дедуктивных наук. М., 1948, с. 20. — 11 —
|