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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Заслуга Аристотеля состоит в том, что он впервые глубоко исследовал дедуктивные умозаключения и создал учение о силлогизме. Силлогизмом он называл высказывание, в котором «при утверждении чего-либо из него необходимо вытекает нечто отличное от утвержденного, и именно в силу того, что это есть». В силлогизме из двух определенных суждений (посылок) получается третье суждение (вывод). Например:

Все металлы теплопроводны;

Железо - металл;

Следовательно, железо - теплопроводно.

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

«В силлогизме (во всех трех суждениях) должно быть только три термина (в приведенном примере понятия „металл", „железо" и „теплопроводность")»;

«Если одна из посылок является отрицательной, то и вывод будет также отрицательным и не может быть утвердительным»;

«Из двух отрицательных посылок нельзя получить с помощью силлогизма никакого вывода»;

«Если одна из посылок частная, то и вывод, если он вообще возможен, должен быть только частным» и др.

Основные понятия формальной логики:

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

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

Понятие - это мысль, в которой обобщены и выделены в класс предметы на основе системы признаков, общей только для предметов этого класса.

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

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

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

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

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

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

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

Законы Формальной логики

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

Закон тождества

Обычно этот закон формулируется так: «Каждая мысль в процессе данного рассуждения должна сохранять одно и то же содержание, сколько бы раз она ни повторялась». Мышление не может привести к положительному результату, если в процессе рассуждения о каком-либо предмете мы будем вкладывать в понятие об этом предмете то одно, то другое содержание. Рассмотрим, например, такой силлогизм:

Все металлы - простые тела;

Бронза - металл;

Бронза - простое тело.

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

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

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

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

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

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

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

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

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

Формальная логика сформулировала определенный принцип, закон, который нельзя нарушать в любом мыслительном акте и который утверждает, что «два суждения, из которых в одном утверждается нечто о предмете мысли (например, «все металлы теплопроводны»), а в другом то же самое отрицается об этом же предмете мысли (например, «некоторые металлы нетеплопроводны»), не могут быть истинными, если суждения высказаны в одно и то же время одном п том же отношении». В логике этот закон называется законом противоречия, иногда его называют законом непротиворечия. Иначе говоря, суждения «А есть B» и «А не есть B» не могут быть одновременно истинными. Древнегреческий философ и учёный Аристотель дал такую формулировку этого закона: «Невозможно что-либо вместе утверждать и отрицать».

Принцип непротиворечия требует, чтобы мышление было последовательным. Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т.е. запрещает одновременно принимать некоторое утверждение и его отрицание. Противоречия в языковых контекстах иногда являются неявными. Так, известное утверждение Сократа “Я знаю, что я ничего не знаю” скрывает в себе противоречие. В самом деле, если Сократ знает, что он ничего не знает, то он и этого не знает.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

«Городничий. Кто, какой чиновник?

Бобчинский. Чиновник-та, о котором изволили получить нотацию, ревизор.

Городничий (в страхе). Что вы, господь с вами! Это не он.

Добчинский. Он! И денег не платит, и не едет. Кому же б быть как не ему? И подорожная прописана в Саратов.

Бобчинский. Он, он, ей-богу он... Такой наблюдательный. Все обсмотрел. Увидел, что мы с Петром-то Ивановичем ели семгу,- больше потому, что Петр Иванович насчет своего желудка... да, так он и в тарелки к нам заглянул. Меня так и проняло страхом.

Городничий. Господи, помилуй нас, грешных. Где же он там живет?»

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

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

логика закон абстрактное конкретное

На форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к изучаемым объектам и отграничить ее тем самым от др. возможных логик (см. ЛОГИКА).

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

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

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

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

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

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

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

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

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

В развитии совр. Ф. л. особую роль играют вопросы ее приложений, особенно в вычислит. математике и технике, кибернетике и теории информации, лингвистике математической и пр. (см., напр., ст. Логические машины , Логические схемы автоматов). Связующим звеном между Ф. л. и вычислит. математикой исторически явилась , к-рая развилась в результате попыток свести силлогистич. методы решения логич. задач к алгебраич. методам их решения, образовав, т.о., первое алгебраич. направление в совр. Ф. л. – алгебру логики (см. также Теоретико-множественная логика). Дальнейшим развитием алгебраич. направления явилось объединение алгебры логики и логики предикатов в теории конечных автоматов, расширение алгебры логики в сторону "алгебраизации" логики предикатов – теория моделей и математич. теория структур. Другую – "арифметическую" – ветвь, связавшую Ф. л. и вычислит. математику, образуют теория рекурсивных функций и предикатов (см. также ст. Алгоритм , Массовая проблема, Разрешимое и перечислимое множества , Сводимость), исчисление λ-конверсии (см. Оператор абстракции , Функция), и др. Из общих науч. приложений Ф. л. следует отметить вопросы, связанные с задачами уточнения понятия науч. закона (см. Диспозициональный предикат , Каузальная импликация, Номологические высказывания , Связь), с попытками применения логики в биологии и физике (см. Логика квантовой механики), в этике и юриспруденции (см. Нормативная логика). Успехи, достигнутые в формальной теории дедукции, способствовали применению точных методов в разработке широкого комплекса проблем теории индукции и индуктивной логики (см. ст. Логика индуктивная , раздел Современная , ст. Научная , Неполная индукция, Популярная индукция), и вероятностной логики.

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

М. Новосёлов, Г. Рузавин, П. Таванец. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

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

См. Логика … Большой Энциклопедический словарь

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

формальная логика - — Тематики электросвязь, основные понятия 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

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

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

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

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов - различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

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

(2) Следователь - юрист. Следовательно, образованный следователь - образованный юрист.

Заменив нелогические термины символами, получим:

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

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

Таким образом, логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

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

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

Суждениями называются мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: “Человек получил от Бога две блаженные способности - говорить правду и творить добро”; “Лучший способ изучить что-то - открыть это самому”.

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

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм “некоторые S суть Р” и “некоторые Р суть S” существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

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

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь - юрист. Следовательно, образованный следователь - образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха - животное. Следовательно, крупная муха - крупное животное.

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

Имея понятия логической формы и логического закона, можно дать определение формальной логике.

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

Исследуя необходимые связи между мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм “Все М суть Р” и “Все М суть S”, истинна мысль формы “Некоторые S суть Р”, можно сформулировать закон логики: “Для любых S, Р и М верно, что если все М суть Р и все М суть S, то некоторые S суть Р”. Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются также требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

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

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

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

Упражнение

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

1. Все преступники подлежат уголовному наказанию. Некоторые жители Москвы подлежат уголовному наказанию. Следовательно, некоторые жители Москвы - преступники.

2. Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.

3. Некоторые участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Никто из лиц, не участвовавших в совершении этого преступления, не привлечен к уголовной ответственности за его совершение. Следовательно, ни один из членов семьи Петровых не привлечен к уголовной ответственности за совершение этого преступления.

4. “Если умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер.” (Эмпирик Секст. Соч. В 2 т. М., 1976. Т. 2. С. 289).

5. Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

ИЗ ИСТОРИИ ЛОГИКИ

Формальная логика - одна из самых древних наук. Она начала разрабатываться в Древней Греции в VI-V вв. до н.э. Немного позже фрагменты логической науки возникли независимо в Древней Индии, где первыми логиками были Даттария Пунарваса Атрея, женщина-аскет Сулабху и Аштвакра. Греческая логика распространилась позднее в Западной и Восточной Европе и на Ближнем Востоке, а индийская - в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии.

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

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

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

Ещё одним стимулом создания науки логики были запросы математики, где требовались строгие доказательства.

В Древней Греции логику разрабатывали Парменид (VI-V вв. до н.э.), Зенон из Элеи (ок. 500/490 - ок. 430 г. до н.э.), Демокрит (ок. 460 - ок. 370 г. до н.э.), Сократ (470/469 - 399 гг. до н.э.), Платон (428/27 - ок. 348 гг. до н.э.). Однако основателем науки логики по праву считается величайший мыслитель древности ученик Платона - Аристотель (384-322 гг. до н.э.). Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике “Категории”, “Об истолковании”, “Первая аналитика”, “Вторая аналитика”, “Топика”, “О софистических опровержениях”), которые впоследствии были объединены под общим названием “Органон” (орудие познания).

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

