Логика как наука 10 класс

Логика как наука
10 класс
ОСНОВНЫЕ ПОНЯТИЯ
Логика ( от греч.logos – слово, понятие,
рассуждение, разум) – наука о законах и
формах рационального мышления, методах
формализации содержательных теорий.
Мыслить логично – значит мыслить точно и
последовательно, не допускать противоречий в
своих рассуждениях, уметь вскрывать
логические ошибки.
Формы мышления – понятия, сужденияи
умозаключения
ПОНЯТИЕ
Понятие – форма мышления, в которой отражаются
существенные признаки предметов.( апельсин,
трапеция, белизна, река Нил)
Существенными называются такие признаки, каждый
из которых, взятый отдельно, необходим, а все вместе
достаточны, чтобы с их помощью отличить данный
предмет и сделать обобщение, объединив однородные
предметы в множество.(Нпр: апельсин –круглый,
оранжевый, ароматный, делиться на дольки)
Содержание понятия – совокупность существенных
признаков, отраженных в этом понятии.
Объем понятия – множество предметов, каждому из
которых принадлежат признаки, составляющие
содержание понятия
СУЖДЕНИЕ
Суждение ( высказывание, утверждение) – форма мышление, в
которой что-либо утверждается или отрицается о предметах, их
свойствах или отношениях между ними.( Этот апельсин
вкусный).
Суждение – повествовательное предложение
Суждения бывают простыми и сложными (состоят из двух и
более простых)
Всякое суждение может быть либо истинным, либо ложным по
своему содержанию
Содержание суждения –это то, о чем в нем идет речь, его смысл.
Логическая форма суждения – это его строение, способ связи его
составных частей: Все S есть P (все лошади едят овес), Все S не
есть P (все медузы не имеют головы), некоторые А есть S (
некоторые дети любят читать).
УМОЗАКЛЮЧЕНИЕ
Умозаключение – форма мышления, посредством
которой из одного или нескольких суждений
(посылок), по определеннвм правилам получается
новое суждение – заключение (вывод, умозаключение)
Нпр.: Все люди смертны. Все S есть P
Сократ – человек
Некоторые А есть S
________________
_________________
Сократ смертен
Некоторые А есть P
Умозаключение имеет свою логическую форму (структуру)
Основной принцип
ФОРМАЛЬНОЙ ЛОГИКИ
Правильность рассуждения
(умозаключения) определяется только
его логической формой, и не зависит
от конкретного содержания, входящих
в него суждений
РАЗВИТИЕ ЛОГИКИ
I.
II.
III.
Аристотель (384-322 гг. до н.э.) – основатель
формальной логики. Он пытался найти ответ на
вопрос: «Как мы рассуждаем?», изучал правила
мышления. Он создал логику как науку о
доказательстве истины. Он подверг человеческое
мышление анализу,выделил его формы – понятие,
суждение, умозаключение.
Готфрид Лейбниц (1646 –1716 гг) – сделал попытку
построить первые логические исчисления, считал ,
что можно заменить простые рассуждения
действиями со знаками. Но Лейбниц высказал только
идею, но не развил ее.
Джордж Буль (1815 –1864) – основоположник
математической логики. основная идея его системы применение алгебраических методов для решения
логических задач.