Что изучает формальная логика. Формальная логика и ее основные законы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ВВЕДЕНИЕ.

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

ЗАКЛЮЧЕНИЕ.

ВВЕДЕНИЕ

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

ЛОГИКА КАК НАУКА О МЫШЛЕНИИ

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

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

Неязыковые знаки это показатели, символы и сигналы. Языковые или описательные термины используются в целях общения и обозначения имени и значения предмета. Имя это языковое выражение для обозначения предмета. Имя предмета может быть простым (туризм, рынок), сложным (денежная система), собственным (ЗАО «Мостуризм»), общим (туристическая компания).

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

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

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

Выявление наиболее общих свойств и отношений между предметами и явлениями;

Фиксации свойств и характеристик самих мыслей и отношении между ними.

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

Логика изучает именно эту рациональную ступень познания и мышления, его опосредованную способность перехода от старых знаний к новым, не обращаясь каждый раз к опыту. Для этого используется выводное знание, полученное путем рассуждений из старых знаний. Если известно, что “где дым, там и огонь. На холме – дым. То вывод: “на холме – огонь” – истинен, если истинно исходное знание и соблюдены требования логики.

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

Каким образом делает это логика? Прежде всего, изучая формы, структуру и правила мышления в отвлечении их от конкретного содержания. При этом термин “логика” употребляется в двух основных смыслах.

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каково содержание понятия «язык»? В чем отличие естественного языка от искусственного?
Что такое имя предмета, его значение и смысл?
Какие существуют логические формы мышления?
Назовите основные этапы развития логики.

2. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.

1. Понятие логического закона.

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

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

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

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

Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор’’или – или”, в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину от лжи. Четвертый закон менее нормативен и имеет ограниченное применение.

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

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

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

В то же время противоположные суждения могут быть истинными в следующих случаях:

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

Так в диалоге “Государство” Платон обучает спорщиков, как ставить вопросы: благо ли государство? – и отвечает на них, подчеркивая различное видение и отношение к благу.

Характер суждения может кардинально меняться и во времени. По этому поводу Аристотель пишет: “Самое достойное из всех начал то, по отношении к которому невозможно ошибиться. Оно должно выступать как безусловное. Такое начало не гипотеза. Что же это за начало? – Невозможно, чтобы одно и тоже было и не было присуще одному и тому же в одном том же смысле. Это самое достойное из начал” (МЕТАФИЗИКА). Это положение "R(RÙP) направлено против Гераклита, и против софистов, фактически отрицая противоречие.

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

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

Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. “Один из членов противоречия должен быть истинным”, - отмечал Аристотель. В символической форме закон записывается "R(RVR): не ложно, не ложно; или истинно, или ложно. Этот закон и его действие не сводимо к будущему, где событие либо состоится, либо нет. Закон альтернативен в характеристике вещей, гипотез и путей решения проблем, требует выделять различные подходы и определить истинный.

Например, следует усилить роль государства в экономике – и сохранить либеральный курс. Если одно из них правильно, то другое ложно.

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

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, о всей полноте исследования объекта.

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

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышления термин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

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

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

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

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

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

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

3. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

1. Сущность и структура понятия.

2. Закон обратного соотношения содержания и объема понятия.

3. Отношения между понятиями.

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

Признаками называются черты сходства или несходства (различия) предметов. Сходные признаки именуются общими, в них находит выражение тождество предметов в некотором отношении. Термин “признак” обозначает то, в чем предметы связаны друг с другом или отличны один от другого. Роль признаков выполняют качества, свойства, связи и отношения. Признаки делятся на простые и сложные, положительные и отрицательные. Положительными и отрицательными являются только простые признаки. Например, простой положительный признак – быть туристом и наоборот – не быть туристом. Понятия делятся на единичные, в которых мыслится один предмет (студент Иванов, парламент России), и общие, о множестве однородных предметов с одинаковыми признаками (студент, турист, менеджер).

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

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

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

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

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

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

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

Отношения между понятиями по их объему хорошо просматриваются по схеме:

Совместимые : Несовместимые

1. Равнообъемные: А – Коммерция 1. Соподчинение

В - Предпринимательство А – политика

В – экономическая

политика

С – национальная

политика

2. Перекрещивание А - Инженер 2. Контрарность –

В – Изобретатель противоположность:

старый – молодой

3. Подчинения А- Турист 3.Контрадикторность -

В – Пеший турист противоречие:

знающий - незнающий

Взаимосвязь предметов материального мира влияет и на отношения понятии. Те понятия у которых нет общих признаков называются несравнимыми.

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия имеют полное или частичное совпадение объемов. У них нет признаков, которые это запрещают. Совместимость включает:

Равнообъемность, где мыслится один и тот же предмет. Объемы понятии полностью совпадают: агент, брокер, дилер;

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

Отношение подчинения, где объем меньшего, подчиненного понятия входит в состав большего по объему, подчиняющего понятия: доллар – валюта.

Несовместимые понятия имеют отношения: соподчинение (координация), где в общее родовое понятие входят два или более понятий: акции простые, акции привилегированные;

Противоположность (контрарность), где одно из понятий отрицает признаки другого понятия;

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каков смысл понятия как логической формы мышления?
Каковы соотношения между содержанием и объемом понятия?
Какие бывают виды понятий?
ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ.
Определение понятий.
Деление понятий.
Обобщение и ограничение понятий.

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

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

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

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

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

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

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

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

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

В науке и практической деятельности широко применяются неявные определения. К их видам относятся:

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

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

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

В остенсивных определениях значения слов выясняют путем показа предметов.

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

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

Деление конкретизирует знание о предметах, соответствующих делимому понятию.

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

Таксономическое деление идет: по видовому признаку, дихотомическим путем и классифицированием.

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

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

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

Классификации бывают научными, искусственными и вспомогательными.

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каковы основные виды отношений между понятиями по содержанию и по объемам?
Какие логические операции проделывают с понятиями?
Каковы возможности ошибки операции определения?
Каковы правила деления и возможные ошибки?

