Студенты юридического факультета изучают правовые науки какой тип суждения

Обновлено: 30.06.2024

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

субъект (S) – понятие о предмете суждения, логическое подлежащее

предикат (P) – понятие о признаке предмета суждения, логическое сказуемое.

Субъект и предикат называются терминами суждения.

Утвердительные и отрицательные суждения различаются качеством связки (
Вид суждения

Обозначение

Формула суждения

Общеутвердительное

А

Все S есть P

Логическая форма суждения не всегда совпадает с грамматической формой предложения, поэтому возникает необходимость придать логическую форму предложениям естественного языка. Эта процедура включает в себя следующие этапы:

1. Определяются квантор, субъект и предикат высказывания.

3. Субъект высказывания ставится после кванторного слова.

Распределенным считается термин, если он берется в полном объеме, т.е. если его объем полностью включается в объем другого термина или полностью исключается из него.

Нераспределенным считается термин, если его объем частично включается в объем другого термина или исключается из него.

В этом суждении субъект распределен, а предикат не распределен.

В этом суждении оба термина не распределены.

S-
P+

S-
В этом суждении субъект не распределен, а предикат распределен.

Таблица распределенности терминов в категорических суждениях

Выделяющих

Из таблицы видно, что субъект распределен в общих (A и E) и не распределен в частных суждениях (I и O). Предикат распределен в отрицательных (E и О) и не распределен в утвердительных суждениях (A и I). В выделяющих суждениях предикат распределен.

Что такое суждение и в какой языковой форме оно выражается?
Какие виды простых суждений Вы знаете?
Какова структура атрибутивных суждений?
На какие виды делятся категорические суждения по количеству и качеству?
Какие виды суждений выделяются по объединенной классификации суждений по количеству и качеству?
Что такое распределенность терминов в суждении?

Упражнение 1

Укажите предложения, выражающие суждения.

Упражнение 2

Определите вид простого суждения (суждения свойства, суждения с отношениями, суждения существования).
1. Многие студенты нашей группы успешно сдали экзамен по логике.

2. Многие люди талантливы.

3. Право возникло позднее морали.

4. Николай – брат Петра.

5. Предприятие работает.

6. Мир существует.

7. Земля вертится.

8. Люди часто опаздывают на работу.

9. Одиссей был царем Итаки.

10. Сады Семирамиды когда-то существовали.

11. Раньше Тверь называлась Калинином.

12.Не существует абсолютной повторяемости явлений.

13.Ничто не существует беспричинно.

14. Атомный вес кислорода больше атомного веса лития.

15. Севернее островов Новой Земли находятся острова, носящие название Земля Франца Иосифа.

16. Поэт в России больше, чем поэт. (Е.А. Евтушенко).

17. Андорра расположена между Испанией и Францией.
Упражнение 3

Приведите суждение к четкой логической форме. Укажите его термины, связку и кванторное слово. Определите количество и качество суждения.

Упражнение 4

Дайте объединенную классификацию суждений, приведите их схемы и буквенные обозначения.

Некоторые заповедники находятся в Сибири.
Маршал Жуков – выдающийся полководец Второй мировой войны.
Лень – мать всех пороков.
Некоторые птицы водоплавающие.
Многие соли растворяются в воде.
Березовая роща не является смешанным лесом.
Русские цари были неограниченными монархами.
Ни одна лесть не является правдой.
Некоторые люди не являются верующими.
Некоторые свидетели не являются совершеннолетними.
Петр I осуществил ряд важнейших преобразований в России.
Не все европейские страны являются республиками.
Эмоции есть одна из форм переживания чувств.
США – президентская республика.
Ни один вопрос студента не должен оставаться без ответа.

Упражнение 5

Дайте объединенную классификацию суждений, изобразите отношения между терминами с помощью кругов Эйлера, установите распределенность субъекта и предиката.

Отношения между простыми суждениями
Простые категорические суждения делятся на сравнимые и несравнимые.

Среди сравнимых суждений различают совместимые и несовместимые.

Совместимыми являются суждения, которые одновременно могут быть истинными.

Несовместимыми являются суждения, которые одновременно не могут быть истинными.

1. Различают два вида отношений совместимости:

Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O – подчиненные. Если истинно общее суждение, то истинно и частное, подчиненное ему суждение.

2. Отношение субконтрарности, т. е. частичного совпадения, в котором находятся суждения I и O. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным. Но если одно из них истинно, то другое неопределенно.

Отношения несовместимости:

Если А истинно,	то Е ложно	О ложно	I истинно
Если Е истинно,	то А ложно	I ложно	О истинно
Если I истинно,	то А неопределенно	О неопределенно	E ложно
Если О истинно,	то Е неопределенно	I неопределенно	А ложно
Если А ложно,	то Е неопределенно	I неопределенно	О истинно
Если Е ложно,	то A неопределенно	I истинно	O неопределенно
Если I ложно,	то A ложно	E истинно	O истинно
Если O ложно,	то A истинно	E ложно	I истинно

Какие виды отношений между простыми суждениями Вы знаете?
В чем отличие сравнимых суждений от несравнимых?
В чем отличие совместимых суждений от несовместимых?

Упражнение 1

Определить отношения между суждениями.

Все киты – млекопитающие животные. Некоторые киты не являются млекопитающими животными.
Все киты – млекопитающие животные. Ни один кит не является млекопитающим животным.
Некоторые писатели являются поэтами. Некоторые писатели не являются поэтами.
Все люди – разумные существа. Некоторые люди – разумные существа.
Ни один атом не является делимым. Некоторые атомы не являются дели.

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

2. Ни одно млекопитающее не живет в воде.

3. Всякое суждение выражается предложением.

Всякое слово имеет смысловое значение.
Некоторые существительные не изменяются по падежам.
Некоторые птицы являются перелетными.
Некоторые преподаватели являются филологами.
Солнце не вращается вокруг Земли.
Человек не может отдыхать от жизни.

Упражнение 3

Вытекает ли логически из истинности первого суждения истинность второго? (Да. Нет.).

Все студенты КГУ изучают логику. Некоторые студенты КГУ изучают логику.
Некоторые металлы тонут в воде. Некоторые металлы не тонут в воде.
Конституция есть свод законов. Конституция не есть свод законов.
Кит не дышит жабрами. Некоторые киты не дышат жабрами.
Некоторые принтеры не являются лазерными. Все принтеры являются лазерными.
Все ромбы – равносторонние треугольники. Некоторые ромбы – равносторонние треугольники.
Ни одна лесть не является правдой. Всякая лесть – правда.
Некоторые люди – славяне. Ни один человек не является славянином.
Некоторые люди являются меланхоликами. Все люди являются меланхоликами.
Некоторые самолеты не являются реактивными. Ни один самолет не является реактивным.

Упражнение 4

Вытекает ли логически из ложности первого суждения ложность второго? (Да. Нет.).

Все студенты группы сдали экзамен по логике. Ни один студент группы не сдал экзамен по логике.
Никакое знание не является бесполезным. Всякое знание является бесполезным.
Никакое знание не является бесполезным. Некоторое знание является бесполезным.
Ни один лентяй не заслуживает похвалы. Некоторые лентяи не заслуживают похвалы.
Некоторые металлы не являются электропроводными. Ни один металл не является электропроводным.
Некоторые студенты владеют иностранным языком. Все студенты владеют иностранным языком.
Многие люди не знают себя. Все люди знают себя.
Честность есть лучшая политика. Честность не есть лучшая политика.
Некоторые виды лжи не заслуживают порицания. Все виды лжи заслуживают порицания.
Ни один параллелограмм не является равносторонним. Некоторые параллелограммы являются равносторонними.

Сложные суждения

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

Сводная таблица условий истинности сложных суждений

A	b	a b	a b	A b	A b	А b
И	И	И	И	Л	И	И
И	Л	Л	И	И	Л	Л
Л	И	Л	И	И	И	Л
Л	Л	Л	Л	Л	И	И

Какие виды сложных суждений Вы знаете?
Какие виды дизъюнкции Вы знаете? В чем отличие строгой дизъюнкции от нестрогой?
Каковы условия истинности сложных суждений?

Упражнение 1

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

2. Это книга либо Петрова, либо Иванова, либо Зайцева.

3. Гром не грянет – мужик не перекрестится.

У народов нет друзей, а есть только временные союзники. (Ш. де Голль).
Либо в стремя ногой, либо в пень головой.
Назвался груздем – полезай в кузов.
Мал золотник, да дорог.
Когда б на то не Божья воля – / Не отдали б Москвы. (М.Ю. Лермонтов).
В судебном заседании прокурор либо поддерживает обвинение, либо отказывается от него.
Лучше скажи мало, но хорошо.
Худо, когда в дивизии / Недостает провизии. (Козьма Прутков).
В атрибутивном суждении термин либо распределен, либо не распределен.
Жизнь коротка, искусство вечно.
Курить – здоровью вредить.
Было бы начало, будет и конец.
Сахар, брошенный в чай тем быстрее растворяется, чем горячее чай.
Дитя не плачет – мать не разумеет.
Береги платье снову, а честь смолоду.
Плывет по реке не то лодка, не то бревно.
Повсюду были видны либо озера, либо болота, либо речки.
Движение парусника было возможно лишь тогда, когда дул ветер.
Если я видел дальше других, то потому, что стоял на плечах гигантов.
Формами переживания чувств являются эмоции, аффекты, настроения, стрессы.
Действие стресса может быть положительным или отрицательным.

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

Если металл нагреть до определенной температуры, то он расплавится.
Иль чума меня подцепит, / иль мороз окостенит, / Иль мне в лоб шлагбаум влепит непроворный инвалид. (А.С. Пушкин).
Красота проходит, таланты долго не умирают.
Если нападают, надо защищаться.
Прямо – ближе, обдуманно – быстрее.
Птицы появились над морем – близко земля.
Словесные трафареты и штампы не стимулируют чувства долга.
Определение может быть реальным или номинальным.
Когда самолет терпит аварию, то летчик либо катапультируется, либо пытается посадить машину.
Обвиняемый, преданный суду, именуется подсудимым; если в отношении обвиняемого вынесен обвинительный приговор – то осужденным.

Модальность суждений
Модальность – это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, об оценочных, временных и других его характеристиках.

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

Работа содержит 1 файл

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

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

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

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов - различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1)Все преступники подлежат привлечению к уголовной ответственности.

