Логика "Мысль - начало всего. И мыслями можно управлять. И потому главное дело совершенствования: работать над мыслями" Л.Н.Толстой

Ло́гика (др.-греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение»)др.-греч. Логика наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о правильном мышлении. Поскольку мышление оформляется в языке в виде рассуждения, частным случаем которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

Логика – это наука о законах и формах мышления. Она изучает абстрактное мышление как средство познания объективного мира.

Этапы развития логики Логика античности Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения». После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квантилиан. Платон и Аристотель

Логика в Средневековье По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли. Этапы развития логики Уильям Оккам

Логика в эпоху Возрождения и в Новое время Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций. Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона- Милля. В 1662 году в Париже издан учебник «Логика Пор- Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Декарта. Этапы развития логики Френсис Бэкон

Современная логика В конце XIX начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной. Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. Начало ХХ века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым. Этапы развития логики Дж. Буль

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

простые высказывания, которые обозначают заглавными латинскими буквами A, B, C…X, Y, Z значения высказываний ИСТИНА или ЛОЖЬ обозначают соответственно цифрами 1 и 0 составные высказывания, которые включают в себя логические переменные, операции логики и скобки для изменения порядка действий операций Логические переменные - Логические выражения - Логические величины -