5. СУЖДЕНИЯ, ИХ ВИДЫ И ОТНОШЕНИЯ МЕЖДУ НИМИ.

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

Мысль доступна другим людям при её выражении в языковой форме. Формой выражения высказываний являются предложения. Но не всякое предложение – высказывание /суждение/. Вопрос или просьба не несут в себе утверждения или отрицания чего-либо.

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

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

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

Логика выделяет в структуре суждения субъект, предикат, связку и квантор. Субъект это логическое подлежащее или понятие о предмете суждения. Субъект обозначается буквой S, и обозначает новое знание, которое необходимо доказать. Предикат суждения это понятие о признаке предмета, которое обозначает известное знание. Обозначается буквой Р. Предикат должен быть более известен, чем субъект, менее проблематичен, должен признаваться всеми участниками. Например, менеджмент (S) это наука об управлении персоналом (Р).

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

Квантор, это слово, которое указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Выражается словами: «все», «ни один», «некоторые» и т.д. Например «Все туристические маршруты должны быть интересными».

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

Аподиктические (суждения необходимости) – отображают признак, необходимый при всех условиях.

Юрист должен мыслить логично. Мир познаваем.

Проблематические (суждения возможности) – отображают вероятность наличия или отсутствия у предмета того или иного признака.

Последние два вида суждения широко рассматриваются в математической логике.

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

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

Например, все туристы путешественники.

Отрицательные суждения говорят об отсутствии свойств у предмета, т.е. S не – есть Р, или S есть не – Р.

Например, некоторые предприниматели – неинженеры.

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

По качеству и количеству простые категорические суждения делятся на

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

Общеотрицательные – общие по количеству и отрицательные по качеству. Формулировка суждения: ни одно S не есть Р. Обозначается буквой Е.

Частноутвердительные – ограниченные по количеству и утвердительные по качеству. Формула: некоторые S есть Р. Обозначаются буквой J.

Частноотрицательные суждения – ограниченные по количеству и отрицательные по качеству. Формула: некоторые S не есть Р. например: некоторые студенты не знают логику. Обозначаются буквой О.

Буквы А, Е, J, О обозначая виды суждений, позволяют экономно строить мысль.

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

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

В суждении «Все инженеры – творцы», субъект распределен, так как объем понятия «инженер» входит, в объем понятия «творцы». Предикат «творцы» не распределен. Распределенность терминов в суждениях отражена в таблице:

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

Для студентов важно по учебной литературе подобрать примеры и характеристики сравнимых и несравнимых суждений. Отношения между сравнимыми суждениями хорошо прослеживаются на основе логической схемы (логического квадрата):

Контрадикторные

Операции превращения и обращения связаны с анализом внутренней структуры суждения и связи между высказываниями.

Непосредственные умозаключения из одной посылки это категорическое суждение AEJO. Непосредственными умозаключениями являются превращенные и обращенные категорические суждения.

Превращения категорического суждения это изменение его качества одновременно с заменой предиката на противоречащий ему термин. Это

А все S суть Р________ J некоторые S суть Р

Ни одно S не суть не Р некоторые S не суть не Р

Е ни одно S не суть Р О некоторые S не суть Р

Все S суть не Р некоторые S суть не Р

Некоторые птицы не водоплавающие

Некоторые птицы живут не в воде

Обращение категорического суждения заключается в перемене местами субъекта и предиката.

А все S суть Р________ обращается с ограничением

Некоторые Р суть S

Все птицы летают

Некоторые летающие – птицы

J некоторые S суть Р Е ни один S не суть Р

Некоторые Р суть S ни один Р не суть S

О. Частноотрицательные суждения не обращаются

Некоторые S не суть Р некоторые студенты не изучают логику

Некоторые Р не суть S

КОНТРОЛЬНЫЕ ВОПРОСЫ:

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

УМОЗАКЛЮЧЕНИЕ: СУЩНОСТЬ И СТРУКТУРА

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

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

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

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

ВИДЫ УМОЗАКЛЮЧЕНИЙ:

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

Правила терминов:

Из двух отрицательных посылок нельзя сделать вывода.
Из двух частных посылок нельзя сделать вывода.
Если одна из посылок отрицательная, то и заключение отрицательное.
Если одна из посылок частная, то заключение частное.

Модус, или вид, это качественные и количественные разновидности посылок и вывода из них. Всего из 256 модусов – 19 правильных. Модус характеризует соблюдение правил и истинности вывода.

Правильные модусы:

1 фигура: ААА, ЕАЕ, АJJ, EJO.

2 фигура: AEE, AOO, EAE, EJO.

3 фигура: AAJ, EAO, JAJ, OAO, EJO.

4 фигура: AAJ, AEE, JAJ, EAO, EJO.

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

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

Пропущено заключение…. Все студенты должны добросовестно учиться.

Ты - студент

Ты должен добросовестно учиться.

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

Все студенты (S) знают логику (Р).

Иванов (S) – студент (Р)

Иванов (S) – знает логику (Р)

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

Например, во второй фигуре:

Ни одна книга (Р) не есть периодическое издание (М).

Журнал (S ) – периодическое издание (М)

Журнал (S) не является книгой(Р).

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

Правила фигур включает:

I фигура: большая посылка – общая, меньшая утвердительная.

II фигура: большая посылка – общая, одна из посылок – отрицательная

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

IV фигура: общеутвердительного заключения не дает.

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

Условно – категорическое умозаключение содержит одной из посылок условное суждение, другой – простое категорическое суждение. Достоверное заключение, с необходимостью следующее из посылок дает утверждающий и отрицающий модусы. Его схема: Если А, то В. А

Отрицающий модус позволяет строить достоверные умозаключения от отрицания следствия и отрицанию основания. Например: Если А, то В. не В.

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

Студент неправильно мыслит.

Студент не знает логики.

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

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

Наука бывает фундаментальной или прикладной.

Данная наука - прикладная

Следовательно, данная наука не может быть фундаментальной.

