Предмет и определение логики.

ЛОГИКА

Предмет и определение логики.

 

Научные формулировки понятия:

Логика – наука о мышлении (об интеллекте).

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

Логика – наука об универсальных формах и методах рационального мышления.

Логика – формализованная философия рационального мышления.

Формулировки с точки зрения пользы логики:

1) Научный аспект: логика – общая методология всех других наук;

логика – средство эффективной обработки информации;

2) Мировоззренческий аспект: логика - основа рационального мировоззрения.

3) Социальный аспект: логика – средство эффективной коммуникации и общения между людьми.

 

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

 

Основные разделы современной логики.

Естественные языки	Естественные языки + формальные языки
Умозаключения	Логика
Суждения	Логика высказываний
Понятия	предикатов
Отношения	МЕТАЛОГИКА

Логика предикатов – логика понятий.

Металогика – логика во всей ее полноте.

 

Умозаключения и суждения относятся к логике высказываний; понятия – к логике предикатов; отношения – к металогике.

 

НЕТ индуктивной логики

Рене Декарт – «Правила для руководства ума»

 

2) Антон Арно и Пьер Николь – «Логика или искусство мыслить» (обосновали задачу освобождения логики Аристотеля от внесенных в нее последующими представителями логической науки схоластических ошибок). Впервые был озвучен тезис, что логика – общая методология всех других наук + учение о понятиях, учение о суждениях, учение об умозаключениях, учения о правилах и методах доказательств.

3) Г. В. Лейбниц: идеи о возможности представить доказательство как математическое вычисление.

Объем и дополнение к объему понятия. Диаграмма Эйлера-Венна.

Понятие – простое или сложное свойство материального объекта.

• Понятия ǂ слова
• Понятия ǂ отношения
• Слова могут использоваться не только для обозначения понятий.

 

Объем понятия – совокупность всех материальных объектов, которым присуще данное понятие.

Дополнение к объему понятия Х – совокупность всех материальных объектов, которым НЕ присуще данное понятие.

Диаграмма Эйлера-Венна - схематическое представление отношений между математическими МНОЖЕСТВАМИ или логическими утверждениями, названное по имени английского логика Джона Венна и математика Леонардо Эйлера. Множества изображаются в виде геометрических фигур, обычно - кругов, которые перекрываются, если различные множества имеют общие элементы.

 

 

Условно-категорический силлогизм. Модус поненс и модус толленс.

Условно-категорическим называется такое умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.

Его логическая структура такова: Если А, то В; А => В.

 

Данный вид умозаключения имеет два модуса – утверждающий и отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный.

 

Правильная формула утверждающего модуса (поненс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия условной посылки (Если А, то В; А => В).

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

Правильная форма отрицающего модуса (толленс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания следствия к отрицанию основания.

Неправильная форма отрицающего модуса (толленс) – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания основания к отрицанию следствия.

 

 

Отношение семантического тождества терминов. Понятие метасимвола.

ЛОГИКА

Предмет и определение логики.

 

Научные формулировки понятия:

Логика – наука о мышлении (об интеллекте).

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

Логика – наука об универсальных формах и методах рационального мышления.

Логика – формализованная философия рационального мышления.

Формулировки с точки зрения пользы логики:

1) Научный аспект: логика – общая методология всех других наук;

логика – средство эффективной обработки информации;

2) Мировоззренческий аспект: логика - основа рационального мировоззрения.

3) Социальный аспект: логика – средство эффективной коммуникации и общения между людьми.

 

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