ЛОГИЧЕСКАЯ ФОРМА

форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к-рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний – схем рассуждения (форм вывода, выражающих связь посылок и заключения), в к-рых может воплощаться разное содержание. Именно к логич. формам – к "формальной" стороне рассуждений – относятся устанавливаемые в (формальной, математической) логике логич. законы (законы логики, см. Мышления законы) и правила логич. перехода (см. Правило вывода), а также многие исследуемые в ней проблемы. Среди последних центр. место занимает проблема уточнения понятия логич. следования, исходным пунктом к-рой как раз и является констатация того, что логически правильная (логически убедительная) схема рассуждения не зависит от того, истинны или ложны утверждения, к к-рым они применяются: "Рассуждение может быть верным несмотря на то, что утверждения, из которых оно построено, ложны, и как раз тогда, когда мы констатируем эту независимость, мы и отделяем форму от содержания" (Черч ?., Введение в математическую логику, М., 1960, с. 15). Именно тем, что предметом исследования в логике являются Ф. л., объясняется распространенная ее квалификация как ф о р м а л ь н о й логики. Отделение Ф. л. от содержания – абстракция (отвлечение) формы от реально осуществляемого в мышлении и естеств. языке рассуждения – связано с трудностями, к-рые проистекают, в частности, из обычно "сокращенного" (энтимематического, см. Энтимема) характера таких рассуждений (нек-рые составные части к-рых могут пропускаться, т.к. "подразумеваются сами собой") и нередко неоднозначности смысла участвующих в них выражений. В логике эти трудности преодолевают с помощью логических исчислений, к-рые, помимо прочего, служат и для уточнения Ф. л. (наиболее известные из исчислений такого рода – это исчисления логики высказываний и логики классов, предикатов исчисление). Ф. л., будучи независимыми от содержания конкретных рассуждений, зависят от содержания мышления в более общем смысле: в конечном счете они являются отображением наиболее простых и общих черт объектов реальности (того, что объекты бывают одинаковы или различны, что они образовывают классы, обладают теми или иными свойствами, вступают в те или иные отношения и т.д.); с этими общими чертами объектов реальности естественно связывать образование и применение в познании понятий и суждений, субъектно-предикатную структуру высказываний, осуществление логич. переходов от одних истин к другим (см. Умозаключение),– словом, функционирование в познании того, что в философии и нематематич. логике носит название "основных форм мышления". Современная формальная логика, как правило, не использует понятие "основной формы мышления"; но в анализе логич. форм она идет дальше традиц. логики, раскрывая богатство понятий, суждений и умозаключений как Ф. л. В частности, создаваемые в ее рамках формализованные языки позволяют раскрывать и уточнять различные аспекты Ф. л., проводить анализ Ф. л. с различной (определяемой задачами исследования) степенью глубины и т.п. Существенно, что всякий формализованный язык означает принятие соответствующего метода логического анализа рассуждений, т.е. метода выделения в них стороны, относящейся к Ф. л., и отделения ее от стороны, относящейся к содержанию. При этом обнаруживаются – особенно при исследовании семантики формализованного языка – связи этих сторон и, в более общем гносеологич. смысле, зависимость Ф. л. от содержания, но только не от содержания отдельных, конкретны х рассуждений или процессов мышления, а от "обобщенного" содержания всей данной области науки или практики, от общего характера постановок и решений возникающих в данной области науч. задач и т.п. Этим – зависимостью логич. средств от "обобщенного" содержания тех или иных фрагментов реальности и (или) методов их исследования в науке,– в частности, и объясняется многообразие логич. концепций, различных "логик" формализованных языков, лишь вся развивающаяся совокупность к-рых служит отображению в науке "формальной" (формальнологической, относящейся к Ф. л.) стороны рассуждений и доказательств. Б. Бирюков. Москва.

Смотреть больше слов в «Философской Энциклопедии»

ЛОГИЧЕСКИЕ МАШИНЫ →← ЛОГИЧЕСКАЯ СЕМАНТИКА

Смотреть что такое ЛОГИЧЕСКАЯ ФОРМА в других словарях:

ЛОГИЧЕСКАЯ ФОРМА

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

ЛОГИЧЕСКАЯ ФОРМА

суть система обобщенных (предельно абстрактных) требований к мыслительной форме. Логическая форма основывается на выделении «единиц мысли» и «единиц мыслительной формы», а затем - »исходных идей» способов соединения единиц, выступающих предпосылками тех или иных «логик». Различаются мыслекоммуникативные и рефлексивно-мыслительные логические формы. ... смотреть

ЛОГИЧЕСКАЯ ФОРМА

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

ЛОГИЧЕСКАЯ ФОРМА

логічна форма

ЛОГИЧЕСКАЯ ФОРМА РЕАЛИЗАЦИИ ИДЕИ УТОЧНЕНИЯ МЫСЛИ

специфична распределением функциональных мест в линии «уточнения» исходного положения. Первое место - для категориального понятия, предельно абстрактного предиката, используемого для введения наиболее абстрактной («изначальной») характеристики субъекта мысли. Второе место - для уточненного понятия, более конкретного предиката. Третье место - для посредника, категории и уточняющего предиката, содержание которого предопределяет особенности трансформации содержания исходного, уточняемого предиката. Оба (уточняемый и уточняющий) предиката, как и в последующие уточняющие предикаты, извлекаются из единого «словаря» (парадигмы категорий или, в общем виде, - языка). Три функциональных места объединяются в пространство единицы уточнения. Для перехода к следующей единице необходимо первый уточняющий предикат рассмотреть как наполнение места для исходного предиката, а для наполнения места уточняющего предиката избрать «второй уточняющий предикат». В результате появится уточненный уточняющий предикат, который вовлекается в уточнение исходного уточняющего предиката. Аналогичным образом строится форма для дальнейшего движения содержания. Все пространство единиц уточнения и их совмещения друг с другом присоединяется к пространству перехода от средственности полученного на каждом шаге уточнения предиката к его содержательности и относительности к субъекту мысли. Данная форма дедуктивности разрабатывалась со времен Платона, но максимально развитый вариант дан Гегелем, а «технологически» (логико-мыслительно) оформлена в ММПК в середине 70-х г. ХХв. В ММК ей соответствовала «содержательно-генетическая логика» и сам способ псевдогенетической реконструкции. ... смотреть

T: 166