В разделительном силлогизме по отрицающие – утверждающему модусу утвержение производится путем отрицания. Например А или В. не – А.

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Какие бывают виды умозаключений?
Какие правила вывода действуют в простом категорическом силлогизме?
Что такое модус простого категорического силлогизма?
Что такое полисиллогизм, какова его структура и разновидности?
Какие бывают виды и какова структура сложных силлогизмов?

7. ИНДУКТИВНЫЕ И ТРАДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.

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

Предметы А,В,С,D имеют признак Р

Предметы А, В, С, D принадлежат классу S

Следовательно все S есть Р

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

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

Схема индуктивного умозаключения: Неполная индукция включает:

А 1 имеет признак В 1.Популярную (энумеративную)

А 2 имеет признак В 2.Научную (элиминативную)

н 3.Статистическую

А н имеет признак В

А 1 , А 2 ,…..Ан имеют признак В

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

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

Формула метода и сходства гласит, что если:

При условии А, В, С возникло явление Q

При условии А, К, L возникло явлении Q

При условии А, Р, Q возникло явлении Q

Вероятно А есть причина Q

Метод различия указывает, что если наличие или отсутствие признака вызывает или устраняет явлении, то этот признак причина явления. Так если:

При условии А, В, С, D происходит явлении d

При условии А, В, С отсутствует явление d

Вероятно D есть причина d

Метод сопутствующих изменений говорит о соответствии одних изменений и величин других. Изменение предшествующего обстоятельства есть либо его следствие, либо находится с ним в причинном отношении.

При условии А, В,С,D существует явление Q

При условии A1,B,C,D существует явление Q1

Следовательно, обстоятельство А есть причина Q

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

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

Использование самостоятельно осмысленных и творчески переработанных правил мышления для специалиста основа успеха в практической деятельности.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Что такое индукция и каковы ее виды?
Какова познавательная роль индукции?
Какие методы используются при установлении причинных связей в индуктивных умозаключениях?
Какова сущность традукции – умозаключения по аналогии?
Каковы условия повышения вероятности вывода в традуктивных умозаключениях?

8. АРГУМЕНТАЦИЯ И ДОКАЗАТЕЛЬСТВО

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

Доказательство – это логический прием обоснования истинности суждения с помощью других истинных суждений. Содерожание доказательства включает в себя тезис, основание (аргументы) и форму доказательства или демонстрацию. Тезис – это суждение или положение, истинность которого требуется доказать. Аргументы (основания) – это способ доказательства, может принимать форму различных умозаключенийц, например, дедуктивных: a l (M-P)

Для доказательства используются также индуктивные умозаключения и аналогии, например, a l (А имеет признак КМР)

а 2 (В имеет признак КР)

Тезис, следствие В, возможно, имеет признак М.

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

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

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

А есть или В, или С, или D – применяется отрицающе утверждающий.

А не есть В модус разделительно-категорического силлогизма.

А не есть С

На практике это сужает круг лиц какого-либо происшествия или ситуаций, ведущих к нему.

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

Умение применять все виды доказательства

Использовать только истинные тезис и аргументы

Опираться на подлинные факты, имеющие отношение к тезису

Не применять неясных, двусмысленных и противоречивых тезисов и аргументов

Способы доказательства должны соответствовать законам логики, чтобы не появились возможные ошибки

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

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

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

Софизм: «Вор не желает приобрести ничего дурного.

Приобретение хорошего, есть дело хорошее.

Следовательно, вор желает хорошего» скрывает истинное значение понятия «приобретение».

Парадокс – это необычное явление или высказывание, которое резко расходится с действительностью. Они возникают из-за неясности, противоречий исходных принципов и норм познания. Таков классический парадокс «Что я говорю – ложно». Решение парадокса требует выхода за уровень данной системы рассмотрения объекта. В то же время парадоксы приводят к глубинным открытиям. Это создание теории иррациональных чисел, парадоксы теории множеств и многое другое.

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

Структура опровержения включает:

Тезис опровержения; суждение, которое необходимо опровергнуть

Аргументы опровержения, суждения, при помощи которых опровергается тезис

Демонстрацию – логическую форму построения опровержения

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

Если А есть В, то С есть D Ложность следствия ведет к

Но С не есть D ложности исходного тезиса.

Следовательно А не есть В

При доказательстве антитезиса (опровержения от противного) установление его ложности по закону исключенного третьего указывает на истинность тезиса.

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

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

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

Противоположные положения не опровергаются без тщательного рассмотрения

Необходимо учитывать возможные ошибки наших аргументов

Следует сочетать прямые и косвенные методы опровержения

Кроме того, следует строго соблюдать правила по отношению к тезисам, аргументам и демонстрации.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

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

ЗАКЛЮЧЕНИЕ

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

ВОПРОСЫ ДЛЯ ЗАЧЕТА ПО ЛОГИКЕ

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

ОСНОВНАЯ ЛИТЕРАТУРА

Бочаров В.А., Маркин В.И. Основы логики.- М.,1999.
Гетманова А.Д. Логика. - М.,1995.
Григорьев Б.В. Классическая логика. - М.,1996.
Ивлев Ю.В. Логика. - М.,1997.
Ивин А.А. Логика. - М.,1999.
Кириллов В.И. Упражнения по логике. - М.,1999.
Светлов В.А. Практическая логика. - СПб.,1997.
Новиков О.А., Уваров С.А. Коммерческая логика. - СПб.,1995.
Рузавин Г.И. Логика и аргументация. - М.,1997.

ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА

Берков В.Ф. Логика: задачи и упражнения, практикум. - Минск,1998.
Виноградова З.И. Логика научного управления. - М.,1998.
Гетманова А.Д. Логика: словарь и задачи. - М.,1998.
Градовой Д.И. Логика в предпринимательской деятельности и деловом общении. - М.,1998.
Ивин А.А.,Никифоров А.Л. Словарь по логике. - ,М.,1998.
Курбатов В.И. Логика. Ростов-на-Дону,1997.
Новиков О.А.,Уваров С.А. Коммерческая логика., СПб.,1995.

