Формальная логика

Размещено на http://www.allbest.ru/

Формальная логика

Дайте логическую характеристику понятиям:

"интервью" - понятие непустое, общее, абстрактное, безотносительное, положительное, несобирательное, определённое.

"трудовой кодекс"- понятие непустое, общее, конкретное, безотносительное, положительное, несобирательное, определённое.

1. Установите отношения между данными понятиями по объёму и изобразите их графической схемой:

"учёный" (А), "академик"(В), "почётный гражданин"(С), "молодой учёный"(D), "ветеран труда"(E).

Отношение ADB - соподчинения.

Отношение BCE - пересечения.

Укажите способ определения понятия, вид допущенной логической ошибки и дайте возможное правильное определение:

"Гуманитарий - это специалист по гуманитарным наукам".

Данное определение является реальным, т.к. в нём раскрываются существенные признаки определяемого понятия.

Определение дано основным (классическим) способом - через род (специалист) и видовое отличие (гуманитарные науки). Ошибки данного определения - тавтологичность определения, т. к. в определяющей части употребляется однокоренное с определяемым слово. Возможное правильное определение: Гуманитарий - это специалист по дисциплинам, изучающим человека в сфере его духовной, умственной, нравственной, культурной и общественной деятельности.

Произведите деление понятия по нескольким (не менее двух) произвольно выбранным основаниям. Укажите вид и основание каждого деления, оцените их логическую правильность.

Понятие "наука" можно поделить следующим образом: 1. Науки бывают: гуманитарные, технические, социальные. Это деление - по видоизменению признака. Основание этого деления - объект исследования. Деление в данном случае, можно оценить как неправильное, не полное, поскольку не охватывают философию, математику, кибернетику, информатику и т. п., которые занимают особое место в классификации. 2. Науки делятся на точные и неточные. Это деление дихотомическое. Основание деления - точность науки. Это правильное деление.

5. Определите истинность суждения и его вид по количеству и качеству; приведите буквенное обозначение и схему. Укажите термины, связку и кванторное слово. С помощью логического квадрата сделайте три возможных преобразования. Для каждого из полученных суждений определите его вид, отношение к исходному суждению и значение истинности.

Бурное развитие спонсорства в России связано с эффективностью рекламы. Это суждение выражает ложь, так как не соответствует действительности. Данное суждение является общим по количеству и утвердительным по качеству, то есть общеутвердительным суждением (А): Все S есть Р Субъект суждения (S) - понятие " бурное развитие спонсорства". Предикат суждения (Р) - понятие "эффективность рекламы". Связка между субъектом и предикатом - утвердительная, грамматически не выражено. Кванторное слово "все" грамматически не выражено, но подразумевается, поскольку нет никаких указаний на ограниченный, частный характер данного суждения. С помощью логического квадрата получаем новые суждения: 1. Противоположное (контрарное) по отношению к исходному суждению (А) - общеотрицательное суждение (Е): Бурное развитие спонсорства в России не связано с эффективностью рекламы. Это суждение тоже является ложным преувеличением. 2. Противоречащее исходному (А) - частно-отрицательное суждение (О): Бурное развитие спонсорства в России во многом не связано с эффективностью рекламы. Это суждение является истинным. 3. Подчинённое в отношении исходного суждения (А) - частно-утвердительное суждение (I): Бурное развитие спонсорства в России частично связано с эффективностью рекламы - истинное. логический суждение кванторный

Запишите с помощью логических союзов сложное суждение.

В природе свободно брошенное тело всегда падает вниз (р), человек же своей волей может подбросить тело вверх(q), если ему это нужно(r), так что предсказать, как будет двигаться предмет в человеческих руках, на основе только законов природы невозможно(s).

Общая символическая запись данного сложного суждения:

[р?(s>q)]>?s

7. Определите вид модальности каждого суждения и запишите суждения, переформулировав их, с помощью стандартного модального оператора (модального слова).

а) Исследованиями установлено, что уровень социального развития в странах с закрытой экономикой растёт существенно медленнее, чем в странах с открытой экономикой.

Данное простое суждение содержит эпистемическую (познавательную) модальность. Словосочетание "представляется Исследованиями установлено " эквивалентно модальному оператору "доказано". Поэтому логическую форму данного суждения можно изобразить символически - Da - или выразить словесно: " Доказано, что уровень социального развития в странах с закрытой экономикой растёт существенно медленнее, чем в странах с открытой экономикой".

б) Наукой пока не найдено подтверждений тому, что человеческому восприятию времени соответствует какой-либо специальный орган чувств.

Данное простое суждение содержит эпистемическую (познавательную) модальность. Словосочетание " Наукой пока не найдено подтверждений " эквивалентно модальному оператору "проблематично". Поэтому логическую форму данного суждения можно изобразить символически - Pa - или выразить словесно: "Проблематично, что человеческому восприятию времени соответствует какой-либо специальный орган чувств".

