Реферат: Дедуктивные умозаключения (Контрольная)

Министерство внутренних дел

Юридический институт

Пермский факультет

Контрольная работа

по логике

Тема: Дедуктивныеумозаключения

 

 

 

 

Контрольную работу выполнил:

слушатель 1 курса, заочного обучения

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">План

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Введение.................. .

<span Cooper",«sans-serif»">2

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Общая характеристика дедуктивного умозаключения и его виды................

<span Cooper",«sans-serif»">

<span Cooper",«sans-serif»">4

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Простой категорический силлогизм...... .

<span Cooper",«sans-serif»">9

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Фигуры и правила простого категорического силлогизма................... .

<span Cooper",«sans-serif»">

<span Cooper",«sans-serif»">11

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Задача................... .

<span Cooper",«sans-serif»">13

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Заключение................. .

<span Cooper",«sans-serif»">14

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Cooper",«sans-serif»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">Литература................. .

<span Cooper",«sans-serif»">15

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">Введение

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Логика<span Courier New";mso-fareast-font-family:«Times New Roman»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:RU;mso-fareast-language: RU;mso-bidi-language:AR-SA">[1]

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

<span Courier New";mso-bidi-font-family:«Times New Roman»">Вопросы,связанные с познанием действительности, относятся к важнейшим вопросамфилософии. Поэтому логика, изучающая познающее мышление и применяемая как методпознания, является философской наукой.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Итак, логика- это философская наука о формах, в которых протекает человеческое мышление, ио законах, которым оно  подчиняется<span Courier New";mso-fareast-font-family:«Times New Roman»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:RU;mso-fareast-language: RU;mso-bidi-language:AR-SA">[2]

.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Люди хотятзнать не только законы природы, но и тайны человеческого мозга. Еще в

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">XVII<span Courier New";mso-bidi-font-family:«Times New Roman»">веке английский философ Ф. Бэкон говорил о том, что знание и могущество человекасовпадают. Чтобы расширить возможности познания, человек создал микроскоп ителескоп, радио и телевидение, ЭВМ и космический корабль, которые позволили емуглубже и полнее познавать свойства природных и социальных явлений. Изобретеныразличные методы познания, расширяющие возможности разума человека:моделирование и математические методы, в том числе методы теории вероятностей,физический и биологический эксперименты, методы генной инженерии и обработкаинформации на ЭВМ. Чтобы эффективно пользоваться всеми этими методами иизобретениями, мышление человека должно быть безупречным, логически правильным.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Истина илогика взаимосвязаны, поэтому значение логики невозможно переоценить. Логикапомогает доказывать истинные суждения и опровергать ложные, она учит мыслитьчетко, лаконично, правильно. Логика нужна всем людям, работникам самыхразличных профессий.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

Общая характеристика

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">дедуктивных умозаключений и его виды

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">В процессепознания действительности мы приобретаем новые знания. Некоторые из нихнепосредственно, в результате воздействия предметов внешнего мира на органычувств; но большую часть знаний мы получаем путем выведения новых знаний иззнаний уже имеющихся. Эти знания называются опосредованными, или выводами.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Логическойформой получения выводных знаний являются умозаключение.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Умозаключение- это форма мышления, посредством которой из одного или нескольких сужденийвыводиться новое суждение<span Courier New";mso-fareast-font-family:«Times New Roman»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:RU;mso-fareast-language: RU;mso-bidi-language:AR-SA">[3]

.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Любоеумозаключение состоит из посылок, заключения и вывода. Посылками умозаключенияназываются исходные суждения, из которых выводится новое суждение. Заключениемназывается новое суждение, полученное логическим путем из посылок. Логическийпереход от посылок к заключению называется выводом.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например:«Следователь не может участвовать в расследовании дела, если он являетсяпотерпевшим (1). Следователь П. — потерпевший (2). Значит, он не может участвоватьв расследовании дела (3)».