Формальная логика - это широкая область логических исследований, изучающая идеализированные рассуждения и их системы посредством логических исчислений на основе метода формализации (см. ). Метод формализации подразумевает, что логические рассуждения изучаются в отвлечении от их конкретного содержания; при этом сами логические рассуждения формулируются на некотором точном (формализованном) языке при помощи специального аппарата символов (см. ). Такие точные языки имеют две составляющие: синтаксис (см. ) и семантику (см. ). Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие - нет. Формализованный язык позволяет избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании рассуждений традиционная логика (см. ), развивавшаяся в рамках философии (см. ). Методы формализации дали логике такие преимущества, как высокая точность формулировок, возможность изучения более сложных, с точки зрения логической формы, объектов. Определение «формальная логика» было введено И. Кантом с намерением подчеркнуть её ведущую особенность в подходе к изучаемым объектам и отграничить её тем самым от других возможных логик.

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

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

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

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

Логика возникла в Древней Греции в рамках философии (см. ). История её развития насчитывает около двух с половиной тысячелетий и делится на два основных периода:

Традиционная формальная логика (IV век до новой эры - середина XIX века). В развитии традиционной логики, в свою очередь, выделяются три периода:
1. Античная логика (V век до новой эры - середина V века).
2. Схоластическая (Средневековая) логика (середина V века - XV век).
3. Логика Нового времени (XV–XVIII века).
Современная (символическая, или математическая) логика (с середины XIX века).

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

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

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

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

Ученики Аристотеля назвали эту новую книгу "органон", то есть "орудие познания". Термин "логика" ("слово", "разум", "закономерность") появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за Кантом называть формальной.

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

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

Методы и приёмы познания

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

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

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

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

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


	№	Сформулирована проблема	Методы решения проблемы	Решение проблемы	Проблемные ситуации
явные		+	+	+	Показательные задачи
		+	+	-	Типовые задачи
		+	-	+	Риторические проблемы
		+	-	-	Классические проблемы
неявные		-	+	+	"От правильного ответа - к правильному вопросу"
		-	+	-	"Метод ищет применения"
		-	-	+	Догматическая теория
		-	-	-	Софизмы, парадоксы, апории

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

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

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

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

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

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

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

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

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

(А и А, А Л А);

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

(А и А, А V А);

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

формальная логика экономическое исследование

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

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

Закон исключенного третьего утверждает, что из двух отрицающих

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

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

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

Применение формальной логики в экономической теории

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

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

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

Тест по логике

Введение

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

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

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

При оценке результатов теста можно использовать следующую систему:

1. Логика – это:

Наука об умозаключениях и доказательствах;

Наука о правилах мышления;

Наука о формах и законах мышления;

Наука о формах и законах познания.

2. Формальная логика появилась:

В Средние века;

В Античности;

В Новое время;

В эпоху Возрождения.

3. Формальная логика является:

Символической;

Аристотелевской;

Математической;

Современной.

4. Создателем логики считается древнегреческий философ:

Анаксимен;

Анаксагор;

Антисфен;

Пифагор;

Аристотель;

Аристипп;

Аркесилай.

5. С точки зрения формальной логики высказывание: «Все Снегурочки – это геометрические фигуры»:

Представляет собой абсурд;

Является фантастическим;

Лишено всякого смысла;

Выражает пример классической нелепости;

Построено по форме: «Все A есть B».

6. Математическая или символическая логика появилась:

Тогда же, когда и традиционная логика;

В начале нашей эры;

В Средние века;

В середине XX в.

7. Интуитивная логика – это:

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

Стихийно сформированное в процессе жизненного опыта знание форм и принципов правильного мышления;

Теоретические знания, оставшиеся у человека после изучения курса логики в школе или вузе;

Полное искажение теоретической логики;

Ничто из перечисленного.

8. Древнегреческие философы, которые изобретали разнообразные приёмы нарушения логических законов с целью доказать всё, что угодно, – это:

Милетцы;

Пифагорейцы;

Софисты;

Эпикурейцы;

9. Понятие – это

Слово или словосочетание;

Форма мышления;

Истинный тезис;

Некий предмет.

10. Любое понятие имеет:

Величину;

11. Любое понятие выражается в форме:

Простого предложения;

Сложного предложения;

Слова или словосочетания;

Связного текста.

Совокупность всех объектов, которые оно охватывает;

Наиболее важные признаки того объекта, который оно выражает;

То суждение, в котором оно может употребляться;

Слово или словосочетание, в котором оно выражается;

Объект, который оно обозначает.

13. Объём понятия – это совокупность:

Объектов, охватываемых этим понятием;

Всех слов или словосочетаний, которые могут его выражать;

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

Наиболее важных признаков того объекта, который оно обозначает;

Всех рассуждений, в которых оно употребляется;

Всех людей, которым известно это понятие.

14. «Солнце » – это понятие:

Единичное;

Физическое;

Нулевое;

Астрономическое.

15. «Глупость » – это понятие:

Конкретное;

Отвлечённое;

Абстрактное;

Отрицательное;

Психологическое.

16. «Неряха » – это понятие:

Положительное;

Отрицательное;

Нейтральное;

Собирательное.

17. Понятию «Созвездие Ориона » соответствует логическая характеристика:

Общее, собирательное, конкретное, положительное;

Единичное, собирательное, абстрактное, положительное;

Единичное, несобирательное, конкретное, положительное;

Нулевое, собирательное, абстрактное, положительное;

Единичное, собирательное, конкретное, отрицательное;

Ни одна из перечисленных.

18. Логической характеристике: общее, собирательное, конкретное, положительное, соответствует понятие:

Сборная России;

Музыкальный коллектив;

10 класс «А»;

Букет роз;

Набор цветных карандашей;

Все перечисленные;

Ни одно из перечисленных.

19. Понятие «умный человек » является:

