ФОРМАЛИЗОВАННЫЙ ЯЗЫКФОРМАЛЬНАЯ ОНТОЛОГИЯ

ФОРМАЛЬНАЯ ЛОГИКА

Найдено 4 определения термина ФОРМАЛЬНАЯ ЛОГИКА

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [постсоветское] [современное]

Логика формальная

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Теоретические аспекты и основы экологической проблемы: толкователь слов и идиоматических выражений

ФОРМАЛЬНАЯ ЛОГИКА

наука, изучающая формы мысли — понятия, суждения, умозаключения, доказательства — со стороны их логической структуры, т. е. отвлекаясь от конкретного содержания мыслей и вычленяя лишь общий способ связи частей этого содержания. Осн. задача Ф. л.— сформулировать законы и принципы, соблюдение к-рых является необходимым условием достижения истинных заключений в процессе получения выводного знания. Начало Ф. л. было положено трудами Аристотеля, разработавшего силлогистику. Дальнейший вклад в развитие Ф. л. внесли ранние стойки, в средние века — схоласты (Петр Испанский, Дум Скот, Очкам, Луллий и др.); в новое время — прежде всего Лейбниц. Отход от многовековой традиции изучения проблем дедуктивной логики связан с исследованием индукции и попыткой сформулировать правила индуктивных умозаключений (Ф. Бэкон, позднее Милль и др.). Новый этап в развитии Ф. л. наступил с конца 19 — начала 20 в., когда стала интенсивно развиваться математическая (символическая) логика. Последняя, разрабатывая логические теории математических рассуждений и доказательств, обогатила Ф. л. новыми методами и средствами логического исследования.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

ФОРМАЛЬНАЯ ЛОГИКА

