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

Оглавление

1. Теоретическая часть

1.1 Законы логики и их применение на практике

1.2 Язык логики. Логические союзы и кванторы

1.3 Понятие логической формы. Образование логической формы языковых выражений

2. Практическое задание

Литература



1. Теоретическая часть

Термины (дать определение): Дизъюнкция, закон достаточного основания, закон исключённого третьего, закон непротиворечия, закон тождества, импликация, инверсия, кванторы, конъюнкция, логика, логический закон, логический союз, логическая форма, строгая дизъюнкция, функторы, эквиваленция.

1.1 Законы логики и их применение на практике

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

Мышление человека подчинено логическим законам, или законам мышления.

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

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

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

Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления его определенность выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).

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

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

Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.

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

Закон непротиворечия действует в отношении всех несовместимых суждений. Для правильного его понимания необходимо иметь в виду следующее. Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1) то же самое (2) о том же самом предмете, (3) взятом в то же самое время и (4) в том же самом отношении.

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

(3) Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время.

(4) Наконец один и тот же предмет нашей мысли может рассматриваться в разных отношениях.

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

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

Закон достаточного основания. Наши мысли о каком-либо факте, явлении, событии могут быть истинными или ложными. Высказывая истинную мысль, мы должны обосновать ее истинность, т.е. доказать ее соответствие действительности.

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание а.

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

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

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

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

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

Так, требование закона тождества выражено и закреплено в соответствующей статье

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

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

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

Требование строгой обоснованности всякого процессуального действия, выводов следствия и суда в судебной практике это не просто и не только логическое требование.

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

1.2 Язык логики. Логические союзы и кванторы

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

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

Любой язык состоит из знаков. Знак - это элемент языка, который замещает и представляет предметы и их признаки в процессе мышления и познания.

По происхождению языки бывают естественные и искусственные.

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

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

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

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

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

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

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

Основными логическими категории: высказывания, имена, и функторы.

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

Имя - это слово или словосочетание, обозначающее какой-либо предмет мысли и используемое в качестве логического подлежащего или логического сказуемого в высказываниях типа: «А есть В».

Функтор - это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.

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

Например, слово «есть» - это функтор, поскольку оно не представляет собой имени или высказывания, но позволяет из двух имен получить высказывание (скажем, высказывание "Ньютон есть физик").

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

Выражения «... и ...», «... или ...», «либо ..., либо ...», «если ..., то ...», «..., если и только если ...» - это функторы, дающие из двух высказываний новое высказывание («Идет снег и дует ветер», «Мы идем в кино или мы остаемся дома», «Либо Киев стоит на Днепре, либо Киев стоит на Сене», «Если имеется причина, то имеется и следствие», «Число делится на 6, если и только если число делится на 2 и на 3» и т.п.).

Выражение «неверно, что ...» (или просто «не»), не будучи именем или высказыванием, позволяет получить из одного высказывания другое высказывание (позволяет, к примеру, из высказывания «Все ученые рассеянны» получить высказывание «Неверно, что все ученые рассеянны», или «Не все ученые являются рассеянными»).

Перечисленные функторы называются логическими союзами.

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

Среди функторов особое место принадлежит функторам логики предикатов: именным функциям, пропозициональным функциям и операторам.

Именная функция - выражение, содержащее переменные и превращающееся в имя при подстановке вместо переменных соответствующих аргументов.

Пропозициональная функция - выражение, содержащее переменные и превращающееся в высказывание при подстановке вместо переменных соответствующих аргументов. Пропозициональная функция, аргументами которой являются имена, называется предикатом. Примером пропозициональной функции служит выражение «Если p то q», которое превращается в высказывание, если вместо p подставить высказывание «идет дождь», а вместо q - «улицы мокрые».

Пропозициональная функция, аргументами которой являются имена, называется предикатом. Предикат превращается в высказывание не только подстановкой имен вместо переменных. Например, предикат «х открыл Америку» превратится в высказывание, если ему предпослать выражение «для некоторого х верно, что» или «для всякого х верно, что». В первом случае мы получим истинное, во втором - ложное высказывание.

