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

• formální logika

Смотреть больше слов в «Русско-чешском словаре»

ФОРМАЛЬНО →← ФОРМАЛЬДЕГИД

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

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

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

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

ФОРМАЛЬНАЯ ЛОГИКА, наука о мышлении, предметом к-рой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их... смотреть

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

ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от соде... смотреть

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

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

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

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

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

формальная логика наука об элементарных законах и формах правильного мышления Большой словарь иностранных слов.- Издательство «ИДДК»,2007.

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

ФОРМАЛЬНАЯ ЛОГИКА, или: Л о г и к а,  — наука, занимающая­ся анализом структуры высказываний и доказательств, обраща­ющая основное внимание на форму в отвлечении от содержания (см.: <i>Содержание и форма</i>).<i> </i>Определение "формальная" было введе­но И. Кантом (1724—1804) с намерением подчеркнуть ведущую особенность Ф. л. в подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик. <br><br><br>... смотреть

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

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

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

или: Л о г и к а, аЧ наука, занимающаянся анализом структуры высказываний и доказательств, обращанющая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение лформальная<br>... смотреть

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

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

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

formal logic* * *formal logic

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

ФОРМАЛЬНАЯ ЛОГИКА, см. Логика.

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

ФОРМАЛЬНАЯ Логика - см. Логика.

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

ФОРМАЛЬНАЯ ЛОГИКА , см. Логика.

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

ФОРМАЛЬНАЯ ЛОГИКА, см. Логика.

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

формальна логіка

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

наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание... смотреть

T: 165