После Аристотеля в Древней Греции логика разрабатывалась стоиками (IV-II вв. до н.э.). Значительный вклад в латинскую логическую терминологию внесли древнеримский судебный и политический оратор М.Т.Цицерон (106-44 гг. до н.э.) и древнеримский теоретик ораторского искусства и оратор М.Ф.Квинтилиан (ок. 35 - ок. 96 г. н.э.).

Логику разрабатывали арабоязычные учёные Аль-Фараби (ок. 870-950 г.) и др., а также европейские логики Средних веков. Средневековая логика называется схоластической. Её расцвет относят к XIV в. и связывают с именами Уильяма Оккама (ок. 1294- 1349/50 г.), Уолтера Бёрли (1273/75-1337/57 гг.), Альберта Саксонского (ок. 1316-1390 г.).

Логика развивалась в эпоху Возрождения и Новое время. В 1620 г. в Лондоне был опубликован написанный известным философом Френсисом Бэконом (1561-1626) “Новый Органон”, в котором содержались основы индуктивных методов, усовершенствованных позже Джоном Стюартом Миллем (1806-1873) и получившие название методов установления причинных связей между явлениями (методов Бэкона-Милля).

В 1662 г. в Париже был издан ставший знаменитым учебник “Логика Пор-Рояля”. В 1991 г. переведён на русский язык. Его авторы П.Николь и А.Арно создали логическое учение, основанное на методологических принципах известного философа Р.Декарта (1596-1650).