1.3 Понятие логической формы. Образование логической формы языковых выражений

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

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

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

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

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

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

1) логические связки («есть», «является», «не есть» и т.п.);

2) кванторы - слова, выражающие количественные характеристики атрибутивных суждений:

- квантор всеобщности () выражает тот факт, что в высказывании идёт речь обо всём объёме некоторого класса предметов, соответствует словам «все», «ни один», и т.д. ;

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

Например, два простых высказывания «Все футболисты есть спортсмены» и «Все адвокаты есть юристы» имеют различное содержание, но одинаковую форму: «Все S есть P», в которой буквой S обозначен субъект суждения, буквой P - его предикат, «есть» является связкой, «все» - квантором.

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

- инверсия () унарная логическая связка, с помощью которой из данного высказывания получается новое, причем, если исходное высказывание истинно, его отрицание будет ложным, и наоборот; в естественном языке выражается словами «не …», «неверно, что …» и т.п.

- конъюнкция (&) - бинарная логическая связка, с помощью которой из двух данных высказываний получается новое, которое истинно только в случае, когда оба исходных высказывания являются истинными; в естественном языке выражается словами «… и …», «…, а …», «… , но …» и т.п.

- дизъюнкция () - бинарная логическая связка, с помощью которой из двух данных высказываний получается новое, которое ложно только в случае, когда оба исходных высказывания являются ложными; в естественном языке выражается словами «… или …», «… либо …» и т.п.

- строгая дизъюнкция () - бинарная логическая связка, с помощью которой из двух данных высказываний получается новое, которое ложно только в случае, когда либо оба исходных высказывания являются ложными, либо оба исходных высказывания являются истинными; в естественном языке выражается словами «либо …, либо …», «то ли…, то ли ….» и т.п.

- импликация () - бинарная логическая связка, с помощью которой из двух данных высказываний получается новое, которое ложно только в случае, когда истинно её основание (высказывание предшествующее импликативной связке) и ложно следствие (высказывание идущее после связки); в естественном языке выражается словами «если …, то …», «когда…, тогда ….» и т.п.;

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

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

- закон тождества: рр (если р, то р), где р любое высказывание, «» знак импликации.

- закон непротиворечия: (р&р) (неверно, что р и не-р одновременно истинны); под р понимается любое высказывание, под р отрицание высказывания р, знак «» перед всей формулой отрицание двух высказываний, соединенных знаком конъюнкции «»;

- закон исключённого третьего: р p, где р любое высказывание, р отрицание высказывания р, соединённые знаком дизъюнкции «»;

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

Умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Например, из посылок «Преступление наказуемо» и «Мошенничество преступление» следует заключение «Мошенничество наказуемо». Заключение получено благодаря связи посылок общим понятием «преступление».

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



2. Практическое задание

Задание 1. Какие из основных законов логики нарушены в следующих примерах:

1.1) -- «Маяковский, почему Вы носите на пальце кольцо? Оно Вам не к лицу.»

«Вот именно потому, что не к лицу, я и ношу его на пальце, а не в носу».

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

1.2) Истица: «Соседка взяла у меня кувшин на подержание, да до сих пор так и не отдала».

Ответчица: «Да я и в глаза-то этого кувшина никогда не видела. Да и дала она мне его уже треснутым. А я давно уже ей целехоньким вернула».

Рассмотрим указанные суждения. В суждении «Да я и в глаза-то этого кувшина никогда не видела» отрицается принадлежность признака «видеть» к единственному предмету класса «этот кувшин». В суждении «Да и дала она мне его уже треснутым» утверждается принадлежность признака «быть треснутым к единственному предмету класса «этот кувшин», что противоречит первому суждению, утверждающему, что истица кувшин не видела. Следовательно, в данном примере нарушен закон непротиворечия.

Задание 2. Запишите в символическом виде и проверьте с помощью таблицы истинности наличие логического следования.

2.1) Если курок ружья сломан, то ружьё даст осечку. Курок ружья не сломан. Значит, ружьё не даст осечки.

p «курок ружья сломан»;

g «ружьё даст осечку»;

p «курок ружья не сломан»;

g «ружьё не даст осечки».

