Большая Советская Энциклопедия (ФО) - БСЭ БСЭ

Форма процессуальная

Фо'рма процессу'альная, в сов. праве установленный законом порядок осуществления следственных и судебных действий, принятия решений, взаимоотношений участников процесса по уголовным и гражданским делам. Ф. п. основана на демократических принципах сов. судопроизводства , является формой их реализации. Включает комплекс правил, обеспечивающих полноту собирания доказательств, наилучшие условия их оценки и активную роль участников процесса; строгое соблюдение участниками процесса прав граждан. См. также Уголовный процесс .

Форма слова

Фо'рма сло'ва,

  1) совокупность морфологических и фонологических характеристик слова, определяющих его грамматическое значение. Так, состав морфем слова «учительница» (учи-тель-ниц-а) указывает на его принадлежность к существительным женского рода, стоящим в именительном падеже единственного числа. В языке афар (Эфиопия) фонологические свойства слова fak показывают, что это глагол в повелительном наклонении (единственное число, 2-е лицо), т.к. это единственная грамматическая форма, оканчивающаяся на согласный. Понятие Ф. с. возникло в рамках формально-морфологического подхода к языку, представленного, например, в работах Ф. Ф. Фортунатова . Ф. с. понималась им как членимость слова на морфемы, позволяющая определить его грамматическое значение.

  2) То же, что словоформа ; слово в данной грамматической форме. Так, рус. «столу» – форма дательного падежа единственного числа слова «стол».

Форма (социальн.)

Фо'рма, см. Содержание и форма .

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

Формализа'ция, представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы , или исчисления . Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм ), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота , Метатеория ).

  Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём – в частности Ф. в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более «формальной» теории). Так, традиционная «формальная» логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации

.

  Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

Формализм (матем.)

Формали'зм в математике, см. Математический формализм .

Формализм (социальн.)

Формали'зм (франц. formalisme, от лат. formalis – относящий к форме), предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности (см. Содержание и форма ). В области человеческих отношений Ф. проявляется в безукоснительном следовании правилам этикета, обряда, ритуала, даже в тех случаях, когда жизненная ситуация делает это бессмысленным, нелепым, комичным или драматичным; интересам соблюдения формальных правил здесь приносятся в жертву интересы содержания человеческого общения. В сфере социального управления Ф. проявляется в бюрократизме, в преклонении перед буквой закона при полном пренебрежении к его смыслу и духу (см. Бюрократия ).

  В истории искусства Ф. проявлялся в отрыве художественной формы от содержания, признании её единственно ценным элементом искусства и, соответственно, в сведении художественного освоения мира к отвлечённому формотворчеству. Ф. возникал тогда, когда общественные условия порождали у какой-либо социальной группы психологическую установку на противопоставление искусства жизни, практической деятельности, реальным интересам людей. Формалистические тенденции обнаруживаются, например, в академизме 19 в., однако с наибольшей последовательностью Ф. раскрылся в буржуазном искусстве 20 в., в таких его течениях, как кубизм , кубофутуризм, дадаизм , леттризм, абстрактное искусство , «поп-арт» и «оп-арт» , «антитеатр» и «театр абсурда», оказываясь одним из проявлений кризиса буржуазного сознания (см. также Модернизм ). Именно в это время предпринимаются многочисленные попытки теоретического обоснования Ф. [неокантианская эстетика, концепции К. Фидлера (Германия), Э. Ганслика (Австрия), Р. Фрая, Г. Рида (Великобритания)], в которых искусство трактуется как «игра формы», как способ созидания «чистых» эстетических ценностей, освобожденных от связи с нравственным, политическим, жизненно практическим содержанием. Ф. сказался и на методологии науки об искусстве (см. «Формальный метод» в литературоведении).

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

  Лит.: В. И. Ленин о литературе и искусстве, 3 изд., М., 1967; Плеханов Г. В., Искусство и литература, М., 1948; Модернизм. Сб. ст., М., 1973; Каган М. С., Лекции по марксистско-ленинской эстетике, 2 изд., Л., 1971; Медведев П. Н., Формализм в западноевропейском искусствоведении, в его кн.: В лаборатории писателя, Л., 1971; Ohff Н., Anti-Kunst, Düsseldorf, 1973.

  М. С. Каган.

Формализованный язык

Формализо'ванный язы'к,

  1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2 О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии».

  2) Под Ф. я. в логике понимают интерпретированное исчисление , т. е. некоторую формальную систему вместе с её интерпретацией . Использование Ф. я. – характерная особенность математической логики , которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «определения» отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного метаязыка , будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.

  Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00–09).