Логика, основанная на учении Аристотеля, во многом дополненная и развитая, существовала до началаXX в.В начале XX в. в логике произошла своеобразная научная революция, связанная с широким применением методов так называемой символической, или математической, логики. Идеи последней высказаны немецким ученым Г.В.Лейбницем (1646-1716): "Единственное средство улучшить наши умозаключения - сделать их, как и у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, если среди людей возникнет спор, нужно сказать: “Посчитаем!”, тогда без особых формальностей можно будет увидеть, кто прав”.

Идея Лейбница о возможности и продуктивности сведения рассуждении к вычислениям в течение многих лет не находила развития и применения. Символическая логика начала создаваться лишь в середине XIX в. Ее развитие связано с деятельностью Дж. Буля, А.М. Де-Моргана, Ч.Пирса, Г.Фреге и других известных ученых. Значительный вклад в создание символической логики внесли русские ученые П. С. Порецкий, Е.Л. Буницкий и др.

Таким образом, к началу текущего столетия символическая логика оформилась в качестве относительно самостоятельной дисциплины в рамках логической науки. Первым капитальным трудом по символической логике была работа Б.Рассела и А.Уайтхеда “Principia mathematica” (3 тома), вышедшая в 1910-1913 гг. Применение методов символической логики к решению проблем, поставленных традиционной логикой, а также проблем, которые даже не могли быть ею поставлены, вызвало в начале XX в. революцию в логике. Именно использование методов символической логики отличает логику современную от традиционной. Вместе с тем в современной логике сохраняются все достижения и вся проблематика традиционной логики.

Диалектическая логика также имеет древнее происхождение. Идеи диалектики мышления восходят к древневосточной и античной философии. Основные категории диалектической логики использовались уже в ранней греческой классике (VI-V вв. до н.э.), однако, они не были объединены в систему, и диалектическая логика была далека от выделения в самостоятельную науку. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи этой логики высказывались средневековыми философами. Классические формы диалектической логике придали немецкие философы Нового времени: Кант, Фихте, Шеллинг и, в особенности, Гегель. Диалектическая логика Гегеля является систематическим учением, созданным с позиции объективного идеализма.

Диалектическую логику на материалистической основе разрабатывали К.Маркс, Ф.Энгельс и В.И.Ленин. Дальнейшее развитие она получила в трудах современных философов.

