Логика. 1. Предмет логики как науки
![]()
|
номинальные реальные
Также делятся на явные и неявные. 1. Явными -определения , в которых указываются признаки, присущие определённому предмету. Имеющие равенство А=dfB 2. Неявные - это определения , не имеющие вид равенства А=dfB. К числу неявных определений относятся: 1. Аксиоматические опр-я, используемые в математике 2. Индуктивные опр-я 3. Конструктивные - опр-я , в которых некоторый контекст использования определяемого понятия приравнивается к другому контексту , не включающему определяемое понятие.. Такие определения используются при переводах с иностранного языка. Правила определения: 1. Правило соразмерности т.е Объём определяемого понятия должен быть равен объёму определяющего т.е. они должны обозначать один и тот же предмет. Ошибки: Слишком широкое определение 2. Правило запрета круга: в опр-ии не должно содержаться круга. Ошибка: круг в определении. ( порочный круг, тавтология) 3. Правило неотрицательности. Определение по возможности не должно быть отрицательным. 4. Правило ясности. Определение должно быть чётким и ясным. Приёмы , сходные с определением: Описание характеристика сравнение различие остенсивное определение- определение путём прямого указания на предмет. 11. Определение понятий и виды определений. Приемы, сходные с определением. Определение – логическая операция, раскрывающая основное содержание понятия путем перечисления входящих в него признаков. Цель: отличить предмет, отражаемый понятием, от сходных предметов, придать смысл термину. определяемое понятие – то, что определяется; при помощи чего определяют - определяющие. Виды В зависимости от цели: реальные (относятся к самому предмету, отвечают на вопрос: что этот предмет из себя представляет?), номинальные (относятся к имени предмета, что обозначает тот или иной термин?) в праве встречаются легальные, прикладные, научные определения. Легальные определения – определения, приводимые непосредственно в тексте правовой нормы, в нормативных актах. Цель номинальных: объяснение какого-л. языкового знака. В широком смысле все легальные определения являются номинальными. По способу раскрытия: явные и неявные явные, в которых указываются признаки, присущие определённому предмету. Такие определения имеют форму равенства. Способы явного определения – определение через ближайший род и видовое отличие. еще вид явного определения – генетического определение. Это определение, в котором видовым признаком является способ происхождения, создания. Операциональное определение – вид явного опр, в котором видовым признаком является указание на операцию, помогающую распознать те или иные предметы. Неявные определения – это определения, не имеющие вид равенства. Выявляются отношения, в которых находится определяемый предмет другими предметами в определенном контексте. виды неявных: Аксиоматические, используемые в математике. Термин определяется путем указаний той совокупности аксиом, в которой он содержится. Индуктивные также используется в математике. Пример: определение натурального числа. Контекстуальные – определения, в которых некоторый контекст использования определяемого понятия приравнивается к другому контексту, не включающему определяемое понятие. Приемы, сходные с определением. Описание. Задача: наиболее точно указать на признаки предмета. Характеристика состоит в указании отличительных, характерных признаков чего-либо. Сравнение, различие: один предмет сравнивают с другим, сходным с ним определённом отношении «остенсивное определение» - определение путем прямого указания на предмет, входящий в объем данного понятия. С их помощью ребенка обучают языку: «Смотри, птичка!» 12. Правила определения. Ошибки в определениях. Правила: Правило соразмерности – объем определяемого понятия должен быть равен объему определяющего. Правило запрета круга. В определении не должно содержаться круга. (тавтология) Правило неотрицательности. определение по возможности не должно быть отрицательным Отрицательные определения являются малоинформативными, не раскрывают сущность предмета. Правило ясности. Определение должно быть четким, ясным, не содержащим двусмысленностей. требования: в научных определениях не должны применяться художественно-образные средства, научное опр должно формулироваться в однозначно определённых терминах, нельзя определять неизвестное через неизвестное. Ошибки: «слишком широкое определение»: человек есть двуногое бесперое существо». «слишком узкое определение»: «студент- это учащийся университета» «круг в определении»: а) «порочный круг» - понятие А определяется через понятие В, а В определяется при помощи А; б) «тавтология» - определяемое и определяющие понятия выражены одинаковыми терминами. «Либерал – человек либеральных взглядов.» 13. Деление понятий и его виды. Деление раскрывает объем понятия путем выделения в нем возможных видов объектов. в структуре деления различают: Родовое понятие или делимое Видовые понятия или члены деления Признак или основа деления Виды: Дихометрическое деление – деление, при котором объем данного понятия делится на два вида по наличию или отсутствию признака (животные позвоночные и беспозвоночные) Деление по видоизменению признака: каждый из видов, получаемых в результате деления, обнаруживает один и тот же признак, но у каждого из них этот признак находит специфическое проявление. По признаку «иметь образование» людей можно разделить на людей с неполным средним, средним, неполным высшим и т.д. Логическое деление понятий необходимо отличать от «физического» членения целого на части 14.Правила деления и ошибки, возможные при делении. Привила: Правило соразмерности: объем делимого должен быть равен сумме объемов членов деления. Правило исключения: члены деления должны исключать друг друга, т.е. их объемы не должны пересекаться. Каждый элемент объема делимого понятия должен входить ровно в один член деления. (деление стран на западные и восточные правильно) Правило одного основания: в качестве основания деления каждый раз должен использоваться только один признак. Правило непрерывности: деление должно быть последовательным, в процессе деления всегда следует переходить к ближайшим видам. Ошибки: А) неполное деление, когда пропущен один или несколько видов (леса делятся на хвойные и лиственные (пропущены смешанные)) б) обширное деление, или деление с излишними членами (химические элементы делятся на металлы, неметаллы и сплавы). Члены деления не исключают друг друга (деление стран на западные, восточные, северные и южные) Не по одному основанию (обувь делиться на мужскую, женскую и резиновую) Скачок в делении (предложения делятся на простые, сложносочинённые и сложноподчиненные) 15. Классификация, виды классификации. Классификация – это логическое операция, при которой проводится последовательное многоступенчатое деление объема некоторого понятия, в результате этого каждая выделенная группа элементов имеет свое постоянное, вполне определенное место. При построении классификации могут быть использованы два вида деления. Понятия, используемые в классификации, называются таксонами. Исходный таксон – делимое понятие. Далее таксоны группируются по уровням. Таксоны, которые не делятся на свои виды, называются концевыми. Верхний таксон – исходное понятие. Виды: Естественная строится на основании существенных признаков. В искусственной в основание кладутся несущественные для выявления классов признаки, например, при составлении алфавитного каталога книг. Значительную роль играет классификация в юридических науках. Классификации отраслей права и классификация правовых систем. 16. Суждение как форма мышления. Суждение и предложение. Понятия помогают нам четко и ясно выражать мысль о предметах. Понятия как своеобразные кирпичики мышления входят в состав более сложной его формы – суждений. всякое суждение выражается с помощью грамматического приложения (только не вопросительные, не побудительные). Главная характеристика суждения – способность описывать ситуацию в действительности, быть истинным или ложным. Суждение выражается в языке при помощи повествовательных предложений. Суждение – мысль, в которой утверждается или отрицается наличие связей между предметами и их свойствами, а также отношений между предметами. в классической логике каждое суждение понимается либо как истинное, либо как ложное. Это положение получило название принципа двузначности. Виды суждений: Простые – суждение, не содержащие в себе других суждений в качестве логической части. Сложные – суждение, содержащие в себе другие суждения в качестве логической части. 17. Простые суждения и их виды. Простые – суждение, не содержащие в себе других суждений в качестве логической части. Состав: субъект (S) – подлежащие, предикат (P) – логическое сказуемое. Деление по характеру предиката: Атрибутивные, указывающие на св-во присущие или не присущее субъекту. S (не) есть P Реляционные или с отношениями, указывающие на отношения между предметами. R(а,b) (R обозначает отношение, a,b предметы) Существования (экзистенциальные), отражающие факт существования или несуществования того или иного предмета мысли. Ǝ x P(x) – существует такой х, который обладает свойством Р. 18. Категорические суждения, их виды. Атрибутивные суждения делят по 2 основаниям: качество и количество. качество определяется его логической связкой. Утвердительные (есть), отрицательные (не есть). количество определяется объемом, в котором берётся субъект. Общие, частные, единичные приравниваются к общим, т. к. субъект в них берется в полном объеме. Атрибутивные суждения, определенные по количеству и качеству, называются категорическими. Виды: Общеутвердительные. Все S есть P. Обозначение – A. Общеотрицательные. Ни один S не есть Р. Обозначение – Е. Частноутвердительные. Некоторые S есть Р. Обозначение – I. Частноотрицательные. Некоторые S не есть Р. Обозначение – О. Выделяющие. Все S и только S есть Р. Обозначение – А' Исключающие. Некоторые S и только S есть Р. Обозначение - I' 19. Распределенность терминов в категорических суждениях. Субъект и предикат называются терминами суждения. Термин называется распределенным, если он рассматривается в суждении в полном объеме. Распределенный термин «+», нераспределенный термин «».
20. Отношения между простыми суждениями. «Логический квадрат». Сравнимые суждения – суждения, имеющие одинаковые термины, но различающиеся по количеству и качеству. Возникают отношения совместимости и несовместимости. Совместимость означает, что они могут быть вместе истинными (отношения подчинения, противности) несовместимость означает, что суждения не могут быть вместе истинными (отношения противоположности, ротиворечия). ![]() – А и I, E и О находятся в отношении подчинения: это означает, что если подчиняющее суждение истинно (А или Е), то и подчиненное суждение (I или О) истинно, но не оборот. Если подчиненное суждение ложно, то подчиняющее ложно, но не наоборот. – А и Е находятся в отношении противоположности (контрарности): они не могут быть одновременно истинными, но могут быть одновременно ложными – I и О находятся в отношении частичного совпадения (противности, субконтрарности): они могут быть одновременно истинными, но не могут быть одновременно ложными – А и О, I и Е находятся в отношении противоречия: не могут быть одновременно ни истинными, ни ложными 21. Модальность суждений. Виды модальностей. *Модальная логика – раздел современной неклассической логики, изучающий модальные высказывания и их отношения в структуре высказываний. Модальные суждения – суждения, в которых мы даем некоторые из указанных дополнительных характеристик явлений и процессов. (простым языком - суждения, которые содержат оценку заключенной в ней информации) Примеры: «На Марсе, возможно, есть жизнь»; «Ни один человек не может жить без пищи»; «Обыск обязательно проводится в присутствии понятых» Модальность – это характеристика или оценка суждения, данная с некоторой точки зрения. При рассмотрении модальностей выделяют типы, а внутри каждоготипа – виды модальностей. Типы модальностей: Алетические модальности. Виды: H – необходимо, M – возможно, S – случайно. Пример: «Завтра возможен дождь». Деонтические модальности (характеристика действий и поступков людей). Виды: О – обязательно, Р – разрешено, З – запрещено, Б – безразлично. Пример: «Посторонним вход запрещен». Эпистемические модальности (характеристика знаний). Виды: Д – доказано, Оп – опровергнуто, В – возможно, С – не доказано и не опровергнуто, К – знает, убежден, сомневается, верит. Пример: «Доказано, что Земля вращается вокруг Солнца». 22. Основные эквивалентности для алетических и эпистемических модальностей. Обозначения для Алетических модальностей: H – необходимо, M – возможно, S – случайно. Эквивалентности (логический союз ≡ «…тогда и только тогда, когда…») для Алетических модальностей: HA ≡ M ¬ A, а тем самым ¬ НА ≡ М ¬ А SA ≡ MA & M ¬ A, а также SA ≡ HA & ¬ H ¬ A HA → MA HA → A A → MA Обозначения для Эпистемических модальностей: Д – доказано, Оп – опровергнуто, В – возможно, С – не доказано и не опровергнуто, К – знает. |