наука о мышлении, предметом к-рой является исследование умозаключений и доказательств с т. зр. их формы (формы логической) и в отвлечении от их конкретного содержания. Ф. л. является базисной наукой – ее идеи и методы используются как в повседневной практике, напр. в качестве средства от логич. ошибок, так и в особенности в теории для логического анализа науч. знания и для дедуктивного (синтетического) построения на базе логических исчислений любых "нелогических" науч. дисциплин. Историч. основу Ф. л. образует т.н. т р а д и ц и о н н а я Ф. л., к к-рой относят обычно учение о понятии, учение о мышления законах, учение о суждении и теорию силлогистич. вывода – учение о силлогизме, или силлогистику, учения о непосредственных умозаключениях и несиллогистических умозаключениях, учение о логических ошибках и, наконец, традиц. логику индуктивную. Основоположником традиц. Ф. л. является Аристотель: обобщив опыт повседневного и отчасти науч. мышления тогда только формировавшейся науки, Аристотель создал учение о силлогизме и дал первые примеры анализа рассуждений с т. зр. их формы. Однако уже сам Аристотель сознавал, что в силлогистич. схемы нельзя уложить многие рассуждения, в особенности математические. Это побудило мегариков и ранних стоиков исследовать др. формы дедукции (см. Древнегреческая логика). Частично в том же направлении шло развитие логики и в средние века (см. раздел Схоластическая логика в ст. Схоластика), и в эпоху Возрождения (Галилей, Валла, Раме). Развитие опытного естествознания и математики, усилившееся в 17 в., поставило вопрос о прикладной роли Ф. л., о дальнейшем развитии несиллогистич. форм вывода, характерных для логики науки. (В этой области работали с большим или меньшим успехом Ф. Бэкон, Декарт, Паскаль, авторы Пор-Рояля логики, И. Юнг, Лейбниц и их последователи.) Одна из осн. "логистических" идей Лейбница состояла в том, чтобы свести к "вычислению" не только математические, но и любые умозаключения. Лишь ко 2-й пол. 19 в. относятся ощутимые шаги в реализации этой идеи, когда работами Буля, де Моргана, Джевонса, Шредера, Порецкого, Пирса, Фреге, Пеано и др. были заложены основы первых совр. логико-матем. исчислений. "Principia Mathematica" Б. Рассела и А. Уайтхеда открывает совр. этап в развитии Ф. л. С о в р е м е н н а я Ф. л. является историч. преемником традиц. Ф. л. и в ряде случаев ее прямым продолжением. Расширение и обогащение языка Ф. л., ее осн. понятий в известной мере служат указанием на то, в каком направлении шло развитие Ф. л. от традиционной к современной. В частности, в логич. словаре появились такие понятия, как исчисление и логическое исчисление, математическая индукция, формализация и формализованный язык, независимость, непротиворечивость и полнота, алгоритм и разрешения проблемы, область предметов и переменная, операция и функция и др. неизвестные традиц. Ф. л. понятия. С др. стороны, определ. связь с традицией сохранили такие понятия совр. Ф. л., как аксиома, посылка и постулат, вывод и правило вывода, квантор, следствие и следование (импликация), теорема о дедукции и др., хотя в совр. трактовке этих понятий не сразу узнаются их историч. прообразы. На протяжении более чем двухтысячелетней истории Ф. л. основную ее цель видели в том, чтобы исследовать, каким образом можно выводить одни высказывания из других. Для совр. Ф. л. характерно построение формальных теорий логич. вывода (см. Вывод в математической логике) в рамках тех или иных логич. "формализмов" (исчислений), а следовательно, и особое внимание к построению самих этих формализмов и применяемых при этом формально-дедуктивных методов. В зависимости от того, какие осн. понятия и методы используются для построения формальных теорий логич. вывода [в том числе и в зависимости от того, как интерпретируются осн. логич. константы: дизъюнкция, конъюнкция, импликация, отрицание (в логике), эквиваленция] различают: классическую (иначе двузначную) логику, интуиционистскую логику, конструктивную логику, модальную логику, многозначную логику и др. Каковы бы ни были различия в построении этих теорий, каждая теория состоит из двух осн. разделов: логики высказываний и логики предикатов. Классич. вариант последней непосредственно примыкает к традиц. силлогистике (логике "одноместных" предикатов), хотя в многочисленных и различных предикатов исчислениях (см. также ст. Натуральное исчисление, Секвенций исчисление) формализуется субъектно-предикатная структура предложений, понимаемая в более широком, чем в традиц. Ф. л., смысле: помимо свойств ("одноместных" предикатов), в них формализуются и отношения ("многоместные" предикаты), что делает излишней особую логику отношений в ее традиц. филос. истолковании. Каждая из указанных выше формальных теорий имеет определ. филос. смысл, являясь логической реализацие й тех или иных методологич. подходов в науке. Связь совр. Ф. л. и философии стимулируется прежде всего актуальной задачей обоснования математики – науч. направлением, имеющим как логический, так и филос. характер (см. ст. Алгоритм, Интуиционизм, Исчисление задач, Конструктивное направление, Логицизм, Математическая бесконечность, Математическая логика, Метод аксиоматический, Минимальная логика, Номинализм в философии математики, Положительная логика, Принцип исключенного третьего, Проверяемость, Теория множеств, формализм, Эффективизм). Примером обогащения и углубления логич. исследований, вызванных стимулирующим влиянием проблем обоснования математики, может служить возникновение металогики – в узком (гильбертовском) смысле как теории формальных систем, ограниченной рамками финитизма, и в широком смысле как метатеории Ф. л. вообще, включающей логический синтаксис (см. Синтаксис в логике, Метаязык), логическую семантику (см. такжеСемантика в логике и примыкающие к ней ст. Взаимозаменимости отношение, Знак, Значение, Имя, Интерпретация, Контрфактические предложения, Логическая истинность, Модель, Название, Описания операторы, Реализуемость, Синтетические и аналитические суждения, Тавтология, Тождественная истинность, Фактическая истинность, Экстенсиональные и неэкстенсиональные языки), теории определения и определимости и теорию тождества (см. А=А, Правило замены равного равным, Принцип замещения, Равенство в логике и математике). Дальнейшим расширением металогич. проблематики явилось выделение в особую дисциплину прагматики, развивавшейся первоначально в рамках логико-семантич. и психологич. анализа (см. Психологизм в логике), и, наконец, появление семиотики. Т.о., связь между мышлением и языком как "практической действительностью мысли" (К. Маркс) нашла отражение во взаимосвязи философии, психологии, лингвистики и логики. В развитии совр. Ф. л. особую роль играют вопросы ее приложений, особенно в вычислит. математике и технике, кибернетике и теории информации, лингвистике математической и пр. (см., напр., ст. Логические машины, Логические схемы автоматов). Связующим звеном между Ф. л. и вычислит. математикой исторически явилась логика классов, к-рая развилась в результате попыток свести силлогистич. методы решения логич. задач к алгебраич. методам их решения, образовав, т.о., первое алгебраич. направление в совр. Ф. л. – алгебру логики (см. также Теоретико-множественная логика). Дальнейшим развитием алгебраич. направления явилось объединение алгебры логики и логики предикатов в теории конечных автоматов, расширение алгебры логики в сторону "алгебраизации" логики предикатов – теория моделей и математич. теория структур. Другую – "арифметическую" – ветвь, связавшую Ф. л. и вычислит. математику, образуют теория рекурсивных функций и предикатов (см. также ст. Алгоритм, Массовая проблема, Разрешимое и перечислимое множества, Сводимость), исчисление ?-конверсии (см. Оператор абстракции, Функция), логика комбинаторная и др. Из общих науч. приложений Ф. л. следует отметить вопросы, связанные с задачами уточнения понятия науч. закона (см. Диспозициональный предикат, Каузальная импликация, Номологические высказывания, Связь), с попытками применения логики в биологии и физике (см. Логика квантовой механики), в этике и юриспруденции (см. Нормативная логика). Успехи, достигнутые в формальной теории дедукции, способствовали применению точных методов в разработке широкого комплекса проблем теории индукции и индуктивной логики (см. ст. Логика индуктивная, раздел Современная логика индуктивная, ст. Научная индукция, Неполная индукция, Популярная индукция), и вероятностной логики. Т.о., ответ на вопрос "Что такое Ф. л.?" можно дать, лишь опираясь на историч. анализ ведущих тенденций развития логики, а также принимая во внимание, что термин "Ф. л." употребляется неоднозначно, что в рамках Ф. л. в широком смысле можно говорить о различных разделах и дисциплинах, к-рые также носят имя "Ф. л.". Такая дифференциация Ф. л., с др. стороны, дополняется интеграцией, появлением новых теорий и концепций, в к-рых Ф. л. рассматривается с к.-л. единой, общей т. зр. М. Новоселов, Г. Рузавин, П. Таванец. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