<span Courier New";mso-bidi-font-family:«Times New Roman»">В этомумозаключении 1-е и 2-е суждение являются посылками, 3-е суждение — заключением.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Отношение логическогоследования между посылками и заключением предполагает связь между посылками посодержанию. Если суждения не связаны по содержанию, то вывод из них невозможен.Например, из суждений: «Следователь не может участвовать в расследованиидела, если он является потерпевшим» и «Обвиняемый имеет право назащиту» — нельзя получить заключения, так как эти суждения не имеют общегосодержания и, следовательно, логически не связаны друг с другом.

<span Courier New";mso-bidi-font-family:«Times New Roman»">При наличиисодержательной связи между посылками мы можем получить в процессе рассужденияновое истинное знание при соблюдении двух условиях: во-первых, должны бытьистинными исходные суждения — посылки умозаключения; во-вторых, в процессерассуждения следует соблюдать правила вывода, которые обуславливают логическую правильностьумозаключения.

<span Courier New";mso-bidi-font-family:«Times New Roman»">В зависимостиот строгости правил вывода различают два вида умозаключений: демонстративное(необходимые) и недемонстративное (правдоподобные). Демонстративные умозаключенияхарактеризуются тем, что заключение в них с необходимостью следует из посылок,т.е. логическое следование в такого рода выводах представляет собой логическийзакон. В недемонстративных умозаключениях правила вывода обеспечивают лишьвероятное следование заключение из посылок.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Наряду сделением умозаключений по строгости вывода важное значение имеет ихклассификация по направленности логического следования, т.е. по характеру связимежду знанием различной степени общности, выраженному в посылках и значении. Сэтой точки зрения различают три вида умозаключений: дедуктивные (от общегознания к частному), индуктивные (от частного к общему), умозаключения по аналогии(от частного к частному).

<span Courier New";mso-bidi-font-family:«Times New Roman»">Дедуктивныеумозаключения — те умозаключения, у которых между посылками и заключениямиимеется отношение логического следования.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например:«Все рыбы дышат жабрами (1). Все окуни — рыбы (2). Значит все окуни дышатжабрами (3).»

<span Courier New";mso-bidi-font-family:«Times New Roman»">Здесь перваяпосылка «Все рыбы дышат жабрами» является общеутвердительнымсуждением и выражает большую степень обобщения по сравнению с заключением,также являющимся общеутвердительным суждением «Все окуни дышатжабрами». Мы строим умозаключения от признака, принадлежащего роду(«рыба»), к его принадлежности к виду — «окунь», т.е. отобщего класса к его частному случаю, к подклассу. Частный случай при этом ненадо путать с частным суждением вида «Некоторые

<span Courier New»;mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»"> есть <span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">"или «Некоторые <span Courier New»;mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">не есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">".

<span Courier New";mso-bidi-font-family:«Times New Roman»">Правиладедуктивного вывода определяются характером посылок, которые могут бытьпростыми (категорическими) или сложными суждениями. В зависимости от количествапосылок дедуктивные выводы из категорических суждений делятся нанепосредственные, в которых заключение выводится из одной посылки, иопосредованные, в которых заключение выводится из двух посылок.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Непосредственныеумозаключения.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Непосредственнымиумозаключениями называются дедуктивные умозаключения, делаемые из однойпосылки. К ним в традиционной логике относятся следующие: превращение,обращение, противопоставление предикату<span Courier New";mso-fareast-font-family:«Times New Roman»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:RU;mso-fareast-language: RU;mso-bidi-language:AR-SA">[4]

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

<span Courier New";mso-bidi-font-family:«Times New Roman»">Выводы вкаждом из этих умозаключений получаются в соответствии с определеннымилогическими правилами, которые обусловлены видом суждения — его количественнойи качественной характеристиками.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Превращение — вид непосредственного умозаключения, при котором изменяется качество посылкибез изменения ее количества, при этом предикат заключения является отрицаниемпредиката посылки.

<span Courier New";mso-bidi-font-family:«Times New Roman»">По качествусвязи категорические суждения делятся на утвердительные и отрицательные.

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например: 1)

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.2) <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">не есть не-<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.

<span Courier New";mso-bidi-font-family:«Times New Roman»">При этомчастно-утвердительное суждение превращается в частно-отрицательное и наоборот,а общеутвердительное суждение превращается в общеотрицательное и наоборот.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Можновыделить два частных способа:

<span Courier New";mso-fareast-font-family:«Courier New»">1)

<span Courier New";mso-bidi-font-family:«Times New Roman»">путемдвойного отрицания, которое ставиться перед связкой и перед предикатом:

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S

<span Courier New";mso-bidi-font-family:«Times New Roman»">есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.-> <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">не есть не-<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Подлежащее — главные члены предложения. -> Ни одно подлежащее не является не главнымчленом предложения;

<span Courier New";mso-fareast-font-family:«Courier New»">2)

<span Courier New";mso-bidi-font-family:«Times New Roman»">отрицаниеможно переносить из предиката в связку:

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S

<span Courier New";mso-bidi-font-family:«Times New Roman»">есть не-<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.-> <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">не есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Все глаголыявляются неметаллами. -> Ни один галоген не является металлом.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Обращениемназывается такое непосредственное умозаключение, в котором в заключении (вновом суждении) субъектом является предикат, а предикатом — субъекта исходногосуждения, т.е. происходит перемена мест субъекта и предиката при сохранениикачества суждения. Например:

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»"> есть <span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.-> <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Обращениеподчиняется правилу распределенности терминов, согласно которому субъектраспределен в общих и не распределен в частных суждениях, предикат распределенв отрицательных и не распределен в утвердительных суждениях. В соответствии сэтим правилом различают простое (чистое) обращение и обращение с ограничением.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Простым(чистым) называют обращение без изменения количества суждения. Так обращаютсясуждения. Оба термина которых распределены или оба не распределены. Если жепредикат исходного суждения не распределен, то он не может быть распределен и взаключении, где он является субъектом. Поэтому его объем ограничивается.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Противопоставлениепредикату — это такое непосредственное умозаключение, при котором (в заключении)предикатом является субъект, субъектом — понятие, противоречащее предикатуисходного суждения, и связка меняется на противоположную.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например:

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">.-> не-<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">не есть <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Инымисловами, мы делаем таким образом: 1) вместо

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»"> берем не-<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">;2) меняем местами <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">и не-<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">;3) связку меняем на противоположную.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например,дано суждение: «Все львы — хищные животные». В результатепротивопоставления предикату получим суждение: «Ни одно нехищное животноене является львом».

<span Courier New";mso-bidi-font-family:«Times New Roman»">Противопоставлениепредикату можно рассматривать как результат двух последовательныхнепосредственных умозаключений — сначала превращения, затем обращения превращенногосуждения.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">Простой категорический силлогизм

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Категорическийсиллогизм<span Courier New";mso-fareast-font-family:«Times New Roman»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:RU;mso-fareast-language: RU;mso-bidi-language:AR-SA">[5]

— этовид дедуктивного умозаключения, в котором из двух истинных категорическихсуждений, где <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">и <span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">связаны средним термином, при соблюдении правил необходимого следуетзаключение.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Категорическийсиллогизм состоит из трех категорических суждений, два из которых являютсяпосылками, а третье — заключением.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Например:

