Основы логики. Формы мышления

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

ФОРМЫ МЫШЛЕНИЯ

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (например, Китай, Индия), но в основе современной логики лежат учения, созданные в IV веке до нашей эры древне-греческими мыслителями.

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

• Родом Аристотель был из города Стагира на фракийском побережье полуострова Халькидика. Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта - будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласный со своим учителем.
• В 343 году до н.э. царь Филипп приглашает Аристотеля стать наставником своего сына Александра. Когда через несколько лет Александр сам становится царем, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодежь, которой читает курсы различных наук. В 323 году до н.э. умер Александр Македонский и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, вынужден был покинуть Афины. Год спустя он умер на острове Евбея.
• Аристотеля считают основоположником логики. В определении Аристотеля логика представляет собой науку о выводе одних умозаключений из других сообразно их логической форме. В соответствии с этим логику Аристотеля называют формальной. В своих трудах Аристотель впервые обосновал один из важнейших разделов логики √ учение о суждениях и силлогизмах.

Аристотель

(384-322 гг. до н.э.)

это наука о формах и способах мышления

Законы логики

отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

ЭТО ФОРМА МЫШЛЕНИЯ, ОТРАЖАЮЩАЯ НАИБОЛЕЕ СУЩЕСТВЕННЫЕ СВОЙСТВА ПРЕДМЕТОВ, ОТЛИЧАЮЩИЕ ЕГО ОТ ДРУГИХ ПРЕДМЕТОВ.

СТРУКТУРА ПОНЯТИЯ

• Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов.

• Объем понятия определяется совокупностью предметов, на которую оно распространяется. И может быть представлено в форме множества объектов, состоящего из элементов множества.

Пример

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

Это форма мышления, выраженная с помощью понятий, посредством которой что-либо утверждают или отрицают о предметах, их свойствах и отношениях между ними.

Высказывание строится на основе понятий и по форме является повествовательным предложением.

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

Два умножить на два равно четырем

а на формальном, математическом языке оно записывается в виде:

2  2 = 4

Высказывание может быть истинным или ложным.

Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей.

Например, высказывание «Процессор является устройством обработки информации» является истинным высказыванием.

Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности.

Например, высказывание «Процессор – это устройство печати» является ложным высказыванием.

 Приведите примеры истинных и ложных высказываний

Высказывание называется простым , если никакая его часть сама не является высказыванием.

Высказывание, образованное из простых с помощью логических связок, называется составным

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

Например, составное высказывание состоящее из двух простых, соединенных союзом «и» «Процессор является устройством обработки информации и принтер - – это устройство печати» истинно, так как истинны входящие в него простые высказывания.

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

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения . Тогда, если умозаключение проводится с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.

Примеры верных логических умозаключений:

Умозаключение

Форма умозаключения

Все люди смертны.

Сократ – человек .

Сократ смертен .

Все S есть P .

Некоторые А есть S.

Некоторые А есть P.

Примеры верных логических умозаключений:

Умозаключение

Форма умозаключения

Если цветы поливают, то они не засохнут.

Цветы засохли .

Цветы не поливали .

Если S есть P 1, то S не есть P 2.

S есть P2.

S не есть P 1 .

Примеры верных логических умозаключений:

Умозаключение

Форма умозаключения

Все граждане России имеют право на отдых.

Я – гражданин России .

Я имею право на отдых .

Все S есть P .

А есть S.

А есть P.