Схема:

((p		g)	&	p)		g
и	И	и	Л	л	И	л
и	Л	л	Л	л	И	и
л	И	и	И	и	Л	л
л	И	л	Л	и	И	и
	1		2		3

В итоговой, третьей, колонке в третьей строке получено ложное значение. Значит, данная формула не является тождественно-истинной и логическое следование не имеет место.

2.2) Если бы дверь была закрыта, то Маша опоздала бы в школу. Маша не опоздала в школу. Значит, дверь не была закрыта.

p «дверь была закрыта»;

g «Маша опоздала в школу»;

g «Маша опоздала в школу»;

p «дверь не была закрыта».

Схема:

((p		g)	&	g)		p
и	И	и	Л	л	И	л
и	Л	л	Л	и	И	л
л	И	и	И	л	И	и
л	И	л	Л	и	И	и
	1		2		3

В итоговой, третьей, колонке все значения формулы истинные. Значит, данная формула является тождественно-истинной и логическое следование имеет место.

Задание 3. С помощью круговых схем изобразите отношения между понятиями:

3.1) Адвокат, прокурор, брюнет.

Понятия «адвокат» и «прокурор» находятся друг с другом в отношении соподчинения (т.е. несовместимости). Это означает, что они не имеют общих элементов на схеме.

Понятия «адвокат» и «брюнет» находятся в отношении пересечения, т.к. некоторые адвокаты являются брюнетами, а некоторые нет.

Аналогично в отношении пересечения находятся понятия «прокурор» и «брюнет».

«адвокат» (А), «прокурор» (В), «брюнет» (С).

3.2) Спортсмен, негр, чемпион мира, китаец.

Понятия «спортсмен» и «негр» находятся в отношении пересечения, т.к. некоторые спортсмены являются неграми, а некоторые нет.

По той же причине в отношении пересечения находятся понятия «спортсмен» и «китаец», «негр» и чемпион мира, «китаец» и «чемпион мира». Понятия «спортсмен» и «чемпион мира» находятся в отношении подчинения, т.к. все чемпионы мира спортсмены, но не все спортсмены чемпионы мира.

Понятия «негр» и «китаец» находятся в отношении несовместимости, т.к. негр не может быть китайцем, и наоборот.



Таким образом, итоговая схема будет выглядеть так:

«спортсмен» (А), «негр» (В), «чемпион мира» (С), «китаец» (D).

Задание 4. Определите, соблюдены ли правила деления и, если нет, какие ошибки допущены в следующих примерах:

4.1) Правильные четырехугольники делятся: на ромбы, квадраты и прямоугольники.

В данном примере допущена ошибка: «деление с лишними членами», т.к. понятие «прямоугольник» не является видом рода «правильный четырёхугольник». Таким образом, объём членов деления не равен в своей сумме делимому понятию.

4.2) Договоры делятся: на устные, письменные и безвозмездные.

В данном примере допущена ошибка: «деление по многим основаниям», т.к. «устные договоры» и «письменные договоры» получены в результате деления понятия «договор» по основанию «форма соглашения», тогда как понятие «безвозмездный договор» получено в результате деления понятия «договор» по основанию «наличие встречного возмещения». Таким образом, члены деления не взаимоисключают друг друга, т.е. имеет место их перекрещивание.

Задание 5. Проанализируйте структуру суждений. Укажите субъект, предикат и связку. Определите количество и качество суждений, распределённость терминов. Изобразите отношения между терминами с помощью кругов Эйлера. Запишите схему суждения.

5.1) Наличие предварительного сговора является отягчающим обстоятельством при совершении преступления.

S наличие предварительного сговора;

Р отягчающее обстоятельство при совершении преступления;

связка является;

квантор всякое (пропущен).

Данное суждение является общеутвердительным и невыделяющим (так как не только наличие предварительного сговора может быть отягчающим обстоятельством). Схема: S⁺ a Р .

Субъект распределён, а предикат не распределён, т.к. суждение не выделяющее.

Круговая схема

5.2) Не всё то золото, что блестит.

S то, что блестит;

Р золото;

связка является (пропущена);

квантор не всё.

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

