Логика. Введение

Отдельные моменты логической науки начинают разрабатываться с VI в. до нашей эры в Древней Греции и Индии.
1. Формальная логика – одна из древнейших наук.

Логика разрабатывалась в связи с потребностями ораторского искусства, то есть как часть риторики.
Запросы математики.
Предпосылки возникновения:

Аристотель (4 в. до н. э.), который впервые систематизировал логические формы и правила мышления.
Он написал ряд сочинений по логике, которые были впоследствии объединены под общим названием «Органон» - 4 трактата.
Основатель логики:

Логика, основанная на учении Аристотеля, существовала до началаXXв.
Она носит название традиционной формальной логики.

Революция в логике началась с трудов Г.-В. Лейбница и связана с именами Г. Фреге, Б. Рассела и А. Уайтхеда.
Логика отделяется от философии и занимается формальным анализом мышления и его языков.
Именно использование методов символической логики отличает логику современную от традиционной.
Современная логика ( с xx века)

Название науки "Логика" происходит от древнегреч. «логос» - мысль.
В буквальном переводе «логика» - это наука о мышлении.
А чаще логику определяют как науку о «правильном» мышлении. Но и это определение не точное…
2. Логика как наука о рассуждении

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

Логику содержание наших мыслей не интересует. В центре ее внимания их строение, структура, способы связи между содержательными компонентами мысли или между разными мыслями в процессе наших рассуждений о действительности.
Эти специфические, постоянно проявляющиеся в мышлении, независимо от его содержания, способы построения наших мыслей называются логическими формами.

подход к мышлению, в котором делается акцент не на содержании, а на строении мыслей.
Правильность или неправильность мысли определяется не тем, верно ли она отражает действительность, а тем - соответствует ли ее построение законам логической формы, в которой она находится.
Формальный подход -

Логика – наука о формально правильном мышлении, о законах построения и преобразования логических форм, в которых протекает наше мышление вне зависимости от его содержания.
Предмет логики.

Логическая теория, раскрывающая законы формально- правильного мышления, в любой науке может быть использована как
инструмент методологического осмысления – для определения степени соответствия научных рассуждений логическим требованиям.
Область применения.