Неклассические логики 3 страница

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

Логическая система без операции логического отрицания находит свое применение при построении компьютерных программ, но если взять искусственные языки, такие как ФОРТРАН или КОБОЛ, то в их состав кроме логического сложения и логического умножения, входит и логическое отрицание, соответствующее частице "не" и обозначаемое обычно знаком "ù". Все инструкции о том, как про то, как вести сборку мебели инструментов, технических приборов и др. основаны на содержательном (не формализованном) использовании положительной логики.

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

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

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

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

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

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

Н. да Коста утверждал, что имеющийся у нас язык дедуктивной теории Т называют противоречивой теорией, если и только если в Т имеются две теоремы, одна из которых есть отрицание другой; в противоположном случае Т считается непротиворечивой. Т считают тривиальной, если и только если все формулы (или все высказывания) языка Т являются также теоремами, в противном случае мы называем Т нетривиальной. Система логики паранепротиворечива, если она может быть использована как логика, лежащая в основе противоречивых, но нетривиальных теорий. Н. да Коста полагал, что вместо стандартных теорий множеств могут быть использованы паранепротиворечивые теории множеств. Система паранепротиворечивой логики в общем случае должна удовлетворять следующим условия 1) Из двух противоречащих формул А и ù А в общем случае нельзя вывести произвольную формулу В; 2) Дедуктивные средства классической логики должны быть максимально сохранены, поскольку они основа всех обычных рассуждений. В первую очередь должен быть сохранен modus ponens, т.е. Рассуждение по формуле ((а®b) Ù a) ®b.

