Основы логики

Размещено на http://www.allbest.ru/

1. Понятие «абсолютно черное тело» получено с помощью логической операции

А) Анализа.

Б) Синтеза.

В) Изолирующей абстракции.

Г) Идеализация V

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

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

2. Сборник логических трактатов Аристотеля называется

А) «О природе вещей»

Б) «Метафизика»

В) «Органон» V

Г) «Канон»

Естественное введение в свод философских и научных работ Аристотеля составляет сборник его логических трактатов, названный «Органоном» («орудие»). Название это, возникшее после смерти Аристотеля, указывает, что логика, как ее понимал Аристотель, есть учение об орудии научного исследования и в этом смысле есть как бы введение в философию, в частности и в особенности - в философию науки. В «Органон» входят: 1) «Категории» - сочинение, не совсем достоверно приписываемое Аристотелю; 2} «Об истолковании» (трактат о суждении); 3) «Аналитики» - первая и вторая, каждая в двух книгах. Это основной логический труд Аристотеля. В нем излагаются: учение об умозаключении (силлогизме) - в первой «Аналитике» и учение о доказательстве - во второй; 4) «Топика» - обширный трактат о вероятных доказательствах и о «диалектике» - в аристотелевском понимании этого термина; 5) «Опровержение софистических доказательств».

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

3. Отношение знака к обозначающему объекту исследует

А) Синтактика

Б) Семантика V

В) Прагматика

Г) Грамматика

Семантика логическая - раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX-XX вв. благодаря работам Ч. Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К.И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку.

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

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

А) Любой.

Б) Всякий. V

В) Не существует.

Г) Имеет место.

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

- У нас что-то произошло.

- У кого-то нет еды.

- Мужчины бывают непоследовательны.

- Иногда Иванов заходил к соседу сверху.

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

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

5. «Космонавт» это

А) Единичное имя. V

Б) Общее имя.

В) Универсальное имя.

Г) Мнимое имя.

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

Имена различаются между собой в зависимости от того, сколько предметов они означают. Единичные имена обозначают один и только один предмет. Единичным именем является к примеру слово «Солнце», обозначающее единственную звезду в Солнечной системе. Единичным является и имя «естественный спутник Земли», поскольку оно обозначает Луну, являющуюся единственным таким спутником Земли.

6. Какое из указанных выражений является суждением?

А) «Идет ли дождь?» V

Б) «Пойдёмте в кино».

В) «В одну и ту же реку нельзя войти дважды»

Г) «Сегодня погожий день».

Суждение (высказывание) - есть мысль (выраженная в форме повествовательного предложения), в которой нечто утверждается о предмете действительности, которая объективно является либо истинной, либо ложной. Правда, истинность суждения относительна. Говорят, что суждение может иметь одно из двух значений истинности: «истина» или «ложь». Суждение истинно (имеет значение истинности - истина), Если оно соответствует действительности. Критерий истинности - практика. К числу суждений не относятся мысли, не имеющие значения истинности. Таким мыслям в языке соответствуют вопросительные и побудительные предложения. Является ли суждением фраза: «Иванов сдаст экзамен на отлично»? Да, ведь это не вопросительное и не побудительное предложение. Но значение истинности его не определено, пока не пройдет экзамен.

7. Соединительному союзу «и» соответствует логический знак

А) & V

Б) -

В) >

Г) V

Закон косвенного доказательства - логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Например: «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число».

С использованием символики логической (p, q - некоторые высказывания; -> - импликация, «если, то»; & - конъюнкция, «и»; ~ - отрицание, «неверно, что») закон записывается так:

(~ p->q)&(~p->~q)->p,

если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула:

(~p->q&~q)->p,

если (если не-р, то q и не-q), то р. Напр.: «Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 - четное число».

8. Формула ((Р>Q) & к Р) > к Q выражает

А) Правильную форму modus ponens

Б) Неправильную форму modus ponens V

В) Правильную форму modus tollens

Г) Неправильную форму modus tollens

Формула в ЛВ называется тождественно-истинной, или тавтологией, если она истинна в любой интерпретации

Формула ЛВ называется тождественно-ложной, или противоречием, если она ложна в любой интерпретации.

Очевидно, формула тождественно истинна тогда и только тогда, когда атождественно ложна.

Формула ЛВ называется выполнимой если она истинна хотя бы в одной интерпретации.