<span Courier New";mso-bidi-font-family:«Times New Roman»">Все металлы (М)электропроводны (Р) — больная посылка.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Медь (

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">)<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US"> <span Courier New";mso-bidi-font-family:«Times New Roman»">есть металл (М) — меньшаяпосылка.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Медь (

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">)электропроводная (Р) — заключение.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Понятия,входящие в состав силлогизма, называются терминами силлогизма. В приведенномпримере терминами являются: Р (электропроводник) — большой термин, это предикатзаключения;

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">(медь) — меньший термин, это субъект заключения; М (металл) — средний термин,служащий в посылках для связывания <span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">S <span Courier New";mso-bidi-font-family:«Times New Roman»">и Р и отсутствующий взаключении.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<img src="/cache/referats/2062/image001.gif" v:shapes="_x0000_s1042 _x0000_s1043 _x0000_s1044 _x0000_s1045"> <span Courier New";mso-bidi-font-family:«Times New Roman»">


<span Courier New";mso-bidi-font-family:«Times New Roman»">              

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US"> <span Courier New"; mso-bidi-font-family:«Times New Roman»">    Р — электропроводник

<span Courier New";mso-bidi-font-family:«Times New Roman»">                        М — металл

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">                

<span Courier New";mso-bidi-font-family:«Times New Roman»">                        

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">S -<span Courier New";mso-bidi-font-family:«Times New Roman»">медь<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Посылка,содержащая предикат заключение (т.е. больший термин), называется большейпосылкой. Посылка, содержащая субъект заключения (т.е. меньший термин), называетсяменьшей посылкой.

<span Courier New";mso-bidi-font-family:«Times New Roman»">В основевывода по категорическому силлогизму лежит аксиома силлогизма. «Все, чтоутверждается (отрицается) о роде (или классе), необходимо утверждается (отрицается)о виде (или о члене данного класса), принадлежащем к данном роде». Инымисловами: то, что мы утверждаем о металле как о роде, мы утверждаем и о его виде- меди, а именно утверждаем его признак «быть электропроводником».

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">Фигуры и правила простого

<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»">категорического силлогизма

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Фигурамикатегорического силлогизма называются формы силлогизма, различаемые поположению среднего термина М в посылках. Различают четыре фигуры.

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">M   I  P      P  II  M         M  III P      P  IV  M

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<img src="/cache/referats/2062/image002.gif" v:shapes="_x0000_s1026 _x0000_s1027 _x0000_s1028 _x0000_s1029"> <img src="/cache/referats/2062/image003.gif" v:shapes="_x0000_s1030 _x0000_s1031 _x0000_s1032 _x0000_s1033"> <img src="/cache/referats/2062/image004.gif" v:shapes="_x0000_s1034 _x0000_s1035 _x0000_s1036 _x0000_s1037"> <img src="/cache/referats/2062/image005.gif" v:shapes="_x0000_s1038 _x0000_s1039 _x0000_s1040 _x0000_s1041"> <span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">


<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">S       M     S       M         M      S      M       S

<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">

<img src="/cache/referats/2062/image006.gif" v:shapes="_x0000_s1046 _x0000_s1047 _x0000_s1048 _x0000_s1049 _x0000_s1050"><span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">


<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">   S-P            S-P               S-P            S-P

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">I

<span Courier New";mso-bidi-font-family:«Times New Roman»">фигура- большая посылка должна быть общей, меньшая — утвердительной.

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">II

<span Courier New";mso-bidi-font-family:«Times New Roman»">фигура — большая посылка общая и одна из посылок, а так же заключенияотрицательные.

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">III

<span Courier New";mso-bidi-font-family:«Times New Roman»">фигура- меньшая посылка должна быть утвердительной, а заключение — частное.

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">IV

<span Courier New";mso-bidi-font-family:«Times New Roman»">фигура- общеутвердительных заключений не дает.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Модусыкатегорического силлогизма.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Модусамифигур категорического силлогизма называются разновидности силлогизма,отличающиеся друг от друга качественной и количественной характеристикойвходящих в них посылок и значений.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Правилакатегорического силлогизма.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Категорическиесиллогизмы в мышлении встречаются весьма часто. Для того чтобы получитьистинное заключение, необходимо брать истинные посылки и соблюдать перечисленныениже правила категорического силлогизма (так же как и особые правила фигуркатегорического силлогизма, перечисленные ранее).

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

Задача

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

Ответьте, является ли вернымследующий силлогизм: «Всякий договор есть сделка. Данное правоотношение неявляется договором. Следовательно, оно не является сделкой».

<span Courier New";mso-bidi-font-family:«Times New Roman»">Для решенияданной задачи необходимо воспользоваться фигурами категорического силлогизма иправилами посылок.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Для даннойзадачи подходит следующая фигура:

<img src="/cache/referats/2062/image007.gif" v:shapes="_x0000_s1052 _x0000_s1053 _x0000_s1054 _x0000_s1055">S          M                  Где S =договор

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">    M =

<span Courier New";mso-bidi-font-family:«Times New Roman»">сделка

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">    P  = 

<span Courier New";mso-bidi-font-family:«Times New Roman»">правоотношение

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US"> P         S

<span Courier New";mso-bidi-font-family:«Times New Roman»">Исходя изправила посылок, если одна из посылок отрицательная, то и заключение должнобыть отрицательным.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Всякийдоговор (

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">)– сделка (<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">M<span Courier New";mso-bidi-font-family:«Times New Roman»">)

<span Courier New";mso-bidi-font-family:«Times New Roman»">Правоотношение(

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">P<span Courier New";mso-bidi-font-family:«Times New Roman»">)не является сделкой (<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">M<span Courier New";mso-bidi-font-family:«Times New Roman»">)

<span Courier New";mso-bidi-font-family:«Times New Roman»">--------------------------------------------

<span Courier New";mso-bidi-font-family:«Times New Roman»">Правоотношение

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US"> (P)<span Courier New";mso-bidi-font-family:«Times New Roman»">не является договором (<span Courier New"; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US">S<span Courier New";mso-bidi-font-family:«Times New Roman»">)

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Силлогизм

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">: "<span Courier New";mso-bidi-font-family:«Times New Roman»">Всякийдоговор есть сделка. Данное правоотношение не является договором.Следовательно, оно не является сделкой" является верным, так как присутствуетотрицательная посылка и в посылках средний термин разъединяет крайние термины.

<span Courier New";mso-bidi-font-family:«Times New Roman»; mso-ansi-language:EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

<span Courier New";mso-bidi-font-family:«Times New Roman»;mso-ansi-language: EN-US">

Заключение

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Цель познаниядедуктивных умозаключений – получение истинных знаний и полноценноеиспользование их в практике. Знание дедуктивных умозаключений поможет предвидетьсобытия и лучшим способом планировать деятельность, максимально предусматриватьвозможные последствия, выдвигать различные гипотезы, эффективнее обучать исамим обучаться, видеть «логику вещей», умело вести полемику.

Интересным, перспективным направлением являетсяанализ уже созданных и разработка новых программ для ЭВМ. Широкое применениелогических знаний необходимо и при разработке обучающих, игровых и системныхпрограмм для ЭВМ.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Конкретноеприменение знаний дедуктивных умозаключений потребуется для сотрудника милициипри работе по раскрытию преступлений, поможет четко выявить логическуюструктуру преступления.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

Литература

<span Arial",«sans-serif»;mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-fareast-font-family:«Courier New»">1.<span Times New Roman""> 

<span Courier New";mso-bidi-font-family:«Times New Roman»">Бойко А.П., «Краткийкурс логики», М., 1995 год.

<span Courier New";mso-fareast-font-family:«Courier New»">2.<span Times New Roman""> 

<span Courier New";mso-bidi-font-family:«Times New Roman»">Гетманова А.Д.,«Учебник по логике», М., Изд. «Владос», 1995 год.

<span Courier New";mso-fareast-font-family:«Courier New»">3.<span Times New Roman""> 

<span Courier New";mso-bidi-font-family:«Times New Roman»">Кирилов В.И.,«Логика», М., Изд. «Высшая школа», 1987 год.

<span Times New Roman",«serif»;mso-fareast-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-fareast-language:RU;mso-bidi-language:AR-SA">[1]

От греческого слова logos — «мысль»,«слово», «разум».

<span Times New Roman",«serif»;mso-fareast-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-fareast-language:RU;mso-bidi-language:AR-SA">[2]

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

<span Times New Roman",«serif»;mso-fareast-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-fareast-language:RU;mso-bidi-language:AR-SA">[3]

В.И. Кирилов,«Логика», М., Изд. «Высшая школа», 1987 год, С. 131.

<span Times New Roman",«serif»;mso-fareast-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-fareast-language:RU;mso-bidi-language:AR-SA">[4]

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

<span Times New Roman",«serif»;mso-fareast-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-fareast-language:RU;mso-bidi-language:AR-SA">[5]

Силлогизм происходит отгреческого  syllogismos (сосчитывание, выведение следствия).
еще рефераты
Еще работы по праву