Ясным по содержанию и резким по объёму;

Неясным по содержанию и резким по объёму;

Ясным по содержанию и нерезким по объёму;

Неясным по содержанию и нерезким по объёму;

Не имеющим ни объёма, ни содержания.

20. Понятие, большее по объёму, называется:

Видовым;

Родовым;

Нулевым;

Широким.

21. Понятия «звезда » и «созвездие » находятся в отношениях:

Подчинения;

Пересечения;

Определения;

Деления;

Исключения;

Соподчинения.

22. Отношения между понятиями изображаются:

Круговыми схемами Эйлера;

Круговыми схемами Бойлера;

Круговыми схемами Пейджера;

Круговыми схемами Аристотеля.

23. Отношения между понятиями «точка», «прямая», «плоскость», «пространство» изображаются следующей схемой (рис. 42):

24. Данной схеме соответствует следующая группа понятий:

Известный футболист, футболист, негр, китаец;

Известный футболист, известный хоккеист, молодой человек, старый человек;

Футболист, баскетболист, спортсмен, человек;

Известный спортсмен, человек, известный человек, спортсмен.

25. Отношения между понятиями «дочка » (A ), «внучка » (В ), «женщина (лицо женского пола) » (C ), изображаются следующей схемой (рис. 43):

26. Данной схеме не соответствует следующая группа понятий:

Рыба, хищник, акула;

Млекопитающее, хищник, тигр;

Представитель древней истории, самодержец, Александр Македонский;

Растение, дерево, сосна;

Русский писатель, знаменитый человек, Лев Николаевич Толстой;

Высшее учебное заведение, московское учебное заведение, МГУ.

27. Отношения между понятиями: «равносторонний треугольник» (A), «равнобедренный треугольник» (B), «прямоугольный треугольник» (C), «тупоугольный треугольник» (D) – изображаются следующей схемой (рис. 44) (Необходимо выбрать из 6 рисунков один правильный.):

28. Определение: «Экзистенциализм – это философское направление ХХ в., в котором рассматриваются различные экзистенциальные вопросы и проблемы» , – является:

Двусмысленным;

Круговым;

Широким;

Философским.

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

Логически и коммуникативно безупречным;

Широким;

Тавтологичным;

Двусмысленным;

Непонятным для большей части людей.

30. Деление понятия раскрывает его:

Значение;

31. В делении: «Люди бывают мужчинами, женщинами, спортсменами и танцорами» , – допущена ошибка:

Скачок в делении;

Учетверение терминов;

Двусмысленность;

Подмена основания;

Поспешное обобщение.

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

Транспорт бывает наземным, подземным, водным, воздушным, общественным и личным.

Художественные романы бывают детективными, фантастическими, историческими, любовными и другими.

Предложения делятся на простые, сложные, сложноподчинённые и другие.

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

Леса делятся на хвойные, лиственные, смешанные, сосновые и еловые.

33. Возможным результатом обобщения для понятия «колесо автомобиля» будет понятие:

Автомобиль;

Средство передвижения;

Огромное колесо;

Изделие человека.

34. Возможным результатом ограничения для понятия «карандаш » будет понятие:

Письменная принадлежность;

Канцелярский товар;

Деревянный предмет;

Сломанный карандаш;

Изделие человека.

35. Пределом логической цепочки ограничения любого понятия всегда будет какое-либо:

Нулевое понятие;

Конкретное понятие;

Несобирательное понятие;

Единичное понятие;

Родовое понятие.

36. Возможным результатом ограничения для понятия «уровень преступности » является понятие:

Преступление;

Тяжкое преступление;

Квартирная кража;

Высокий уровень преступности;

Преступное сообщество;

Криминалитет.

37. Суждение – это:

Предложение;

Незаконченная мысль;

Обобщённое понятие;

Форма мышления;

Закон мышления.

38. Суждение выражается в форме:

Повествовательного предложения;

Вопросительного предложения;

Побудительного предложения;

Словосочетания.

39. Истинным или ложным может быть:

Понятие;

Суждение;

Квантор.

40. Предмет суждения называется:

Сущностью;

Смыслом;

Субъектом;

Силлогизмом;

Связкой;

Предикатом.

41. Суждение: «Все люди – не обезьяны» , – является суждением вида:

42. Субъект и предикат в суждении: «Все сосны – не берёзы» , – находятся в отношениях:

Пересечения;

Равнозначности;

Совместимости;

Несовместимости;

Противоположности;

Противоречия.

43. Суждение: «Бога нет» , – является:

Релятивным;

Экзистенциальным;

Атрибутивным;

Конъюнктивным;

Религиозным;

Неправильным.

44. Атрибутивным является суждение:

Москва основана раньше Санкт-Петербурга.

Существуют вечные законы мира.

Аристотель жил задолго до Лейбница.

Чудес не бывает.

Человек – это разумное живое существо.

Счастье есть, его не может не быть.

45. Субъект и предикат находятся в отношении пересечения в суждении:

Все планеты – это не звёзды.

Некоторые треугольники являются равносторонними.

Ни один человек не всесилен.

Антарктида – это ледовый материк.

Некоторые люди – это знаменитые учёные.

Некоторые учёные являются древними греками.

46. В суждении: «Некоторые россияне являются олимпийскими чемпионами»:

И субъект, и предикат распределены;

Ни субъект, ни предикат не распределены;

Субъект распределён, а предикат не распределён;

Субъект нераспределён, а предикат распределён.

47. Субъект распределён, а предикат нераспределён в суждении:

Все квадраты – это геометрические фигуры.

Все квадраты – это равносторонние прямоугольники.

Ни один квадрат не является треугольником.

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

Некоторые равнобедренные треугольники являются равносторонними.

Все равносторонние треугольники имеют равные углы.

48. Термин простого атрибутивного суждения является нераспределённым, если в этом суждении:

Речь идёт обо всех объектах, входящих в объём этого термина;

Речь не идёт ни об одном объекте, входящем в объём этого термина;