ЛОГИКА ФОРМАЛЬНАЯ

наука, изучающая мышление с т. зр. его способности быть оформленным в языке.

Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая деятельность, в самом широком понимании языка как семиотической системы, задает формы мысли и потому являет собой пространство логических исследований.

Указанная в определении способность мышления порождает возможность оперировать следующими логическими формами: понятиями, суждениями, умозаключениями. В качестве наиболее сложного вида логических форм иногда выделяют и теории. Часто эту последовательность воспринимают как некую структурную иерархию. Понятие объявляется наиболее простой из форм мышления, суждение представляется как система понятий, умозаключение как система суждений, ну а теория как система умозаключений. Эта иерархия недостаточно ясна, и ее обоснования порой легко подвергаются критике, однако она часто используется в качестве удобной схемы изложения предметной области Л. ф., что, собственно, подкрепляется многовековой традицией преподавания этой дисциплины (см. "Понятие", "Суждение", "Умозаключение").

Рассмотренные логические формы и лежащие в основе операций с ними законы и принципы, т. е. так называемый логический аппарат, составляют Л. ф., а выработка самих эффективных логических аппаратов - ее основная цель.

В связи с различием логических форм выделяют два основных направления Л. ф.: 1) Концептуальный анализ, т. е. исследование процедур определения языковых терминов (понятий) и формулировка принципов отношений между ними. Это направление включает в себя широкий спектр теорий, от классификации родовидовых отношений до конструирования концептуальных "полей". 2) Теория вывода, т. е. анализ рассуждений, формализация законов и принципов связи высказываний (суждений) в умозаключениях. Здесь формулируются способы корректного получения суждения, называющегося заключением, из некоторых исходных суждений, называющихся посылками, посредством рассуждения. В рамках теории вывода выделяют логику, рассматривающую дедуктивные рассуждения, т. е. определенные способы доказательств (см. "Дедукция"), и логику, занимающуюся правдоподобными рассуждениями: индукция, аналогия и др. (см. "Правдоподобные рассуждения"). Кроме того, Л. ф. затрагивает и такие вопросы, например, как формализация содержательных теорий, проблема смысла и значения, логические ошибки и парадоксы и т. д. Самостоятельное выделение этих вопросов достаточно условно, все они погружаются в проблематику основных направлений и тесно переплетены друг с другом (см. "Значение", "Смысл", "Парадокс").