Некоторые жители Москвы подлежат привлечению к уголовной ответственности.

Следовательно, некоторые жители Москвы - преступники.

(2) Судья - юрист. Следовательно, умный судья - умный юрист.

(3)Некоторые жители Москвы - полиглоты. Следовательно, некоторые полиглоты - жители Москвы.

Заменив нелогические термины символами, получим:

(1) Все Р суть M. Некоторые S суть M. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, SQ есть PQ.

(3) Некоторые S суть Р. Следовательно, некоторые Р суть S.

Этими выражениями представляются логические формы исходных мыслей.

Таким образом, логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Логическая форма мысли содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения,

несет следующую информацию: "Если все предметы множества Р включаются в множество M и некоторые предметы множества S включаются в множество M, то некоторые предметы множества S включаются в множество Р".

Мысли можно подразделить на классы в зависимости от типа их логических форм. Основными из этих классов являются мысли, называемые понятиями, суждениями и умозаключениями.

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

Суждения - мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: "Человек получил от Бога две блаженные способности - говорить правду и творить добро"; "Лучший способ изучить что-то - открыть это самому".

Умозаключение - процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях. Примерами умозаключений могут служить приведенные выше рассуждения 1-3.

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм "некоторые S суть P" и "некоторые Р суть S" существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая независимо от того, каково нелогическое содержание этих мыслей.

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

