1. Мышление как объект формальной логики.

Мышление человека подчиняется логическим законам и протекает в логических формах независимо от науки логики. Люди мыслят логично, не зная её правил, подобно тому, как они правильно говорят, не зная правил грамматики.  Мышление - это сложный, многосторонний процесс, высшая форма познания мира, свойственная только человеку. Человеку присущи различные типы мышления: теоретическое (понятийное и образное), а также практическое (наглядно-образное и наглядно-действенное).  Основное различие между теоретическим и практическим видами мышления состоит в том, что они по разному связаны практикой. Так практическое мышление в основном направлено на разрешение частных конкретных задач жизнедеятельности людей, тогда как теоретическое мышление направленно в основном на нахождение общих закономерностей познаваемой действительности. Логика изучает основной тип мышления – понятийное (абстрактное) мышление.  Абстрактное мышление – это процесс рационального отражения материального мира в понятиях, суждениях, умозаключениях, гипотезах, теориях, позволяющих проникать в сущность и закономерные связи предметов и явлений, творчески преобразовывать их сначала в теории, а затем на практике. Все материальные предметы, явления и процессы имеют как содержание, так и форму.  Содержание мысли – это совокупность всех ее компонентов, свойств, состояний, характеристик, законов, представляющих собой результат отражения материального мира. При этом все содержательное многообразие укладывается в сравнительно небольшое число мыслительных форм. Дело в том, что логический строй мышления человека обладает важным свойством: какую бы словесную оболочку не принимали наши мысли, на каком языке не излагались, они обязательно должны принять общечеловеческие формы. Так же понимается и логическая форма. Наши мысли слагаются из некоторых содержательных частей. Способ их связи и представляет форму мысли.  Форма мышления – способ связи элементов мысли, ее строение, благодаря чему содержание существует и отражает действительность. Т.е. различные предметы отражаются в абстрактном мышлении одинаково - как определенная связь их существенных признаков, т.е. в форме понятия. Понятие - форма мышления, в которой отражаются существенные признаки одноэлементного класса. Понятия в языке выражаются словами (например, "дерево", "самолет") или группой слов, т.е. словосочетаниями, например, "студент гуманитарного института", "создатель художественных картин", "река Дон", "космический корабль" и др.  В форме суждений отражаются отношения между предметами и их свойствами. Суждение – это форма мышления, в которой что—либо утверждается или отрицается о предметах, их свойствах или отношениях. Обычно суждения выражаются в форме повествовательных предложений. Они могут быть простыми (грачи прилетели) или сложными, которые состоят из нескольких простых (наступила зима, выпал снег). Суждение — это высказывание, устанавливающее связь между двумя понятиями. Например, «Железо есть элемент», «Змеи не имеют ног». Та часть суждения которая отображает предмет мысли, называется субъектом суждения и обозначается буквой S, а та часть суждения, которая отображает то, что утверждается (и отрицается) о предмете мысли, называется предикатом суждения и обозначается буквой Р. Слово есть (или суть - когда много предметов) называется связкой. Суждение можно изобразить символически в виде формы: S есть (не есть) P, где S и P – переменные, вместо которых можно подставить какие-то определенные мысли о предметах и их свойств, а слово «Есть» - постоянная. Изменение свойств предметов и отношений между ними отражается в форме умозаключений. Умозаключение - это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Виды умозаключений и изучает логика. Приведем пример: Все металлы - вещества  Железо - металл  Железо - вещество  Первые два суждения, которые находятся над чертой, называются посылками, а третье суждение называется заключением. Черта под исходными суждениями заменяет слова «следовательно», «значит». Но не всякое сочетание суждений является умозаключением. Между суждениями должна быть логическая связь, в которой отображается взаимозависимость предметов и явлений объективного мира. Следовательно, каждая из основных форм абстрактного мышления имеет нечто общее, что не зависит от конкретного содержания мысли, т.е. свою специфическую структуру.  Форма абстрактного мышления -это способ связи элементов мысли, ее строение, благодаря которому содержание существует и отражает действительность.