Что такое формальная логика: Формальная логика — это… Что такое Формальная логика?

Формальная логика — Карта знаний

• Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.

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

Источник: Википедия

Связанные понятия

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются… История логики изучает развитие науки о формах и законах правильного мышления (логика). Логи́ческий позитиви́зм (англ. Logical positivism; также логический эмпиризм и неопозитивизм) — является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого. Философия науки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии. Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом…

Подробнее: Философская логика

Упоминания в литературе

Это означает, что искусственное разделение общих методов можно, в сущности, удержать лишь с точки зрения старинной формальной логики, признававшей, что методы мышления могут быть полностью изучены самостоятельно, в связи с предметом их применения, как если бы они могли существовать независимыми. Такова крайность, к которой схоластическая переработка логики Аристотеля привела все классические учения об умозаключении, – направление, достигшее своего апогея и нашедшее себе самое радикальное теоретическое оправдание в системе «формализма» Канта. Какие бы мнения ни высказывались, бесспорным требованием к научному лингвистическому исследованию, связанному с гносеологической проблематикой, является требование исполнения методологических принципов или требований к лингвистическому познанию. Предпринятое исследование выявило повышенную ответственность лингвиста-когнитолога за организацию познавательно-методологического обеспечения диалектического движения его мысли в процессе ментального моделирования научного объекта. Это привело автора к необходимости учитывать взаимодействие диалектической и формальной логики. Диалектико-логические принципы и приемы познания не только не делают излишними законы и правила логики формальной, но могут быть реализованы только на основе их строгого соблюдения. Сделаем пояснение. Так, выполняя регулятив диалектической логики, мы исходим в монографии из установления целого ряда познавательных противоречий. Нами прослеживается взаимодействие сторон противоречия в определении языка, его свойств, выявляется возможность организации познания по задачному типу, выявляется антиномия содержания и объема в структуре понятия, используется категориальная пара «абстрактное – конкретное» при построении матрицы понятия, модели «охвата» и пр. Следуя методологии формальной логики, мы подходим к организации познания как к строго детерминированному умственному процессу, опирающемуся на законы мышления – тождества, исключенного третьего, достаточного основания и др., на правила производства суждений в их разновидности, их обоснование, доказательство и т. д. В заключение необходимо упомянуть о логике стоиков – системе знаний, разработанных приверженцами мегаро-стоической школы, стоиками Зеноном и Хризиппом и мегариками Диодором, Стилпоном, Филоном и Евбулидом. В результате деятельности этой школы современная логика получила анализ логических понятий отрицания, конъюнкции, дизъюнкции и импликации. Задачей логики они видели избавление от заблуждений и создание возможности правильно судить о вещах. Логика должна изучать не только словесные знаки, но и мысли, выражающиеся в них. Выходя за рамки формальной логики, представители мегаро-стоической школы делили логику на диалектику и риторику. Служение философии всеобщему является своеобразным пробным камнем философии. Дело в том, что в современной мысли всеобщее, как и подавляющее множество других философских и научных понятий, рассматривается операционально (лат. operatio – действую), т. е. с точки зрения исследовательского действия, например теоретического конструирования, вычислений, эксперимента и т.д. Всеобщее, сложное или простое – это значения понятий, создаваемые или подтверждаемые действиями. Например, всеобщее (универ-сальное) – это нечто постоянное в некотором множестве действий (преобразований), а именно: понятия формальной логики как схемы внешних действий человека, физические постоянные, культурные универсалии, праязыки и т.д. Описанному смыслу понятия анализа родственно более специальное понятие формально-логического (логического) анализ. Логический анализ – это уточнение логической формы (строения, структуры) рассуждения, осуществляемое средствами современной формальной логики. Такое уточнение может касаться как рассуждений (логических выводов, доказательств, умозаключений и т. п.) и их составных частей (понятий, терминов, предложений), так и отдельных областей знания. Наиболее развитой формой логического анализа содержательных областей знания, содержательных понятий и способов рассуждения является построение формальных систем, интерпретируемых на этих областях или с помощью данных понятий, – формализованных языков. Логический анализ – один из основных познавательных приёмов науки, значение которого особенно возросло благодаря развитию математической логики, кибернетики, семиотики и разработке информационно-логических систем.

Связанные понятия (продолжение)

Диалектическая логика — философский раздел марксизма, систематически развёрнутое изложение мышления («диалектики как логики»). Тем самым диалектическая логика является теорией познания. Также диалектическая логика понимается как логическая дисциплина о формах правильных рассуждений. Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке. Аргументационная теория, или аргументация, является междисциплинарным исследованием о том, как выводы могут быть достигнуты через череду логических рассуждений; то есть, претензии, основанные, крепко или нет, на предпосылках. Она включает в себя искусство и науки гражданской дискуссии, диалога, разговора, и убеждения. Она изучает правила вывода, логики и процедурных правил в обоих искусственных и реальных условиях мира. Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм. Аналити́ческая филосо́фия (англ. Analytic philosophy) — англо-американская традиция философии, получившая широкое распространение в середине XX века. Аналитическая философия не представляет собой единой школы, поскольку хотя и сформировалась на основе британского неореализма Мура и Рассела, однако также впитала в себя австрийский неопозитивизм (через Айера и Куайна) и американский прагматизм (Пирс, Моррис). От позитивизма она заимствует антиметафизическую направленность (критика философских «псевдопроблем… Проблема демаркации (лат. demarcatio — разграничение) — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и формальных наук (логики, математики). Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения (литература, искусство и религия). Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана… «Логические исследования» (нем. Logische Untersuchungen, 1900, 1901) — философское сочинение Э. Гуссерля. Хотя в «Логических исследованиях» ещё не развёрнуты все характерные для феноменологии темы, это — исходная для феноменологического движения работа, о которой сам Гуссерль сказал позднее, что она стала для него «произведением прорыва». Две догмы эмпиризма (англ. Two Dogmas of Empiricism) — одна из основополагающих работ аналитической философии, написанная Уиллардом Куайном в 1951, содержавшей критику ряда основополагающих неопозитивистских идей, усилило в США интерес к новым тенденциям в аналитической философии, привнесло в последнюю элементы прагматизма. Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики. Структурали́зм — это совокупность холистических подходов, возникших главным образом в социальных и гуманитарных науках в середине XX века. Структуралисты использовали понятие структуры — теоретическую модель, которая функционирует бессознательно или не может восприниматься эмпирическим образом. Структура определяла форму изучаемого объекта как систему, состоящую из отношений между её элементами. Термин «структура» трактовался по-разному в различных направлениях; возникнув в рамках позитивизма в конце… Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах. Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell’s Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка. Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента. Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления. Интерпрета́ция — теоретико-познавательная категория; метод научного познания, направленный на понимание внутреннего содержания интерпретируемого объекта через изучение его внешних проявлений (знаков, символов, жестов, звуков и др.). Интерпретация занимает центральное место в методологии гуманитарных наук, где процедура выявления смысла и значения изучаемого объекта является основной стратегией исследователя. Теория всего в философии — термин для обозначения всеобъемлющей философской концепции, описывающей природу или бытие всего сущего. Термин «теория всего» позаимствован из физики, в которой на протяжении длительного времени ведутся попытки построения теории, описывающей все известные фундаментальные взаимодействия. Философская теория всего, по мнению ряда философов, должна отвечать на такие вопросы, как «Почему постижима реальность?», «Почему законы природы именно таковы?», «Почему что-либо вообще… Феминистская эпистемология — одно из направлений в философии науки, трактующее структуру и функции научного знания. Возникло в конце XX века при привнесении в эпистемологию ценностей и оценок феминизма как общественно-политического движения. Парижская семиотическая школа (фр. École sémiotique de Paris) основана А. Ж. Греймасом в 1960-е годы. Семиотика в духе Парижской школы, в отличие от большинства других, не определяет свой предмет как исследование знаковых систем (для этой сферы используется соссюровский термин семиология). Парижская школа постулирует существование универсальных структур, которые лежат в основе значения и создают его; их исследование и является, в её понимании, предметом семиотики. Эти структуры можно представить… Эпи́стема (от греч. ἐπιστήμη «знание», «наука» и ἐπίσταμαι «знать» или «познавать») — центральное понятие теории «археологии знания» Мишеля Фуко, введённое в работе «Слова и вещи. Археология гуманитарных наук» (1966). Натурали́зм (фр. naturalisme; от лат. naturalis — природный, естественный) — философское направление, которое рассматривает природу как универсальный принцип объяснения всего сущего, причём часто открыто включает в понятие «природа», также дух и духовные творения; биологическое мировоззрение XIX века. Филосо́фия (др.-греч. φιλοσοφία дословно «любомудрие; любовь к мудрости») — особая форма познания мира, вырабатывающая систему знаний о наиболее общих характеристиках, предельно-обобщающих понятиях и фундаментальных принципах реальности (бытия) и познания, бытия человека, об отношении человека и мира. К задачам философии на протяжении её истории относились как изучение всеобщих законов развития мира и общества, так и изучение самого процесса познания и мышления, а также изучение нравственных категорий… Эпистемоло́гия (от др.-греч. ἐπιστήμη «научное знание, наука», «достоверное знание» + λόγος «слово», «речь») — философско-методологическая дисциплина, исследующая знание как таковое, его строение, структуру, функционирование и развитие. Нередко (особенно в английском языке) слово выступает как синоним гносеологии. Джастификационизм (от англ. justificationism — justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом. Смена парадигм (англ. paradigm shift) — термин, впервые введённый историком науки Томасом Куном в книге «Структура научных революций» (1962) для описания изменения базовых посылов в рамках ведущей теории науки (парадигмы). Впоследствии термин стал широко применяться и в отношении других сфер человеческого опыта. Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. Соизмеримость — концепция в философии науки, согласно которой две научные теории соизмеримы, если ученые могут обсуждать их, используя общую терминологию, понимаемую одинаково всеми обсуждающими. Это позволяет проводить прямое сравнение теорий, чтобы определить, какая теория является более обоснованной или более полезной для практических целей. Теории считаются несоизмеримыми, если они используют разные системы понятий, а одни и те же слова употребляются в разном смысле. В таком случае между ними… Поссибилизм (лат. possibile ― «возможное») ― философский дискурс по вопросам, связанным (1) с онтологическим статусом возможного, его отношениями с другими способами (модусами) бытия — действительным и необходимым, невозможным, недействительным и случайным, а также (2) с отражением этих отношений в логике и языке (алетические модальности). Поссибилизм рассматривается и как антитезис актуализма. Интерпрета́ции ква́нтовой меха́ники — различные философские воззрения на сущность квантовой механики как физической теории, описывающей материальный мир. Они решают такие философские проблемы, как вопрос о природе физической реальности и способе её познания, о характере детерминизма и причинности, о сущности и месте статистики в квантовой механике. Редукциони́зм (от лат. reductio — возвращение, приведение обратно) — методологический принцип, согласно которому сложные явления могут быть полностью объяснены с помощью законов, свойственных явлениям более простым (например, социологические явления объясняются биологическими или экономическими законами). Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий. Теории научного реализма могут быть также вероятно истинными или приблизительно истинными или относительно истинными. Теории касаются наблюдаемых и ненаблюдаемых объектов, хотя и являются в сущности достоверными, однако могут быть в какой-то степени ложны. Аналитика (др.-греч. άναλυτικά — буквально: «искусство анализа») — часть искусства рассуждения — логики, рассматривающая учение об анализе — операции мысленного или реального расчленения целого (вещи, свойства, процесса или отношения между предметами) на составные части, выполняемая в процессе познания или предметно-практической деятельности человека. Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод… Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является… Семио́тика, или семиоло́гия (греч. σημειωτική Матема́тика (др.-греч. μᾰθημᾰτικά Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». О́бщая сема́нтика (англ. General Semantics, фр. sémantique от греч. σημαντικός — обозначающий) — эмпирическая дисциплина, представляющая собой систематическую методологию по исследованию того, как люди взаимодействуют с миром, реагируют на мир, реагируют на собственные реакции и реакции других людей и, соответственно, каким образом они изменяют своё поведение. Общая семантика основана Альфредом Коржибским в 1920-е — 1930-е годы. Общая семантика и семантика представляют собой отдельные дисциплины… Интенциона́льность (от лат. intentio «намерение») — понятие в философии, означающее центральное свойство человеческого сознания: быть направленным на некоторый предмет. Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов. Материалистическая диалектика — неоднозначный термин, используемый для обозначения двух родственных понятий: метода научного познания и науки о теоретическом мышлении. Первое значение термина — материалистическое понимание метода Гегеля, универсальный метод научного познания. Нау́чный ме́тод — система категорий, ценностей, регулятивных принципов, методов обоснования, образцов и т.д., которыми руководствуется в своей деятельности научное сообщество. Позитиви́зм (фр. positivisme, от лат. positivus — положительный) — философское учение и направление в методологии науки, определяющее единственным источником истинного, действительного знания эмпирические исследования и отрицающее познавательную ценность философского исследования. Когнити́вное религиове́дение (англ. cognitive science of religion) — направление религиоведения, предметом которого является прежде всего изучение религиозных представлений и религиозного поведения с точки зрения когнитивных и эволюционных наук. Зарождение направления (в форме когнитивной теории религии) связано с именем Стюарта Эллиота Гатри, примером отчасти послужил успех когнитивной лингвистики Ноама Хомского. Рассматривая религию как форму познавательной деятельности, инструмент приспособления…

Упоминания в литературе (продолжение)

В то же время некоторые представители неопозитивизма имеют определенные заслуги в разработке современной формальной логики (в частности, разработке формализованного научного языка), семиотики и специальных вопросов методологии науки. Но хотя неопозитивистами немало сделано в области методологии и логики науки, узость и односторонность их подхода (ибо единственной функцией философии науки считалось логико-методологическое «обслуживание» специальных наук) не могли не привести к критике и краху неопозитивистской версии философии науки. В результате возникло разочарование в возможностях не только логического, но и любого другого нормирования познавательного процесса и создания унифицированной науки. Однако только такое понимание роли схоластики и средневековой философии в целом было бы слишком односторонним и оттого неверным. В самом деле, обостренное внимание к дефинициям послужило значительному развитию формальной логики. Далее, средневековая философия внесла существенный вклад в развитие гносеологии, разработав логически возможные варианты соотношения рационального, эмпирического (опытного), априорного (доопытного). Это соотношение впоследствии станет фундаментом для формирования основ естественно-научного и философского знания. Разговор о логическом позитивизме обычно начинают с различия между аналитическими и эмпирическими или синтетическими высказываниями. Первые характеризуются как достоверные, но не сообщающие информации о мире или существующих вещах. Если я говорю «Сумма углов треугольника равна 180 градусов», я не утверждаю, что существует какой-либо предмет, который может быть обоснованно назван треугольником, для истинности моего высказывания также нет необходимости в том, чтобы какой-либо треугольник существовал. Я просто утверждаю, что с необходимостью следует из определения треугольника. Поэтому все пропозиции формальной логики и чистой математики называются «аналитическими» или чисто «формальными». Их иногда называют «тавтологиями», в том смысле, что они устанавливают формальное значение точных определений. Пожалуй, наиболее общее «логическое» содержание (логические формы закономерности, правила и др.), в той или иной степени отражающее сущность большей части направлений в логике, несет в себе формальная логика, которая, в основном, и представлена в данном пособии. Проблемная группа видит в докладе Д. Хукса повод ещё раз подчеркнуть значение диалектического метода в восстановлении официального статуса политической экономии как особой науки и учебной дисциплины в российской практике. Тем самым Проблемная группа ещё раз заявляет о недопустимости игнорирования диалектического метода, попыток возрождения политической экономии исключительно на методологических принципах неоклассики, имплицитно и эксплицитно, фактически и риторически отрицающей диалектику как научный метод, якобы не совместимый и противоречащий фундаментальным законам формальной логики. Генеральная линия такого отрицания связана с именами Е. Бём-Баверка, Й. Шумпетера, М. Блауга. Вокруг этой линии группируются все экономисты, в том числе отечественные, кто пользуется маржиналистской методологией анализа. Итак, мы рассмотрели основные идеи Рассела, которые вошли составными блоками в его метафизическую концепцию логического атомизма. Эта концепция выросла из стремления Рассела понять взаимосвязь между языком и миром, подкрепленного верой в то, что формальная логика, позволяющая построить логически совершенный язык, обеспечивает лучший путь к пониманию этой взаимосвязи. Современные философы Накамура Хадзимэ и Кисимото Хидэо считают, например, что японский «тип мышления» обнаруживает себя именно в японском языке, который «выявляет человеческие переживания в неаналитической форме».[87] Ни тот, ни другой исследователь не предлагают дефиниции «типа мышления», а вводят его понятие неявно, как производное от уровня использования формально-логических законов и принципов в мыслительной традиции.[88] В Японии, констатируют они, система формальной логики или абстрактных понятий почти не разрабатывалась, что свидетельствует о слабости японцев в области спекулятивного мышления и нашло отражение в этических учениях, созданных японскими учёными. Гегель полагал, что те формы мышления, которые рассматриваются обычной, т. е. формальной логикой, также выражают отношения вещей. Однако формальная логика выражает их ограниченно, вследствие чего она при всей своей необходимости и полезности не может претендовать на роль высшей и истинной науки логики. Принцип интегральности означал для Гурвича невозможность отрыва некоего причинно-следственного ряда от всей целостности социальной жизни; такой отрыв приводит к построению безжизненных, абстрактных и по большому счету ложных научных теорий. Чем более эти теории оперируют «социальными фактами», воспринимаемыми как отдельные фрагменты социального бытия, выхваченные из него и выстраиваемые с помощью формальной логики в причинно-следственную цепочку, тем более отдаляются они от социальной действительности. С этой точки зрения Гурвич критикует теорию Р. МакИвера[469] и указывает на то, что «действительность причинно-следственных законов – это вопрос факта: она должна каждый раз верифицироваться, так как зависит от конкретной социальной среды, рамок общения»[470]. В самом деле, внутреннюю форму определения мы принимаем за внутренний смысл понятия, которое, таким образом, предстает перед нами наполненным собственным содержанием и располагающим соответствующим объемом вещного мира – литературный язык как существующий отдельно от народного, национального, реально действующего языка. Между тем термин «литературный язык» по своему происхождению оказывается связанным просто с понятием «литература», а в этимологическом его определении – основанным на «литере», т. е. на букве: письменный. Таким образом, и основными признаками «литературного языка» как «реальности» почитаются следующие: это язык письменный по преимуществу, и по этой причине «обработанный мастерами» стандарт. Все остальные признаки «литературного языка» вытекают из этого абстрактного определения и потому кажутся нам неотразимо логичными и безусловно понятными. Отсюда и многообразные термины, многослойным пирогом наложившиеся на предмет изучения, представляют собою, собственно, только попытку выйти из порочного круга формальной логики: признаки понятия почитать за признаки несуществующего объекта, а объект определять через те же признаки понятия. «Литературный» – «нелитературный», «письменный» – «устный», «народный» – «культурный» (даже «культовый», в последнем случае вообще много синонимов), «обработанный» – «необработанный», а также многозначные и потому неопределенные по значению «система», «норма», «функция», «стиль» и др. как различные способы номинации божества, созданного в известный момент из самых абстрактных признаков, в процессе конкретного изучения языкового материала, отвлеченных от самого объекта. Чем больше таких определений (которые, по видимости, «уточняют» наше представление об объекте), тем больше опустошается и понятие «литературный язык»: введение каждого последующего из них настолько увеличивает содержание понятия, что, по определению, сводит его объем до пределов ничтожности. Огромный вклад в развитие формальной логики внесли русские ученые. Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с именами М. В. Ломоносова и А. Н. Радищева. Расцвет же логических исследований в нашей стране относится к концу XIX в. Это прежде всего такие логики как М. Каринский, Л. Рутковский, С. Поварнин. Неопределенность понятия «знание» приводит авторов пособия к преувеличению роли формальной логики в процессе познания. Формальная логика абсолютизирует понятия истины и лжи. Но в реальности нет ничего абсолютного. В частности, не абсолютно истинны аксиомы любой теории, поэтому непротиворечивые в смысле логики рассуждения могут привести к недостаточно достоверным (и даже вовсе недостоверным) результатам. В то же время придается недостаточное значение образному мышлению, не подчеркивается решающая роль практики и преувеличивается роль формализованной логики в определении состоятельности научного знания. текста правовой нормы. Таким образом, в данном типе правопонимания познание права некорректно сводится к знанию, ограниченному рамками формальной логики. Далее Л. А. Тихомиров заимствует положение А. С. Хомякова о связи представлений о процессе необходимого порождения и вещественном первоначале, а также представлений о свободном творческом акте и имматериальном, невещественном первопринципе. При этом он разделяет истолкование А. С. Хомяковым мировоззрения, постулирующего вещественную необходимость, как мировоззрения, не требующего сверхприродного откровения, основанного на созерцании природного бытия и работе человеческого интеллекта. Однако, в отличие от А. С. Хомякова, он избегает приложения к этому мировоззрению определения «формальное» или «логическое», считая его рациональным исключительно в смысле ограниченности содержания познавательным потенциалом человеческого интеллекта в синтезе с сенсорными данными, а не по причине его построения по принципам формальной логики. Категории могут быть философскими и собственно научными[3]. Говоря о собственно научных (общенаучных) категориях, целесообразно вслед за П.В.Копниным (1971, с.202) различать в них категориальный аппарат формальной логики и категории, свойственные отдельным предметным областям. Но и последние остаются при этом категориями, не носят узко специализированного характера: другое дело специализированное научное понятие как компонент научной теории. Еще древние греки очень емко, кратко и иронично продемонстрировали эту ограниченность и одновременно величие логического, рационального как высшей формы познания в своих парадоксах и апориях. Приведем один из таких логических парадоксов: «Я – грек (теоретик, ученый, экономист) и я утверждаю, что все греки (теоретики, ученые, экономисты) говорят неправду!». То есть и это утверждение есть неправда? Тогда это утверждение одновременно и истинное, и ложное, что с точки зрения формальной логики невозможно. Вот вам и пресловутое могущество логического, теоретического мышления! Но следует признать, что предлагаемая система не в полной мере соответствует законам формальной логики, так как включает в себя элементы, которые выделены по совершенно разным (и, на наш взгляд, совершенно непонятным) основаниям, не являются однопорядковыми и расположены в произвольной последовательности. В этой связи, прежде всего, следует обратить внимание на такой предлагаемый признак правопонимания, как познание права. логический – определяет порядок и последовательность выработки научных понятий, он основан на использовании понятий, категорий и законов формальной логики (тождества, исключенного третьего, непротиворечия, достаточного основания), а также таких приемов, как: Общенаучные методы включают формальную логику, т. е. анализ и синтез, индукцию, дедукцию, обобщение, абстрагирование, выдвижение гипотез и др.

логика (формальная логика) — это… Что такое логика (формальная логика)?

(от греч. logos — слово, понятие, рассуждение, разум)

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

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

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

Правильным является, напр., рассуждение, следующее схеме: «Если есть первое, то есть и второе; есть первое, значит, есть и второе» (см.: Модус поненс). По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным.

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

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

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

Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционистская Л., многозначная Л., неклассические теории логического следования, паранепротиворечивая Л., Л. квантовой механики и др. Каждая из этих Л. также включает, как правило, соответствующие Л.высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом. Единство Л. проявляется прежде всего в том, что входящие в нее «отдельные» Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, «сконструированная» Л. вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоречий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой.

История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Аристотеля (384-322 до н. э.) и продолжался до второй половины XIX — начала XX в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказательство как математическое вычисление. Д. Буль (1815-1864) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903).

На первых порах современная Л. ориентировалась почти всецело на анализ только математических рассуждений. Это поддерживало иллюзию, что развитие Л. не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней.

В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполагающая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, случайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.

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

о базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования;

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

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

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

> разделы, находящие применение при обсуждении определенных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, воображения, стремления и т. п. Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к философии и естествознанию, к математике и металогике и т. д.

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

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

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

Перемены, происшедшие в Л. в XX в., приблизили ее к реальному мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является.

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

зей и элементов. Диалектическая и формальная Л. — две разные науки, различающиеся как предметами своего исследования, так и методами.

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

Формальная логика и ее основные законы

Логика – наука о приемах, законах и формах мышления. Формальная логика была разработана древними греками задолго до нашей эры. Именно греки первыми построили демократическое общество, где решения и законы принимались на народных собраниям. Они на примитивном уровне создали науку ведения судебных процессов. А любимым занятием аристократической молодежи были дискуссии с философами. Отсюда всеобщая любовь к разработке теоретических наук. Грекам просто необходимо было учение о том, как стоить научные доказательства.

Первый курс основ логики разработал Аристотель. Он обратил внимание на то, что любые рассуждения строятся по общим законам, нарушение которые приводит к ошибочным выводам. Формальная логика Аристотеля базировалась на таких законах:

1. Если суждения являются утвердительными, что сделанный из них вывод не может быть отрицательным.
2. Если одно из утверждений отрицательное, то и общий вывод всегда будет отрицательным.

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

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

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

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

Неосновные законы логики – это правила оперирования суждениями и понятиями, получения истинного вывода в силлогизме, повышения вероятности выводов умозаключениях индуктивного и традуктивного характера.

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

Закон исключенного третьего предписывает не искать между двумя противоречащими друг другу, но истинными высказываниям нечто третье, а признавать истинность лишь одного из них. Одно из составляющих противоречия — непременно истинное.

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

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

Логическая форма мысли и способы определения форм любых мыслей выражаются с помощью логических терминов, к которым относятся союзы “и”, “или”, “если…, то…”, отрицания “неверно, что” (“не”), слова “некоторые”, “все” (“ни один”), связка “суть” (в значении “есть”) и т.д. Выявить логическую форму суждения можно, отвлекшись от смысла терминов нелогичных, которые входят в словесное выражение этого суждения. Другими словами, формальная логика выражает структуру мысли. Логическая форма всегда информативна и содержательна.

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

Формальная логика — Психологос

Формальная логика — наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства) со стороны их логической структуры, отвлекаясь от конкретного содержания мыслей. Это конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий.

Формальная логика и мышление

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

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

Формальная логика — это… Что такое Формальная логика?



Формальная логика

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

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

• Формальная грамматика
• Формальная система

Смотреть что такое «Формальная логика» в других словарях:

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

• ФОРМАЛЬНАЯ ЛОГИКА — см. Логика …   Большой Энциклопедический словарь

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

• формальная логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal logic …   Справочник технического переводчика

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

• формальная логика — см. Логика. * * * ФОРМАЛЬНАЯ ЛОГИКА ФОРМАЛЬНАЯ ЛОГИКА, см. Логика (см. ЛОГИКА) …   Энциклопедический словарь

• формальная логика — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …   Automatikos terminų žodynas

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

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

• логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

Формальная Логика — это… Что такое Формальная Логика?



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

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

• формализация
• формальная суппозиция

Смотреть что такое «Формальная Логика» в других словарях:

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

• ФОРМАЛЬНАЯ ЛОГИКА — см. Логика …   Большой Энциклопедический словарь

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

• формальная логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal logic …   Справочник технического переводчика

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

• формальная логика — см. Логика. * * * ФОРМАЛЬНАЯ ЛОГИКА ФОРМАЛЬНАЯ ЛОГИКА, см. Логика (см. ЛОГИКА) …   Энциклопедический словарь

• формальная логика — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …   Automatikos terminų žodynas

• Формальная логика —         наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике …   Большая советская энциклопедия

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

• логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

ЛОГИКА ФОРМАЛЬНАЯ — это… Что такое ЛОГИКА ФОРМАЛЬНАЯ?



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

— англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.

Antinazi. Энциклопедия социологии, 2009

• ЛОГИКА ТРАДИЦИОННАЯ
• ЛОКК

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

• ЛОГИКА ФОРМАЛЬНАЯ — – см. Логика.           Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

• ЛОГИКА, ФОРМАЛЬНАЯ — Логика, основанная на формальных (2) утверждениях, в противоположность логике, основанной на значениях …   Толковый словарь по психологии

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

• Логика формальная — (logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ человек; след.,… …   Народы и культуры

• Логика формальная — изучает формы мысли и их сочетаний безотносительно к их содержанию …   Энциклопедический словарь по психологии и педагогике

• ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания …   Толковый словарь по социологии

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

• логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

• ЛОГИКА ДИАЛЕКТИЧЕСКАЯ —         см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ …   Философская энциклопедия

• “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” —     “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” понятие и термин, введенные И. Кантом в “Критике чистого разума” для обозначения “науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori” и определяющей… …   Философская энциклопедия

Книги

• Логика. 1903, В. Минто. Книга Вильяма Минто Минто В., профессора логики в Абердине Абердин, была написана им в 1893 г. и представляет собой его последний труд. Книга содержит значительнуючасть лекций, прочитанных… Подробнее  Купить за 1949 грн (только Украина)
• Логика. 1903, В. Минто. Книга Вильяма Минто [Минто В.], профессора логики в Абердине [Абердин], была написана им в 1893 г. и представляет собой его последний труд. Книга содержит значительную часть лекций,… Подробнее  Купить за 1734 руб
• Логика норм, А. А. Ивин. Современная формальная логика является очень разветвленной отраслью знания. Логика норм, возникшая в 20-х годах этого века, привлекает сейчас большое и все усиливающееся внимание не только… Подробнее  Купить за 430 руб

Другие книги по запросу «ЛОГИКА ФОРМАЛЬНАЯ» >>

Формальная логика | Britannica

Формальная логика , абстрактное изучение предложений, утверждений или утверждительно используемых предложений и дедуктивных аргументов. Дисциплина абстрагируется от содержания этих элементов структур или логических форм, которые они воплощают. Логики обычно используют символическую нотацию для четкого и недвусмысленного выражения таких структур и для упрощения манипуляций и проверок достоверности. Хотя в следующем обсуждении свободно используются технические обозначения современной символической логики, ее символы вводятся постепенно и с сопровождающими объяснениями, чтобы серьезный и внимательный читатель мог следить за развитием идей.

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

Общие наблюдения

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

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

Получите эксклюзивный доступ к контенту нашего 1768 First Edition с подпиской. Подпишитесь сегодня

Дедуктивные умозаключения, с которыми связана формальная логика, как следует из названия, имеют силу, действительность которых зависит не от каких-либо особенностей их предмета, а от их формы или структуры. Таким образом, два вывода (1) Каждая собака — млекопитающее. Некоторые четвероногие — собаки. ∴ Некоторые четвероногие являются млекопитающими. и (2) Каждый анархист верит в свободную любовь. Некоторые члены правительственной партии — анархисты.∴ Некоторые члены правительственной партии верят в свободную любовь. различаются по предмету и, следовательно, требуют различных процедур для проверки истинности или ложности своих предпосылок. Но их обоснованность обеспечивается тем общим, что у них есть, а именно тем, что аргумент в каждом из них имеет форму (3) Каждые X — это Y . Некоторые Z имеют размер X . ∴ Некоторые Z являются Y .

Строка (3) выше может называться формой вывода, а (1) и (2) тогда являются экземплярами этой формы вывода.Буквы — X , Y и Z — в (3) обозначают места, в которые могут быть вставлены выражения определенного типа. Символы, используемые для этой цели, известны как переменные; их использование аналогично использованию x в алгебре, которое отмечает место, в которое может быть вставлено число. Экземпляр формы вывода создается путем замены всех переменных в ней подходящими выражениями (т. Е. Теми, которые имеют смысл в контексте) и путем выполнения этого единообразного действия (т.е., подставляя одно и то же выражение везде, где повторяется одна и та же переменная). Особенность (3), которая гарантирует, что каждый его экземпляр будет действительным, заключается в его построении таким образом, что каждый единообразный способ замены его переменных, чтобы сделать посылки истинными, автоматически делает и вывод истинным, или, другими словами, что ни один его пример не может иметь истинных предпосылок, кроме ложного заключения. В силу этой особенности форма (3) называется действительной формой вывода. Напротив, (4) Каждые X — это Y .Некоторые Z являются Y . ∴ Некоторые Z имеют размер X . не является допустимой формой вывода, поскольку, хотя могут быть получены его примеры, в которых все предпосылки и заключение верны, могут быть также получены его примеры, в которых посылки истинны, но заключение ложно — например, (5) Каждая собака — млекопитающее. Некоторые крылатые существа — млекопитающие. ∴ Некоторые крылатые существа — собаки.

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

Идея валидной формы предложения тесно связана с идеей валидной формы вывода. Форма предложения — это выражение, экземпляры которого (созданные, как и раньше, соответствующими и единообразными заменами переменных) не являются выводами из нескольких предложений к заключению, а скорее предложениями, взятыми индивидуально, а допустимая форма предложения — это такая, для которой все экземпляры истинные суждения.Простой пример: (6) Ничто не является одновременно X и отличным от X . Формальная логика имеет дело как с формами предложений, так и с формами вывода. Фактически, изучение форм высказывания может быть включено в исследование форм вывода следующим образом: пусть посылки любой данной формы вывода (вместе взятые) будут обозначены аббревиатурой альфа (α), а ее заключение — бета (β). , Тогда указанное выше условие достоверности формы вывода «α, следовательно, β» сводится к утверждению, что ни один экземпляр формы высказывания «α и не-β» не является истинным — i.е., что каждый экземпляр формы предложения (7) Не оба: α и не-β верно — или эта строка (7), разумеется, полностью изложенная, является допустимой формой предложения. Однако изучение форм высказываний не может быть согласовано с изучением форм вывода, и поэтому из соображений полноты обычно формальную логику принято рассматривать как изучение форм высказываний. Поскольку работа логика с формами предложений во многом аналогична работе математика с числовыми формулами, системы, которые он конструирует, часто называют исчислениями.

Большая часть работы логика происходит на более абстрактном уровне, чем в предыдущем обсуждении. Даже формула, такая как (3) выше, хотя и не относится к какому-либо конкретному предмету, но содержит такие выражения, как «каждый» и «является а», которые считаются имеющими определенное значение, а переменные предназначены для обозначения мест для выражений одного вида (грубо говоря, нарицательные существительные или названия классов). Однако возможно — а для некоторых целей это необходимо — изучать формулы, не придавая им даже такой степени значимости.Построение логической системы, по сути, включает два различных процесса: первый состоит в создании символического аппарата — набора символов, правил для объединения их в формулы и правил для манипулирования этими формулами; второй заключается в придании этим символам и формулам определенного значения. Если сделано только первое, система считается неинтерпретируемой или чисто формальной; если последнее также выполняется, говорят, что система интерпретируется. Это различие важно, потому что системы логики обладают определенными свойствами совершенно независимо от любых интерпретаций, которые им могут быть наложены.В качестве примера можно взять аксиоматическую систему логики, т. Е. Систему, в которой определенные недоказанные формулы, известные как аксиомы, принимаются в качестве отправных точек, а дальнейшие формулы (теоремы) доказываются на их основе. Как будет показано позже ( см. Ниже Аксиоматизация ПК), вопрос, является ли последовательность формул в аксиоматической системе доказательством или нет, зависит исключительно от того, какие формулы приняты в качестве аксиом и каковы правила вывода теорем из аксиом. , а вовсе не о том, что означают теоремы или аксиомы.Более того, данная неинтерпретируемая система, как правило, может быть одинаково хорошо интерпретирована множеством различных способов; следовательно, при изучении неинтерпретируемой системы изучается структура, которая является общей для множества интерпретируемых систем. Обычно логик, конструирующий чисто формальную систему, действительно имеет в виду определенную интерпретацию, и его мотивом для построения этого является вера в то, что, когда ему дается такая интерпретация, формулы системы смогут выразить истинные принципы в некоторой области. мысли; но, среди прочего, по указанным выше причинам он обычно заботится о том, чтобы описать формулы и сформулировать правила системы без ссылки на интерпретацию и указать в качестве отдельного вопроса интерпретацию, которую он имеет в виду.

Многие идеи, используемые при изложении формальной логики, включая некоторые из них, упомянутые выше, поднимают проблемы, относящиеся скорее к философии, чем к самой логике. Примеры: Каков правильный анализ понятия истины? Что такое суждение и как оно связано с предложением, которым оно выражено? Существуют ли какие-то здравые рассуждения, которые не являются ни дедуктивными, ни индуктивными? К счастью, можно научиться выполнять формальную логику, не получив удовлетворительных ответов на такие вопросы, так же как можно заниматься математикой, не отвечая на вопросы, относящиеся к философии математики, такие как: являются ли числа реальными объектами или умственными конструкциями?

.

Формальная логика и диалектика

Формальная логика и диалектика

Значение логики Гегеля

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

Например, по словам Джона Стюарта Милля:

Логика — это наука о действиях рассудка, которые подчиняются оценке доказательств: как процесс само продвижение от известных истин к неизвестным, и все другие интеллектуальные операции, поскольку они являются вспомогательными по отношению к этому.Оно включает, следовательно, операция именования; .. Определение и классификация. [ System of Logic , JS Mill]

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

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

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

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

Таким образом, при разработке самых общих закономерностей развития социальной практики, Гегель обязательно открыл законы, которые не являются уникальными или особенными для человеческого состояния, но объективны, материальные законы Природы.Итак, глядя не только на то, что думали думал о себе, но о том, что он делал, Гегель не только и не так много открыли гораздо более богатые средства понимания личности научное сознание, но, что более важно, законы, управляющие развитие коллективной духовной, культурной или социальной активности и материального мира в целом.

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

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

Хотя я думаю, что Джордж Новак совершенно не прав в своем обращении формальной логики в Логике марксизма , его основной начальной Утверждение о справедливости формальной логики глубоко верно:

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

Мы не могли ни действовать, ни думать правильно без сознательного или неосознанно подчиняясь этому закону. Если бы мы не узнали себя как один и тот же человек от момента к моменту и изо дня в день — и есть люди, которые не могут, из-за амнезии или других психические расстройства потеряли сознание самоидентификации — мы бы потерялись.Но закон идентичности не менее актуален для остальная часть вселенной, чем для человеческого сознания. Это относится каждый день и везде в светскую жизнь. Если бы мы не узнали один и тот же кусок металла во всех его различных операциях, мы не мог далеко продвинуться с производством. Если фермер не мог следовать кукурузу, которую он сеет, от семян до колоса, а затем до муки, сельское хозяйство было бы невозможно. …

Младенец делает большой шаг вперед в понимании природы мира, когда он впервые осознает тот факт, что мать, которая его кормит, остается одним и тем же человеком на протяжении различных акты кормления.Признание этой истины — не что иное, как частный случай признания закона личности. [ Логика марксизма , Лекция 1, Часть 4]

Закон идентичности

Таким образом, (продолжая нашу тему приближения к Гегелевской Логике с точки зрения теории познания) восприятие начинается когда мы узнаем что-то , когда мы что-то воспринимаем как постоянный в потоке «одна чертовщина после другой «непосредственного восприятия, когда мы можем сказать» А = А «.Вся формальная логика покоится на этом тождестве вещь с собой, с признанием непрерывности чего-то. Вся формальная логика распадается, когда «А не = А».

Совершенно очевидно, что идентичность — это абстракция , и:

Если это будет офис сравнения, чтобы уменьшить существующие различия Идентичности, науке, которая лучше всего выполняет эту цель это математика . Причина в том, что количественный Разница только в разнице, которая довольно внешняя…. [ Shorter Logic , § 117n] … Если количество не достигнуто через действие мысли, но взяты некритически из наших обобщенное изображение этого, мы склонны преувеличивать диапазон его действительности, или даже возвысить его до абсолютной категория. И что такая опасность реальна, мы увидим, когда заголовок из точных наук ограничивается теми науками, из которых можно подвергнуть математическому расчету. [ Shorter Logic , § 99n]

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

Как указано в приведенной выше цитате из The Shorter Logic , наука об идентичности — математика. Математика — это наука в котором формальная логика применяется в определенном смысле, и в этом особый смысл, приклеивают к непреклонен и с несомненным эвристическая ценность.

В собственно математике следует помнить «А» указывает абсолютно на все; это совсем бессмысленно (Бытие = Ничто) и в предложении «А = А» рабочий символ — «=». Предложение — пустой тавтология, поскольку считается, что A. Если мы сделаем нематематическую интерпретацию «=», например, «это A то же самое, что и A», тогда утверждение тавтологичен, если допустить, что А относится к одному и тому же.Если допустить, что первое A отличается от второго A, то утверждение реально, обоснованно и диалектично, но не математически. (Но, конечно, если бы математику исключили из интерпретируется или применяется «нематематически», быть совершенно бессодержательным).

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

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

На практике мы рассматриваем мир не только как подверженный изменениям, но с учетом наше изменение . В научном мышлении мы рассматриваем объекты критически, как подлежащие анализу и синтезу. К в той степени, в которой мы критически относимся к объекту, рассматриваем реальность как что-то изменить, то мы специально отвергаем закон идентичности и утверждают, что «А не = А», и формальная логика делает перерыв.Здесь мы не можем схватить «А» с цель продвигать его для использования в других отношениях, но цель революционизировать его и раскрыть из его одежды новые A, A-, если хочешь.

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

Закон исключенного среднего

Закон исключенного среднего гласит, что если предложение A не правда, то его отрицание «не-А» верно. Даже в пределах узкие рамки формальной логики этот «закон» ненадежен, и здравый смысл подтвердит мнение, что эта линия рассуждений ненадежный.Голландский логик Брювер реконструировал математическое логика, исключив из правила закон исключенного среднего книга, и показал, что математика потеря. Действительно, квантовая логика Вайзеккера основана на включение значения истинности «неопределенный».

Закон непротиворечия

Закон непротиворечия гласит, что оба предложения A, и его отрицание, не-А, не может быть истинным в пределах одной «теория», в области действия закона идентичность, «А = А».Этот закон действительно является основополагающим для формальная логика.

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

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

Закон достаточного основания

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

Тем не менее, комментарий Гегеля относительно метода действия от недоказанных аксиом весьма уместно и именно это существенно отличает диалектическая логика от формальной логики:

Формальная логика просит эти науки не принимать их предмет как это сразу дано; и тем не менее сама устанавливает закон мысли, не выводя ее — другими словами, не показывая его посредничество.[ Shorter Logic § 121n]

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

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

Понятие, суждение и силлогизм —
Универсальные, частные и индивидуальные

Другой компонент формальной логики — силлогизм, который Гегель подвергается критике в Доктрине понятия.

Силлогизм — это метод вывода, впервые разработанный формальными логика, в которой из двух утверждений выводится третье. Например, «Все A — B», «C — A», , следовательно, «C есть B».

Универсальное, Особенное и Индивидуальное — категории, тесно связанные относящиеся к силлогизму:

• Универсальное — это истина, которая применима всегда и везде, такие как «A», «B» (понятия) и «All A» являются B «в приведенном выше примере, поскольку аспекты знания результат длительного периода общественного развития;
• Человек («C» в приведенном выше примере) — это знание как дано в непосредственном восприятии;
• Частное — это своего рода соединение индивидуального и универсального, конечная, но обобщенная истина («C есть A» и «C это б»).

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

Критика Гегелем формально-логической концепции силлогизма сводится к очень глубокий. Во-первых, его понимание Понятие («А» и «Б») принципиально противоречит формальной логике, как и его понятие суждения (« — это »).В то время как для формальной логики Универсальное, Индивидуальное и Особенное существуют бок о бок и независимо, во внешнем отношении друг к другу, для Гегеля эти категории моменты развития, существенно и в общем связанные друг с другом.

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

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

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

Понятие как понятие содержит три следующих «момента» или функциональные части.(1) Первый — Универсальность — то есть что он находится в свободном равенстве с самим собой по своему специфическому характеру. (2) Вторая — это Частность , то есть конкретная характер, в котором универсальное продолжается безмятежно равным сам. (3) Третий — Индивидуальность , что означает отражение в себе. специфики универсальности и частности; которое отрицательное самодостаточность имеет полную и изначальную определенность, без потери его самоидентификации или универсальности.[ Shorter Logic , § 162]

Понятие и абстрактное универсальное

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

Это понятие обычно ассоциируется в нашем сознании с абстрактным общность, и по этой причине ее часто называют общей концепция. Соответственно, мы говорим о понятиях цвета, растения, животное и т. д. Предполагается, что их можно получить, пренебрегая особенности, отличающие разные цвета, растений и животных друг от друга, и, сохраняя эти общие в торговый центр…. Но универсальность понятия не просто совокупность характеристик, общих для нескольких вещей, с которыми сталкивается конкретная которая имеет собственное существование. Напротив, самоопределение или самоопределение, и с неограниченной ясностью чувствует себя как дома в своей противоположности. Ради познания и для нашего практического поведения крайне важно, чтобы реальное универсальное не следует путать с тем, что просто проводится совместно. ,..

Универсальное в своем истинном и всеобъемлющем значении — это мысль что, как мы знаем, потребовалось тысячи лет, чтобы заставить его войти в сознание мужчин. [ Shorter Logic , § 163n, Субъективное понятие]

Неудивительно, что Гегель считает логику, основанную на понятии, абстрактной. универсальный, как просто «зевок»! Это очень банальные вещи, а когда нетривиально обычно ложь. При тщательной проработке до чрезвычайно высокого уровня сложности, как в развитых отраслях математики, это может дать некоторый интерес, но имеет очень ограниченную область истины, что то же самое, что домен, отмеченный сроком действия Закона Идентичность, широко узнаваемая как то, что известно в математике как теория множеств, теория групп и так далее.

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

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

Но опять же применимы те же комментарии, что и выше. Поскольку «А = A «, поскольку отношения между вещами остаются неизменными, поскольку задуманные вещи остаются отдельными и отличными, а вещи остаются идентичными своему понятию, понятию абстрактного универсального сохраняет в силе.Вся логика Гегеля составляет более глубокое понятие «понятие», и с точки зрения концепции Гегеля, легко увидеть, насколько ограничены возможности формальной логики. понятие абстрактного универсального. Эти аспекты формальной логики рассматривается в Части III Гегеля Логика , Доктрина Notion.

Вопрос в том, как понять и распознать границы формальная логика.

Ограничения и отрицание формальной логики

Конечно, на этот вопрос нет простого формального ответа.В противном случае формальная логика уже обнаружила бы это!

Вся логика Гегеля учит нас, как определять пределы концепции или предложения. Например, в Доктрине Бытия, мы изучаем диалектику меры, которая выражает пределы количества и качества. Статья Троцкого Азбука Материалистическая диалектика фокусируется на этом ограничении формального По логике, каждое понятие имеет свои пределы «толерантности».В Доктрине Сущности мы изучаем, среди прочего, диалектику формы и содержания. Короче говоря, Гегель показывает и учит «искусство обращения с концепциями». Как Гегель не раз жалуется, формальная логика некритически принимает не только вещи он видит в объективном мире, но категории, которые он использует для понять реальность.

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

Например, легко сказать: «А — это Б», «Все B есть C «, следовательно,» A есть C «, но что такое B? «Артур — полицейский», «Полицейские работают на зарплата », следовательно,« Артур — рабочий », следовательно, … и т. д. и т. д. И вы можете толкать определения как можно больше как хотите, делая их «более точными», и это делает приблизит вас к пониманию социальных отношений между людьми.«Рабочий» — физическое лицо и социальная категория. Социальные категории имеют существование и законы, которые нельзя отождествлять со многими индивидуальными отношениями. Рабочая класс не может быть изъят из записей налоговой инспекции перечислить всех, кто получал заработную плату в прошлом финансовом году. Целое — это , а не , равное сумме частей.

Сложность, математика и диалектика

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

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

Необходимость эмпирической науки для изучения этих явлений объясняется следствием теоремы Гёделя, обнаруженным Алан Тьюринг, основатель информатики: что в любом вычислительном системе есть хотя бы один алгоритм, результаты которого не могут в принципе предсказуемо.Это немного банальная истина для всех кто запрограммировал сложную компьютерную систему!

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

Такие сложные системы изначально делятся на два типа: атомарные отношения приводят к статической или повторяющейся структуре в массе, где механическое применение формально-логических анализ действителен, а те, которые приводят к хаосу, где Закон больших чисел и теории вероятностей. Простая мера полученный из атомарных отношений, указывает, может быть структурированным или хаотичным. Но есть еще и третий случай, пограничный или переходный случай, когда атомарные отношения приводят к «сложному поведению», богатому по форме, скачкам, внезапным трансформации и динамические структуры, все в принципе непредсказуемо с точки зрения формальной логики.

Кроме того, эмпирически установлено, что если подсистемы обладают способностью воспроизводиться и видоизменяться в некоторых способ (нормальное состояние любого значимого «реального» система), таким образом изменяя баланс атомных отношений, система со временем либо «умрет», либо тянется к сложная переходная система, из хаотической или структурированной состояние в сложное, от стабильной, предсказуемой системы до одной порождая сложные, «революционные» явления.эмпирический компьютерное моделирование воспроизвело аналоги систем (неврологические или социальные), которые узнают происхождение жизни от «первобытного суп », пунктирная эволюция и др.

Ученые, выполняющие эту работу, серьезно заявили о себе. озабоченность состоянием мировой экономики, особенно после конец относительно стабильного периода холодной войны, и стать поклонниками Гераклита или даосизма; что интересно, ни один из они до сих пор признали, что очень точная наука о логика сложности уже существует в «Логике» Гегеля.

Формальная логика в природе и обществе

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

Но следует отметить, что очень много физики и химии даже сегодня модель атома «твердого шара» вполне Достаточно для практических и теоретических работ.

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

---

,

Формальная система | логика | Britannica

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

Подробнее по этой теме

металогик

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

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

В аксиоматической системе примитивные символы не определены; и все другие символы определены в их терминах. В постулатах Пеано для целых чисел, например, 0 и ′ принимаются как примитивные, а 1 и 2 определяются как 1 = 0 ′ и 2 = 1 ′. Точно так же в геометрии такие понятия, как «точка», «линия» и «лежит на», обычно считаются примитивными.

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

Получите эксклюзивный доступ к контенту нашего 1768 First Edition с подпиской. Подпишитесь сегодня

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

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

.

Введение в формальную логику

С помощью электронного подарка вы можете мгновенно отправить отличный курс другу или любимому человеку по электронной почте. Все просто:

1. Найдите курс, который вы хотите сделать электронным подарком.
2. В разделе «Выберите формат» нажмите «Загрузка видео» или «Загрузка аудио».
3. Нажмите «Отправить электронный подарок»
4. Заполните детали на следующей странице. Вам понадобится адрес электронной почты вашего друга или члена семьи.
5. Продолжите процесс оформления заказа как обычно.

После того, как вы оплатите свой заказ, ваш друг или близкий получит электронное письмо с уведомлением о том, что на сайте TheGreatCourses.com их ждет подарок. Этот подарок будет добавлен в их мою цифровую библиотеку, когда они войдут в систему и нажмут, чтобы использовать его.

Зачем нужно указывать электронную почту получателя?

Мы отправим этому человеку электронное письмо, чтобы уведомить его о вашем подарке.

Если они уже являются покупателями, они смогут добавить подарок в свою электронную библиотеку и мобильные приложения.

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

Как мой друг или член семьи узнают, что у них есть подарок?

Они получат электронное письмо от The Great Courses с уведомлением о вашем электронном подарке. Письмо направит их на сайт TheGreatCourses.com.

Что делать, если мой друг или член семьи не получает письмо?

Если уведомление по электронной почте отсутствует, сначала проверьте папку со спамом.В зависимости от вашего почтового провайдера, он мог быть ошибочно отмечен как спам. Если он не найден, напишите в службу поддержки клиентов по адресу ([email protected]) или позвоните по телефону 1-800-832-2412 для получения помощи.

Как я узнаю, что они получили мой электронный подарок?

Когда получатель нажимает на свой адрес электронной почты и выкупает свой электронный подарок, вы автоматически получаете уведомление по электронной почте.

Я не хочу отправлять загрузки. Как подарить DVD или CD?

eGifting распространяется только на цифровые продукты.Чтобы купить версию курса на DVD или CD и отправить ее другу, позвоните в службу поддержки клиентов по телефону 1-800-832-2412 для получения помощи.

Ой! Получатель уже владеет подаренным мной курсом. Что теперь?

Великие умы думают одинаково! Мы можем обменять курс eGifted на другой курс равной стоимости. Для получения помощи позвоните в службу поддержки клиентов по телефону 1-800-832-2412.

Могу ли я выбрать дату в будущем для отправки электронного подарка?

Извините, эта функция пока недоступна.Мы работаем над его добавлением в будущем.

Что делать, если электронная почта, связанная с eGift, не относится к моей обычной учетной записи Great Course?

Напишите в службу поддержки клиентов по адресу ([email protected]) или позвоните в нашу службу поддержки по телефону 1-800-832-2412 для получения помощи. У них есть возможность обновить адрес электронной почты.

Почему я должен создавать учетную запись при покупке подарка для кого-то?

Это сделано по двум причинам. Во-первых, вы можете отслеживать покупку заказа в разделе «История заказов», а также позволить нашей команде обслуживания клиентов отслеживать вашу покупку и человека, который ее получил, если возникнет такая необходимость.

Могу ли я вернуть или обменять подарок после покупки?

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

,