Пример - Формула Р > P выполнима, так как, например 0 > 1 = 1.

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

Р > Р (закон тождества);

P ? P (закон исключенного третьего);

P ? P (закон противоречия);

P - P (закон двойного отрицания);

P > (Q > Р) (истина из чего угодно);

P > (P >Q) (из лжи что угодно);

(Р >Q) ? Р > Q (Modus Ponens);

(Р > Q) ? Q > P (Modus Tollens);

(Р > Q) ? (Q >R) > (Р >R) (закон силлогизма);

(Р > Q) > (Q > P) (закон контрапозиции).

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

9. Какое из следующих понятий является непустым?

А) «Леший»

Б) «Домовой»

В) «Египетский фараон» V

Г) «Пегас»

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

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

10. Объемы какой пары понятий соотносятся так, как на следующей схеме

А) Жираф - травоядное

Б) Репей - лопух

В) Юрист - прокурор

Г) Футболист - нападающий V

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

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

логический аристотель общеотрицательный абсолютный

11. Какой из законов логики нарушен в следующем примере: «Что это вы все время смеетесь? - А что же мне плакать, что?»

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

Б) Закон недопущения противоречия. V

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

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

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

Сущность закона: два несовместимых друг другом суждения не могут быть одновременно истинными; по крайней мере одно из них обязательно ложно. Записывается: а не есть не - a.

12. Какой из законов логики нарушен в следующем требовании: «За сборную должны выступать только игроки уже имеющие опыт игры за сборную»?

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

Б) Закон недопущения противоречия

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

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

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

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

Реально такие связи образуются из следующих пар суждений:

- «Это S есть Р» и «Это S не есть Р» (единичные суждения);

- «Все S есть Р» и «Некоторые S не есть Р» (суждения А и Q),

- «Ни одно S не есть Р» и «Некоторые S есть ^» (суждения Е и I).

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

13. Какое из указанных определений является перациональным?

А) «Квадрат - это прямоугольный ромб»

Б) «Ромб - это равносторонний четырехугольник»

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

Г) «Кислота - это жидкость, при погружении в которую лакмусовой бумажкой последняя окрашивается в красный цвет. V

Определение операциональное - определение физических величин (длины, массы, силы и др.) через описание совокупности специфицирующих их экспериментально-измерительных операций, напр.: «Сила есть физическая величина, пропорциональная растяжению пружины в пружинных весах». Иногда О. о. формулируются в сокращенной форме, напр.: «Температура есть то, что измеряется термометром», где Dfn (определяющее) в действительности представляет собой указание не только на прибор, которым измеряется определяемая физическая величина, но и на совокупность операций, используемых при измерении температуры, которые в определении подразумеваются. Одна и та же физическая величина может быть определена не только операционально, но и при помощи определений на теоретическом уровне. Например, на теоретическом уровне температура может быть определена как величина, пропорциональная кинетической энергии молекул. В соответствующих физических теориях формулируются так называемые правила соответствия, устанавливающие связь между понятиями, определенными операционально, и понятиями, определенными на теоретическом уровне. Так, в кинетической теории газов формулируется следующее проверяемое (и притом истинное) правило соответствия: «Числовые значения температуры газа, получаемые на основе показаний термометра, являются показателем средней кинетической энергии молекул».

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

14. Какая ошибка допущена в следующем определении: «Человек это двуногое живое без перьев»?

А) «Слишком широкое определение»

Б) «Слишком узкое понятие» V

В) «Перекрещивающееся определение»

Г) «Определить «как попало»».

Рождение антропологической идеи Платон, основатель первой философской школы, некогда демонстрировал силу мысли перед учениками. Что такое человек? Человек, рассуждал он, принадлежит роду животных, виду двуногих животных. Одним словом, двуногое без перьев. Диоген из Синопа, оказавшийся среди слушателей, решил подать и свой голос. Он ощипал цыпленка и бросил обезображенную птицу в круг: «Вот, Платон, твой человек!» Кажется, что любое определение человека, даже если оно будет исправляться, уточняться, не только бессмысленно, но и курьезно. Что, например, проку от того, что Платон, узрев цыпленка без крыльев, решил усовершенствовать дефиницию. Пернатый аргумент Диогена не остался незамеченным. Платон добавил еще одну деталь к описанию идеального двуногого - «широкие и плоские ногти»…

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