Речь идёт о части объектов, входящих в объём этого термина;

Речь идёт о реальном существовании объектов, входящих в объём этого термина;

Речь идёт о несуществовании объектов, входящих в объём этого термина.

49. Противопоставлением предикату для суждения: «Все воробьи – птицы» , – будет суждение:

Некоторые птицы – воробьи.

Все не птицы не являются воробьями.

Все воробьи не являются не птицами.

Некоторые птицы не являются воробьями.

50. Суждения: «Все хищники – животные», «Тигры – это животные» , – находятся в отношении:

Частичного совпадения;

Пересечения;

Подчинения;

Однозначности;

Равносильности.

51. Если суждение: «Все люди изучали логику» , – является ложным, то суждение: «Все люди не изучали логику» , – является:

Истинным;

Неправильным;

Правдивым;

Неопределённым по истинности.

52. Сложное суждение: «Посеешь ветер – пожнёшь бурю» , – является:

Импликацией;

Сублимацией;

Конъюнкцией;

Дизъюнкцией;

Изостенцией.

53. Сложное суждение: «Уж полночь близится, а Германа всё нет» , – является:

Дизъюнкцией;

Эквиваленцией;

Абстиненцией;

Конъюнкцией;

Импликацией.

54. Суждение: «Если Солнце является треугольником, то все крокодилы – это летающие существа» , – является формально:

Истинным;

Бессмысленным;

Неопределённым;

Антинаучным.

55. Конъюнкция истинна только тогда, когда:

Хотя бы один её элемент истинен;

Хотя бы один её элемент ложен;

Ложны все её элементы;

Истинны все её элементы;

Истинна большая часть её элементов.

56. Строгая дизъюнкция истинна только тогда, когда:

Истинны все её элементы;

Ложны все её элементы;

Истинен только один её элемент, а остальные – ложны;

Ложен только один её элемент, а остальные – истинны;

Половина её элементов истинна, а половина – ложна;

Хотя бы один её элемент не является ни истинным, ни ложным одновременно.

57. Результатом формализации рассуждения: «Если бы скорость Земли при движении по орбите была больше 42 км/с, то Земля покинула бы Солнечную систему, а если бы её скорость была меньше 3 км/с, то она упала бы на Солнце; однако Земля не покидает Солнечную систему и не падает на Солнце, следовательно, её скорость не больше 42 км/с и не меньше 3 км/с» , – является одна из формул:

(((a > b ) ? (c > d )) ? (a ? c )) > (b ? d );

(((a > b ) ? (c > d )) ? (¬ b ? ¬ d )) > (¬ a ? ¬ c );

(((a > b ) ? (c > d )) ? (¬ a ? ¬ c )) > (¬ b ? ¬ d );

(((a > b ) ? (c > d )) ? (b ? d )) > (a ? c );

(((a > b ) ? (c > d )) ? (a > c )) > (b > d );

(((a > b ) ? (c > d )) ? (b > d )) > (a > c ).

58. Умозаключение – это:

Закон мышления;

Сложное суждение;

Форма мышления;

Истинный вывод;

Ложное понятие.

59. Дедуктивные умозаключения называются:

Алогизмами;

Силлогизмами;

Софизмами;

Парадоксами;

Логицизмами.

60. Индукция – это:

Сложное суждение;

Логическая связка;

Вид умозаключения;

Вид дедукции;

Закон логики.

61. Любой простой силлогизм имеет:

62. Связь между субъектом и предикатом вывода в простом силлогизме выполняет:

Старший термин;

Больший термин;

Младший термин;

Средний термин;

Меньший термин.

63. Фигура и модус простого силлогизма – это, соответственно:

Набор его посылок и совокупность терминов, входящих в них;

Совокупность всех его терминов и сумма посылок, входящих в него;

Истинность или ложность его посылок и распределённость или нераспределённость его терминов;

Объём его субъекта и содержание его предиката;

Его общие правила и ошибки, возникающие при их нарушении;

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

64. Все первоклассники обладают мышлением.

Все студенты – это не первоклассники.

Все студенты не обладают мышлением.

В этом простом силлогизме допущена ошибка:

Учетверение терминов;

Поспешное обобщение;

Аргумент к невежеству;

Подмена основания;

Расширение большого термина;

Нераспределённость среднего термина.

65. Законы – это вечные принципы природы.

Всеобщая воинская обязанность – это закон.

Всеобщая воинская обязанность – это вечный принцип природы.

В этом силлогизме допущена ошибка:

Подмена основания;

Учетверение терминов;

Поспешное обобщение;

Нестрогая дизъюнкция;

Тавтология.

66. Эпихейрема – это:

Вид сложного суждения;

Разновидность умозаключения;

Раздел индукции;

Закон дедукции;

Правило силлогизма.

Импликативное и разделительное;

Разделительное и дизъюнктивное;

68. Учебные заведения бывают начальными или средними. МГУ – это не начальное и не среднее учебное заведение. МГУ – это не учебное заведение.

Неполное деление;

Нестрогая дизъюнкция;

Скачок в делении;

Подмена основания;

Широкое деление;

Удвоение терминов.

69. Древние римляне были политиками, или ораторами, или писателями.

Цицерон был политиком.

Цицерон не был ни оратором, ни писателем.

В этом разделительно-категорическом силлогизме допущена ошибка:

Учетверение терминов;

Подмена основания;

Поспешное обобщение;

Нестрогая дизъюнкция;

Нарушение конъюнкции.

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

Утверждение от основания к следствию;

Утверждение от следствия к основанию;

Отрицание от основания к следствию;

Отрицание от следствия к основанию;

Нестрогая дизъюнкцию основания и следствия.

71. Если треугольник является равносторонним, то сумма его внутренних углов равна 180°.

Если треугольник не является равносторонним, то сумма его внутренних углов равна 180°.

Сумма внутренних углов треугольника равна 180°. Этот силлогизм является:

Условно-разделительным;

Чисто условным;

Чисто разделительным;

Чисто геометрическим;