Контрольные вопросы

1. Каковы основные черты абстрактного мышления? 2. Что собой представляет форма мысли и как она появляется? 3. Понятие и способы выявления закономерной связи между мыслями. 4. Что изучает формальная логика? 5. В чём различие между логикой традиционной и современной?

ГЛАВА II

ЛОГИКА И ЯЗЫК ПРАВА

СПЕЦИФИКА ЯЗЫКА ПРАВА

Особая область отношений, регулируемых правом, (правоотношения) обусловливает специфику языка права. Эта специфика заключается в употреблении терминов, которые должны пониматься единообразно разными людьми в различных случаях и ситуациях. Такие термины называются юридическими. Например, в обыденной жизни мы можем употреблять выражения “Сегодня ночью был дождь”, “Сегодня ночью на улице был сильный шум”, “Петров - коренной москвич”, “Иванов является участником Великой Отечественной войны”. Входящие в эти выражения слова и словосочетания “ночь”(“ночное время”), “коренной москвич”, “участник ВОВ” разными людьми понимаются по-разному. Так, время 22 часа 50 минут одни отнесут к ночному времени, а другие к вечернему, одни считают коренным москвичом человека, родившегося в Москве, другие - человека, у которого к тому же и родители родились в Москве, третьи - того, кто много лет живёт в Москве, одни считают участниками ВОВ только тех, кто непосредственно участвовал в боевых действиях, а другие - ещё и тех, кто находился на фронте, но непосредственно не участвовал в боевых действиях (к примеру, хирургов, работавших в полевых госпиталях). Такая неопределённость выражений обыденного языка оказывается неприемлемой при решении правовых вопросов.

Допустим, что имеется закон, запрещающий ночные полёты самолётов над крупными населёнными пунктами. Самолёт пролетает над городом в 22 часа 50 минут. Нарушен закон или нет? Другая ситуация. Несколько лет назад было принято постановление о постановке на очередь коренных москвичей, проживающих в коммунальных квартирах, для получения ими отдельных квартир. Кто имеет право на постановку на очередь? Третий случай. В Думе решается вопрос о льготах участникам ВОВ. Для этой цели выделяется особая статья в бюджете. Как подсчитать расходы на эти цели, не уточнив, кого следует считать участником ВОВ?

Чтобы избежать неопределённостей, взамен выделенных выше выражений обыденного языка, вводят юридические термины посредством следующих определений: “Ночное время - это время с 10 часов вечера до 6 часов утра”, “Коренной москвич - это человек, который прожил в Москве 40 лет”, “Участник BOB - это человек, который служил в действующей армии”.

Такой способ введения юридических терминов (посредством выделения одного из смыслов, в которых выражение употребляется в естественном языке) - не единственный. Другой способ - придание выражению ещё и некоторого дополнительного смысла, по сравнению с общепринятым. Пример: “Совершенным впервые является преступление, если оно совершено фактически первый раз, или истёк срок давности привлечения за предыдущее преступление, или судимость снята или погашена”.

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

Кроме юридических терминов в языке права используются и не уточняемые в нем выражения. Это выражения, которым придан точный смысл в других науках, а также те, которые не являются многосмысленными в обыденном языке. Так, определяя коренного москвича как человека, который прожил в Москве 40 лет, мы однозначно понимаем выражения “жить в Москве”, “40 лет”, “человек”. Эти выражения не нуждаются в уточнении.

ВВЕДЕНИЕ
ГЛАВА 1. Логика формальная и диалектическая
ГЛАВА 2. Основные этапы развития логической науки
ГЛАВА 3. Логика и формирование культуры мышления
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

ВВЕДЕНИЕ

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

Логическая культура приобретается в ходе общения, учебы в школе и ВУЗе, в процессе чтения литературы.

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

Знание логики является неотъемлемой частью любого образования. Знание правил и законов логики не является конечной целью ее изучения. Конечная цель изучения логики — умение применять ее правила и законы в процессе мышления.

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

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

