Предмет логики. Понятия логической формы, логического следования, логического закона

Весь наш мир основан на логике: люди чаще всего совершают поступки, поддающиеся логическому объяснению, пытаются осознать, для чего совершают те или иные действия и в принципе очень любят самокопание с точки зрения логики.
Логика, одна из древнейших наук, возникла в проблемном поле философии более 2300 лет назад, и в трудах древнегреческого философа Аристотеля впервые показала, как должно совершаться мышление, чтобы была достигнута истина, каким правилам мышление при этом должно подчиниться основная задача, которая стоит перед студентами при изучении курса логики, научиться сознательно применять законы и формы мышления, усвоить основные принципы правильного логического мышления – определенность, последовательность, доказательность; приобрести навыки и умения, требующие точности мышления, обоснованности и убедительности выводов.
Предметом логики считаются законы и формы, а также приемы и операции мышления, благодаря которым человек изучает и понимает окружающий мир. Логику делят на формальную и диалектическую.
Познанием в логике называют деятельность человека, направленную на получение новых знаний. В познавательной деятельности выделяют чувственное или эмоциональное и рациональное познание. Изучая окружающий мир, люди стремятся понять причины явлений, осознать сущность вещей, понять законы природы и общества. Но все это невозможно исполнить без мышления, показывающего действительность в логических формах. Основными особенностями мышления считают обобщенный характер действительности, неразрывную связь с языком и активный характер отражения.
Любая мысль включает в себя содержание и форму

. В мышлении людей под содержанием понимают суждения и умозаключения. Разные предметы отражаются в мышлении человека, как не странно, одинаково – с помощью определенной связи их главных признаков.
Логической формой же называют ту сторону рассуждения (доказательства, вывода, аргументации и т.п.), от которой не зависит содержание этого рассуждения. В языке она фиксируется с помощью логических констант и образует благодаря отдельным фразам и их сочетаниям - схему рассуждения, которая может включать в себя разное содержание.
Логической формой определенной мысли называется строение этой самой мысли или способ связи ее составных частей. В логических формах присутствует не вся полнота окружающего нас мира, но лишь его общие структурные связи, необходимые для воплощения в структуре мысли. Понятия, суждения и умозаключения имеют свои особые формы или структуры.
Структура мысли, или же ее логическая форма, выражается через символы. Хоть содержание мысли и может быть разным, их формы будут одинаковы: «Все S есть Р»; они включают в себя S (понятие о самом суждени и Р (понятие о признаке данного предмета, а также связку («есть») и кванторное слово («все»). Кроме этого связки может и не быть или она может быть заменена на тире. Так же и с «Если S есть Р, то S есть P1».
Необходимым условием для достижения истины по ходу рассуждения является соблюдение законов логики