Рассматриваются основные понятия логики и история развития

1. Логика как наука

2. ОСНОВНЫЕ ПОНЯТИЯ
Логика ( от греч.logos – слово, понятие,
рассуждение, разум) – наука о законах и
формах рационального мышления, методах
формализации содержательных теорий.
Мыслить логично – значит мыслить точно и
последовательно, не допускать противоречий в
своих рассуждениях, уметь вскрывать
логические ошибки.
Формы мышления – понятия, сужденияи
умозаключения

3. ПОНЯТИЕ
Понятие – форма мышления, в которой отражаются
существенные признаки предметов.( апельсин,
трапеция, белизна, река Нил)
Существенными называются такие признаки, каждый
из которых, взятый отдельно, необходим, а все вместе
достаточны, чтобы с их помощью отличить данный
предмет и сделать обобщение, объединив однородные
предметы в множество.(Нпр: апельсин –круглый,
оранжевый, ароматный, делиться на дольки)
Содержание понятия – совокупность существенных
признаков, отраженных в этом понятии.
Объем понятия – множество предметов, каждому из
которых принадлежат признаки, составляющие
содержание понятия

4. СУЖДЕНИЕ
Суждение ( высказывание, утверждение) – форма мышление, в
которой что-либо утверждается или отрицается о предметах, их
свойствах или отношениях между ними.( Этот апельсин
вкусный).
Суждение – повествовательное предложение
Суждения бывают простыми и сложными (состоят из двух и
более простых)
Всякое суждение может быть либо истинным, либо ложным по
своему содержанию
Содержание суждения –это то, о чем в нем идет речь, его смысл.
Логическая форма суждения – это его строение, способ связи
его составных частей: Все S есть P (все лошади едят овес), Все S
не есть P (все медузы не имеют головы), некоторые А есть S
( некоторые дети любят читать).

5. УМОЗАКЛЮЧЕНИЕ
Умозаключение – форма мышления, посредством
которой из одного или нескольких суждений
(посылок), по определеннвм правилам получается
новое суждение – заключение (вывод, умозаключение)
Нпр.: Все люди смертны. Все S есть P
Сократ – человек Некоторые А есть S
________________ _________________
Сократ смертен Некоторые А есть P
Умозаключение имеет свою логическую форму (структуру)

6. Основной принцип
ФОРМАЛЬНОЙ ЛОГИКИ
Правильность рассуждения
(умозаключения) определяется только
его логической формой, и не зависит
от конкретного содержания,
входящих в него суждений

7. РАЗВИТИЕ ЛОГИКИ
I. Аристотель (384-322 гг. до н.э.) – основатель
формальной логики. Он пытался найти ответ на
вопрос: «Как мы рассуждаем?», изучал правила
мышления. Он создал логику как науку о
доказательстве истины. Он подверг человеческое
мышление анализу,выделил его формы – понятие,
суждение, умозаключение.
II. Готфрид Лейбниц (1646 –1716 гг) – сделал попытку
построить первые логические исчисления, считал ,
что можно заменить простые рассуждения
действиями со знаками. Но Лейбниц высказал только
идею, но не развил ее.
III. Джордж Буль (1815 –1864) – основоположник
математической логики. основная идея его системы -
применение алгебраических методов для решения
логических задач.