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

Древнего Востока (например, Китай, Индия), но в основе современной логики

лежат учения, созданные в IV веке до нашей эры древне-греческими мыслителями.

речи от ее содержания. Он исследовал терминологию логики, подробно разобрал

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

Халькидика. Его отец был врачом и другом македонского царя Аминта

II. Аристотель рос и учился вместе с сыном Аминта - будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласный со своим учителем.

В 343 году до н.э. царь Филипп приглашает Аристотеля стать наставником своего сына Александра. Когда через несколько лет Александр сам становится царем, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодежь, которой читает курсы различных наук. В 323 году до н.э. умер Александр Македонский и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, вынужден был покинуть Афины. Год спустя он умер на острове Евбея.

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

Аристотель
(384-322 гг. до н.э.)

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

от содержательной стороны.

ЕГО ОТ ДРУГИХ ПРЕДМЕТОВ.

содержание понятия, следует найти признаки, необходимые и достаточные для выделения

данного объекта из множества других объектов.

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

компьютер – это универсальное электронное устройство для автоматической обработки информации,

предназначенное для одного пользователя.
Объем понятия «персональный компьютер» выражает всю совокупность (сотни миллионов) существующих в настоящее время в мире персональных компьютеров.

посредством которой что-либо утверждают или отрицают о предметах, их свойствах

и отношениях между ними.

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

формальных языков. Например, высказывание на естественном языке имеет вид:
Два умножить на два равно четырем
а на формальном, математическом языке оно записывается в виде:
2 ⋅ 2 = 4

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

информации» является истинным высказыванием.

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

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

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

основании здравого смысла, а истинность или ложность составных высказываний вычисляется

с помощью использования алгебры высказываний.

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

нескольких суждений (посылок) может быть получено новое суждение (заключение).

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

оно будет истинным. В противном случае можно прийти к ложному умозаключению.