8. Сделайте вывод из посылок и проверьте его правильность, опираясь на общие правила простого категорического силлогизма, или на правила фигур и модусов, или на метод круговых схем.

Все добрые дела заслуживают благодарности, но некоторые из них совершаются тайно. Следовательно, некоторые дела, которые совершаются тайно, заслуживают благодарности.

Для проверки правильности вывода необходимо выявить логическую форму данного умозаключения. 1. В заключении определяем меньший (S) и больший (Р) термины силлогизма. Заключение является частноутвердительным суждением (I): Некоторые S есть Р Субъект суждения - понятие "совершаются тайно" - меньший термин силлогизма (S). Предикат заключения - понятие "заслуживают благодарности" - больший термин (Р). 2. Определяем средний термин силлогизма (М) - понятие, которое есть в обеих посылках и отсутствует в заключении - "добрые дела". 3. Составляем схему данного силлогизма: Все М есть P (A) Некоторые М есть S (I) Некоторые S есть P (I) 4. Проверить правильность полученного умозаключения можно одним из трёх способов.

Обратившись к правилам фигур и модусов, сначала устанавливаем фигуру данного вывода. Так как средний термин (М) в обеих посылках является субъектом суждений, то умозаключение построено по третьей фигуре, модус AII.

Модус АII является правильным модусом категорического силлогизма, построенного по третьей фигуре. Заключение следует с необходимостью.

Итак, выбранный способ проверки правильности силлогизма показал, что вывод из посылок сделан правильный, достоверный.

9. Выведите заключение из данных посылок и проверьте правильность вывода в соответствии с правилами модусов умозаключений, содержащих сложные суждения (выводы логики высказываний).

Инвестиционные проекты могут быть социальными, научно-техническими или информационными. Данный инвестиционный проект является научно-техническим. Следовательно, данный инвестиционный проект не является социальным или информационными.

Данное умозаключение является условно-категорическим. Отрицающе-утверждающий модус(modus tollendo ponens) Эта разновидность модуса - является правильной, поэтому заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения - дизъюнкты.

10. Подберите аргументы в защиту либо в опровержение данного тезиса, постройте прямое или косвенное доказательство или опровержение и проверьте правильность полученного рассуждения.

И юрист, и социальный работник, и психолог обязательно должны знать основы политологии.

Тезис: И юрист, и социальный работник, и психолог обязательно должны знать основы политологии.

Для доказательства этого тезиса можно пойти путём дедукции: а 1 - Все гуманитарии обязательно должны знать основы политологии. а 2 - И юрист, и социальный работник, и психолог - гуманитарии. Т - Следовательно, И юрист, и социальный работник, и психолог обязательно должны знать основы политологии. Построенная аргументация является прямым дедуктивным доказательством.

Современный специалист - гуманитарий обязательно должны знать основы политологии, так как она является одной из гуманитарных наук, поэтому приведённое доказательство можно оценить как сильное, убедительное. Построим опровержение данного тезиса. Если бы для того, чтобы быть юристом, и социальным работником, и психологом обязательно нужно было бы знать основы политологии (Т), то без знания основ политологии никто не мог бы считаться хорошим юристом, и социальным работником, и психологом (с). Но это не так: можно привести целый ряд примеров хороших юристов, и социальных работником, и психологов с отсутствием знания основ политологии (~с). Следовательно, для юриста, и социального работника, и психолога знание основ политологии не обязательно. (~Т). Построенное рассуждение является прямым опровержением тезиса в форме правильного отрицающего модуса условнокатегорического умозаключения: Т?с; ~с ~Т

11. Проанализируйте вопрос со стороны его вида, структуры, корректности и постройте правильный ответ.

Оказывают ли некоммерческие организации платные или бесплатные услуги? Вопрос является сильным (требует конкретного ответа), восполняющим ("что-вопрос"), сложным по структуре (содержит два вопроса). Вопрос поставлен некорректно, так как из его предпосылки следует, что некоммерческие организации обязательно оказывают услуги, а эта предпосылка ложна. Правильно будет в ответ на данный вопрос вскрыть ложность его предпосылки.

Литература

1. Абачиев С.К. Формальная логика с элементами теории познания: учебник для вузов / С.К. Абачиев. - Ростов-на-Дону: Феникс, 2012. - 635 с.

2. Гетманова А.Д. Логика /А.Д. Гетманова. - М.: КноРус, 2012. - 416 с.

3. Дмитревская И.В. Логика / И.В. Дмитревская. - М.: Флинта, 2013. - 384 с.

4. Михайлов К.А.. Логика. Практикум: учебное пособие для бакалавров / К.А. Михайлов, В.В. Горбатов. - М.: Юрайт, 2012. - 509 с.

5. Рузавин Г.И. Логика: Практический курс: учебник для вузов / Г.И. Рузавин. - М.: ЮНИТИ-ДАНА, 2002. - 256 с.

Размещено на Allbest.ru