Паранепротиворечивая логика связана со многими видам неклассических логик: с модальной логикой, с многозначными логиками, с релевантной логикой, где тоже не принимается принцип "из противоречия следует что угодно". Исследование многозначных логик показала, что закон непротиворечия, т.е. формула (а Ù`a) не является тавтологией в следующих системах: трехзначных логиках Я. Лукасевича и Г. Рейхенбаха (для циклического и диаметрального отрицаний), Д. Бочвара (для внутреннего отрицания), n-значной системе Э. Л. Поста.

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

Американский математик Н. Белнап написал ряд работ, посвященных формализации общения с информационными системами, в которых содержится противоречивая информация. Белнап построил свою четырехзначную логику, значениями истинности которой являются следующие: Т - "говорит только Истину", F - "говорит только Ложь", None - "Не говорит ни Истины, ни лжи", Both - "говорит и Истину и Ложь". Н. Белнап отмечает, что входные данные поступают в компьютер из нескольких независимых источников, и в таких условиях проявляется типичная особенность информационной ситуации: угроза противоречивости информации. Что в таком случае должен делать компьютер, особенно если в системе содержится необнаруженное противоречие? Белнап предлагает свою четырехзначную логику в качестве практического руководства в рассуждениях. Паранепротиворечивой является также релевантная логика или логика следования, в которой отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив парадоксы импликации. Другой характерной чертой релевантной логики является то, что в ней логически истинное высказывание не выводимо из произвольного высказывания.

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

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

Эту идею впервые высказал Д. фон Нейман вместе с американским математиком Д. Биркгофом построил особую "квантовою логику". Позднее Г. Рейхенбах построил еще другой вариант квантовой логики с целью устранения "причинных аномалий", возникающих при попытках применить классическое причинное объяснение к квантовым явлениям. К настоящему времени предложены десятки разных систем квантовой логики, стремящихся выявить своеобразие рассуждений о квантовых объектах. Они различаются как множествами принимаемых в них законов, так и способами своего обоснования. Чаще всего в них отказываются от классических законов ассоциативности и дистрибутивности, касающихся сложных утверждений, построенных с помощью союзов "и" и "или". Иногда отбрасывается даже закон исключенного третьего.

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

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

Для причинной связи верны утверждения:

- ничто не является причиной самого себя;

- если одно событие является причиной второго, то второе не является причиной первого;

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

- нет причины для наступления противоречивого события и т.п.

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

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

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

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

- не существовать - то же, что начинать возникать, и то же, что прекращать исчезать;

- существовать - это то же, что начинать исчезать, и то же, что переставать возникать;

- становление - это прекращение несуществования, а исчезновение - это возникновение несуществования;

- уже существует - значит, существует или возникает;

- еще существует - значит, существует или исчезает и т.п.

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

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

В логике времени доказуемы такие утверждения:

- всякое состояние либо сохраняется, либо возникает, либо исчезает;

- при изменении состояние не может одновременно сохраняться и исчезать, сохраняться и возникать, возникать и исчезать;

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

ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ

Что такое неклассическая логика?

Как складывалась неклассическая логика?

В чем недостатки классической логики как теории логического следования?

В чем главные отличия неклассических логик от классической?

Какие идеи лежат в основе неклассических логик?

Что такое парадокс материальной импликации?

Что такое многозначная логика?

Каково значение многозначной логики?

Что такое принцип двузначности?

Какие многозначные логики существуют?

Что такое интуитивная логика?

Как складывалась интуитивная логика?

В чем основные слабости интуитивной логики?

Чем отличается интуиционистская логика от классической?

Что такое конструктивная логика?

Что такое модальная логика?

Что такое модальность?

Какие существуют виды модальностей?

Что такое положительная логика?

Как трактуется противоречие в паранепротиворечивой логике?

Какие законы устанавливает логика причинности?

Какова главная тема логики изменений?

ЭКЗАМЕНАЦИОННЫЕ ЗАДАНИЯ ПО КУРСУ "ЛОГИКА"

1. Основные способы установления истинности высказываний.

1.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Минута.

1.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Президент - человек, стоящий во главе государства.

1.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Ярославль находится южнее Астрахани.

14. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Некоторые преступления не являются умышленными.

15. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые жители нашего города - верующие.

Некоторые жители нашего города - пенсионеры.

Некоторые верующие - пенсионеры.

1.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

В 8.9. г. было открыто учение о радиоактивности.

1.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

"Если хочешь быть красивым - поступи в гусары" (Прутков).

2. Принцип фальсифицируемости.

2.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Теплый.

2.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Лекарство - вещество, необходимое для выздоровления.

2.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Возможно, что существуют еще не открытые острова.

2.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Всякому человеку свойственно ошибаться.

2.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Всякий предмет состоит из молекул.

Математика - предмет..

Математика состоит из молекул.

2.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

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

2.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Пьеса Грибоедова "Горе от ума" - комедия.

3. Предмет и значение логики.

3.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Верх.

3.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Стихи - все, что не является прозой.

3.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Многие страны не имеют многопартийной системы.

3.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Всякий труд полезен.

3.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Дача взятки - должностное преступление.

Д. не давал взяток.

Д. не совершал должностного преступления.

3.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

Энгельс говорил, что у Гегеля сотворение мира наиболее запутано, чем в Библии.

3.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

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

4. Структура суждения.

4.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Левая рука.

4.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Сестра - близкий родственник.

4.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Комната матери и ребенка есть при каждом железнодорожном вокзале.

4.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Каждый приговор суда должен быть обоснован.

4.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Растрата - должностное преступление.

П. не совершал растраты.

П. не совершал должностного преступления.

4.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

В Лейпциге мы осмотрели памятник народам, павшим в борьбе с Наполеоном.

4.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ИНДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Некоторые русские писатели - лауреаты нобелевской премии.

5. Суждение как форма мышления.

5.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

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

5.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Часы - прибор для измерения времени.

5.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Все планеты солнечной системы вращаются вокруг Солнца.

5.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Не все новое прогрессивно.

5.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые слова служат для выражения мыслей.

Некоторые жесты служат для выражения мыслей.

Некоторые слова являются жестами.

5.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

Возникновение сознания связано с процессом превращения обезьяны в челов..

5.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Немецкий философ Гегель был идеалистом.

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

6.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Ночь.

6.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Юрист - специалист в области юридических наук.

6.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Франция расположена севернее Испании.

6.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Некоторые предприятия убыточны.

6.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые юристы - следователи.

Некоторые юристы - адвокаты.

Некоторые следователи - адвокаты.

6.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

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

6.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Россия не является унитарным государством.

7. Простые суждения.

7.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Неаккуратность.

7.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

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

7.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Мал золотник - да дорог.

7.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Ни одна захватническая война не является справедливой.

7.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

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

Крот - позвоночное.

Крот - рыба.

7.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

Гончаров выступил с резкой критикой крепостного права.

7.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ИНДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

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

8. Гипотеза.

8.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Прокурор.

8.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Газета - печатное периодическое издание.

8.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Всякий человек желает счастья.

8.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

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

8.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

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

Воробьи - птицы.

Воробьи живут в Антарктиде.

8.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

Противоречиво и его отношение с крестьянами.

8.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Не все студенты изучают математику.

9. Деление суждений по качеству и количеству.

9.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Ответчик.

9.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Искусство - форма отражения действительности.

9.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Золото - благородный металл.

9.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

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

9.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые существа, живущие в воде - рыбы.

Кит - не рыба.

Кит не живет в воде.

9.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

"Новые люди" борются за свою жизнь. Они хотят сделать всех людей счастливыми, не жалея своей жизни.

9.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ИНДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Некоторые русские поэты - авторы романов.

10. Доказательство.

10.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Планета.

10.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Одноклеточное существо - существо, состоящее из одной клетки.

10.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Зимой бывают морозные утра.

10.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Атмосфера Юпитера не имеет кислорода.

10.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые планеты не имеют атмосферы.

Меркурий - планета.

Меркурий не имеет атмосферы.

10.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

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

10.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ИНДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

1.1. Некоторые грибы ядовиты.

Выделяющие и исключающие суждения.

11.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Несправедливый.

11.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Страус - птица, которая не летает.

11.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Мадрид - столица Испании.

11.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

В каждом силлогизме должно быть только три термина.

11.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Многие растения растут в Австралии.

Сосна - растение.

Сосна растет в Австралии.

11.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

В 1861 г. в России произошла реформа, отменившая крепостное право.

11.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ДЕДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

Примером эмоционального оратора является Ф. Н. Плевако.

12. Опровержение.

12.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Конец.

12.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Безопасность - это отсутствие опасности.

12.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Иванов родился раньше Петрова.

12.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

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

12.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые руководители - женщины.

Некоторые женщины - хорошие организаторы.

Некоторые руководители - хорошие организаторы.

12.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ:

Барон - человек, характер и судьба которого говорят о неизбежности гибели дворянства.

12.7. К ДАННОМУ ТЕЗИСУ ПОДБЕРИТЕ АРГУМЕНТЫ, ПРОДЕМОНСТРИРУЙТЕ ИХ СВЯЗЬ С ТЕЗИСОМ, ИСПОЛЬЗУЯ ОДИН ИЗ ВИДОВ ИНДУКТИВНОГО УМОЗАКЛЮЧЕНИЯ:

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

13. Распределенность терминов в суждениях.

13.1. ДАЙТЕ ПОЛНУЮ ХАРАКТЕРИСТИКУ ПОНЯТИЮ:

Южная Америка.

13.2. НАЙДИТЕ ОШИБКУ В ОПРЕДЕЛЕНИИ:

Зима - холодное время года.

13.3. ОПРЕДЕЛИТЕ ВИД СУЖДЕНИЯ:

Сегодня утро теплее, чем вчера.

13.4. СДЕЛАЙТЕ ВЫВОД ИЗ СУЖДЕНИЯ ПОСРЕДСТВОМ ПРЕВРАЩЕНИЯ, ОБРАЩЕНИЯ И ПРОТИВОПОСТАВЛЕНИЯ ПРЕДИКАТУ:

Люди - не ангелы.

13.5. ОПРЕДЕЛИТЕ ОШИБКУ В СИЛЛОГИЗМЕ:

Некоторые планеты не имеют атмосферы.

Меркурий - планета.

Меркурий не имеет атмосферы.

13.6. ОПРЕДЕЛИТЕ, КАКОЙ ЗАКОН ЛОГИКИ НАРУШЕН В ДАННОМ СУЖДЕНИИ: