Ошибки определений подразделяются на

Автор статьи

Юлия Валерьевна Шульгина

Эксперт по предмету «Логика»

преподавательский стаж — 10 лет

Задать вопрос автору статьи

Характеристика определения и сходных с определением приемов

Любое определение состоит из двух основных элементов:

  • того, что определяется (определяемого понятия, definiendum);
  • того, при помощи чего определяется (определяющего понятия, definiens).

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

Логотип baranka

Сдай на права пока
учишься в ВУЗе

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

Получить скидку 4 500 ₽

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

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

«Ошибки при определении понятий в логике» 👇

Классификация определений

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

  • реальные (касающиеся предметов). Их цель – раскрыть содержание, взаимосвязи и существенные признаки предмета;
  • номинальные (касающиеся имен). Их цель – указать, что из перечисленного в определении именуется вводимым термином.

Определение 2

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

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

Пример номинального определения: «Электролиты – это вещества, растворы (расплавы) которых проводят электрический ток».

Определение 3

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

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

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

По форме определения бывают:

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

Правила определения и типовые ошибки

Ко всем определениям – независимо от их вида и формы – предъявляются определенные требования, сформулированные в виде правил.

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

  1. Слишком широкое определение (если объем определяющего термина больше, чем объем определяемого термина).

    Пример 1

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

  2. Слишком узкое определение (если объем определяющего термина меньше, чем объем определяемого термина).

    Пример 2

    Пример слишком узкого определения: «Биология – это наука о растениях и животных». На самом деле, этими направлениями занимаются отдельные разделы биологии; биология в целом охватывает более общие и широкие вопросы.

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

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

Если это правило нарушается, могут возникнуть следующие ошибки:

  1. Порочный круг. В этом случае смысл термина из определяющей части раскрывается в другом определении через исходный определяемый термин.

    Пример 3

    Пример порочного круга: «Материя – это все, не являющееся сознанием; сознание – это все, не являющееся материей».

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

    Пример 4

    Пример тавтологичного определения: «Дождливая погода – это погода, когда идет дождь».

Третье правило: определение должно быть ясным. Если это правило нарушается, формируется неясное определение (с двусмысленным, метафорическим и непонятным определяющим термином).

Пример 5

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

Находи статьи и создавай свой список литературы по ГОСТу