72. Если каждый угол треугольника равен 60°, то треугольник – равносторонний.

В треугольнике ABC каждый угол равен 60°.

Треугольник ABC является равносторонним.

Этот силлогизм является:

Условно-разделительным.

73. Если средняя плотность вещества Вселенной больше некой критической величины, то её расширение со временем сменится сжатием; а если эта плотность меньше некой критической величины, то расширение Вселенной будет продолжаться вечно.

Средняя плотность вещества Вселенной или больше, или меньше некой критической величины.

Расширение Вселенной со временем сменится её сжатием, или Вселенная будет расширяться вечно.

Это умозаключение является:

Отрицательно-разделительным;

Условно-разделительным;

Соединительно-разделительным.

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

Я не хочу напрягаться во время сессии или же – чтобы меня выгнали.

Я не буду бездельничать во время семестра.

Этот силлогизм является:

Простой конструктивной дилеммой;

Сложной конструктивной дилеммой;

Простой деструктивной дилеммой;

Сложной деструктивной дилеммой.

75. В индуктивном умозаключении:

На основе сходства двух предметов в одних признаках делается вывод об их сходстве и в других признаках;

Из одного суждения выводится другое суждение путём изменения местоположения его субъекта и предиката;

Из общего правила делается вывод для частного случая;

Из одного частного случая выводится другой частный случай;

Из нескольких частных случаев выводится одно общее правило;

Из одного общего правила следует другое общее правило.

76. Вася Сидоров – двоечник. Петя Смирнов – двоечник. Саша Иванов – двоечник. Вася Сидоров, Петя Смирнов, Саша Иванов – ученики 6 «Б». Все ученики 6 «Б» двоечники.

В этом умозаключении допущена ошибка:

Популярная индукция;

Неполная индукция;

Нарушение индукции;

Нестрогая индукция;

Ни одна из вышеназванных.

77. В рассуждении: «Употреблять в пищу огурцы опасно – с ними связаны многие недуги и вообще людские несчастья. Практически все люди, страдающие хроническими заболеваниями, ели огурцы. 99,7 % всех лиц, ставших жертвами авто- и авиакатастроф, употребляли в пищу огурцы в течение двух недель, предшествовавших несчастному случаю. 98,1 % всех несовершеннолетних преступников происходят из семей, где огурцы употребляются постоянно» , – допущена ошибка:

Поспешное обобщение;

Неполная индукция;

Популярная индукция;

Ненаучная индукция;

После этого, значит по причине того;

Кто много доказывает, тот ничего не доказывает;

Подмена условного безусловным.

78. В популярной индукции, в отличие от научной:

Получаются достоверные выводы;

Используются общие правила силлогизма;

Неизвестна причинная связь явлений;

Преднамеренно нарушаются логические законы;

Используются выводы по логическому квадрату.

79. Сложное суждение: «Если с утра шёл дождь, то к полудню прояснилось» , – является:

Конъюнкцией;

Эквиваленцией;

Нестрогой дизъюнкцией;

Импликацией;

Экзистенцией;

Строгой дизъюнкцией.

80. Аналогия – это:

Правило индукции;

Ошибка в силлогизме;

Закон логики;

Сложное суждение;

Вид умозаключения.

81. Нестрогая дизъюнкция ложна тогда, когда:

Все её элементы истинны;

Все её элементы ложны;

Один её элемент истинен, а остальные – ложны;

Один её элемент ложен, а остальные – истинны;

Хотя бы один её элемент истинен.

82. – У вас телевизоры цветные есть?

– Тогда дайте мне жёлтый.

В этом анекдоте нарушен:

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

Закон двусмысленности;

Закон анекдота;

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

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

83. Два ученика решили спросить учителя, можно ли курить во время медитации. Каждый из них задал учителю свой вопрос индивидуально. Одному из них учитель ответил, что нельзя, а другому, что можно. Оказалось, что первый ученик спросил учителя так: «Можно ли курить во время медитации?». А второй ученик задал учителю такой вопрос: «Можно ли медитировать во время курения?».

В этой ситуации:

Учитель нарушил закон противоречия;

Учитель нарушил закон достаточного основания;

Учитель нарушил закон двойного отрицания;

Ученики нарушили закон исключённого третьего;

Ученики нарушили закон дедукции;

Ученики нарушили закон тождества.

84. Софизм – это:

Правило индукции;

Сложное суждение;

Вид дедукции;

Закон мышления;

Ничто из вышеперечисленного.

85. Два противоположных суждения о двух разных предметах:

Должны быть одновременно истинными;

Должны быть одновременно ложными;

Должны быть: одно – истинным, другое – ложным;

Могут быть какими угодно по истинности.

86. Два противоречащих суждения о двух разных предметах не могут быть:

Одновременно истинными;

Одновременно ложными;

Одно – истинным, другое – ложным;

Ни истинным и ни ложным каждое.

Мы гуляли по Неглинной,
Заходили на бульвар,
Нам купили синий-синий,
Презеленый, красный шар.
(С. В. Михалков)

В этом шуточном четверостишии преднамеренно нарушен логический закон:

1) тождества;

2) противоречия;

3) достаточного основания;

4) силлогизма;

5) парадокса;

6) стихотворения.

88. Закон противоречия нарушен в следующем высказывании:

«Я знаю только то, что я ничего не знаю» (Сократ).

«В детстве у меня не было детства» (А. П. Чехов).

«История учит только тому, что она никого ничему не учит» (Г. Гегель).

«Самое непостижимое в мире заключается в том, что он постижим» (А. Эйнштейн).

«Слышу умолкнувший звук божественной эллинской речи» (А. С. Пушкин – по поводу перевода «Иллиады» Гомера, сделанного Н. И. Гнедичем).

Во всех вышеприведённых высказываниях.

Ни в одном из вышеприведённых высказываний.

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

Двойного отрицания;

Исключённого третьего;

Противоречия;

Тождества;

Достаточного основания.

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

В этом решении нарушен логический закон:

