1. Логика как наука о мышлении. Предмет и объект логики.

1.Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

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

2)для обозначения строгости, последовательности, закономерности процесса мышления; при этом употребляются выражения: «логика мышления», «логика рассуждения», «железная логика рассуждений», «в выводе отсутствует логика» и др.

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Объектом логики как науки является мышление человека. Предметом логики являются логические формы, операции с ними и законы мышления.

2. Понятие логического закона. Законы и формы мышления.

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

Закон тождества. Всякое высказывание тождественно са­мому себе: А = А

Закон непротиворечия. Высказывание не может быть од­новременно истинным и ложным. Если высказывание А — истинно, то его отрицание не А должно быть ложным. Сле­довательно, логическое произведение высказывания и его отрицания должно быть ложно: A & ¬A = 0

Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа­ет, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: A v ¬A = 1

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

Различают три основные формы мышления: понятие, сужде­ние и умозаключение.

Понятие — это форма мышления, в которой отра­жаются общие и притом существенные свойства предметов и явлений.

Суждение—это форма мышления, содержа­щая утверждение или отрицание какого-либо положения относи­тельно предметов, явлений или их свойств.

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

3. Становление науки логики, этапы ее развития.

1 этап - Аристотель . Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу  человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.	АРИСТОТЕЛЬ (лат. Aristotle) ( 384-322г. до н. э.), древнегреческий ученый, философ
2 этап – появление математической или символической логики. Основы  ее заложил немецкий ученый Готфрид Вильгельм Лейбниц .Он сделал попытку заменить простые рассуждения действиями со знаками.	Готфрид Вильгельм Лейбниц (1646-1716) немецкий философ, математик, физик, языковед.
3 этап - окончательно развил эту идею англичанин Джордж Буль , он явился основоположником математической логики. В  его работах логика пиобрела свой  алфавит, орфографию и грамматику. Начальный раздел математической логики назвали  алгеброй логики или  Булевой алгеброй.	Джордж Буль ( 1815-1864). Английский математик и логик.
Джордж фон Нейман  в основу работы компьютера заложил  математематический аппарат, использующий законы математической логики.	1950