ГЛАВА 1. ЛОГИКА ФОРМАЛЬНАЯ И ДИАЛЕКТИЧЕСКАЯ

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

Во-первых, этим словом обозначают закономерности в изменении и развитии вещей и явлений объективного мира. Закономерности в изменении и развитии вещей и явлений объективного мира называют объективной логикой.

Во-вторых, словом “логика” обозначают особые закономерности в связях и развитии мыслей. Эти закономерности называют субъективной логикой. Закономерности в связях и развитии мыслей являются отражением объективных закономерностей.

Логикой называют также науку о закономерностях в связях и развитии мыслей.

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

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

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

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

ГЛАВА 2. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИЧЕСКОЙ НАУКИ

Формальная логика — одна из древнейших наук. Отдельные фрагменты логической науки начинают разрабатываться с 6 веке до н. э. в Древней Греции и Индии. Индейская логическая традиция распространилась позднее в Китае, Японии. Тибете, Монголии, на Цейлоне и в Индонезии, а греческая — в Европе и на Ближнем Востоке.

Первоначально логика разрабатывалась в связи с запросами развития ораторского искусства как часть риторики. Это связь прослеживается в Древней Индии, Древней Греции и Риме. Так, в общественной жизни Древней Индии в период, когда проявился интерес к логике, дискуссии были постоянным явлением. Об этом пишет известный русский востоковед академик В.Васильев: «….Как видно, право красноречия и логических доказательств было до такой степени неоспоримо в Индии, что никто не смел уклонится от вызова на спор».

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

Другим стимулом развития логики были запросы математики.

В Древней Греции проблемы логики исследовали Демокрит, Сократ, Платон. Однако основателем науки логики по праву считается величайший мыслитель древности, ученик Платона — Аристотель. Именно он впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике, которые впоследствии были объединены под общим названием «Органон». Логика, основанная на учении Аристотеля, существовала до начала 20 века. Она носит название традиционной формальной логики.

Формальная логика в своем развитии прошла два основных этапа.

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

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

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода — огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж. С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона — Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Начало 20 века знаменует своеобразная научная революция в логике, связанная с широким применением методов так называемой символической, или математической логики. Идеи ее высказаны немецким ученым Г.В. Лейбнице: «….Единственное средство улучшить наши умозаключения — сделать их, как и у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, ели среди людей возникнет спор, нужно сказать: «Посчитаем!», тогда без особых формальностей можно будет увидеть, кто прав».

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

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

1. Область исследования составляют обыденные рассуждения;
2. Допущение о разрешимости любой проблемы;
3. Отвлечение от содержания высказываний и от связей по смыслу между ними;
4. Абстракция двузначности высказываний.

В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин.

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

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

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

ГЛАВА 3. ЛОГИКА И ФОРМИРОВАНИЕ КУЛЬТУРЫ МЫШЛЕНИЯ

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

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

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

Рассмотрим основные особенности мышления.

1. Мышление отражает действительность в обобщенных образах. В отличие от чувственного познания — мышление абстрагируется от единичного, выделяет в предметах общее, повторяющееся, существенное. Абстрактное мышление глубже проникает в действительность, открывает присущие ей законы.
2. Мышление – процесс опосредствованного отражения действительности. При помощи органов чувств можно познать лишь то, что действует на них.
3. Мышление неразрывно связано с языком. При помощи языка люди выражают и закрепляют результаты своей мыслительной работы.
4. Мышление — процесс активного отражения действительности. Активность характеризует весь процесс познания в целом, но, прежде всего, – мышления.

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

Логика – необходимый инструмент, освобождающий от личных, ненужных запоминаний, помогающий найти в массе информации то ценное, что нужно человеку. Она нужна “любому специалисту, будь он математик, медик, биолог” (Анохин Н.К.).

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

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. Гейтманова А.Д. Учебник по логике. – М., 1995.
2. Иванов Е.А. Логика. – М.,1996.
3. Краткий словарь по логике. Под ред. Горского. — М.: Просвещение, 1991.
4. Кириллов В.И., Старченко А.А. Логика.: Издание 5-е, 1991.