Исключённого третьего;

Достаточного основания;

Неверного утверждения;

Подмены основания;

Двойного противопоставления;

Взаимозаменяемости.

91. В самый солнцепёк, вернувшись домой, Насреддин попросил жену: «Принеси-ка мне миску простокваши, нет ничего полезней и приятней для желудка в такую жару!» Жена ответила: «Да у нас – не то, что миски – даже ложки простокваши нет в доме!» Насреддин сказал: «Ну и хорошо, что нет, простокваша ведь вредна человеку».

В словах Насреддина нарушен логический закон:

Нестрогой дизъюнкции;

Противоречия;

Достаточного основания;

Двойного отрицания;

Основного заблуждения;

Порочного круга.

92. В данном рассуждении: «Немецкий физик Вальтер Нернст, автор третьего начала термодинамики (о недостижимости абсолютного нуля температуры) доказывал, что ему удалось завершить разработку фундаментальных законов термодинамики. Так: у первого начала было три автора (Ю. Майер, Д. Джоуль, Г. Гельмгольц), у второго – два (Н. Карно, Р. Клаузиус), у третьего – один (В. Нернст); следовательно, число авторов четвёртого начала должно равняться нулю, т. е. такого закона просто не может быть» , – нарушен логический закон:

Подмены тезиса;

Порочного круга;

Двойного противоречия;

Исключённого тождества;

Достаточного основания;

Недостаточной истинности.

93. Импликация ложна только тогда, когда:

Её основание и следствие истинны;

Её основание и следствие ложны;

Её основание ложно, а следствие истинно;

Её основание истинно, а следствие ложно.

94. Символическая логика является разделом:

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

Философии;

Математики;

Грамматики.

95. Противоречия бывают:

Контактными и дистантными;

Явными и неявными;

Реальными и мнимыми;

Какими угодно из перечисленных;

Никакими из перечисленных.

96. Принцип верификации – это:

Распространённый софистический приём;

Критерий научного знания;

Основание индуктивных ошибок;

Одно из правил силлогизма;

Важный метод псевдонауки;

Главное требование аналогии.

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

Исключённого третьего;

Индуктивного силлогизма;

Сокращённого софизма;

Дедуктивной аналогии;

Ни один из перечисленных.

98. Энтимема – это:

Разновидность научной индукции;

Неразрешимое противоречие;

Вид сложного суждения;

Сокращённый простой силлогизм;

Аналогия с достоверными выводами.

99. Рассуждение: «Докажем, что три раза по два будет не шесть, а четыре. Возьмём спичку или палочку и сломаем её пополам. Это один раз два. Потом возьмём одну из половинок и её тоже сломаем пополам. Это второй раз два. Затем возьмём оставшуюся половинку и её тоже сломаем пополам. Это третий раз два. Итак, три раза по два будет четыре, а не шесть» , – является:

Парадоксом;

Апорией;

Антиномией;

Силлогизмом;

Софизмом;

Бессмыслицей;

Философемой.

100. Сорит – это разновидность:

Логического парадокса;

Трудноразрешимого софизма;

Неполной индукции;

Сложного суждения;

Нулевого понятия;

Простого силлогизма.

1. наука о формах и законах мышления

2. в античности

3. аристотелевской

4. Аристотель

5. построено по форме: «Все A – это B »

7. стихийно сформированное в процессе жизненного опыта знание форм и принципов правильного мышления

8. софисты

9. форма мышления

11. слова или словосочетания

12. наиболее важные признаки того объекта, который оно выражает13. объектов, охватываемых этим понятием

14. единичное

15. абстрактное

16. положительное

17. ни одна из перечисленных

18. все перечисленные

19. неясным по содержанию и нерезким по объёму

20. родовым

21. соподчинения

22. круговыми схемами Эйлера

24. известный футболист, футболист, негр, китаец

25. A = B = C

26. растение, дерево, сосна.

27. B C A D

28. круговым

29. непонятным для большей части людей

31. подмена основания

32. художественные романы бывают детективными, фантастическими, историческими, любовными и другими

33. изделие человека

34. сломанный карандаш

35. единичное понятие

36. высокий уровень преступности

37. форма мышления

38. повествовательного предложения

39. суждение

40. субъектом

42. несовместимости

43. экзистенциальным

44. Человек – это разумное живое существо

45. Некоторые учёные являются древними греками

46. ни субъект, ни предикат не распределены

47. Все квадраты – это геометрические фигуры

48. речь идёт о части объектов, входящих в объём этого термина

49. все не птицы не являются воробьями

50. подчинения

51. неопределённым по истинности

52. импликацией

53. конъюнкцией

54. истинным

55. истинны все её элементы

56. истинен только один её элемент, а остальные – ложны

57. (((a > b ) ? (c > d )) ? (¬ b ? ¬ d )) > (¬ a ? ¬ c )

58. форма мышления

59. силлогизмами

60. вид умозаключения

61. фигуру

62. средний термин

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

64. расширение большего термина

65. учетверение терминов

66. разновидность умозаключения

68. неполное деление

69. нестрогая дизъюнкция

70. утверждение от следствия к основанию

71. чисто условным

73. условно-разделительным

74. простой деструктивной дилеммой

75. из нескольких частных случаев выводится одно общее правило76. ни одна из вышеназванных

77. после этого, значит по причине того

78. неизвестна причинная связь явлений

79. конъюнкцией

80. вид умозаключения

81. все её элементы ложны

82. закон тождества

83. ученики нарушили закон тождества

84. ничто из вышеперечисленного

85. могут быть какими угодно по истинности

86. ни истинным и ни ложным каждое

87. противоречия

88. ни в одном из вышеперечисленных высказываний

89. закон тождества

90. исключённого третьего

91. противоречия

92. достаточного основания

93. её основание истинно, а следствие ложно

94. разделом математики

95. какими угодно из перечисленных

96. критерий научного знания

97. ни один из перечисленных

98. сокращённый простой силлогизм

99. софизмом

100. простого силлогизма