Министерство образования Республики Беларусь
Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники»
Факультет компьютерного проектирования
Контрольная работа
Вариант 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-х элементов структуры не выражен явно, а лишь подразумевается). Рассмотренные перед этим правильные модусы силлогизма являются полными. Если какое-либо из суждений силлогизма «пропустить», то оставшиеся образуют силлогизм в сокращенном виде, или энтимему.
Исходя из структуры силлогизма, энтимемы бывают трех видов: