1 Понятие о законах и формах мышления.

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

1.понятие — совокупность существенных признаков предмета, определенным образом связанных друг с другом;

2.суждение — форма мышления, в которой утверждается или  отрицается связь между предметом (S — субъект) и его признаком (Р — предикат), отношение между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

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

Мысль — истинная — если соответствует действительности; ложная — нее соответствует. Истинность мыли по содержанию — необходимое условие достижения верных результатов в процессе рассуждения.

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

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

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

2 Логика как наука, её значение для теории и практики.

Логика — наука о мышлении, ее предметом, являются законы и формы,

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

мир.

Логика, изучающая познающее мышление и применяемая как средство познания,

возникла и разви­валась как философская наука и в настоящее время

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

самостоятельные науки: логику формальную и логику диалекти­ческую.

Значение логики

Что касается логики, то ее задача состоит в том, чтобы научить человека

сознательно применять законы и формы мышления и на основе этого логичнее

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

Знание логики повышает культуру мышления, вырабатывает навык мыслить более

«грамотно», развивает критическое отноше­ние к своим и чужим мыслям. Поэтому

мнение, будто изучение логики не имеет практического значения,

несостоятельно.

Мыслить логично — это значит мыслить точно и последователь­но, не допускать

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

качества мышления имеют большое значение в любой области научной и

практической деятельности, в том числе и в работе юриста, требующей точности

мышления, обо­снованности выводов.

3 Язык логики.

Основные символы, заменяющие главные понятия логики, S и P используются для обозначения понятий субъекта, или предмета мысли, и предиката, признака предмета мысли соответственно. Понятия «субъект» и «предикат» также используются и в философии, но имеются различия между их философским и логическим значениями. Именно в философии «субъект» — это то, что противостоит «объекту» — природе, миру в целом. По этой причине субъектом в данном смысле становится и один человек, и все человечество, т.е. общество. В логике же «субъект» — предмет мысли, о чем ведется рассуждение, это логическое подлежащее суждения. С точки зрения логики субъектом может выступать любое понятие, отражающее любой реальный или мнимый, материальный или идеальный «предмет», поскольку предметом мысли может быть все, что угодно. «Предикаты» в философии и логике почти совпадают по значению. «Предикат» — это любой признак, присущий или не присущий тому или иному предмету (в логике — предмету мысли). Приведем символику логики.   S — символ для обозначения субъекта суждения (логического подлежащего).   Р — символ для обозначения предиката суждения (логического сказуемого).   М — средний термин умозаключения, общее для исходных суждений понятие.   «Есть» — «не есть» (суть — не суть и пр.) — логическая связка между субъектом и предикатом суждения, выражаемая иногда с помощью тире между «S» и «Р».   R — символ любого отношения.   А (а) — символ общеутвердительного суждения («Все школьники — учащиеся»).   Е (е) — символ общеотрицательного суждения («Ни один цветок этого букета не является ромашкой»).   I(i) — символ частноутвердительного суждения («Некоторые люди миллионеры»).   О (о) — символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»).   ∀ — символ квантора общности, в языке выражается словом «для всякого», «для любого» и т.п.   ∃ — символ квантора существования, в языке выражается словом «некоторые», «существуют такие» и т.п.   & — символ, или знак, соединительного логического союза «и» (конъюнкция).   V — символ (знак) разделительного логического союза «или» (дизъюнкция).   => — символ условного логического союза «если, то» (импликация).   <=> — символ логического союза тождества, эквивалентности, «тогда и только тогда, когда».   «Не» — отрицательная частица, может быть выражена и чертой над знаком или тильдой ~, например: ~В или С.