Логика формальная и содержательная.

СОДЕРЖАТЕЛЬНОЕ И ФОРМАЛЬНОЕ — понятия, употребляемые в философии, логике и методологии науки в следующих основных значениях: 1) производных от категорий содержания и формы в их общефилософском понимании, когда к формальному относят правила, операции, методы, ориентированные преимущественно на исследование формы (структуры) предмета или явления (математические, системно-структурные методы, функциональный метод и т.д.), а все остальные правила, операции и методы рассматриваются как содержательные;

2) производных от понятий содержания и формы мышления; в этом случае формальным называют исследование познавательных и логических структур в относительной независимости, во-первых, от конкретного содержания мышления, во-вторых — от свойств и связей природных и социальных явлений как их объективной основы; а содержательным — исследование познавательных и логических форм в органической связи с исторически сформировавшейся совокупностью понятий, моделей, идеализации, абстракций, относящихся к предмету данной науки, и всеобщими сторонами и отношениями действительности, выражаемыми философскими категориями;

3) в современной формальной логике и в основаниях математики под формальным понимают синтаксические операции и методы, принимающие во внимание только вид и порядок символов и др. языковых выражений, а под содержительным — семантические операции и методы, учитывающие их значение и смысл. Различие между С. и ф. относительно и имеет смысл только с учетом характера вычленения формы и содержания в исследуемом явлении (с помощью идеализации, абстракций и т.п.): формальное в одной системе исходных допущений и идеализации может выступать в качестве содержательного в др., и наоборот. Отношение формального к содержательному есть отношение одного содержания к др. (сравнительно неразвитого и абстрактного к более развитому и конкретному), развитие познания (особенно научного) осуществляется через взаимодействие С. и ф. методов и средств с учетом их познавательных достоинств и ограниченности тех и др.

Содержательная логика

Содержательная логика (СЛ,) предполагает формальную (ФЛ,) как свою морфологию, но "подчиняющуюся" ей, ее требованиям, так как она является сущностью, определяющей внешнюю значимость мышления (.).
Возникает основное противоречие логической организации, или сущности, мышления, состоящее в принципиально различных путях достижения целей содержательного и формального характера. Возможность преодоления противоречия связана с таким развертыванием мысли, когда предшествующее содержание не заменяется новым, а сохраняется в нем, в то же время средство усложнения лишь уточняет, "уплотняет" прежнее содержание. Это и есть основное требование псевдогенетического выведения или выведения конкретного из абстрактного, применяемое к развивающимся объектам. Этот вариант совмещения формальных и содержательных требований является предельным по уровню организации мономышления.
Во втором случае следующее утверждение мыслителя "пропускается" в рассуждение лишь после "согласия" всего предшествующего содержания, прежде всего, того, которое подлежит уточнению, "уплотнению". В линии развития объекта остается лишь однонаправленное движение по "самораскрытию". Однако в иных случаях это становится не только недостижимым, но и несоответствующим всей сложности реальных изменений. Логика систематического уточнения или самораскрытия объекта свидетельствует о завершении пути возрастающей организации мыслительных процессов для моноизложения. В таком "чистом" мышлении ничего в содержании не является случайным и субъективно-произвольным. Фактически это движение мысли является полностью заданным, так как все вопросы содержатся в предшествующем результате. Последующее движение как бы отвечает на внутренние для содержания вопросы и конкретизирует предшествующее содержание. Однако для того, чтобы это было возможным, необходимо еще выявить те предельные абстракции, которые превращают чистое мышление в развертывание хода постановки и решение задач, искомые которых "выводятся" из самих исходных содержаний в онтическом их "самопоявлении".
Выявление таких абстракций составляет процессы проблемати-зации. Когда мыслящий человек сталкивается с затруднением в построении заместителя эмпирического, созерцательного образа при наличии предшествующих версий заместителя, он либо сводит материал созерцаний к заместителю и этим воспроизводит задачный подход, либо модифицирует сам заместитель. Однако для организованного процесса модификации требуется критерий. Такими критериями, которые могут сохранить содержательность мышления, являются онтологические схемы более высокого уровня абстракции, не способные замещать прежнее содержание и локализовать поиск иного заместителя.
При сопоставлении прежнего и нового заместителей оказывается, что прежний заместитель по содержанию выводим из нового, и это один из возможных путей конкретизации. Следовательно, возможны и другие варианты, среди которых находится необходимый. При проблематиза-ции осуществляется не просто критериально опосредованный переход от одного "ближайшего" к эмпирическому, конкретному или более конкретному содержанию, а опосредствованная модификация прежнего заместителя, и более абстрактный заместитель становится ориентиром для поиска возможных дополнений или редукций прежнего содержания (.).
Более абстрактный заместитель дает возможность трансформаций прежнего заместителя, допускает "места" для инноваций. Не-объясненные, незамещенные содержания направляют, локализуют расположение "места" относительно прежнего заместителя, подсказывая, давая прототип содержания неизвестного. Однако это "место" или проблема должны быть еще построены с учетом прежнего содержания приемлемым для этого содержания образом. Проблема расширения прежнего содержания на прежнем уровне абстракции решается "стиранием" части этого содержания, чем "освобождаются" места для иных вариантов. Оставаясь на том же уровне абстракции, стирание или поединение становятся введением совершенно "бессодержательной пустоты", а не проблемы. Проблема строится на базе использования более абстрактных заместителей, а затем она является основанием конкретизации, т. е. происходит сведение проблемы к задаче.
Проблемный подход и форма проблематизации являются дополнительными к задачному подходу и формам решения задач. Они отвечают необходимости менять основание сопоставления с исходным содержанием. Поэтому сущность мышления, его бытие всегда двояко — "задачно-проблемно" и покрывает все необходимости реального мышления.

Дата добавления: 2015-11-03