Обобщение и ограничений понятий схематически можно изобразить так:
Волк
о |
||
А а |
||
о |
||
А а Ь |
||
Щ |
||
е |
А а Ь с |
|
и |
А а Ь с и |
|
е |
А а Ь с и |
|
О г
Р а и
Обобщение |
Ограничение |
|
1. Хищное млекопитающее семейства собачьих (СапИае) |
1. Североамериканский кайот (Сап]5 1а(гап5) |
|
2. Хищное млекопитающее |
2. Североамериканский кайот, обитающий в евероамериканских прериях |
|
3. Млекопитающее |
3. Североамериканский кайот, живущий в настоящее время в североамериканских прериях |
|
4. Позвоночное животное |
||
5. Животное |
||
6. Организм |
||
Река
Обобщение |
||
1. Река в Африке |
1. Большой пресный проточный водоем |
|
2. Река в Африке, впадающая в Средиземное море |
2. Пресный проточный водоем |
|
3. Большая река в Африке, впадающая в Средизеное море |
3. Пресный водоем |
|
4. Большая река в Египте |
4. Водоем |
|
5. Река Нил |
||
Категорические высказывания (суждения)
Особый интерес к категорическим высказываниям объясняется, прежде всего, тем, что с исследования их логических связей началось развитие логики как науки. Кроме того высказывания этого типа широко используются в наших рассуждениях.
Категорическое высказывание — это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
Например, в высказывании «Все динозавры вымерли» всем динозаврам (или, то же самое, каждому из динозавров) приписывается признак «быть вымершими». В высказывании «некоторые динозавры летали» способность летать приписывается некоторым динозаврам. В высказывании все кометы не астероиды отрицается наличие признака быть астероидом у каждой из комет. В высказывании «некоторые животные не являются травоядными» отрицается травоядность некоторых животных.
Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами «все» и «некоторые», то получится два варианта таких высказываний: утвердительный и отрицательный . Их структура:
«S есть P» и «S не есть P», где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква P — имя признака, присущего или не присущего этому предмету.
Предмет, о котором говорится в категорическом высказывании, называется субъектом , а его признак — предикатом . Субъект и предикат именуются терминами категорического высказывания и соединяются между собой связками «есть» или «не есть» («является» или «не является» и т.п.).
Например, в высказывании «Солнце есть звезда» терминами являются имена «Солнце» и «звезда» (первый из них — субъект высказывания, второй — его предикат), а слово «есть» — связка.
Простые высказывания типа «S есть P» называются атриб у тивными : в них осуществляется атрибуция (приписывание) какого-то свойства предмету.
В категорическом высказывании не просто устанавливается связь предмета и признака, но и дается определенная характеристика субъекта высказывания. В высказываниях типа «Все S есть P» слово «все» означает «каждый из предметов соответствующего класса». В высказываниях типа «Некоторые S есть (не есть) P» слово «некоторые» употребляется в не исключающем смысле и означает «некоторые, а может быть все». В исключающем смысле слово «некоторые» означает «только некоторые», или «некоторые, но не все».
Таким образом, возможны четыре вида категорических высказываний:
«Все S есть P» «Некоторые S , есть P» , «Все S не есть P»«Некоторые S н есть P» |
— общеутвердительное высказывание (обозначается буквой A); , — частноутвердительное высказывание (обозначается буквой I); , — общеотрицательное высказывание (обозначается буквой E); , — частнотрицательное высказывание (обозначается буквой O); |
|
Каждое из этих выражений является логической постоянной (логической операцией), позволяющей из двух имен получить высказывание. Аристотель истолковывал рассматриваемые четыре выражения именно как логические пстоянные, не имеющие самостоятельного содержания и позволяющие из двух обладающих содержанием имен получать содержательные, являющиеся истинными или ложными, высказывания.
В традиционной логике предполагалось также, что имена, подставляемые вместо переменных, не должны быть единичными или пустыми. Иначе говоря, высказывания типа «Платон — человек», «Все золотые горы — это горы» не относятся к категорическим в традиционном смысле, поскольку «Платон» — единичное имя, а «золотые горы» — пустое имя.
А теперь перейдем непосредственно к предмету, рассматриваемому в данном реферате.
Примером силлогизма может быть:
Логическая форма приведенного силлогизма такова:
Все М есть P
Все S есть М
Все S есть P
Правила терминов
№ |
Правило |
Пример ошибки |
Примечания |
|
1 |
только три термина |
? |
Может возникнуть ошибка, которая называется учетверение терминов, вызванная не тождественностью среднего термина в обеих посылках. |
|
2 |
Средний термин должен быть распределен хотя быв одной из посылок. |
Александрийский лист — лекарство. ? |
||
3 |
Термин не распределенный в посылках не может быть распределен ив заключении. (Имеются в виду крайние термины) |
Джон — не фермер Джон не трудолюбив |
Применяется когда меньшая посылка отрицательная |
|
Правила посылок
№ |
Правило |
Пример ошибки |
Примечание |
|
ной |
Поросята не летают. Утки не поросята. ? |
Из двух отрицательных посылок заключение с необходимостью не следует. |
||
Хотя бы одна из посылок должна быть обще |
? Кеша — попугай. Некоторые попугаи могут разговаривать. |
Из двух частных посылок заключение с необходимостью не следует, а из двух единичных — возможно (аналогично общим) |
||
Если одна из посылок частная, то и заключение будет частным. |
Все свиньи жирные. Некоторые жирные — дикие. |
|||
Если одна изпосылок отрицательная, то и заключение будет отрицательным. |
Носороги не вымерли. |
|||
Обобщение:
1. Робот;
2. Автоматическая машина;
3. Машина.
Ограничение:
1. Специализированный промышленный робот;
Подобные документы
-
Методы, приемы и средства обобщения исторических знаний. Формирование приемов умственных действий. Роль искусства в отражении современной общественной жизни. Систематизация знаний, варианты обобщения. Типы уроков. Схемы и таблицы в обобщении знаний.
реферат [120,2 K], добавлен 23.11.2008
-
Виды и приемы обобщений в философской, психолого-педагогической, математико-методической литературе и их роль в процессе обучения математике, условия осуществления. Обобщения по аналогии и индуктивные обобщения при обучении решению математических задач.
дипломная работа [1,4 M], добавлен 24.06.2009
-
Особенности логического мышления младших школьников. Суть обобщения как мыслительной операции. Характеристика развития и формирования процесса обобщения на уроках математики. Описание диагностических методик на выявление уровня развития школьников.
дипломная работа [461,1 K], добавлен 02.06.2011
-
Изучение понятия обобщения полученных знаний. Описание алгоритмизованого, программированного и проблемного методов обучения. Рассмотрение способов развития у школьников на уроках химии технических, организационно-трудовых и интеллектуальных навыков.
реферат [29,7 K], добавлен 14.07.2010
-
Процесс обучения физике как единый процесс образования и воспитания. Особенности содержательного обобщения и теоретического мышления. Формирование физических понятий. Систематизация знаний учащихся по курсу механики, молекулярной физики, электродинамики.
дипломная работа [203,8 K], добавлен 04.07.2010
-
Работа с передовым педагогическим опытом на уровне учителя, руководителя и творческой группы. Критерии (показатели) отбора передового педагогического опыта. Система работы по его изучению, методика обобщения и распространения. Формы и методы работы.
презентация [379,8 K], добавлен 15.10.2014
-
Теоретико-методологические основы систематизации и обобщений знаний учащихся: цели, функции, принципы, типы и методы. Экспериментальное исследование методов и приемов систематизации и обобщения знаний учащихся: планирование, конспекты и результаты.
курсовая работа [463,9 K], добавлен 30.10.2008