Схема: S о Р⁺ . Предикат распределен, т.к. суждение отрицательное.



Круговая схема

Задание 6. Произвести в тех случаях, где это возможно, обращение суждений.

6.1) «Кто не работает, тот не ест» (апостол Павел).

S тот, кто не работает;

Р тот, кто ест;

связка не является (пропущена);

квантор ни один (пропущен).

Суждение общеотрицательное, S e Р. Схема обращения: S w Р Р e S: Ни один из тех, кто есть, не является тем, кто не работает.

6.2) Любая баба-яга -- женщина.

S баба-яга;

Р женщина;

связка есть (пропущена);

квантор любая.

Суждение общеутвердительное, S a Р. Схема обращения: S a Р Р i S: Некоторые женщины являются бабой-ягой.

Задание 7. Восстановите энтимемы в полный силлогизм и проверьте его правильность. Если есть ошибки, укажите какие именно.

7.1) Почти все учёные преподаватели. Все, удостоенные премий по физике, учёные.

В этой энтимеме пропущено заключение. Общее понятие в обеих посылках - «учёные», значит это понятие является средним термином.

Необходимо восстановить заключение (сделать вывод), которое связывает термины S и Р. Это можно сделать двумя способами.

Первый способ: Большая посылка: Почти все учёные преподаватели. Схема: M i Р. Следовательно, больший термин (P) понятие «преподаватель». Меньшая посылка: Все, удостоенные премий по физике, учёные.

Схема: S⁺ a M. Следовательно, меньший термин (S) понятие «тот, кто удостоен премии по физике».

Если мы сформулируем заключение как общее, то получим: «Все, удостоенные премий по физике - преподаватели». Данное суждение будет ложным. Следовательно, необходимо ограничить количество суждения: «Некоторые из тех, кто удостоен премий по физике - преподаватели». Схема: S i Р.

Таким образом, общая схема силлогизма будет следующей:

M i Р

S⁺ a M

S i Р

Перед нами первая фигура, модус IAI неправильный, ошибка: средний термин не распределен ни в одной из посылок.

Второй способ: Большая посылка: Все, удостоенные премий по физике, учёные. Схема: P⁺ i M. Следовательно, больший термин (P) понятие «тот, кто удостоен премии по физике». Меньшая посылка: Почти все учёные преподаватели. Схема: M i S.

Следовательно, меньший термин (S) понятие «преподаватель». Если мы сформулируем заключение как общее, то получим: «Все, преподаватели удостоены премий по физике». Данное суждение будет ложным.

Следовательно, необходимо ограничить количество суждения: «Некоторые из преподавателей удостоены премий по физике». Схема: S i Р. Следовательно, ошибка будет та же самая. Схема:

P⁺ i M

M i S

S i Р

Следовательно, данная энтимема -- несостоятельна.

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

В этой энтимеме пропущена посылка. Заключение: Эта собака - далматинец. Схема: S⁺ a P. Следовательно, меньший термин (S) - понятие «эта собака», больший термин (Р) - понятие «далматинец».

Таким образом, средний термин (М) - понятие «тот, кто имеет пятнистую окраску».

Дана большая посылка: Все далматинцы имеют пятнистую окраску. Схема: P⁺ a M.

Необходимо восстановить меньшую посылку, которая связывает термины М и S. Это можно сделать двумя способами.

Первый способ: М стоит на месте субъекта. Если мы сформулируем данное суждение как общее (единичное), то получим: «Тот, кто имеет пятнистую окраску, эта собака». Схема: M⁺ a S .

Таким образом, общая схема силлогизма будет следующей:

P⁺ a M

M⁺ a S

S⁺ a P



Перед нами четвёртая фигура, модус AAA неправильный, ошибка: термин, не распределенный в посылке, распределён в заключении (меньший термин).

Второй способ: М стоит на месте предиката: «Эта собака имеет пятнистую окраску». Схема: S⁺ a M .

Таким образом, общая схема силлогизма будет следующей:

P⁺ a M

S⁺ a M

S⁺ a P

Перед нами вторая фигура, модус AAA неправильный, ошибка: средний термин не распределен ни в одной из посылок.

Следовательно, данная энтимема -- несостоятельна.

Задание 8. Определите состоятельность обобщений в следующих пословицах, поговорках, изречениях.

8.1) Много снега много хлеба; много воды много травы. Хлеб и трава обильнее растут при достаточном орошении почвы (много воды и растаявший снег). Здесь очевидна причинно-следственная связь, поэтому данное обобщение состоятельно.

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

Задание 9. Найдите тезис, аргументы и элементы демонстрации в следующих доказательствах. Какой, по вашему мнению, может быть истинностная оценка тезиса, полученная в результате этих доказательств?

9.1) «Каким же образом... дворянин и офицер один пощажен самозванцем, между тем как все его товарищи злодейски умерщвлены? Каким образом этот самый офицер и дворянин дружески пирует с бунтовщиками, принимает от главного злодея подарки, шубу, лошадь и полтину денег? Отчего произошла такая странная дружба, и на чем она основана, если не на измене, или, по крайней мере, на гнусном и преступном малодушии» (А.С. Пушкин «Капитанская дочка»).

Тезис: «Этот самый офицер - изменник или малодушный человек».

Аргумент 1: «Если этот самый офицер - изменник или малодушный человек (p), то он дружен с самозванцем (q) (На чем она основана, если не на измене, или, по крайней мере, на гнусном и преступном малодушии)».

Аргумент 2: «Этот самый офицер дружен с самозванцем (q)» (этот самый офицер и дворянин дружески пирует с бунтовщиками, принимает от главного злодея подарки, шубу, лошадь и полтину денег).

Аргументы являются правдоподобными.

Форма демонстрации:

р q, q

p

Это modus ponens неправильной формы, т.к. умозаключение делается от утверждения следствия к утверждению основания.

Итак, аргументы не полностью обоснованы, а форма аргументации недемонстративная.

Следовательно, вывод недостоверен.

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

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

Писать надо грамотно, потому что грамотное письмо легче и лучше усваивается.

Тезис: «Писать надо грамотно».

Аргумент 1: «Ошибки, особенно синтаксические (S₁), могут совершенно изменить смысл написанного».

Аргумент 2: «Нельзя делать и орфографических ошибок (S₂), так как написанное с ошибками труднее понять, особенно человеку, не совсем хорошо знакомому с данным языком».

Аргумент 3: «Не менее важно правильно построить предложение (S₂)».

Форма демонстрации:

S₁ обладает P

S₂ обладает P

S₃ обладает P

S₁, S₂, S₃ составляют класс K

Каждый элемент K обладает P

В данном случае класс K грамотное письмо, составляют отсутствие синтаксических, орфографических ошибок, и ошибок при составлении предложений. Признак P - понимание написанного.

Это неполная индукция, т.к. класс K может состоять не только из перечисленных ошибок (например, не указаны пунктуационные ошибки).

Следовательно, вывод вероятен.



Литература

1. Берков В.Ф. Логика: учебник для вузов / В.Ф. Берков, Я.С. Яскевич, В.И. Павлюкевич; под общ. ред. проф. В.Ф. Беркова. - Минск: ТетраСистеме, 2002. - 416 с.

2. Войшвилло Е.К. Логика: учебник для вузов / Е.К. Войшвилло, М.Г. Дегтярев. - М.: ВЛАДОС-ПРЕСС, 2001. - 528 с.

3. Гетманова А.Д, Логика: Словарь и задачник. / А.Д. Гетманова. - М.: ВЛАДОС, 1998. - 336 с.

4. Ивин А. А. Логика: учебник для гуманитарных факультетов / А. А. Ивин. - М.: ФАИР-ПРЕСС, 2002. - 242 с.

5. Кириллов В.И. Логика: учебник для юридических вузов / В.И. Кириллов, А.А. Старченко; под. ред. проф. В.И. Кириллова. - М.: ТК Велби, Изд-во Проспект, 2008. - 240 с.

6. Логика. Методические указания к выполнению контрольных работ для студентов специальности «Юриспруденция» всех форм обучения. - Хабаровск: ТОГУ - ЦДОТ, 2011. - 44 с.

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