Реферат: Дедуктивные умозаключения (Контрольная)
Министерство внутренних дел
Юридический институт
Пермский факультет
Контрольная работапо логике
Тема: Дедуктивныеумозаключения
Контрольную работу выполнил:
слушатель 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 (сосчитывание, выведение следствия).