Предмет и определение логики.
ЛОГИКА
Предмет и определение логики.
Научные формулировки понятия:
Логика – наука о мышлении (об интеллекте).
Логика – наука об универсальных взаимосвязях между понятиями, суждениями, умозаключениями и другими абстрактными объектами.
Логика – наука об универсальных формах и методах рационального мышления.
Логика – формализованная философия рационального мышления.
Формулировки с точки зрения пользы логики:
1) Научный аспект: логика – общая методология всех других наук;
логика – средство эффективной обработки информации;
2) Мировоззренческий аспект: логика - основа рационального мировоззрения.
3) Социальный аспект: логика – средство эффективной коммуникации и общения между людьми.
Предметом логики являются универсальные способы построения сложных знаний из простых.
Основные разделы современной логики.
| Естественные языки | Естественные языки + формальные языки |
| Умозаключения | Логика |
| Суждения | Логика высказываний |
| Понятия | предикатов |
| Отношения | МЕТАЛОГИКА |
Логика предикатов – логика понятий.
Металогика – логика во всей ее полноте.
Умозаключения и суждения относятся к логике высказываний; понятия – к логике предикатов; отношения – к металогике.
НЕТ индуктивной логики
Рене Декарт – «Правила для руководства ума»
2) Антон Арно и Пьер Николь – «Логика или искусство мыслить» (обосновали задачу освобождения логики Аристотеля от внесенных в нее последующими представителями логической науки схоластических ошибок). Впервые был озвучен тезис, что логика – общая методология всех других наук + учение о понятиях, учение о суждениях, учение об умозаключениях, учения о правилах и методах доказательств.
3) Г. В. Лейбниц:идеи о возможности представить доказательство как математическое вычисление.
Объем и дополнение к объему понятия. Диаграмма Эйлера-Венна.
Понятие– простое или сложное свойство материального объекта.
- Понятия ǂ слова
- Понятия ǂ отношения
- Слова могут использоваться не только для обозначения понятий.
Объем понятия –совокупность всех материальных объектов, которым присуще данное понятие.
Дополнение к объему понятия Х –совокупность всех материальных объектов, которым НЕ присуще данное понятие.
Диаграмма Эйлера-Венна - схематическое представление отношений между математическими МНОЖЕСТВАМИ или логическими утверждениями, названное по имени английского логика Джона Венна и математика Леонардо Эйлера. Множества изображаются в виде геометрических фигур, обычно - кругов, которые перекрываются, если различные множества имеют общие элементы.
Условно-категорический силлогизм. Модус поненс и модус толленс.
Условно-категорическим называется такое умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.
Его логическая структура такова: Если А, то В; А => В.
Данный вид умозаключения имеет два модуса – утверждающий и отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный.
Правильная формула утверждающего модуса (поненс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия условной посылки (Если А, то В; А => В).
Неправильная форма утверждающего модуса (поненс) –это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от утверждения следствия к утверждению основания).
Правильная форма отрицающего модуса (толленс) –это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания следствия к отрицанию основания.
Неправильная форма отрицающего модуса (толленс)– это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания основания к отрицанию следствия.
Отношение семантического тождества терминов. Понятие метасимвола.
ЛОГИКА
Предмет и определение логики.
Научные формулировки понятия:
Логика – наука о мышлении (об интеллекте).
Логика – наука об универсальных взаимосвязях между понятиями, суждениями, умозаключениями и другими абстрактными объектами.
Логика – наука об универсальных формах и методах рационального мышления.
Логика – формализованная философия рационального мышления.
Формулировки с точки зрения пользы логики:
1) Научный аспект: логика – общая методология всех других наук;
логика – средство эффективной обработки информации;
2) Мировоззренческий аспект: логика - основа рационального мировоззрения.
3) Социальный аспект: логика – средство эффективной коммуникации и общения между людьми.
Предметом логики являются универсальные способы построения сложных знаний из простых.