15. Какая логическая операция выполнена в следующем примере: «Ни один крокодил не живет в Амуре. Следовательно, все живущие в Амуре - не крокодилы»?

А) Обращение.

Б) Превращение.

В) Противопоставление предикату. V

Г) Противопоставление субъекту.

Противопоставление предикату - вид непосредственного умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически:

S есть Р.

не-Р не есть S.

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

16. Какое из следующих суждений является выделяющим

А) Некоторые студены - отличники.

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

В) Некоторые футболисты - нападающие.

Г) Некоторые чиновники - честные. V

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

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

17. Какая ошибка допущена в следующем простом категорическом силлогизме: «Некоторые китайцы живут в Хабаровске. Некоторые хабаровчане учатся в ХГТУ. Следовательно, среди студентов ХГТУ есть китайцы»?

А) «Учетверение термина». V

Б) «Не распределен средний термин»

В) «Незаконное расширение термина».

Г) «Допущение ложной посылки».

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

Все вулканы - горы.

Все гейзеры - вулканы.

Следовательно, все гейзеры - горы.

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

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

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

А) Условно-категорический силлогизм.

Б) Условно-разделительный силлогизм. V

В) Разделительно-категорический силлогизм.

Г) Чисто условный силлогизм.

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

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

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

Если A₁, то B, если A₂, то, так же, B.

Возможно только A₁ или A₂

B предопределено

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

Если A, то B или C.

Не желательно ни B ни C (B или C)

A недопустимо.

19. Какую фигуру имеет следующий простой категорический силлогизм: «Ни один лжец не заслуживает доверия. Всякий добропорядочный человек заслуживает доверия. Следовательно, не один добропорядочный человек не лжец»?

А) Первую. V

Б) Вторую.

В) Третью.

Г) Четвертую.

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

Справедливость (P) предусматривает ответственность за поступки (M).

Доброта (S) не требует ответственности (M)

Доброта (S) несправедлива (P).

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

Большая посылка должна быть более общей, меньшая утвердительной. Ее формула (модус) последовательности посылок и следствия AAA, EAE, AII, EIO - любые другие комбинации ошибочны

Большая посылка должна быть более общей и одна из посылок, а так же, заключение - отрицательным: AEE, AOO, EAE, EIO.

Меньшая посылка должна быть утвердительной, а заключение - частным: AAI, EAO, IAI, OAO, AII, EIO.

Не дает общеутвердительных заключений. Если большая посылка утвердительная, то меньшая должна быть общей. Если одна из посылок отрицательна, то обшей должна быть большая посылка: AAI, AEE, IAI, EAO, EIO.

Проверку правильности вывода легко провести, заменив смысловые значения символами (A, I, E, O) и определив тип фигуры. Так, суждение «Нечеткие и не лаконичные суждения не следуют логике в должной степени» можно представить в виде силлогизма:

A Вся логика (P) является необходимой для правильной формулировки суждений (M).

O Некоторые суждения (S) формулируются не вполне правильно (M)

O Некоторые суждения (S) не вполне соответствует логике (P).

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

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

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

20. Какая ошибка допущена в следующей аргументации: «Немецкий физик В. Нерст, автор третьего начала термодинамики, следующим образом «доказывал», что ему удалось завершить разработку фундаментальных законов термодинамики: у первого начала ти автора (Майер, Джоуль Гемгольц), у второго - два (Карно и Каузиус), у третьего - один (Нерст); следовательно, число авторов четвертого начала должно равняться нулю, т.е. такого закона не может быть»?

А) «Мнимое следование». V

Б) «Предвосхищение основания»

В) «Подмена тезиса»

Г) «Круг в доказательстве»

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

Список литературы

1. Гладкий А.В. Введение в современную логику. - М.: МЦНМО, 2001. - 200 с.

2. Кирилов В.И., А.А. Старченко Логика. - Учебник для вузов. - М., 2005.

3. Купарашвили М.Д. Неклассическая логика: Учебное пособие. - Омск: Изд-во ОмГУ, 2006. - 74 с.

4. Купарашвили М.Д., Нехаев А.В., Разумов В.И., Черняк Н.А. Логика: Учебное пособие для студентов. - Омск: Изд-во ОмГУ, 2005. - 124 с.

5. Черняк Н.А. Логика: Учебное пособие. - Омск: Изд-во ОмГУ, 2004. - 84 с.

Размещено на Allbest.ru