Л. ф. исследует формы мысли и их сочетания, отвлекаясь от конкретного содержания. Например, правильное по форме дедуктивное рассуждение не зависит от того, истинны или нет взятые сами по себе посылки и заключение. Главное то, что оно обеспечивает истинность заключения при истинности посылок, т е. заключение вытекает из посылок с необходимостью, общая схема такого рассуждения выражает логический закон (см. "Закон логический"). Неправильные по форме рассуждения при истинных посылках могут привести как к истинным, так и к ложным заключениям. Одна из основных задач Л. ф. - систематическая формализация и каталогизация правильных способов рассуждений. Различные виды Л. ф. отличаются друг от друга именно тем, какие классы рассуждений они обосновывают. В современной Л. ф мыслительные процессы изучаются путем их оформления в особых (искусственных) формализованных языках, т н логических исчислениях (см. "Исчисление логическое"). В расширении возможностей оценивать (в качестве правильных или неправильных) различные виды рассуждений и состоит один из главнейших стимулов дальнейшего развития логики.

За два с половиной тысячелетия история логики пережила три крупных периода своего развития, которые можно обозначить, как античная логика, схоластическая логика и современная логика Всякий раз можно было наблюдать совпадение активных логических исследований с особым положением проблемы языка в философии той или иной эпохи.

Фрагменты логических исследований известны нам уже из истории древнеиндийской и древнекитайской философии, однако для западной цивилизации начало логической культуры безусловно связано с Древней Грецией V - III вв. до н. э. Это было время возникшей "интеллектуальной страсти" к силе логоса, страсти, которая неразрывно связана с демократическими реалиями афинского полиса: политическая борьба, суды, рыночные споры и т. д., где убедительная и доказательная речь получила роль необходимого инструмента. Логика зародилась в лоне философии и получила развитие под влиянием интереса к ораторскому искусству. Риторика оказалась колыбелью для логических и грамматических исследований (см. "Риторика"). Далее формирование области логических проблем связано с критикой софистики (см. "Софизм"), сначала в рамках сократической философии, а после в качестве самостоятельного учения. Следует упомянуть и имевшие место попытки систематизировать знания по математике (Евдоксова доктрина пропорций, доэвклидовские опыты по аксиоматизации элементов геометрии). В целом можно сказать, что потребность в рефлексии над основаниями формирующейся рациональности породила совершенно специализированное изучение форм мышления. Титул "отца логики" по праву получил Аристотель (IV в. до н. э.), ибо начало логики как науки было положено в его трудах, которые позже (в I в. до н. э.) были обобщены под названием "Органон" ("инструмент"), сам же термин "логика" Аристотелем не употреблялся. Дальнейший вклад в развитие античной логики внесли ранние стоики (Хрисипп, III в. до н. э.). В христианское средневековье (с середины XII в.) произошло "второе открытие" Аристотеля через арабские источники. Одна из первых работ, где были возобновлены логические исследования и стал использоваться термин "логика", это "Диалектика" Абеляра. Логические проблемы разрабатывались также другими схоластами (Михаил Пселл, Петр Испанский, Дунс Скот, У. Оккам и др.). Исследования эти были так или иначе связаны с процедурой экзегезы (толкования христианских Священных Писаний). К сожалению, более известен, зачастую благодаря сатире (например, Рабле), вырожденный вариант схоластических споров периода упадка логической культуры средневековья, где превалируют излишняя педантичность, обилие уловок и другие "хитрости" эвристической полемики. Однако необходимо помнить, что схоласты в лучших своих трудах представили образцы концептуального анализа, интерес к которым не пропал за многие века истории европейской науки. Также именно схоласты придали аристотелевской логике роль необходимого знания, она как пропедевтика наук прочно вошла в структуру образования, стала Schullogik.

