Логика - наука о человеческом мышлении. Человек, к какой бы исторической цивилизации он ни принадлежал, нуждается в истине. И первобытные люди, и наши современники, познавая окружающий их мир, стремятся получить истину. Обладание истинным знанием одним людям приносит радость и удовлетворение, другим, наоборот, горе: сильных истина зовет на подвиг, у слабых - парализует волю, приводит их к пессимизму и растерянности. Но, несмотря ни на что, все люди стремятся к истине, получению новой информации о мире, в котором они живут. Обладание истиной подвигает всех нас вперед на нелегком пути познания.Вопросы, связанные с познанием действительности, относятся к важнейшим вопросам философии. Поэтому логика, изучающая познающее мышление и применяемая как метод познания, является философской наукой.Итак, логика - это философская наука о формах, в которых протекает человеческое мышление, и о законах, которым оно  подчиняется.Люди хотят знать не только законы природы, но и тайны человеческого мозга. Еще в XVII веке английский философ Ф. Бэкон говорил о том, что знание и могущество человека совпадают. Чтобы расширить возможности познания, человек создал микроскоп и телескоп, радио и телевидение, ЭВМ и космический корабль, которые позволили ему глубже и полнее познавать свойства природных и социальных явлений. Изобретены различные методы познания, расширяющие возможности разума человека: моделирование и математические методы, в том числе методы теории вероятностей, физический и биологический эксперименты, методы генной инженерии и обработка информации на ЭВМ. Чтобы эффективно пользоваться всеми этими методами и изобретениями, мышление человека должно быть безупречным, логически правильным.Истина и логика взаимосвязаны, поэтому значение логики невозможно переоценить. Логика помогает доказывать истинные суждения и опровергать ложные, она учит мыслить четко, лаконично, правильно. Логика нужна всем людям, работникам самых различных профессий.

Общая характеристикадедуктивных умозаключений и его виды
В процессе познания действительности мы приобретаем новые знания. Некоторые из них непосредственно, в результате воздействия предметов внешнего мира на органы чувств; но большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредованными, или выводами.Логической формой получения выводных знаний являются умозаключение.Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений выводиться новое суждение.Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.Например: "Следователь не может участвовать в расследовании дела, если он является потерпевшим (1). Следователь П. - потерпевший (2). Значит, он не может участвовать в расследовании дела (3)".В этом умозаключении 1-е и 2-е суждение являются посылками, 3-е суждение - заключением.Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. Например, из суждений: "Следователь не может участвовать в расследовании дела, если он является потерпевшим" и "Обвиняемый имеет право на защиту" - нельзя получить заключения, так как эти суждения не имеют общего содержания и, следовательно, логически не связаны друг с другом.При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условиях: во-первых, должны быть истинными исходные суждения - посылки умозаключения; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обуславливают логическую правильность умозаключения.В зависимости от строгости правил вывода различают два вида умозаключений: демонстративное (необходимые) и недемонстративное (правдоподобные). Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятное следование заключение из посылок.Наряду с делением умозаключений по строгости вывода важное значение имеет их классификация по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и значении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного к общему), умозаключения по аналогии (от частного к частному).Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключениями имеется отношение логического следования.Например: "Все рыбы дышат жабрами (1). Все окуни - рыбы (2). Значит все окуни дышат жабрами (3)."Здесь первая посылка "Все рыбы дышат жабрами" является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением "Все окуни дышат жабрами". Мы строим умозаключения от признака, принадлежащего роду ("рыба"), к его принадлежности к виду - "окунь", т.е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида "Некоторые S есть P" или "Некоторые S не есть P".Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями.