Sign in to follow this  
Unique81

Про логику...

Recommended Posts

Unique81    36


  • Логика — наука о законах правильного мышления.

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

  • Понятие — форма мышления, в которые отражены существенные признаки предметов и явлений.
    Дать определение понятию – значит перечислить его существенные признаки, а их два: признак рода и видовое отличие
    Пример: «Любовь — это активная заинтересованность в жизни и развитии объекта любви» (Эрих Фромм).

  • Законов логики всего 4: «закон тождества», «закон противоречия», «закон исключённого третьего», «закон достаточного основания».
    Закон тождества: «A есть A, всякий предмет есть то, что он есть».
    Закон противоречия: «A не может быть в одно и то же время B и не-B, т.е. из двух суждений, одно из которых утверждает то, что другое отрицает, одно должно быть ложно».
    Закон исключённого третьего: «A есть B или A есть не-B, т.е. из двух взаимоисключающих суждений одно истинно, другое ложно, а третьего не дано».
    Закон достаточного основания: «Каждая мысль должна быть достаточно обоснована, но и достаточное обоснование должно иметь достаточное основание».

  • Суждение — форма мышления, в которой осуществляется связь между понятиями.
    Суждение состоит из субъекта (подлежащего), предиката (сказуемого) и связки между субъектом и предикатом.
    Пример: «Каждый есть сам творец жизни своей». (Фома Аквинский)
    Суждения делятся по количеству и качеству на:
    — Общеутвердительные (A)
    — Частноутвердительные (I)
    — Общеотрицательные (E)
    — Частноотрицательные (O)
    Подсказка: запомнить обозначения можно по латинским словам AffIrmo («утверждаю») и nEgO («отрицаю»). Первая гласная означает общее суждение, а вторая — частное.

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

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

  • Всего 11 комбинаций типов суждений (A, I, E, O) могут образовывать силлогизм: AAA, AAI, AEE, AEO, AII, AOO, EAE, EAO, EIO, IAI, OAO.

  • По фигуре 1 возможны модусы:
    EIO, EAE, AII, AAA.
    По фигуре 2 возможны модусы:
    EIO, EAE, AOO, AEE.
    По фигуре 3 возможны модусы:
    OAO, EIO, EAO, IAI, AII, AAI.
    По фигуре 4 возможны модусы:
    EIO, EAO, IAI, AEE, AAI.
    Подсказка: поможет запомнить модусы стихотворение, в котором в выделенных словах гласные обозначают модусы; заглавные буквы — к каким модусам фигуры 1 сводится соответствующий модус; буквы s, p, m, k после гласных показывают, какой приём для сведения использовать (s — conversio simplex, p — per accidens, m — methatesis, k — reductio ad absurdum).
     
    Barbara, Celarent, Darii, Ferioque prioris;
    Cesare, Camestres, Festino, Baroko, secundae;
    Tertia Darapti, Disamis, Datisi, Felapton,
    Bokardo, Ferison habet: Quatra insuper addit
    Bramantip, Camenes, Dimaris, Fesapo, Fresison.
  • Индукция — это такое умозаключение, посредством которого мы на основании существенных признаков выводим, что истинное в каком-либо частном случае или частных случаях будет истинным и во всех случаях, сходных с предыдущими.
  • Методов индуктивного исследованиявсего 4: метод согласия, метод разницы, метод остатков, метод сопутствующих изменений.
  • Гипотеза — это предположение, которое мы считаем истинным, для того, чтобы вывести из него следствия, согласованные с фактами и истинными положениями.
  • Теория — это доказанная гипотеза.
  • Доказательство — это выведение какого-либо суждения из других суждений, признанных истинными или очевидными.
  • Защита — это доказательство, в котором заранее предполагается, что тезис будет оспариваться.
  • Опровержение — это доказательство ложности тезиса.
  • Классификация — распределение вещей по классам согласно сходству между ними. Задача классификации в том, чтобы распределить вещи по группам в таком порядке, который наиболее удобен для запоминания и позволяет сделать наибольшее число выводов об этих вещах.
  • Приблизительные обобщения — это умозаключения, справедливые для большинства вещей класса.
  • Аналогия — это умозаключение, в котором из сходства двух вещей в некоторых свойствах делается вывод об их сходстве в других свойствах.
  • Метод — это порядок расположения суждений, способствующий достижению определённой цели.
  • Система — соединение взаимосвязанных суждений в одно целое.
  • Паралогизм — неумышленно совершаемая логическая ошибка.
  • Софизм — умышленно совершаемая логическая ошибка, с целью ввести в заблуждение собеседника. Софизм выглядит, как правдоподобное утверждение, но содержит ошибку.
  • Софизм Эватла. Эватл брал уроки софистики у софиста Протагора под тем условием, что гонорар он уплатит только в том случае, если выиграет первый процесс. Ученик после обучения не взял на себя ведения какого-либо процесса и потому считал себя вправе не платить гонорара. Учитель грозил подать жалобу в суд, говоря ему следующее: «Судьи или присудят тебя к уплате гонорара или не присудят. В обоих случаях ты должен будешь уплатить. В первом случае в силу приговора судьи, во втором случае в силу нашего договора». На это Эватл отвечал: «Ни в том, ни в другом случае я не заплачу. Если меня присудят к уплате, то я, проиграв первый процесс, не заплачу в силу нашего договора, если же меня не присудят к уплате гонорара, то я не заплачу в силу приговора суда». (Ошибка становится ясной, если мы раздельно поставим два вопроса: 1) должен ли Эватл платить или нет и 2) выполнены ли условия договора или нет.)
  • Парадокс — утверждение, которое выглядит неправдоподобным, но является истинным.
  • Парадокс Рассела. Пусть K множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K противоречие. Если нет то, по определению K, оно должно быть элементом K вновь противоречие. (Другой вариант этого парадокса известен как «парадокс брадобрея»: одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется», как он должен поступить с собой?)

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this