ОСНОВЫ ЛОГИКИ

Основатель логики - древнегреческий философ Аристотель. ОСНОВЫ ЛОГИКИ Систематизировал логику; Ввел термины: «понятие» и «суждение»; Описал ряд логических операций; Сформулировал законы мышления.

Логика Логика (от греч. Logos – слово, понятие, рассуждение, разум) – наука о законах и формах рационального мышления, методах формализации содержательных теорий. Демокрит Евклид Декарт ОСНОВЫ ЛОГИКИ

ФОРМЫ МЫШЛЕНИЯ В логике выделяют следующие формы мышления: понятие; суждение; умозаключение.

Понятие Понятие – форма мышления, в которой отражаются отличительные существенные признаки предметов. ФОРМЫ МЫШЛЕНИЯ

Содержание понятия Содержание понятия – совокупность существенных признаков, отраженных в этом понятии. Например, содержание понятия квадрат является совокупность двух существенных признаков: быть прямоугольником и иметь равные стороны. ФОРМЫ МЫШЛЕНИЯ

Объем понятия Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия. Например, объём понятия река – это множество, состоящее из рек, носящих имена Обь, Иртыш, Енисей, Волга, и др. ФОРМЫ МЫШЛЕНИЯ

Суждение Суждение (высказывание, утверждение) – форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними. Примеры суждений: 1. Этот апельсин вкусный. 2. Если прошел дождь, то на улице весна. 3. На Луне живут лунатики, а на Марсе – марсиане. ФОРМЫ МЫШЛЕНИЯ

Языковым выражением суждений является повествовательное предложение. Суждения бывают простыми и сложными. Например: Наступила весна – простое суждение. Наступила весна, и прилетели грачи – сложное, состоящее из двух простых. ФОРМЫ МЫШЛЕНИЯ

Всякое суждение может быть либо истинным, либо ложным по своему содержанию. Содержание суждения Содержание суждения – это то, о чем в нем идет речь, его смысл. ФОРМЫ МЫШЛЕНИЯ

Для того чтобы вести рассуждения и оценивать их правильность, необходимо прежде договориться по каждому суждению, будем ли мы его рассматривать как истинное или ложное в данном конкретном случае. Договориться можно только по отношению к простым суждениям. Значения истинности сложных суждений вычисляются. ФОРМЫ МЫШЛЕНИЯ

При вычислении истинности (ложности) сложного суждения содержание входящих в него простых суждений является незначимым. Интерес представляет то, чем суждения отличаются друг от друга, что характеризует каждое из них и неизменно для каждого из них, а именно их форма. ФОРМЫ МЫШЛЕНИЯ

Логическая форма суждения Логическая форма суждения – это его строение, способ связи его составных частей. Форма суждения, в отличии от его содержания, объективна, т.е. не зависит от тех или иных взглядов того или иного человека. ФОРМЫ МЫШЛЕНИЯ

Определите логическую форму суждений: 1)Все лошади едят овес. 2)Все реки впадают в море. 3)Все школьники – отличники. 4)Все книги имеют страницы. Во всех этих суждениях говорится о разном (у них разное содержание), но они имеют одинаковую логическую форму: Все S есть Р. ФОРМЫ МЫШЛЕНИЯ

Умозаключение Умозаключение - форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение (вывод умозаключения). Посылками умозаключения по правилам логики могут быть только истинные суждения. ФОРМЫ МЫШЛЕНИЯ

формальной логикой. Античную логику, основанную Аристотелем, принято называть формальной логикой. Алгебра логики (алгебра высказываний) Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий строение (форму, структуру), сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. АЛГЕБРА ВЫЗКАЗЫВАНИЙ

Примеры высказываний и не высказываний: 1) А = Солнце светит для всех = 1 – истинное высказывание. 2) В = Все ученики любят информатику = 0 – ложное высказывание 3) D = А ты любишь информатику? – не высказывание, т.к. предложение не повествовательное. 4) Е = Посмотри в окно – не высказывание. 5) F = (Х*Х<0) = 0 – ложное высказывание, т.к. х*х всегда неотрицательно. АЛГЕБРА ВЫЗКАЗЫВАНИЙ