Аристотель (384–322 до н.э.) и его формальная логика

Омский государственный технический университет

Кафедра «Автоматизация и робототехника»

Р Е Ф Е Р А Т

по дисциплине «Автоматизация управления в технических системах»

Тема: «Аристотель (384–322 до н.э.) и его формальная логика»

                                                        Выполнил: студент гр. ЗКТО-162

                                                                Битюцкая Наталья Юрьевна

                                                                _________________________

                                                        Проверил: доцент каф. АРТ

Пастухова Елена Ивановна

__________________________

Омск – 2018

Оглавление

Введение        3

1. Силлогизм и основные законы формальной логики Аристотеля. Введение переменных        5

1.1. Процедура определения. Силлогизм        5

1.2. Введение символов (переменных). Законы формальной логики        6

2. Основы современной логики        8

2.1. Символическая логика        8

2.2 Особенности логической формализации в управляющих системах        9

3. Примеры применения аутентичной формальной логики Аристотеля в современной науке и технике        11

Заключение        13

Список использованной литературы        14

Введение

Одной из областей наследия Аристотеля, связанной с возможностью появления рационального научного мышления как такового традиционно считается создание так называемой «формальной логики». Изначальная форма сознания человека – это обыденное сознание. В пределах обыденного мышления и речи индивидуальные впечатления и данные органов чувств осмысляются человеком, в том числе, через нерациональные способности сознания, включая моральные категории, и в качестве таковых с трудом поддаются унификации. Сознание человека оперирует «качествами», «смыслами», которые в условиях науки и техники необходимо перевести в параметры, поддающиеся количественной математической обработке. Единица естественного языка – это слово, оно полисемантично и эмплицитно содержит бесконечное смысловое многообразие.  [9;15] Для формализации знаний необходимым стало создание искусственного языка с терминами, которым присуще строго определенное значение. Именно Аристотель считается создателем методики перевода слова в понятие с узким смыслом, обозначенным пределом, каковым в логике служит отношение между понятиями. Как считал Аристотель, всякая вещь сама по себе обладает невыразимой индивидуальной сущностью, однако в отношении ее к другим вещам можно найти общее свойство. «Какой бы простой не была мыслимая сущность, мы можем мыслить ее только при условии, если мыслим отношение ее к какой-то другой сущности. Поэтому невозможное в случае изолированной, неделимой индивидуальной сущности определение все же возможно при мышлении посредством отношений». [4;120] Логика Аристотеля, таким образом, – это именно логика отношений между объектами, логика чистых структур причинно-следственных связей, отвлеченных от смыслового содержания самих объектов. 

В этом смысле процедура определения и построения логических связей методом извлечения форм Аристотеля создает основы для любой формализации знания вплоть до современных требований науки и техники, выдвигаемых необходимостью автоматизирования производств. Так, в создании автоматизированных устройств необходимо формализовать все многообразие факторов функционирования этого устройства, преобразовать их в логико-математическую модель. В литературе отмечают, что именно «формализация знаний, информационных потоков привело к созданию автоматизированных линий и систем управления предприятиями и целыми отраслями промышленности».  И далее: «сложнее всего автоматика проникала туда, где трудно было формализовать входные параметры или влияющих факторов было так много, что невозможно было создать адекватную математическую модель». [1]

...