Связь между мыслями в приведенном выше рассуждении (3) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной

связи нет и рассуждение не является правильным. Так, приведенное выше рассуждение "Судья - юрист. Следовательно, умный судья - умный юрист" является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

"Муха - животное. Следовательно, крупная муха - крупное животное".

Неправильным является и рассуждение (1) Все преступники подлежат привлечению к уголовной ответственности.

Некоторые жители Москвы подлежат привлечению к уголовной ответственности.

Следовательно, некоторые жители Москвы - преступники.

Читателю рекомендуется подобрать контрпример для этого рассуждения.

В логике разработаны более простые и более продуктивные методы выявления закономерной связи между мыслями (подробнее см. гл. "Умозаключение").

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

Формальная логика - это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам.

Исследуя необходимые связи между мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм "Все M суть Р" и "Все М суть S", истинна мысль формы "Некоторые S суть Р", можно сформулировать закон логики: "Для любых S, Р и M верно, что если все M суть Р и все M суть S", то некоторые S суть Р". Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

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

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

Все студенты первого курса юридического факультета Российской правовой академии изучают логику. Некоторые студенты первого курса юридического факультета Российской правовой академии будут специализироваться по уголовному праву. Следовательно, некоторые студенты, которые будут специализироваться по уголовному праву, изучают логику.

Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.

сли умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер." (Секст Эмпирик. Соч.: В 2 т. Т. 2. М., 1976. С. 289).

Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

Некоторые преступники не являются психически больными людьми. Следовательно, некоторые преступники являются не психически больными людьми.

4.12. Некоторые государства не являются федеративными. Следовательно, некоторые государства являются не федеративными.

4.13. Некоторые преступления не являются терроризмом. Следовательно, некоторые преступления являются не терроризмом.

4.14. Некоторые преступники не являются ворами. Следовательно, некоторые преступники являются не ворами.
4.15. Некоторые правоохранительные органы не являются таможенными органами. Следовательно, некоторые правоохранительные органы являются не таможенными органами.

А) Общеутвердительное суждение обращается в частноутвердительное:

1.2.Все работники прокуратуры имеют удостоверение. Следовательно, некоторые работники, имеющие удостоверение являются работниками прокуратуры.

1.2. Все пенсионеры получают пенсию. Следовательно, некоторые люди получающие пенсию являются пенсионерами.

1.3. Все правоохранительные органы являются государственными органами. Следовательно, некоторые государственные органы являются правоохранительными.

Б) Общеутвердительные выделяющие суждения (в них предикат распределен) обращаются без ограничения по схеме:

2.4. Все работники таможни и только работники таможни, имеют таможенные удостоверения. Следовательно, все имеющие таможенные удостоверения являются работниками таможни.

2.5. Все студенты юридического факультета и только студенты юридического факультета, изучают Конституционное право. Следовательно, все студенты, изучающие Конституционное право являются студентами юридического факультета.

2.6. Все Россияне и только Россияне имеют право выбирать президента Российской Федерации. Следовательно, все кто имеет право выбирать президента Российской Федерации является Россиянином.

В) Общеотрицательное суждение обращается в общеотрицательное:

3.7. Ни один работник нашего отдела не является не экономистом. Следовательно, ни один не экономист не является сотрудником нашего отдела.

3.8. Ни один студент нашей группы не является не целевиком. Следовательно, ни один не успевающий студент не является студентом нашей группы.

3.9. Ни один житель нашего дома не является не Барнаульцем. Следовательно, ни один не Барнаулец не является жителем нашего дома.

Г) частноутвердительное суждение обращается в частноутвердительное:

4.10. Некоторые работники прокуратуры юристы. Следовательно, некоторые юристы являются работниками прокуратуры.

4.11. Некоторые студенты нашей группы приехали учиться из других городов. Следовательно, некоторые приезжие учиться из других городов являются студентами нашей группы.

4.12. Некоторые преподаватели нашего факультета историки. Следовательно, некоторые историки являются преподавателями нашего факультета.

Д) Частноутвердительное выделяющее суждение обращается в общеутвердительное:

5.13. Некоторые юристы являются адвокатами. Следовательно, все адвокаты являются юристами.

5.14. Некоторые студенты являются заочниками. Следовательно, все заочники являются студентами.

5.15. Некоторые общественно опасные деяния являются преступлениями против личности. Следовательно, все преступления против личности являются общественно опасными деяниями.

А) Общеутвердительное суждение преобразуются в общеотрицательное:

1.1. Все судьи имеют юридическое образование. Следовательно, ни один человек, не имеющий юридического образования не является судьей.

1.2. Все есть общественно опасные деяния. Следовательно, ни одно не общественно опасное деяние не является преступлением.

1.3. Все студенты нашей группы являются успевающими. Следовательно, ни один не успевающий студент не является студентом нашей группы.

1.4. Все граждане России имеют Российский паспорт. Следовательно, ни один человек, не имеющий Российский паспорт не является гражданином России.

Б) Общеотрицательное суждение преобразуется частноутвердительное:

2.5. Ни одна захватническая война не является справедливой. Следовательно, некоторые не справедливые войны являются захватническими.

2.6. Ни один студент юрист не изучает физику. Следовательно, некоторые не изучающие физику студенты являются студентами юристами.

2.7. Ни одно подразделение нашего ОМОНА не имеет плохих показателей. Следовательно, некоторые подразделения, не имеющие плохих показателей являются подразделением нашего ОМОНА.

2.8. Ни один работник прокуратуры не является физиком. Следовательно, некоторые работники не являющиеся физиками являются работниками прокуратуры.

2.9. Ни один работник таможни не является преступником. Следовательно, некоторые работники не являющиеся преступниками являются работниками таможни.

В) Частноутвердительное суждение посредством противопоставления предикату не преобразуется:

2.10. Некоторые врачи – невропатологи. Следовательно, некоторые врачи не являются не невропатологами.

2.11. Некоторые юрист – адвокаты. Следовательно, некоторые юристы не являются адвокатами.

2.12. Некоторые преступники – воры. Следовательно, некоторые преступники не являются ворами.

Читайте также: