Определение понятий. Правила определения понятий. Определение(или дефиниция)понятия есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.С помощью определения
Определение(или дефиниция)понятия есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.С помощью определения понятий мы каким-то образом указываем на сущность отражаемых в понятии предметов, раскрываем сожержания понятия и тем самым отличаем круг определяемых предметов от других предметов. Так, например, давая определение понятия «трапеция» мы отличаем его от четырехугольников, например от ромба.
Пример-« трапеция-четырехугольник, у которого две стороны параллельны, а две другие- не параллельны.
Правила определения понятий
1)Определение должно быть соразмерным.
2)Определение не должно заключать в себе круга.
3)Определение должно быть ясным.
4)Определение не должно быть отрицательным.
Приемы, сходные с определением понятий.
Дать определение всем понятиям невозможно (к тому же в этом нет необходимости), поэтому в науке и в процессе обучения используются другие способы введения понятий - приемы, сходные с определением: описание, характеристика, разъяснение посредством примера и др.
Описание состоит в перечислении внешних черт предмета с целью нестрогого отличения его от сходных с ним предметов. Описание дает чувственно-наглядный образ предмета, который человек может составить с помощью творческого или воспроизводящего представления. Описание включает как существенные, так и несущественные признаки.
Описания широко применяются в различных жанрах художественной литературы (например, описание внешности Анны Карениной, описание внешнего облика Плюшкина, Собакевича и других литературных героев, описание пейзажей, деревьев, птиц и т.д.), в исторической литературе (описание Куликовской битвы, описание обликов военачальников, царей и других личностей), в технической литературе (описание внешнего вида машин).
Яркие примеры описаний дают романы замечательного русского писателя М.А.Булгакова. Так, в “Белой гвардии” запоминающийся портрет: “...оказалась над громадными плечами голова поручика Виктора Викторовича Мышлаевского. Голова эта была очень красива странной и печальной и привлекательной красотой давней, настоящей породы и вырождения. Красота в разных по цвету смелых глазах, в длинных ресницы, Нос с горбинкой, губы гордые, лоб бел и чист, без особых примет. Но вот один уголок рта приспущен печально, и подбородок косовато срезан так, словно у скульптора, лепившего дворянское лицо, родилась дикая фантазия: откусить пласт мины и оставить мужественному лицу маленький и неправильный женский подбородок”.
Общая характеристика суждения как формы мышления.
Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике. В формальной и математической логике суждениям соответствуют высказывания.
Простые и сложные суждения
Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения
Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.
· Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
· Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
· Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
· Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
Состав сложного суждения
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.
Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
· нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;
· строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).