SаM; SiM; MaS; MiS. - раздел Философия, ЛОГИКА Заключение: Sеp; Sоp; Sоp; Sоp.
Отношения В Меньшей...
Заключение: SеP; SоP; SоP; SоP.
Отношения в меньшей посылке исключающие возможность заключений: SeM; SoM; MeS, MоS.
8. Отношение терминов в большей посылке: РоМ.
Отношений терминов в меньшей посылке -
нет.
Заключения - нет.
Отношений в меньшей посылке исключающих возможность заключения - нет.
Пример: I фигура. Модус правильный:
МаР: «Все травоядные - питаются растительной пищей.
SаМ: Зебры - травоядные животные.
SаР: Зебры - питаются растительной пищей.
- из посылок следует определённое заключение → круги S и Р в отношении к кругу М – занимают только одно положение относительно друг друга.
Пример: I фигура. Модус не правильный:
МаР: «Все травоядные - питаются растительной пищей.
SеМ: Ни одна зебра –не травоядное животное.
?:Следовательно, …».
Схема выявляет противоположные заключения: «Все Sесть Р» и «Ни одно Sне есть Р».
а) б)
Из посылок не следует определённое заключение → круги S и Р при определенном их отношении к кругу М могут занимать различные положения относительно друг друга: совместимости или не совместимости.
Сокращённая форма категорического силлогизма
Простой категорический силлогизм, может быть полным (с большей и меньшей посылками, заключением) и сокращенным.
Энтимема - сокращенная форма категорического силлогизма, когда опускается либо одна из посылок, либо заключение. Существует три разновидности энтимемы:
- силлогизм с пропущенной большей посылкой;
Пример: «Медь - металл.
Следовательно, медь электропроводна».
- энтимема с пропущенной меньшей посылкой;
Пример: «Медь электропроводна, так как все металлы – электропроводны».
- энтимема с пропущенным заключением;
Пример: «Все металлы – электропроводны.
Медь – металл»
Предполагается, что «следовательно, медь электропроводна».
Значение энтимем: - с их помощью достигается краткость, лаконичность речи; они побуждают мыслить, думать. Энтимемы широко используются в устной и письменной речи.
Пример: древний афоризм: «Юпитер, ты сердишься, значит, ты неправ» - пропущена большая посылка: «Всякий, кто сердится, неправ».
Восстановление энтимем производят для того что бы проверить правильность силлогизма.
Пример: «Он решит эту задачу, так как знает математику».
Сначала находим заключение, которое стоит после слов: «следовательно», «поэтому», «и так», «значит»; либо перед словами: «поскольку», «потому что», «так как», «ибо», «от того, что» и их аналогами. В нашем примере заключением будет: «Он решит эту задачу», так как стоит перед словом «так как».
Далее определяем структуру – в заключении находится S - «он», и Р - «решит эту задачу». По S и Р устанавливаем, что имеется и меньшая посылка, где М: «знает математику».
По Р заключения и М (среднему термину), восстанавливаем опущенную большую посылку: «Все те, кто знает математику – могут решать задачи».
Получаем полный силлогизм:
«Все те, кто знает математику – могу решать задачи.
Он знает математику.
Следовательно, он решит эту задачу».
Затем проверим правильность этого силлогизма. Он построен по I фигуре, оба правила этой фигуры соблюдены. Значит, этот силлогизм правильный.
Сложный категорический силлогизм
Умозаключения из атрибутивных суждений могут принимать форму сложного категорического силлогизма, состоящего из силлогизмов, связанных между собой - это полисиллогизмы или сложные силлогизмы.
Пример сорита: «Все растения - живые организмы.
Все цветы - растения.
Следовательно, все цветы - живые организмы».
Заключение может быть, использовано в качестве большей посылки нового силлогизма:
«Все цветы- живые организмы.
Роза - цветок.
Следовательно, роза - живой организм».
Опустим первое (промежуточное) заключение и тогда все умозаключение в целом примет следующий вид:
«Все растения - живые организмы.
Все цветы - растения.
Роза - цветок.
Следовательно, роза - живой организм».
Сорит используется тогда, когда необходимо обозреть длинную цепочку зависимостей между классами предметов.
Пример эпихейремы: В качестве большей посылки положение Р. Декарта: «Я мыслю, следовательно, я существую».
В качестве меньшей - афоризм древних: «Пока дышу, надеюсь».
Из двух энтимем получается эпихейрема: «Я мыслю, следовательно, я существую, а пока существую, надеюсь».
Развернем ее в полный сложный силлогизм:
«Тот, кто мыслит, существует.
Я мыслю.
Следовательно, я существую».
«Тот, кто существует, надеется.
Я существую.
Следовательно, я надеюсь».
Эпихейрема - полисиллогизм, в котором обе посылки - энтимемы, т.е. сокращенные простые силлогизмы.
Все темы данного раздела:
Евланникова Г.Е.
Е 17 Логика: учеб. Пособие / Г.Е. Евланникова. – СПб:
СПбГИЭУ, 2011. – 235. С.
ISBN
Учебное пособие освещает основные понятия, и проблемы
Предмет логики
Логика(от греч. logos - мысль, речь, разум) - это наука о законах и формах мышления, направленная на познание объективного мира. Одной из основных задач логики является – поиск истины, т.е. она изу
Правильность и истинность
Как уже говорилось выше, логика изучает не всякое мышление, а лишь то которое направлено на поиск и обоснование истины. Различение понятий «истинность» и «правильность» связано с выделением в мышле
Логика в Древнем Китае
Логика в Китае появилась в период развития разнообразных школ, конкуренции и дискуссий между ними. Современник Конфуция Мо-цзы, учитель Мо (V-IV вв. до н.э.) основал школу мо-цзя,
Индийская логика
Истоки логики в Индии можно проследить в грамматических текстах V века до н.э.. Две из шести ортодоксально-индуистских школ индийской философии - ньяя и вайшешика - занимались методологией познания
Логика античности
Несмотря на то, что первые учения о рассуждении, о формах и способах мышления возникли в Древней Индии, Китае, в основе современной логики лежит аристотелевское учение. Принято именно Аристотеля (3
Логика в Средневековье
В средние века в Европе государственная христианская идеология подчинила себе науку, политику, культуру, и логика становится служанкой богословия, и только в арабских странах, логика еще сохраняет
Логика в эпоху Возрождения и в Новое время
В эпоху Возрождения экспериментаторы стали противопоставлять опыт дедукции, связываемой со схоластикой и Аристотелем. Леонардо да Винчи, Г. Галилей своей логикой «
Современная логика
В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки, бурно развиваются как теории, так и практики «машинного мышления», создаются вычислительн
Логика в России
Первый россиянин, написавший, всего лишь три страницы о логике, был князь А. М. Курбский (1528-1583 гг.). Им подготовлена к изданию первая на русском языке печатная книга по логике
Мышление и язык
Мышление - высшая форма активного отражения, выражающаяся в целенаправленном познании человеком существенных связей и отношений объективного мира, продуцировании
Язык как знаковая система
Язык возникает одновременно с появлением человеческого общества в процессе трудовой деятельности первобытных людей. В ходе своего развития и функционирования он детерминируется совокупностью процес
Понятие и имя
Основными формами правильного мышления являются - понятие, суждение и умозаключение. Человеческая речь состоит из слов. Слова необходимы для того, чтобы обозначать, имен
Структура понятия
В структуре понятия выделяют содержание и объем, каждое понятие или связанное с ним имя имеют объем и содержание. Как цельная форма мысли понятие представляет собой закономерное единство этих двух
Образование и роль понятий
Возникновение понятий - объективная закономерность становления и развития человеческого мышления. Сначала, человек, мыслил образно, для него «зверь» – это олень,
Виды понятий по объему
Понятия простые, сложные и дескриптивные
Простые понятия – это понятия, выраженные одним словом: «стол», «завод», «дерево», «космонавт»,
Понятия общие, единичные и нулевые
Понятия по объему делятся на непустые и пустые понятия, в зависимости от отношения к существующим или к несуществующим реально предметам мысли. Непустыми понятиям
Понятия собирательные и несобирательные
Собирательные понятия - это понятия, которые обозначают некоторую совокупность предметов, составляют некую целостность, рассматриваемую как самостоятельный предмет. Содержание собират
Понятия конкретные и абстрактные
Конкретные понятия - это понятия, которые обозначают целостные предметы или их классы, обладающие самостоятельностью. Отражают предметы, процессы, явления: вещи «стол», живые с
Понятия положительные и отрицательные
Положительные понятия – это такие понятия, в которых отражается наличие у предметов мысли каких-либо качеств, свойств, т.е. их содержание составляют свойства, присущие предмету: «п
Отношение между понятиями
Рассмотренные виды понятий могут находиться между собой в определенных отношениях, и прежде всего в отношении сравнимости и несравнимости.
Несравнимость – отнош
Отношение совместимости между понятиями
Объем понятия представляет некоторое множество предметов, а соотношение понятий по объему представляется как отношение между множествами. Отношение по объему между понятиями, так же как и по содерж
Отношение равнообъемности между понятиями
В отношении равнообъемности (равнозначности) понятия, объемы которых полностью совпадают. Содержание у них может быть одинаковым или различным («прямоугольный ромб» и «равносторонн
Отношение пересечения между понятиями
В отношении пересечения находятся объемы двух или более понятий, частично совпадающих друг с другом.
СХЕМА: Отношение пересечения изображается двумя частично
Отношение подчинения между понятиями
В отношении подчинения (субординации) находятся понятия, объем одного полностью включает в себя объем другого, но не покрывается им целиком.
Отношение соподчинения между понятиями
В отношении соподчинения находятся два или более однопорядковых вида одного и того же рода. Однопорядковые виды – это виды, относящиеся к одному горизонтальному уровн
Отношение противоположности между понятиями
В отношении противоположности находятся соотносительные понятия, образованные в результате сравнения интенсивностей некоторой величины. Предметы таких понятий объедин
Отношение противоречия между понятиями
Противоречащие понятия исключают друг друга, но не предполагают, как противоположные. Одно из таких понятий указывает на какие-то признаки, а другое - отрицает их. Таким образом, одно из противореч
Ограничение и обобщение понятий
Обобщение – это операция, в которой при помощи исключения видообразующего признака из содержания данного понятия получают родовое понятие из видового, таким образ
Деление понятий
При изучении какого-либо понятия нередко встает задача раскрыть его объем, т.е. распределить предметы, которые мыслятся в понятии, на отдельные группы. В теоретической и в практической областях час
Определение понятий
Определение понятия (дефиниция) - это операция, состоящая в раскрытии содержания, нахождении существенно-общих признаков определенного класса предметов, мыслимого в данном поня
Структура атрибутивного суждения
S – Р, атрибутивное суждение состоит из субъекта, предиката, которые являются терминами, связки и квантора.
S - субъект суждения, понятие о предме
Конъюнктивные (соединительные) «L» - суждения, объединяемые связками «и», «но», «да», «а», «а так же», «хотя», «однако». Р L q
Пример: «Ночи бывают лунные и безлунные».
Состоит из суждений: «Ночи бывают лунные» и «Ночи бывают безлунные». Суждение истинно тогда и только тогда, ког
S есть Р → aS есть аР
Пример: «Все кошки - хищники» → «Все домашние кошки - домашние хищники».
Как правило, ограничения в целом неправомерны, не всегда суждения, полученные с п
Из атрибутивных
Если посылка - суждение вида А, Е, I или О, то непосредственный вывод можно сделать путем вывода по логическому квадрату,
Отношение противоречия
Из реляционных
Логическим основанием служит характер отношения R между предметами Х и У.
Отношение симметричности
Если Х=У, то и У=Х,
то из посылки
Непосредственный вывод через преобразование
Преобразование суждений, происходит в формах обращения,превращения и противопоставления S и Р, которые мы уже рассмотрели в теме «Суждение».
Умозаклю
Из атрибутивных суждений
Типичная форма опосредствованного вывода - простой категорический силлогизм, состоящий из двух посылок и нового суждения - заключения.
Пример
I II III IV
М Р Р М М Р Р М
S M S М M S М S
К I фигуре относят силлогизмы, в которых средний термин занимает место S в большей посылке и место Р в меньшей
Модусы простого категорического силлогизма
Модусы силлогизма - разновидности фигур, отличающиеся друг от друга качеством и количеством суждений, являющихся посылками и заключением. Поскольку в простой категорический силлогизм входит
IV. Bramantip, Camenes, Dimaris, Fesapo, Fresison.
Входящие в название модусов гласные буквы соответствуют символическому обозначению посылок и заключения, поэтому в названии каждого модуса всего три гласных. Согласные бу
Из реляционных суждений
Не силлогистические дедуктивные опосредованные умозаключения. У них может быть определенное сходство с силлогизмами.
Пример: «B. Маяковский - современник М. Горьког
Опосредованный вывод из сложных суждений
Логическое следование заключения определяется не субъектно-предикатными отношениями, а логической связью между составляющими сложного суждения. Выделяют два вида опосредованных умозак
Виды индукции
Полная индукция, если посылки исчерпывают весь класс предметов, подлежащих индуктивному обобщению. Схема достоверной индукции:
S1 есть Р
S
Индуктивные методы установления причинной связи
Причина - явление (совокупность явлений), при возникновении которого необходимо вызывается другое действие - следствие,а при его исчезновении неизбежно вле
Условия правомерности индуктивных выводов
1. Для индуктивного обобщения необходимо чтобы число случаев, зарегистрированных в посылках, было возможно большим. Как правило, причина заблуждения заключается не в недостаточном кол
Логические ошибки в индуктивных умозаключениях
Увеличивает вероятность вывода не допущение следующих распространенных ошибок: «поспешное обобщение» и «после этого, значит по причине этого».
«Поспешные обобщения»
Виды аналогии
Атрибутивная аналогия
Выводы по аналогии - перенос информации с одного предмета (модели) на другой (прототип, образец). Модель в процессе познания выступает как зам
Отличие между индукцией и аналогией
Эти умозаключения от частностей, но разница между ними в том, что индукция приходит к общему, а умозаключение по аналогии приходит опять к частностям. Умозаключение по аналогии не обращается к опре
Условия правомерности выводов по аналогии
Строение разных форм выводов по аналогии различно, поэтому общих правил нет, речь идет только о правилах отдельных форм выводов по аналогии. Начнем с аналогии типа парадейгмы.
Роль аналогии
Чем меньше научных и практических знаний, тем чаще человек судит о новых явлениях по аналогии с ранее встречавшимися. Если отсутствуют опытные обобщения, то рассмотрение явлений по сходным признака
Логические ошибки в аналогии
Аналогия иногда поверхностна и ведет заведомо к ошибочному выводу, а то вообще заводить в тупик. Многие бытующие до сих пор предрассудки - вера в приметы, гадание - опираются на ошибочные аналогии.
Доказательство – способ обоснования истинности
Получение опосредованных, выводных знаний происходит не только в форме умозаключения. Доказательство строится на умозаключениях, но не сводится к ним. Открывая истину, челов
Структура доказательства
Во всяком доказательстве различают три части: доказываемое положение, или тезис - то, что должно быть доказано или сделано очевидным, выражается в форме суждения; основание доказатель
Опровержение
Опровержение - это отрицание доказательства, обоснование ложности или несостоятельности либо элементов, либо доказательства в целом. Опровержение структурно мало чем отличается от доказательства. О
Правила тезиса
Доказуемый тезис должен быть истинным, истинность тезиса не рождается, а лишь устанавливается, раскрывается. Все попытки нарушить это правило, которое вытекает из самой сущности истин
Правила аргументов
Аргументы должны быть истинными и их истинность не должна вызывать сомнений. Это правило неразрывно связано
с первым правилом тезиса.
Ист
Дедуктивный способ аргументации.
Точное определение в большей посылке, выполняющей роль довода, исходного положения,что дает возможность убедительно продемонстрировать научные позиции или практические соображения, ко
Ошибки по отношению к тезису
Потеря тезиса проявляется в том, что сформулировав тезис, пропонент забывает его и переходит к другому, прямо или косвенно связанному с первым, но в принципе другому положению. Далее
Ошибки по отношению к аргументам
Нарушение требование достоверности, истинности и доказанности аргументов приводит к двум ошибкам.
Основное заблуждение– принятие за истину ложного аргумента. Причины -
Логика вопросов и ответов
Развитие знаний - переход от ранее установленных суждений к новым, более точным и богатым по содержанию. Этот переход состоит из этапов: 1) постановка вопроса, 2) поиски новой информации, 3) констр
Ли-вопросы» - уточняющие
Эти вопросы делятся на простые безусловные – «верно ли, что» и простые условные – «верно ли, что если…то» и сложные: конъюнктивные, дизъюнктивные и импликативные. Ответы на них могут
Простые и сложные вопросы
Простые вопросы - это такие, которые не включают в качестве составных частей других вопросов.
Сложные вопросы – это такие, которые включают в каче
Ответы по существу и не по существу
Ответ по существу вопроса – такой ответ, содержание и структура которого строиться в соответствии с поставленным вопросом. Только в этом случае он расценивается релевантным,
Краткие и развернутые ответы
Краткие - это односложные утвердительные или отрицательные ответы: «да» или «нет».
Развернутые - это ответы, в которых повторя
Точные и неточные ответы
Под точностью и определенностью понимают логическую, т.е. понятийно-структурную характеристику вопроса. Она выражается в точности употребляемых понятий
Логические нормы постановки вопроса и ответа
1. Вопрос должен быть корректно поставлен. Каверзные, провокационные и неопределенные вопросы недопустимы.
2. Вопрос должен быть простым, кратким, ясным, четким. Длинные, запутанные вопрос
Проблема
Проблема - форма мысли, отражающая в виде вопроса знание о неизвестном, и своей постановкой требующая теоретического или практического преодоления этой неизвестности, т.
Виды проблем
1. По своей сущности, проблемы делятся на эмпирические,
связанные с разрешением противоречия между фактами и их истолкованием и теоретические, возникающие из пр
Требования к постановке проблемы
1. Предпосылки проблемы должны быть истинными.
2. Предпосылки должны быть необходимыми и достаточными для выдвижения проблемы.
3. Сама проблема должна быть точно
Гипотеза
Гипотеза - предположение, которое считается истинным. К гипотезе прибегают в том случае, когда есть ряд фактов, которые не объяснены из-за того что в непосредственном оп
Виды гипотез
1. По функциям в познавательном процессе различают гипотезы:
а) описательные- это предположение о присущих исследуемому объекту свойства
ЗАКЛЮЧЕНИЕ
В учебном пособии рассмотрены основные проблемы, которые решает логика. Она неразрывно связана с мышлением и с тем, что ему доступно, поэтому логика находит практическое применение в науке, искусст
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Основная литература:
1. Гуц А.К. Математическая логика и теория алгоритмов. М., 2009.
2. Евланников В.П., Евланникова Г.Е. Логика и теория аргументации. Консп
ТЕРМИНОЛОГИЧЕСКИЙ СЛОВАРЬ
АКСИОМА - истинное суждение, которое принимается без доказательств в качестве исходного положения.
АЛЬТЕРНАТИВА - каждая из двух или нескольких исключающих друг друга возможностей.
Новости и инфо для студентов