В новое время (с середины XIV в.) возрос интерес к проблемам индукции, что связано с критикой средневековой схоластики и стремлением создать методологию, которая бы более соответствовала новой (экспериментальной, опытной) науке о природе. Однако "генетическая" связь с прежними исследованиями просматривается уже в названиях трудов ("Новый Органон" Ф. Бэкона).

"Реформаторское" отношение к логике далее было продолжено. Особое место занимает идея Лейбница о создании caiculis rationaler - исчисления разума, подобного математическому счислению и основывающемуся на универсальном логическом языке - charactiristica universalis, который отличается от естественного языка точностью и однозначностью своих выражений. Идея эта получила развитие лишь в рамках современной Л. ф. Необходимо вспомнить две философские системы, содержащие в своих названиях термин "логика", которые также были связаны с критикой устоявшихся представлений о логике. Основным пунктом критики был формальный характер логики (определение "формальная" было введено И. Кантом), "пустота" ее предмета, отсутствие содержания.

Во-первых, это трансцендентальная логика Канта, который считал, что логика является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на шаг, и предпринял построение теории, занимающейся происхождением, границами и объективной истинностью априорного знания. Во-вторых, это диалектическая логика Гегеля (см. "Диалектика"), который более ригористично отнесся к прежней логической культуре, решив, что пришло время полностью от нее отказаться. Несмотря на огромное значение этих систем для философии культуры, они не оказали непосредственного влияния на развитие современной Л. ф., анализ же их опосредованного влияния, безусловно, представляет интерес.

Возрождение интереса к логике во второй половине XIX в. вновь связано с потребностью в критической рефлексии над рациональными основаниями сложившейся научной картины мира, органоном которой, без сомнения, являлась математика. То, что в исследованиях по Л. ф. был применен математический (алгебраический) аппарат (Дж. Буль, А. Морган, Ч. Пирс, Э. Шредер и др.), несомненно, связано с идеей Лейбница и имеет непреходящее значение для формирования современной логической культуры. Однако самым сильным стимулом оказались исследования по основаниям математики. Постепенно сформировалось три различных школы: логицизм, формализм и интуиционизм, которые в бурной полемике друг с другом создали наиболее благоприятную среду для радикального преобразования самого образа науки логики.

Г. Фреге стремился обеспечить математике основание в чистой логике, для чего в работах "Begriffsschrift" (1879) и "Grundlagen der Arithmetik" (1884) приступил к решительной "реформации" логического аппарата. Эти исследования, продолженные Б. Расселом и А. Уайтхедом в "Principia mathematica" (1925 - 1927), получили название логицизма. Данное направление характеризует отказ от кантовского тезиса о синтетическом характере математических истин и понимание математики как чисто аналитической науки, все понятия которой можно определить в рамках Л. ф. без использования каких-либо положений нелогического характера. Сведение математики к логике, столкнувшись с непреодолимыми трудностями, парадоксами, оказалось невыполнимым, но зато значительно способствовало становлению современной Л. ф. Логицизм строго решает дилемму "психологизма - антипсихологизма" в логике в пользу последнего. В этой связи следует отметить влияние Г. Фреге на формирование такого философа, как Э Гуссерль, который в своих "Логических исследованиях" предпринял исключительно эффективную критику психологизма в логике. Наиболее близким к лейбницевской идее оказалось другое направление в обосновании математики - программа Гильберта, где математика представлялась как семейство аксиоматизированных формальных исчислений, доказательство полноты, непротиворечивости и разрешимости которых составляло основную "заботу" исследователя. Это направление часто называют формализмом, а программным трудом его является "Grundlagen der Mathematik" (1934) Д. Гильберта и С. Бернайса. Интуиционизм же провозглашает отказ от абстракции актуальной бесконечности в пользу абстракции потенциальной бесконечности и, как следствие, отказ от такого фундаментального для классической логики закона как "закон исключенного третьего", от широко использовавшихся в классической математике и основывающихся на этом законе косвенных методов доказательства. Идеи этого направления высказывались такими математиками, как Л. Кронекер, Э. Борель и А. Пуанкаре, но несомненным лидером интуиционизма был Л. Брауер. Интуиционизм имел огромное значение для возникновения и развития неклассической логики (А. Гейтинг, 1930) (см. "Логика неклассическая").

Обращение логики к глубинным проблемам математики не нарушает представления о ней как о науке, связанной прежде всего с проблемами языковой деятельности. Парадоксы и многие другие трудности, которые стали предметом обсуждения "логически мыслящих" математиков, носили ярко выраженный языковой характер. Более того, деятельность представителей вышеперечисленных школ может быть представлена следующим образом: Г. Фреге выступает основоположником современной семантики, Д Гильберта интересуют формальные языки, которые возникают при логической интерпретации исчислений; Л. Брауер, критикуя формализм, прежде всего критикует язык как средство выражения интуиции и т. д. Но, в отличие от античности и средневековья, теперь не проблемы языка в философии приводят к широким логическим исследованиям, а наоборот, зарождение новых методов в рамках логического анализа во многом способствует "лингвистическому повороту" в философии. Подтверждением тому могут служить как истории целых течений в философии XX в. (см. "Позитивизм", "Аналитическая философия"), так и этапы творчества отдельных мыслителей (Ч. Пирс, Г. Фреге). Пожалуй, самое яркое представление о всей специфичности взаимоотношения логики и философии XX в. дает нам анализ творчества Л. Витгенштейна. Влияние всего наследия этого мыслителя на философию XX в. трудно переоценить, оно непосредственно прослеживается от узкого понимания логическим позитивизмом философии как логического синтаксиса науки, до логического анализа всех форм дискурса в рамках аналитической философии. Саморазрушение логического позитивизма и последующее развитие аналитической философии снова демонстрируют то, что проблемы логики метафизического характера привели к более широкому философскому осмыслению языка.

Однако критическая саморефлексия логики связана не только с широким философским контекстом осмысления, но и с более узкими внутрилогическими исследованиями. Прежде всего это "теорема Геделя о неполноте" (работа К. Геделя - "Uber formal unenscheidbare Satze der Pnneipia Mathematica und verwandeter Systeme", 1931), которая констатирует неполноту исчислений, содержащих формальную арифметику, чем приносит серьезнейшее препятствие попыткам осуществить формалистскую программу Гильберта, но, вместе с тем, значительно развивает теорию доказательств. Общефилософский результат этой теоремы заключается в обосновании несостоятельности представления о мышлении как чистой игре символами безотносительно к их значению, что рушит надежды воплотить мечту Лейбница о формализации мышления, ограничиваясь синтаксическими структурами. С выходом за пределы синтаксической т. зр. связано и другое достижение внутрилогического характера - семантическая теория истины, сформулированная А. Тарским, которая сделала доступным точный анализ отношения структуры и значения языка в рамках теории моделей, одного из современных вариантов логической семантики. Дальнейшее развитие логической семантики связано с возникновением семантики возможных миров (С. Крипке) в рамках исследований модальной логики (см. "Логика модальная", "Возможный мир").

Кроме исследований по логическому синтаксису и логической семантике, в соответствии с современными представлениями о языке, существуют и исследования по логической прагматике. Среди многих мыслителей (Г. Рейхенбах, Н. Бар-Хиллел, А. Прайор, Г. X. фон Вригт, Я. Хинтикка и др.), внесших вклад в развитие этой области, особенно следует упомянуть Р. Монтегю. Построенная им система логической прагматики учитывает не только различные интерпретации (семантический аспект), но и контекст употребления.

Т. о., область "логического" не остановилась на рассмотрении форм взаимоотношений между знаками (логический синтаксис), но расширилась до анализа форм отношений знаков и реальности (логическая семантика), форм отношений носителей языка к знакам и форм взаимоотношений между самими носителями языка (логическая прагматика). Оставаясь "верной" языковой сфере исследования, логика к XX столетию оформилась в самостоятельную дисциплину, умело сочетающую в себе поиск оснований рациональности с высоким уровнем критики этих оснований.

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

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

А. Г. Кислое

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Современный философский словарь

Найдено схем по теме ФОРМАЛЬНАЯ ЛОГИКА — 0

Найдено научныех статей по теме ФОРМАЛЬНАЯ ЛОГИКА — 0

Найдено книг по теме ФОРМАЛЬНАЯ ЛОГИКА — 0

Найдено презентаций по теме ФОРМАЛЬНАЯ ЛОГИКА — 0

Найдено рефератов по теме ФОРМАЛЬНАЯ ЛОГИКА — 0