Операция определения понятия. Виды явного определения. Правила и ошибки определения. Определение и терминологическая культура

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

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 08.01.2023
Размер файла 65,0 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

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

Министерство образования Республики Беларусь

Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники»

Факультет компьютерного проектирования

Контрольная работа

Вариант 20

«Операция определения понятия. Виды явного определения. Правила и ошибки определения. Определение и терминологическая культура»

Выполнил: студент I курса

ФКП

А.В. Рыжинский

Минск 2022

Содержание

1. Логическая операция определения понятий

2. Логический анализ сложных суждений. Проблема истинности

3. Разновидности простого категорического силлогизма. Энтимема

4. Практическая часть

1. Логическая операция определения понятий

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

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

а) проблему связи выражений языка с объектами, которые эти выражения должны представлять как знаки, т.е. формулирует предметные и смысловые значения выражений языка;

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

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

Таким образом, необходимость в определении возникает в следующих ситуациях:

1) для уяснения сущности предмета;

2) для объяснения содержания понятия, если оно кому-то не известно;

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

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

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

Суждение, раскрывающее содержание понятия, называют дефиницией.

К логическим элементам определения относятся:

а) определяемое понятие;

б) определяющее понятие.

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

Употребляются сокращенные обозначения: Dfd - определяемое понятие и Dfn - определяющее понятие.

Например: "Понятие - это форма мышления, отражающая предметы в их существенных и отличительных признаках".

Определение делятся на виды по двум основаниям: по цели; по форме.

1. По цели:

а) номинальные;

б) реальные (рисунок 1.1).

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

Например: "Область науки, изучающая комплекс вопросов, связанных с осуществлением космических полетов, называется космонавтикой".

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

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

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

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

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

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

Отсюда видно, что в случае реального определения ставится цель ответить па вопрос: "Что это такое?", дается информация о существенных или отличительных признаках предметов; в случае номинального определения разъясняется или уточняется смысл термина, т.е. дается ответ на вопрос: "Что имеется в виду под данным выражением?"

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

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

2. По форме (по способу выявления содержания) определения делятся:

а) на явные;

б) неявные (рисунок 1.2).

Явными называются определения, имеющие вид

Dfd = DfDfn,

где Dfd - определяемое понятие, Df - равно по определению, Dfn - определяемое понятие.

Неявными называются определения, не имеющие указанной формы

Dfd = Df Dfn.

Рисунок 1.2 - Классификация определений по форме

2. Логический анализ сложных суждений. Проблема истинности

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

1. Простое суждение содержит лишь одно утверждение или отрицание, сложное - несколько;

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

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

Запись сложного суждения на символическом языке логики, в котором простые суждения заменены на символы р, q, r, s, t …, а логические союзы на замещающие их символы , v, > , - называется логической формой сложного суждения.

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

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

Конъюнктивными суждениями (соединением) называются суждения, включающие в качестве составных частей другие суждения, объединяемые связкой «и». Утверждение одновременного наличия нескольких ситуаций

В литературе используют различные знаки конъюнкции: «Л», «&» или «·». Логическая формула соединительного суждения имеет следующий вид: p Л q. В русском языке логический союз Л может вводиться с помощью таких союзов, как «и», «а», «но» и др. Пример: «Россия - не только огромная страна, но и великая морская держава». Суждение p Л q признается истинным, если все входящие в него в качестве составных частей простые суждения одновременно являются истинными.

Для установления истинности сложных суждений применяют так называемые таблицы истинности. Условия истинности конъюнкции определяются по следующей таблице:

p

q

p Л q

И

И

И

И

Л

Л

Л

И

Л

Л

Л

Л

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

p

q

p V q

p Э q

И

И

И

Л

И

Л

И

И

Л

И

И

И

Л

Л

Л

Л

Условные суждения образуются с помощью логических союзов: импликация, репликация и эквиваленция (двойная импликация). Условное импликативное суждение символически обозначается: “p > q”. Другие виды условных суждений обозначают символически так: репликативное “p < q”, эквивалентное: “p - q”.

В русском языке союз импликация “>” вводится обычно при помощи связки “если …, то”, союз репликация “<” - с помощью слов “необходимо, но недостаточно”, союз эквиваленция “-” - с помощью речевого оборота “тогда и только тогда, когда”.

Основание имликативного суждения (р) называется антецедентом, следствие (q) - консеквентом. К примеру, в сложном суждении “если наступит зима (р), то выпадет снег (q)” суждение “наступит зима” является основанием (антецедентом), а суждение “выпадет снег” - следствием (консеквентом).

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

1) Из события А следует событие В, но из В не следует А;

2) Из события А следует событие В, и из В следует А;

3) Из события А не всегда следует событие В, но из В следует А.

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

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

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

p

q

p>q

p<q

p-q

И

И

И

И

И

И

Л

Л

И

Л

Л

И

И

Л

Л

Л

Л

И

И

И

3. Разновидности простого категорического силлогизма. Энтимема

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

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

1. Энтимема, или сокращенный силлогизм. Силлогизм может быть полным (с выраженной полной структурой) и неполным (когда один из 3-х элементов структуры не выражен явно, а лишь подразумевается). Рассмотренные перед этим правильные модусы силлогизма являются полными. Если какое-либо из суждений силлогизма «пропустить», то оставшиеся образуют силлогизм в сокращенном виде, или энтимему.

Исходя из структуры силлогизма, энтимемы бывают трех видов:

а) с пропущенной большей посылкой. Например: гелий - химический элемент, поэтому он имеет атомный вес.

б) с пропущенной меньшей посылкой. Например: все химические элементы имеют атомный вес. Значит, и гелий имеет атомный вес.

в) с пропущенным заключением. Например: все химические элементы имеют атомный вес. Гелий - химический элемент.

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

«Он - пианист, так как у него длинные гибкие пальцы»;

«Это - калькулятор, а не вычислительное устройство»;

«Это - машина, значит, она не может ехать без бензина».

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

2. Сложный силлогизм или полисиллогизм.

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

а) если заключение просиллогизма берется в качестве большей посылки эписиллогизма, то такой полисиллогизм называется прогрессивным;

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

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

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

1-я энтимема: Гепатит лечится в стационаре, т.к. он - инфекционное заболевание.

2-я энтимема: У Вас - гепатит, т.к. у Вас обнаружен вирус гепатита.

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

4. Практическая часть

1. Установите правильность определения

1.1 Жизнь есть сумма жизненных функций.

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

1.2 Мезон -- адрон, имеющий нулевое значение барионного числа.

Определение верно.

1.3 Виктор Гюго - французский писатель, написавший роман «Собор Парижской Богоматери».

Определение верно. Виктор Гюго является автором романа «Собор Парижской Богоматери»

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

2.1 Движение яхты было возможно лишь тогда, когда дул ветер.

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

2.2 «Стоило отцу заикнуться о плате, как капитан с яростью принимался сопеть» (Р. Стивенсон).

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

2.3 Кукушка хвалит петуха за то, что хвалит он кукушку.

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

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


Подобные документы

  • Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.

    контрольная работа [34,4 K], добавлен 02.01.2011

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

    контрольная работа [131,8 K], добавлен 09.05.2016

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

    контрольная работа [131,4 K], добавлен 23.10.2013

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

    контрольная работа [46,5 K], добавлен 02.12.2011

  • Характерные особенности логарифмов, их свойства. Методика определения логарифма числа по основанию a. Основные свойства логарифмической функции. Множество всех действительных чисел R. Анализ функций возрастания и убывания на всей области определения.

    презентация [796,3 K], добавлен 06.02.2012

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

    учебное пособие [702,6 K], добавлен 29.04.2009

  • Применение метода интервалов для решения неравенств. Формула перехода от простейшего логарифмического неравенства к двойному. Формула решения тригонометрического уравнения. Нахождение множества всех первообразных функции f(x) на области определения.

    контрольная работа [11,3 K], добавлен 03.06.2010

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

    презентация [259,4 K], добавлен 13.12.2010

  • Критерии выбросов в случае нормального распределения, их асимптотические свойства и эмпирическая мощность. Исследование распределения статистик по критериям Колмогорова и Смирнова. Реализация критериев определения выбросов в статистическом пакете R.

    курсовая работа [521,9 K], добавлен 10.01.2016

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

    реферат [106,0 K], добавлен 27.11.2008

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.