Решение задач по логике. Решение задач по логике Вариант I к какому виду относится следующее понятие
 Скачать 281.5 Kb.
|
1. К какому виду относится следующее понятие?3аписка или письмо с просьбой куда-нибудь явиться («Письменное приглашение»). Ответ А) По объему: непустое, общее. Б) По содержанию: положительное, относительное. В) По характеру элементов объема: несобирательное, конкретное. 2. Произведите отрицание следующего суждения. Каждый адвокат знает некоторых прокуроров лучше, чем некоторых судей. Ответ Символически: xyzR(x,y,z) Df xyzR(x,y,z) (некий адвокат не знает любого прокурора лучше, чем любого судью). 3. Является ли правильным следующий силлогизм. Все металлы (S) – кристаллические вещества (P), поскольку ни одно кристаллическое вещество (P) не является пластичным (M) и ни один металл (S) не пластичен (M). Ответ P+eM+ S+eM+ S+aP- II-я фигура, модус ЕЕА. Силлогизм неправильный, поскольку нарушено одно из общих правил посылок (хотя бы одна из посылок должна быть утвердительной). Вариант XLIII 1. К какому виду относится следующее понятие?Человек, который застрелился, нанеся себе три раны, каждая из которых вызвала немедленную смерть. Ответ А) По объему: (фактически) пустое. Б) По содержанию: положительное, сложное, относительное. В) По характеру элементов объема: несобирательное, конкретное. 2. Произведите отрицание следующего суждения. Все юристы изучают логику, и все философы изучают логику. Ответ Символически: (xR(x,a) & yR(y,a)) Df xR(x,a) yR(y,a) Df xR(x,a) yR(y,a) (некоторые юристы и некоторые философы не изучают логику). 3. Является ли правильным следующий силлогизм. Все интеллигентные люди (M) борются за мир (P), и все они (M) являются прогрессивными людьми (S). Следовательно, все прогрессивные люди (S) борются за мир (P). Ответ M+aP- M+aS- S+aP- Силлогизм неправильный, поскольку нарушено одно из общих правил терминов (если термин распределен в заключении, он должен быть распределен в соответствующей посылке). Вариант XLIV 1. К какому виду относится следующее понятие?Бестелесная простая единица бытия, являющаяся неделимой, неуничтожимой, неповторимой, психически активной и т. д. («Монада Лейбница»). Ответ А) По объему: непустое, общее. Б) По содержанию: отрицательное, сложное, безотносительное. В) По характеру элементов объема: несобирательное, конкретное. 2. Произведите отрицание следующего суждения. Некоторые студенты нашей группы не знают ни одного древнего языка. Ответ Символически: xyR(x,y) Df xyR(x,y) (все студенты нашей группы знают какой-нибудь древний язык). 3. Является ли правильным следующий силлогизм. Все жители Восточной Европы (P) – европейцы (M). Все москвичи (S) – европейцы (M). Следовательно, все москвичи (S) – жители Восточной Европы (P). Ответ P+aM- S+aM- S+aP- Силлогизм неправильный, поскольку нарушено одно из общих правил терминов (средний термин должен быть распределен хотя бы в одной из посылок). Далее в задачах на проверку правильности силлогизма (корректности энтимемы) S – это меньший термин (субъект заключения), Р – бóльший термин (предикат заключения), М – средний термин. В задачах на проверку правильности непосредственного умозаключения S – это субъект (категорического атрибутивного) суждения), Р – предикат (категорического атрибутивного) суждения. Знаки «+» и «–» соответственно означают распределенность и нераспределенность термина. Буквами «а», «i», «е», «о» соответственно обозначаются общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные суждения. В задачах, при решении которых используется язык логики высказываний, маленькие буквы из середины латинского алфавита p, q, r, s и т.д. (с индексами или без) замещают простые суждения. Логическим (пропозициональным) связкам в естественном языке соответствуют союзы, непосредственно имеющиеся в предложениях естественного языка либо подразумеваемые в них: & (конъюнкция) – союз «и»; (дизъюнкция) – соединительный союз «или»; (строгая дизъюнкция) – разделительный союз «или… или»; (импликация) – союз «если… то» (условная связь, выраженная любым способом); (негация, отрицание) – частица «не», оборот «неверно, что…»; (эквиваленция, логическое равенство) – обороты «если и только если», «тогда и только тогда», «необходимо и достаточно»; Df – эквивалентное преобразование по определению (для задач с преобразованием (отрицанием) сложного суждения); = – отношение логического следования; S, P – знак терминного отрицания (читается как «не-S» или «не-Р»). При использовании символизма логики предикатов первого порядка: R – знак двух- или трехместного отношения; x, y, z – индивидные переменные; (квантор общности) – слова «всякий», «каждый», любой» и т.п.; (квантор существования) – слова «некоторый», «какой-либо», «существует» и т.п. 1 В данном случае я допускаю, что средним термином (M) будет «не платит налоги», поскольку если в качестве М взять «платит налоги», то оба полученных ниже силлогизма будут неправильными, следовательно, энтимема будет некорректной (см. подробнее выше аналогичный пример, в задаче 3 варианта VI, где разбираются оба варианта представления среднего термина, один из которых является «тупиковым»). 2 Здесь, как и в энтимеме из предшествующего варианта, предполагается, что средним термином является «не хватало для занятия физикой воображения», иначе энтимема заведомо будет некорректной. 3 Если, конечно, пренебречь редкими случаями гермафродитов. |