Поиск по теме

  • Несовместимые
    – понятия, не имеющие общих элементов
    объёмов (собственник
    и неимущий
    )

    Устанавливая
    отношения между понятиями, важно не
    отождествлять понятия с общими именами
    или просто словами, не выражающими
    понятий.

    Обобщение
    и ограничение понятий

    – операции, кот. осуществляются на
    основе з-на обратного отношения – «пусть
    имеются 2 понятия, содержание 1-го меньше
    содержания 2-го, тогда объём 1-го больше
    объёма 2-го».

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

    – переход от нек. понятия к понятию с
    большим объёмом, но меньшим содержанием
    (млекопитающее
    животное, обитающее на суше

    млекопитающее животное

    животное
    ).
    Предел
    обобщения понятия

    – универсальное понятие в рамках науки
    или безотносительно к той или иной
    науки.

    Ограничение
    понятия

    — переход от нек. понятия к понятию с
    меньшим объёмом, но большим содержанием
    (животное

    млекопитающее животное

    млекопитающее животное, обитающее на
    суше
    ).
    Предел
    ограничения понятия

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

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

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

    Задачи
    определения:

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

    2. Найти
      систему существенных признаков этих
      предметов Виды
      определений:

    1. По
      ф-ции, кот. определения выполняют в
      познании:

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

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

    1. По форме:

    Явные
    — определения, которые имеют структуру:
    «А есть В», где А
    определяемое
    выражение (дефиниенд (dfd)), а В — определяющее
    (дефиниенс (dfn)). Определяемые
    выражения
    :

        • Выражения
          типа единичных имён

        • Предложения

        • Предметные
          функторы

        • Знаки
          св-в и отношений ➢
          Знаки
          признаков

        • Выражения
          типа общих имён

          – определения:

          • Через
            род

            — множество предметов, среди кот.
            необходимо выделить интересующие
            нас предметы

          • Видовое
            отличие

            – система признаков, с помощью кот.
            выделяются определяемые предметы
            среди др. предметов рода

    Атрибутивно-реляционные

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

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

    Операциональные

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

    окрашивается
    в красный цвет
    )

    Неявные:

    Через
    отношение к противоположному

    – определение сразу 2 терминов путём
    указания отношения предметов, обозначаемых
    одним из этих терминов, к предметам,
    обозначаемым др. термином (Причина
    – это явление, кот. вызывает др. явление
    — следствие
    )

    Контекстуальные:

    • Нормальные
      — К(а) ≡
      Т, где а — определяемое выражение

    • Определения
      в контексте

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

    Индуктивные
    (Определение
    формулы языка логики высказываний
    )

    Правила
    и ошибки определения:

    1. Определение
      должно быть целесообразным

      – определение выражения должно зависеть
      от поставленной задачи. Не следует
      определять выражения без необходимости

      • Ошибка

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

    2. Определение
      должно быть ясным

      – должны быть известны смыслы и значения
      терминов, входящих в dfn (dfn не должен
      содержать выражений, кот. не разъяснены
      до/после определения)

      • Ошибка
        – «определение неизвестного через
        неизвестное» и «определение известного
        через неизвестное»

    3. Определение
      должно быть эффективным

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

    4. Определение
      должно быть соразмерным

      – значения (объёмы) dfd и dfn должны
      совпадать

      • Ошибка
        – «слишком широкое определение» (dfd <
        dfn), «слишком узкое определение» (dfd >
        dfn), «перекрещивающееся

    определение»,
    «определено как попало» (dfd и dfn не
    совпадают)

    1. Определение
      не должно заключать в себе круга

      — dfd определяется dfn, а dfn
      непосредственно/опосредованно
      определяется при помощи dfd •
      Ошибка

      «тавтологичность»

    2. Нельзя принимать номинальные определения за реальные

      • Ошибка
        — добавление новой, не содержащуюся в
        них информацию

    Рекомендации:

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

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

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

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

    27. Приёмы разъяснения выражений, сходные с определениями

    1. Разъяснение
      посредством словарей

      (Психология
      – наука о психике. Психика – совокупность
      душевных процессов и явлений. Психология
      – наука о психических явлениях
      )

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

    3. Хар-ка
      — раскрытие всех сторон предмета, важные
      в каком-то отношении, но не обязательно
      отличающие предмет от др. предметов (У
      друга народов должны быть качества…
      )

    4. Сравнение
      (Злость
      сходна с кратковременным помешательством
      )

    5. Разъяснение
      посредством примеров

      – приведение примеров объектов, кот.
      обозначаются языковыми выражениями
      (Что
      можно сделать с помощью линейки? …
      )

    Остенсивное
    определение

    — разъяснение слов или словосочетаний
    путем непосредственного указания
    предметов, действий или ситуаций,
    обозначаемых этими словами или
    словосочетаниями

    28. Деление: таксономическое и мереологическое. Правила деления. Ошибки. Классификация

    Таксономическое
    деление

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

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

    (их
    объемами), должно иметь место отношение
    «род—вид». Это отношение (таксономическое)
    и дало название указанному виду деления.
    Таксоны
    — объемы видовых понятий называются.

    Таксономические
    деления:

    1. По
      изменению видообразующего признака

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

    Др.
    пример: деление людей по образованию.
    Исходное понятие: «человек, имеющий
    какое-то образование». Указываем виды
    образования: неполное среднее, среднее,
    высшее.

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

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

    1. Дихотомическое
      деление

      — деление объема понятия на 2 класса,
      понятия о которых находятся в отношении
      противоречия. Напр.,
      в-ва делятся на органические и
      неорганические.

    Многоступенчатое
    деление

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

    Делимое
    понятие

    — понятие, в объеме кот. выделяются
    подклассы.

    Члены
    деления

    — понятия, получаемые в результате
    деления.

    Мереологическое
    деление

    – деление по типу «целое — часть». При
    этом делении осуществляется переход
    от понятия о предмете (от делимого
    понятия) к понятиям о частях этого
    предмета (к членам деления). Пример
    мереологического деления: МГУ делится
    на ректорат, 16 факультетов, 12 институтов
    и хозяйственную службу. Такое
    деление может быть 1ступенчатым и
    многоступенчатым
    .

    Правила
    и ошибки деления:

    1. Деление
      должно быть соразмерным

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

      • Ошибки:

        • Неполное
          деление
          .
          Эта ошибка имеет место, если объединение
          объемов членов деления в случае
          таксономического деления составляет
          лишь часть объема делимого понятия
          (не совпадающую с объемом), а в случае
          мереологического мысленное соединение
          частей составляет лишь часть делимого
          предмета (не совпадающую с предметом).
          МГУ
          делится на 16 факультетов, 12 институтов
          и хозяйственную службу (пропущен член
          “ректорат”)

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

    2. Деление
      должно производиться по 1 основанию

      хар-ка, выбираемая

    в
    качестве основания деления, в ходе
    деления не должна подменяться др.
    характеристикой

    • Ошибки:

    Сбивчивое
    деление.

    Напр.,
    преступления делятся на раскрытые,
    нераскрытые и преднамеренные.

    Члены деления «раскрытые
    преступления»

    и «нераскрытые
    преступления»

    выделены по одному основанию, а член
    деления

    «преднамеренные
    преступления»

    — по др.

    1. Члены
      деления должны исключать друг друга

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

    2. Деление
      должно быть последовательным

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

      • Ошибки:

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

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

    Классификация
    — это особого вида деление или система
    мереологических или таксономических
    делений. (В одной и той же классификации
    могут встречаться как таксономические,
    так и мереологические деления).

    Классификации
    отличаются от делений, не являющихся
    таковыми, рядом
    свойств:

    1. Классификация
      — это деление или система последовательных
      делений для решения теоретической или
      практической задачи.

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

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

    1. При
      классификации нужно так распределить
      предметы по группам, чтобы по их месту
      в классификации можно было судить об
      их свойствах. Напр., по месту химических
      элементов в периодической системе Д.И.

    Менделеева
    можно судить об их св-вах.

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

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

    30. Гипотеза и следственная версия

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

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

    1. Особого
      рода знание

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

    2. Особый
      процесс развития знания

      – слож. процесс познания, заключающийся
      в выдвижении предположения, его
      обосновании (неполном) и док-ве/опровержении

    В
    этом процессе выделяют две ступени:

    1. Развитие предположения:

    • Выдвижение
      предположения

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

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

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

    Предположение
    не должно быть логически противоречивым

    (не должно быть самопротиворечивым) и
    не должно

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

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

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

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

    (принцип простоты). Это требование
    позволяет из 2 или более гипотез,
    объясняющих один и тот же круг явлений,
    выбрать наиболее простую. 2.
    Доказательство/опровержение предположения

    Простые
    гипотезы

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

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

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

    являющегося
    отрицанием гипотезы.

    Одним
    из способов доказательства
    гипотез

    является разделительное
    логическое
    доказательство.

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

    Гипотеза
    может доказываться путем
    ее выведения лог. путем из более общих

    положений.

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

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

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

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

    На
    1-ом этапе

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

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

    На
    2-ом этапе

    должны быть объяснены
    все имеющиеся факты на основе, по

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

    Первое
    требование

    должно выполняться.

    Второе
    требование

    среди предположений не должно быть
    принципиально непроверяемых.

    Третье
    требование

    должно выполняться.

    Четвертое
    требование

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

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

    Доказательство
    версий имеет следующие особенности:

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

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

    3. Решение
      суда или прокурора по делу считается
      обоснованным, пока не будет установлено
      обратное в порядке, предусмотренном
      з-ном

    (презумпция
    истинности решения по делу)

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

    Аргументация

    один из способов обоснования утверждений
    (суждений, гипотез, концепций и т.д.).

    Утверждения
    могут обосновываться путем непосредственного
    обращения к действительности

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

    Аргументация

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

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

    Задачей
    аргументации

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

    Убеждение
    — полная уверенность в истинности,
    мнение
    — тоже уверенность, но неполная.

    Способы
    выработки убеждений изображены на
    следующей схеме:

    1. Путём
      обоснования:

      • На
        основе непосредственного обращения
        к действительности

      • На
        основе аргументации

    2. На
      основе веры, внушения и т.д.

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

    Множество
    аргументов {А1,
    …, A
    n}
    подтверждает тезис Т
    или тезис Т
    логически следует из указанных аргументов,
    или в аргументации нет ни того, ни другого

    Частным
    случаем аргументации является
    (лог.)
    доказательство

    (доказывание).

    Доказательство
    — установление истинности к/л положения
    с использованием лог. ср-в и утверждений,
    истинность которых уже установлена.

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

    Следовательно,
    можно различать
    доказательную аргументацию
    и
    недоказательную аргументацию.

    Недоказательные
    (правильные) аргументации бывают 3 типов
    :

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

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

    3. Аргументации,
      в кот. аргументы являются не полностью
      обоснованными утверждениями, а форма
      — недемонстративным рассуждением.

    Можно
    выделить (правильные) аргументации 2
    типов по другому основанию — по
    направленности рассуждения
    .
    Это прямой
    и косвенный

    виды
    аргументации
    .

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

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

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

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

    Косвенное
    логическое доказательство с правовой
    точки зрения

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

    36. Правила аргументации и критики по отношению к тезису. Ошибки и уловки

    В
    процессе аргументации и критики могут
    совершаться ошибки 2 типов:

    1. Умышленные
      — софизмы
      ,
      а лица, совершающие такие ошибки, —
      софистами. Софизмами называются и сами
      рассуждения, в которых содержатся
      умышленные ошибки

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

    Недопущению
    ошибок в аргументациях и критике
    способствует соблюдение специальных
    правил
    :

    1.
    Необходимо
    явно сформулировать тезис

    (в виде суждения, системы суждений,
    проблемы, гипотезы, концепции и т.д.).
    Это правило выражает главное условие
    эффективности аргументации и критики.

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

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

    • Договориться
      о тезисах аргументации сторон

    2.
    Тезис
    должен быть сформулирован четко и ясно
    :

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

    • Нужно
      выявить логическую форму тезиса. Если
      тезис является суждением, в кот. нечто
      утверждается/отрицается о предметах,
      то нужно выяснить, о всех ли предметах
      идет речь в суждении или лишь о нек. (о
      многих, о большинстве, о меньшинстве и
      т.д.). Следует уточнить, в каком смысле
      употреблены союзы “и”, “или”, “если…,
      то…” и т.д.

    • Иногда
      целесообразно уточнить время, о кот.
      идет речь в суждении, например, уточнить,
      утверждается ли, что определенное
      свойство принадлежит предмету всегда,
      или оно принадлежит ему иногда: уточнить
      значение таких слов, как “сегодня”,
      “завтра”, “через столько-то часов”
      и т.д.

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

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

    Иногда
    в споре применяют уловку
    “умышленная
    нечеткая формулировка тезиса

    -умышленно формулируют тезис нечетко.

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

    С
    первым правилом связана также уловка
    “чрезмерное требование уточнения
    тезиса”

    требование
    разъяснять даже ясные выражения.

    Еще
    одна уловка
    — “умышленное непонимание тезиса”.

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

    Бывает
    и так, что автора необоснованно обвиняют
    в неясности. Уловка
    “необоснованное обвинение в неясности”

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

    3.
    Тезис
    не должен изменяться в процессе
    аргументации и критики без

    специальных
    оговорок.

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

    Разновидностью
    подмены тезиса являются ошибки: (1)
    “подмена
    аргументируемого тезиса более сильным
    утверждением”

    (по отношению к доказательству эта
    ошибка имеет название “кто много
    доказывает, тот ничего не доказывает”);
    (2) “подмена
    критикуемого тезиса более слабым
    утверждением”

    (применительно к опровержению она
    называется “кто много опровергает, тот
    ничего не опровергает”).

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

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

    С
    3-им правилом связаны следующие уловки.

    Ослабление
    тезиса аргументации.

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

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

    Усиление
    критикуемого утверждения.

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

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

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

    37. Правила аргументации и критики по отношению к аргументам. Ошибки и уловки

    1.
    Аргументы
    должны быть сформулированы явно и ясно
    .

    Для
    выполнения этого правила необходимо:

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

    2. Уточнить
      дескриптивные термины;

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

    4. Уточнить
      оценочные характеристики аргументов
      (являются ли они истинными или
      правдоподобными утверждениями).

    Аргументы
    должны быть суждениями, полностью или
    частично

    обоснованными.

    2.

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

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

    Существует
    несколько разновидностей ошибки
    “необоснованный аргумент”.

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

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

    Аргумент
    может быть ложным вследствие
    самопротиворечивости. Таковым
    является утверждение Сократа: “Я знаю,
    что я ничего не знаю”. В самом деле, если
    Сократ ничего не знает, то он не знает
    и того, что он ничего не знает.

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

    2.Лживый
    аргумент

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

    3. “Необоснованная ссылка на авторитет”.

    При
    аргументации можно ссылаться на
    авторитеты (лица, сообщества и т.д.), но
    при этом нужно выполнять следующие
    условия:

    1. Каждый
      авторитет — специалист в определенной
      области;

    2. На
      высказывания авторитета, касающиеся
      такой области, можно ссылаться;

    3. Ссылки
      на авторитеты — лишь вероятные доводы;
      их следует использовать лишь для
      подтверждения прямых доводов;

    4. Нужно
      приводить не слова, “выдернутые” из
      контекста, а мысли, извлеченные в
      результате анализа контекста.

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

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

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

    Довод
    к личности”.

    Заключается в указании на отрицательные
    качества личности или на качества,
    выдаваемые за отрицательные. Цель уловки
    — вызвать у слушателей недоверие к
    словам личности.

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

    Так,
    оппоненту, считающему, что человек имеет
    право на самоубийство, говорят: “Почему
    не повесишься сам?”

    Довод
    к выгоде”.

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

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

    Стремление
    выдать критику аргументов за критику
    тезиса”
    .
    Эта уловка совершается так. Находят в
    аргументации необоснованный аргумент
    и выкрикивают: “Он не прав”, имея в виду
    пропонента. Один недобросовестный
    человек в таких случаях выкрикивал: “Он
    нас ошельмовывает”.

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

    Искажение
    аргументов

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

    Например,
    в дискуссии о праве жильцов дома
    переоборудовать подвал под детский
    клуб претендующий на этот подвал владелец
    магазина приписал им аргумент: “Детям
    — подземелье”.

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

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

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

    1
    . Отрицающе-утверждающий модус:

    A v B, ¬А

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

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

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

    Ошибки в доказательствах уже обсуждались. Рассмотрим теперь ошибки в определениях, в делениях (классификациях) и софизмы.

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

    Явное определение — это определение, имеющее форму равенства двух понятий (определяемого и определяющего).

    Неявное определение — определение, не имеющее формы равен­ства двух понятий.

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

    Обычное словарное определение гиперболы: «Гипербола — это стилистическая фигура, состоящая в образном преувеличении, напри­мер: „Наметали стог выше тучи“». Определяющая часть выражается словами «стилистическая фигура, состоящая.» и слагается из двух частей. Сначала понятие гиперболы подводится под более широкое понятие «стилистическая фигура». Затем гипербола отграничивает­ся от всех других стилистических фигур. Это достигается указанием признака «образное преувеличение», присущего только гиперболе и отсутствующего у других стилистических фигур, за которые можно было бы принять гиперболу. Явное определение гиперболы дополня­ется примером.

    К явным определениям, и в частности к классическим, предъявляется ряд достаточно простых и очевидных требований. Их называют прави­лами определения.

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

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

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

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

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

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

    Содержат очевидный круг определения «Война есть война» и «Театр — это театр, а не кинотеатр». Задача определения — раскрыть содержание ранее неизвестного имени и сделать его известным. Опреде­ление, содержащее круг, разъясняет неизвестное через него же. В итоге неизвестное так и остается неизвестным. Истину можно, к примеру, оп­ределить как верное отражение действительности, но только при усло­вии, что до этого верное отражение действительности не определялось как такое, которое даст истину.

    3. Определение должно быть ясным. Это означает, что в определяю­щей части могут использоваться только имена, известные и понятные тем, на кого рассчитано определение. Желательно также, чтобы в этой части не встречались образы, метафоры, сравнения, т. е. все то, что не предполагает однозначного и ясного истолкования.

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

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

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

    Интересно отметить, что наши обычные загадки представляют собой, в сущности, своеобразные определения. Формулировка загадки — это половина определения, его определяющая часть. Отгадка — вторая его половина, определяемая часть. «Утром — на четырех ногах, днем — на двух, вечером — на трех. Что это?» Понятно, что это — человек в разные периоды своей жизни. Саму загадку можно переформулировать так, что она станет одним из возможных его определений.

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

    Древний китайский буддист Дэн Инь-фэн однажды задал такую за­гадку своим ученикам. «Люди умирают сидя и лежа, некоторые умирают даже стоя. А кто умер вниз головой?» — «Мы такого не знаем», — от­ветили ученики. Тогда Дэн встал на голову и. умер.

    Сейчас такого рода «загадка» кажется абсурдом. Но в то давнее вре­мя, когда жил Дэн, в атмосфере полемики с существующими обычаями и ритуалом его «загадка» и предложенная им «разгадка» показались вполне естественными. Во всяком случае, его сестра, присутствовав­шая при этом, заметила только: «Живой ты, Дэн, пренебрегал обычаями и правилами и вот теперь, будучи мертвым, опять нарушаешь общест­венный порядок!»

    < Предыдущая   Следующая >

    Содержание

    1. Правила и ошибки определения
    2. Правила и ошибки определения
    3. Определение понятий. Правила и ошибки определения. Виды определения понятий.

    Правила и ошибки определения

    Правило 1. Соразмерность: объёмы определяемого и определяющего понятий должны совпадать.

    Ошибки: а) Слишком широкое определение.

    Примеры: «Человек — это существо двуногое и беспёрое». «Преступление — общественно опасное деяние».

    б) Слишком узкое определение.

    Примеры: «Остров — часть суши, со всех сторон окружённая морем». «Мост — сооружение для перехода через реку».

    Правило 2. Отсутствие круга или тавтологии.

    Ошибки: а) «Круг в определении» — определение понятия А через понятие В, а понятия В через понятие А.

    Пример: «Государство — это организация политической власти, придающая обязательную силу своим велениям. Политическая власть — власть государства».

    б) Тавтология — в определяющей и определяемой частях встречаются одно и то же понятие, однокоренные слова.

    Примеры: «Феодал — это владелец феода». «Забастовка — это когда рабочие бастуют».

    Правило 3. Определение положительного понятия не должно быть отрицательным.

    Примеры: «Раб — человек, не имеющий свободы» — отрицательный признак использован без необходимости. Правильное определение: «Раб — человек, являющийся собственностью другого человека».

    Правило 4. Ясность, точность, краткость определения, отсутствие метафор (правило минимальности).

    Ошибки: а) Метафоричность — неясное определение.

    Примеры: «Архитектура — застывшая музыка». «Религия — опиум народа».

    б) Определение неизвестного через другое неизвестное.

    Пример: «Трансцендентальное Я — это синтетическое единство трансцендентальной апперцепции».

    § 6. Деление понятий

    Деление — логическая операция, раскрывающая объём данного понятия путём распределения его на видовые подклассы.

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

    Логическое деление понятий нельзя путать с физическим делением предметов на части.

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

    Виды деления

    1. Дихотомия или двучленное деление.

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

    Примеры. Понятия бывают пустые и непустые. Линии бывают сплошные и несплошные.

    2. Делениепо видоизменению признака.

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

    Примеры. Углы бывают острые, прямые, тупые, развёрнутые (основание деления — величина угла). По количеству детей семьи делятся на бездетные, имеющие 1-2-х детей и многодетные.

    3. Соразделениеили сложное деление — последовательное деление понятия по различным основаниям. В результате получается классификация.

    Пример: предложения делятся на простые и сложные; сложные предложения делятся далее на сложносочинённые и сложноподчинённые и т. д.

    Правила и ошибки деления

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

    Ошибки: а) Неполное деление — упущены члены деления.

    Пример: Книги делятся на художественные, научные и научно-популярные (упущен вид учебной литературы).

    б) Лишние члены деления или обширное деление.

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

    Правило 2. Одно основание. Делить каждый раз необходимо по одному признаку.

    Ошибка: не одно основание.

    Примеры: Углы бывают прямые, тупые, острые и смежные. Люди бывают хорошие, плохие и те, кто меня не любит.

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

    Ошибка: пересечение, подчинение членов деления как следствие смешения оснований.

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

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

    Ошибка: скачок в делении.

    Пример: Литературные произведения делятся на повести, рассказы, драмы, поэмы, романы, лирические стихотворения, песни, комедии, трагедии. Пропущен этап деления — эпические, лирические и театральные произведения.

    Контрольные вопросы

    1. Что такое понятие?

    2.Что называют в логике предметом, признаками, существенными признаками предметов?

    3. Что такое содержание и объём понятия?

    4. Сформулируйте закон, лежащий в основе ограничения и обобщения понятий. В чём суть этих операций?

    5. Назовите виды понятий по объёму и по содержанию, приведите примеры.

    6. Перечислите типы совместимости и несовместимости понятий, приведите примеры.

    7. В чём суть определения, каковы его виды, правила и типичные ошибки?

    8. В чём смысл деления понятия, каковы его виды, правила и ошибки?

    Глава III. Суждение

    Суждение есть представление единства

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

    или представление об их отношении,

    поскольку они образуют понятие.

    И. Кант. Логика.

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

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

    Пример: «Горит восток зарёю новой. » и «На востоке горит новая заря».

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

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

    Пример: «Завтра начинаются каникулы, и мы пойдем в лес или на речку, а если будет хорошая погода, то мы хорошо отдохнем».

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

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

    Структура простых суждений

    Любое простое суждение состоит из субъекта, предиката и связки.

    Субъектсуждения (S) — это предмет суждения или то, о чём говорится в суждении.

    Предикат суждения (P) — это признак предмета или то, что говорится о субъекте суждения.

    Связка (—) выражает отношение между субъектом и предикатом, бывает утвердительная либо отрицательная. В русском языке связка, как правило, подразумевается, а когда высказывается, она выражается словами «есть», «суть», «является», «имеется» (утвердительная связка); либо «не есть», «не суть», «не является», «не имеется» (отрицательная связка).

    Любое суждение можно привести к ясной (чистой) логической форме:

    Пример: » Восток (S) есть ( ) горящий новой зарёю (Р)».

    Виды простых суждений

    1. Атрибутивные суждения или суждения свойства. В суждениях этого вида с предметом связывается наличие или отсутствие какого-либо свойства.

    Примеры: «Комета видна на ночном небе». «У кошки четыре ноги». «Собака — друг человека».

    2. Экзистенциальные суждения или суждения существования.

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

    Примеры: «Бог есть». «Есть на свете добрые люди». «Существуют инопланетяне». «Нет проблем».

    3. Релятивные суждения или суждения сотношениями.

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

    Примеры: «Сено легче соломы». «Байкал глубже любого другого озера». «Тында находится севернее Благовещенска».

    Источник

    Правила и ошибки определения

    Правило 1. Соразмерность: объёмы определяемого и определяющего понятий должны совпадать.

    Ошибки: а) Слишком широкое определение.

    Примеры: «Человек — это существо двуногое и беспёрое». «Преступление — общественно опасное деяние».

    б) Слишком узкое определение.

    Примеры: «Остров — часть суши, со всех сторон окружённая морем». «Мост — сооружение для перехода через реку».

    Правило 2. Отсутствие круга или тавтологии.

    Ошибки: а) «Круг в определении» — определение понятия А через понятие В, а понятия В через понятие А.

    Пример: «Государство — это организация политической власти, придающая обязательную силу своим велениям. Политическая власть — власть государства».

    б) Тавтология — в определяющей и определяемой частях встречаются одно и то же понятие, однокоренные слова.

    Примеры: «Феодал — это владелец феода». «Забастовка — это когда рабочие бастуют».

    Правило 3. Определение положительного понятия не должно быть отрицательным.

    Примеры: «Раб — человек, не имеющий свободы» — отрицательный признак использован без необходимости. Правильное определение: «Раб — человек, являющийся собственностью другого человека».

    Правило 4. Ясность, точность, краткость определения, отсутствие метафор (правило минимальности).

    Ошибки: а) Метафоричность — неясное определение.

    Примеры: «Архитектура — застывшая музыка». «Религия — опиум народа».

    б) Определение неизвестного через другое неизвестное.

    Пример: «Трансцендентальное Я — это синтетическое единство трансцендентальной апперцепции».

    § 6. Деление понятий

    Деление — логическая операция, раскрывающая объём данного понятия путём распределения его на видовые подклассы.

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

    Логическое деление понятий нельзя путать с физическим делением предметов на части.

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

    Источник

    Определение понятий. Правила и ошибки определения. Виды определения понятий.

    Семинар № 3: Логические операции с понятиями (2 часа) 26.03.2020

    1.Обобщение и ограничение понятий.

    2.Определение понятий. Правила и ошибки определения. Виды определения понятий.

    3.Деление понятий. Правила и ошибки деления. Классификация.

    Обобщение и ограничение понятий

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

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

    ü Например, обобщая понятие «хвойный лес», мы переходим к понятию «лес». Содержание этого нового понятия уже, зато объем значительно шире. Содержание уменьшилось, потому что мы изъяли (убрав слово «хвойный») ряд характерных видовых признаков, отражающих особенности хвойного леса. Лес – это род по отношению к понятию «хвойный лес», являющемуся видом. Исходное понятие может быть как общим, так и единичным.

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

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

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

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

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

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

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

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

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

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

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

    Установив, например, что данное деяние является преступным, следователь обнаруживает у него признаки преступления против собственности. Дополнительное расследование выявляет новые признаки, позволяющие квалифицировать это преступление как вымогательство. Мысль движется от понятия большего объёма к понятию меньшего объема: «деяние (А) — преступление (В) — преступление прогни собственности (С) — вымогатзльство (D)»

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

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

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

    Определение понятий. Правила и ошибки определения. Виды определения понятий.

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

    1. Определение не должно быть широким, т. е. определение не должно превышать своим объемом определяемое понятие.

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

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

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

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

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

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

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

    4. Определение не должно быть двусмысленным, т. е. в нем нельзя употреблять термины в переносном значении

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

    5. Определение не должно быть сложным и непонятным, или оно должно быть коммуникабельным.

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

    6. Определение не должно быть только отрицательным.

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

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

    б) Жанр – это устойчивая форма какого-либо произведения искусства (правильное определение).

    в) Собака – это друг человека (двусмысленное определение).

    г) Творческое мышление – это мышление, которое обеспечивает решение творческих задач (круг в определении).

    д) Революция – это крупное историческое событие, в результате которого в обществе меняется политическая власть (узкое определение).

    е) Бесхозное имущество – это имущество, не имеющее собственника или собственник которого неизвестен (правильное определение).

    ж) Лошадь – это млекопитающее позвоночное животное (широкое определение).

    з) Суффикс – это выделяющаяся в составе словоформы послекорневая аффиксальная морфема (некоммуникабельное определение).

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

    Виды определения понятий:

    · явные (в которых существует отношение тождества между определяемым и определяющим понятиеми);

    · неявные (такого тождества нет).

    Виды явных определений:

    1. реальные (от лат. definitio rei – определение вещи) — фиксирующие существенные признаки предмета. «Логика – это наука о формах и законах правильного мышления»;

    2. номинальные (от лат. nome – имя) называется определение, фиксирующее значение знакового выражения. «Термином «логика» называется наука о формах и законах правильного мышления»;

    3. генетические (от лат. genesis – происхождение, источник) — в которых содержится указание на способ образования понятия. «Конус – это геометрическое тело, образованное вращением треугольника вокруг одной стороны», «Мул – это гибрид лошади и осла».

    Виды неявных определений:

    1. остенсивные (от лат. ostentus – показывание) – определение значения слова путем непосредственного указания на предмет, действие, ситуацию, которые обозначаются этими словами. Например, что такое «красный цвет»? Попробуйте разъяснить это с помощью слов, – едва ли что-нибудь получится. Конечно, физик, например, может дать ему определение, но вряд ли мы его поймем. Для нас это будет определением неизвестного через неизвестное. В таких случаях следует просто указать на подходящий предмет: «Вот, у этого предмета красный цвет». «Как пахнет роза?» – «На, понюхай, вот как пахнет роза». Остенсивные определения противопоставляются вербальным определениям – с помощью других слов и словосочетаний.

    2. контекстуальное — в котором смысл слова постигается из значения тех слов, в окружении которых употреблено, то есть из контекста. Например, если мы скажем ребенку: «Дай категоричный ответ», он поймет, что надо сделать? Нет. А скажем: «Скажи «да» или «нет»», поймет? Это и является контекстом.

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

    Источник

    Отладка – это процесс локализации и исправления ошибок,

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

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

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

    специфики управления используемыми техническими средствами;

    операционной системы;

    среды и языка программирования;

    реализуемых процессов;

    природы и специфики различных ошибок;

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

    9.1Классификация ошибок

    Всоответствии с этапом обработки, на котором проявляются ошибки, различают:

    синтаксические ошибки;

    ошибки компоновки;

    ошибки выполнения.

    Ошибки

    Ошибки

    Ошибки

    Ошибки

    компиляции

    компоновки

    выполнения

    9.1 Классификация ошибок (2)

    Синтаксические ошибки

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

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

    Всвязи с этим говорят о языках программирования с защищенным синтаксисом и с незащищенным синтаксисом.

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

    Ко вторым – С со всеми его модификациями.

    9.1 Классификация ошибок (3)

    Ошибки компоновки

    Ошибки компоновки связаны с проблемами, обнаруженными при разрешении внешних ссылок.

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

    Ошибки выполнения

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

    Они могут иметь разную природу, и соответственно по-разному проявляться.

    Часть ошибок обнаруживается и документируется операционной системой.

    Выделяют четыре способа проявления таких ошибок:

    9.1Классификация ошибок (4)

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

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

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

    несовпадение полученных результатов с ожидаемыми.

    9.1 Классификация ошибок (5)

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

    Ошибки

    выполнения

    Ошибки определения данных

    Ошибки

    передачи

    Ошибки

    преобразования

    Ошибки

    перезаписи

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

    данные

    Логические

    ошибки

    Проектирования

    Кодирования

    Неприменимый

    Некорректная

    работас

    метод

    переменными

    Неверный

    Некорректные

    алгоритм

    вычисления

    Неверная

    Ошибки

    структураданных

    межмодульных

    Другие

    интерфейсов

    Неправильнаяреализация

    алгоритма

    Другие

    Ошибки накопления погрешностей

    Игнорирование

    ограничений разрядной сетки

    Игнорирование

    способов

    уменьшения

    погрешности

    9.2 Методы отладки

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

    метод тестирования;

    метод индукции;

    метод дедукции;

    метод обратного прослеживания.

    Метод тестирования

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

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

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

    9.2 Методы отладки(2)

    Метод индукции

    Метод основан на тщательном анализе симптомов ошибки, которыми могут проявляться как неверные результаты

    вычислений или как сообщение об ошибке.

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

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

    тестов.

    В процессе доказательства пытаются выяснить, все ли проявления ошибки объясняет данная гипотеза, если не все, то либо гипотеза не верна, либо ошибок несколько.

    Начало

    Выявлениесимптомов ошибки

    Организацияданных обошибке

    Изучениеих взаимосвязей

    Выдвижениегипотезы

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

    гипотезы

    Гипотеза

    нет

    доказана?

    да

    Нахождениеошибки

    Конец

    9.2 Методы отладки(2)

    Метод дедукции

    Начало

    По

    методу

    дедукции

    вначале

    Перечисление

    формируют

    множество

    причин,

    возможныхпричин

    которые могли бы вызвать данное

    проявление

    ошибки.

    Затем

    Сборновыхданных

    Использование

    анализируя причины, исключают

    те,

    процессаисключения

    которые

    противоречат

    имеющимся

    да

    Исключены

    данным.

    все?

    Если все причины исключены, то следует

    нет

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

    выполнить

    дополнительное

    гипотезы

    тестирование

    исследуемого

    фрагмента.

    Гипотеза

    нет

    В

    противном

    случае

    наиболее

    доказана?

    да

    вероятную

    гипотезу

    пытаются

    Нахождениеошибки

    доказать.

    Если

    гипотеза

    объясняет

    полученные

    признаки

    ошибки,

    то

    ошибка найдена, иначе – проверяют

    Конец

    следующую причину.

    9.3 Общая методика отладки ПО

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

    1 этап. Изучение проявления ошибки.

    2 этап. Локализации ошибки .

    3 этап. Определение причины ошибки.

    4 этап. Исправление ошибки .

    5 этап. Повторное тестирование.

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

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

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

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

    Ошибки в доказательствах уже обсуждались. Рассмотрим теперь ошибки в определениях, в делениях (классификациях) и софизмы.

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

    Явное определение — это определение, имеющее форму равенства двух понятий (определяемого и определяющего).

    Неявное определение — определение, не имеющее формы равен­ства двух понятий.

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

    Обычное словарное определение гиперболы: «Гипербола — это стилистическая фигура, состоящая в образном преувеличении, напри­мер: „Наметали стог выше тучи“». Определяющая часть выражается словами «стилистическая фигура, состоящая.» и слагается из двух частей. Сначала понятие гиперболы подводится под более широкое понятие «стилистическая фигура». Затем гипербола отграничивает­ся от всех других стилистических фигур. Это достигается указанием признака «образное преувеличение», присущего только гиперболе и отсутствующего у других стилистических фигур, за которые можно было бы принять гиперболу. Явное определение гиперболы дополня­ется примером.

    К явным определениям, и в частности к классическим, предъявляется ряд достаточно простых и очевидных требований. Их называют прави­лами определения.

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

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

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

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

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

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

    Содержат очевидный круг определения «Война есть война» и «Театр — это театр, а не кинотеатр». Задача определения — раскрыть содержание ранее неизвестного имени и сделать его известным. Опреде­ление, содержащее круг, разъясняет неизвестное через него же. В итоге неизвестное так и остается неизвестным. Истину можно, к примеру, оп­ределить как верное отражение действительности, но только при усло­вии, что до этого верное отражение действительности не определялось как такое, которое даст истину.

    3. Определение должно быть ясным. Это означает, что в определяю­щей части могут использоваться только имена, известные и понятные тем, на кого рассчитано определение. Желательно также, чтобы в этой части не встречались образы, метафоры, сравнения, т. е. все то, что не предполагает однозначного и ясного истолкования.

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

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

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

    Интересно отметить, что наши обычные загадки представляют собой, в сущности, своеобразные определения. Формулировка загадки — это половина определения, его определяющая часть. Отгадка — вторая его половина, определяемая часть. «Утром — на четырех ногах, днем — на двух, вечером — на трех. Что это?» Понятно, что это — человек в разные периоды своей жизни. Саму загадку можно переформулировать так, что она станет одним из возможных его определений.

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

    Древний китайский буддист Дэн Инь-фэн однажды задал такую за­гадку своим ученикам. «Люди умирают сидя и лежа, некоторые умирают даже стоя. А кто умер вниз головой?» — «Мы такого не знаем», — от­ветили ученики. Тогда Дэн встал на голову и. умер.

    Сейчас такого рода «загадка» кажется абсурдом. Но в то давнее вре­мя, когда жил Дэн, в атмосфере полемики с существующими обычаями и ритуалом его «загадка» и предложенная им «разгадка» показались вполне естественными. Во всяком случае, его сестра, присутствовав­шая при этом, заметила только: «Живой ты, Дэн, пренебрегал обычаями и правилами и вот теперь, будучи мертвым, опять нарушаешь общест­венный порядок!»

    < Предыдущая   Следующая >


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

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

    Главные аспекты качества данных

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

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

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

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

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

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

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

    Тот самый лемминг, не влияющий на биржевые курсы.

    Надежность
    Надежные данные — это одновременно полная и точная информация.

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

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

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

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

    Данные с ошибками


    Василиск — в его описании явно закралась ошибка.

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

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

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

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

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

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

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

    Самое надежное и простое решение — стандартизировать как можно больше этапов процесса сбора данных.

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

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

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

    Так, например, некоторые результаты медицинских опросов населения показывают, что рост взрослого человека может быть 53 см или 112 см. И если в первом случае понятно, что закралась ошибка, и скорее всего рост реципиента был 153 см, то во втором случае рост может быть как правильным, так и ошибочным. При опросах часто встречаются ошибки-очепятки, такие как «аллергия на окошек» или вес 156 кг вместо 56 кг.

    В среднем ошибки делятся на четыре типа:

    1. Запись
      Ошибка, при которой данные были изначально записаны неверно.
    2. Вставка
      Появление дополнительного символа.
      Например: 53,247 ► 523,247.
    3. Удаление
      Потеря одного или нескольких символов.
      Например: 53,247 ► 53,27.
    4. Перемена мест
      Просто берем и меняем два или более символов местами.
      Например: 53,247 ► 52,437.

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

    Часто ошибки встречаются в написании дат, а еще чаще при столкновении разных стандартов, таких как американский (месяц/день/год) и европейский (день/месяц/год).
    И если иногда ясно, что это ошибка (23 марта — 3/25), то в других случаях она может быть не замечена (3 апреля — 3 / 5 или 5/3?).

    Как снизить количество  ошибок


    Гиппогриф — гордое и величественное  мифическое животное, разновидность грифонов. Да, на гравюре тоже он, но с ошибками в описании.

    Первым действием нужно сократить количество этапов генерации данных до ввода. Если вы можете избежать участия бумажного носителя, как передаточного звена, исключайте его.
    В электронных формах следует ввести проверку значений, особенно это важно при введении структурированных данных: индекс, номер телефона и код города, БИК, СНИЛС и р/с.

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

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

    Если же количество вариантов велико, то можно использовать форму вопрос-ответ с заключительным подтверждением правильности введенных данных.

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

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

    Так для числа 94121 контрольным числом будет 8, при последовательном складывании цифр получается сумма 17, продолжаем складывание и получаем 17=1+7=8.

    Передаем 941218, а при получении система проводит обратные расчеты и, если сумма не совпадает, то число будет отмечено как ошибочное.

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


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

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

    Всем спасибо за внимание и хорошего дня!

    Источник информации

    Автор: Карл Андерсон
    Аналитическая культура. От сбора данных до бизнес-результатов
    Creating a Data-Driven Organization
    ISBN: 978-5-00100-781-4
    Издательство: Манн, Иванов и Фербер


    Подборка по базе: ТИПОВАЯ ЗАДАЧА № 2. ОПРЕДЕЛЕНИЕ СТАТИЧЕСКОЙ УСТОЙЧИВОСТИ ПРМ.doc, Л№2 Причины отказов программного обеспечения, признаки появления, Понятие, виды и структура бизнес плана.pdf, 4курсовая работа автодор Виды социальных услуг точно.rtf, 1. Статистика ошибок и дефектов в комплексах программ и их харак, Бланк отчета ПЗ 4.1.4. Определение класса защищенности ГИС — .do, 2022 Курсовая ГП Договор понятие значение виды! доработка 2.docx, Тема Определение коммерческой скорости и сроков.docx, Модуль 2. Виды конфликтов, ПЗ 2.doc, Диктант виды предложений.docx


    Виды ошибок. Определение ошибок ПО. Классификация ошибок

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

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

    Также, ошибки могут относится к самым разным частям кода:

    • ошибки обращения к данным,
    • ошибки описания данных,
    • ошибки вычислений,
    • ошибки при сравнении,
    • ошибки в передаче управления,
    • ошибки ввода-вывода,
    • ошибки интерфейса,

    Ошибки


    Ошибки выполнения

    Ошибки компоновки

    Ошибки компиляции

    Классификация ошибок по этапу обработки программы

    Ошибки выполнения


    Ошибки накопления погрешностей

    Ошибки определения данных


    Логические ошибки


    Кодирования

    Проектирования

    • Игнорирование ограничений разрядной сетки
    • Игнорирование способов уменьшения погрешности
    • Ошибки передачи
    • Ошибки преобразования
    • Ошибки перезаписи
    • Неправильные данные

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

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

    1. Отсутствие заданий начальных значений переменных.
    2. Неверные условия окончания цикла.
    3. Неверную индексацию цикла.
    4. Отсутствие задания условий инициирования цикла.
    5. Неправильное указание ветви алгоритма для продолжения процесса решения задачи.

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

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

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

    1. Пропуск некоторых операторов.
    2. Отсутствие необходимых данных.
    3. Непредусмотренные данные.
    4. Неверный формат данных.

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

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

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

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

    • пропуск необходимого знака пунктуации
    • несогласованность скобок
    • пропуск нужных скобок
    • неправильное формирование оператора
    • неверное образование имени переменной
    • неправильное использование арифметических операторов
    • неверное написание зарезервированных слов

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

    1. Противоречивые команды.
    2. Отсутствие условий окончания цикла.
    3. Дублирование или отсутствие меток.
    4. Отсутствие описания массива.
    5. Запрещенный переход.

    Советы по устранению ошибок:

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

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

    1. Присваивание.
    2. Ввод.
    3. Чтение из файла.

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

    Обнаружение ошибок.

    Ситуации, по которым мы определяем, что в программе есть ошибка:

    1. Отсутствует уверенность в том, что программа начала выполняться.
    2. Программа начала выполняться, но произошел преждевременный останов с выдачей или без выдачи сообщений о системной ошибке.
    3. Программа начала выполняться, но зациклилась.
    4. Программа выдала неправильную информацию.

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

    • точки обнаружения
    • точки происхождения

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

    Автор статьи

    Юлия Валерьевна Шульгина

    Эксперт по предмету «Логика»

    преподавательский стаж — 10 лет

    Задать вопрос автору статьи

    Характеристика определения и сходных с определением приемов

    Определение 1

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

    Любое определение состоит из двух основных элементов:

    • того, что определяется (определяемого понятия, definiendum);
    • того, при помощи чего определяется (определяющего понятия, definiens).

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

    Китайский язык для начинающих

    Научись писать, понимать и воспроизводить текстовую информацию

    Выбрать занятия

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

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

    «Ошибки при определении понятий в логике» 👇

    Классификация определений

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

    • реальные (касающиеся предметов). Их цель – раскрыть содержание, взаимосвязи и существенные признаки предмета;
    • номинальные (касающиеся имен). Их цель – указать, что из перечисленного в определении именуется вводимым термином.

    Определение 2

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

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

    Пример номинального определения: «Электролиты – это вещества, растворы (расплавы) которых проводят электрический ток».

    Определение 3

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

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

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

    По форме определения бывают:

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

    Правила определения и типовые ошибки

    Ко всем определениям – независимо от их вида и формы – предъявляются определенные требования, сформулированные в виде правил.

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

    1. Слишком широкое определение (если объем определяющего термина больше, чем объем определяемого термина).

      Пример 1

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

    2. Слишком узкое определение (если объем определяющего термина меньше, чем объем определяемого термина).

      Пример 2

      Пример слишком узкого определения: «Биология – это наука о растениях и животных». На самом деле, этими направлениями занимаются отдельные разделы биологии; биология в целом охватывает более общие и широкие вопросы.

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

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

    Если это правило нарушается, могут возникнуть следующие ошибки:

    1. Порочный круг. В этом случае смысл термина из определяющей части раскрывается в другом определении через исходный определяемый термин.

      Пример 3

      Пример порочного круга: «Материя – это все, не являющееся сознанием; сознание – это все, не являющееся материей».

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

      Пример 4

      Пример тавтологичного определения: «Дождливая погода – это погода, когда идет дождь».

    Третье правило: определение должно быть ясным. Если это правило нарушается, формируется неясное определение (с двусмысленным, метафорическим и непонятным определяющим термином).

    Пример 5

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

    Находи статьи и создавай свой список литературы по ГОСТу

    Поиск по теме

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

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

    операционной системы,

    среды и языка программирования,

    реализуемых процессов,

    природы и специфики различных ошибок,

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

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

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

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

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

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

    отсутствуют четко сформулированные методики отладки.

    Всоответствии с этапом обработки, на котором проявляются ошибки, различают (рис. 10.1):


        синтаксические ошибки — ошибки, фиксируемые компилятором (транслятором, интерпретатором) при выполнении синтаксического и частично семантического анализа программы; ошибки компоновки — ошибки, обнаруженные компоновщиком (редактором связей) при объединении модулей программы;

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

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

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

    if (c = n) x = 0; /* в данном случае не проверятся равенство с и n, а выполняется присваивание с значения n, после чего результат операции сравнивается с нулем, если программист хотел выполнить не присваивание, а сравнение, то эта ошибка будет обнаружена только на этапе выполнения при получении результатов, отличающихся от ожидаемых */ 

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

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

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

    • появление сообщения об ошибке, зафиксированной схемами контроля выполнения машинных команд, например, переполнении разрядной сетки, ситуации «деление на ноль», нарушении адресации и т. п.;

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

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

    несовпадение полученных результатов с ожидаемыми.

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

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

    неверное определение исходных данных,

    логические ошибки,

    накопление погрешностей результатов вычислений (рис. 10.2).

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

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

    Кпоследней группе относят:

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

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

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

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

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

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

    опосредованного проявления ошибок;

    возможности взаимовлияния ошибок;

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

    отсутствия повторяемости проявлений некоторых ошибок от запуска к запуску – так называемые стохастические ошибки;

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

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

    Методы отладки программного обеспечения

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

    ручного тестирования;

    индукции;

    дедукции;

    обратного прослеживания.

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

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

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

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

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

    В процессе доказательства пытаются выяснить, все ли проявления ошибки объясняет данная гипотеза, если не все, то либо гипотеза не верна, либо ошибок несколько.

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

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

    Понравилась статья? Поделить с друзьями:
  • Ошибки опель астра h расшифровка 070405
  • Ошибки опель астра h ошибка 62104
  • Ошибки опель астра h z13dth
  • Ошибки опель астра h 40061
  • Ошибки опель астра h 119167