ЛОГИКА ВИКИПЕДИЯ 1
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная[1] наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.[источник не указан 328 дней]
В любой науке логика служит одним из основных инструментов[2]. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики.
- 1 Сущность логики
- 2 Металогика
- 3 История логики
- 4 Основные понятия науки логики
- 5 Традиционная логика
- 6 Классическая математическая логика
- 7 Неклассические логики
- 8 Приложения логики
- 9 См. также
- 10 Примечания
- 11 Литература
- 12 Ссылки
2 Металогика
Основная статья: Металогика
2.1 Метатеоретические проблемы логики
- Непротиворечивость формализованных теорий
- Полнота формализованных теорий
- Разрешимость формализованных теорий
- Независимость аксиом формализованных теорий
- Корректность формальной системы
- Определимость
- Сравнительный анализ логических теорий
2.2 Концепции логики
Концепции логики различаются между собой прежде всего по способам решения метатеоретических проблем логики, связанных с основаниями математики:
- Психологизм
- Логицизм
- Формализм (математика)
- Интуиционизм
- Конструктивная математика
- Консерватизм (логика)
2.3 Проблемы аксиоматизации теории множеств
3 История логики
Основная статья: История логики
3.2 Индийская логика
Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика.
ПРОПУЩЕНО
Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «катускоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.
У Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.
Школа навья-ньяя («новая ньяя», «новая логика») .
4 Основные понятия науки логики
Понятия логики, необходимые для понимания предмета:[7]
- Абстракция
- Адаптация
- Аналогия
- Антиномия
- Аргументация
- Ассоциация
- Гипотеза
- Дедукция
- Доказательство
- Доказуемость
- Законы логики
- Индукция
- Истинность
- Классификация
- Обобщение
- Определение
- Опровержение
- Парадокс
- Паралогия
- Понятие
- Признак
- Семантика
- Силлогизм
- Софизм
- Софистика
- Суждение
- Тавтология
- Теория
- Умозаключение
- Формальный язык
5 Традиционная логика
Основная статья: Традиционная логика
5.1 Дедуктивное и индуктивное рассуждение в традиционной логике
5.2 Силлогистика
Основная статья: Силлогистика
6 Классическая математическая логика
Основные статьи: Математическая логика и Классическая логика
6.1 Аппарат математической логики
Основная статья: Алгебра логики
6.2 Пропозициональная логика
Основная статья: Логика высказываний
6.3 Логика предикатов
Основная статья: Логика предикатов
6.4 Исчисления и логические методы
6.5 Логическая семантика
Основная статья: Логическая семантика
- Алгебраические семантики
- Теоретико-множественные семантики
- Реляционные семантики возможных миров
- Проблема содержательности семантик логических систем
- Категорная семантика
- Теория семантических категорий
6.6 Законы логики
- Закон тождества
- Закон исключённого третьего
- Закон противоречия
- Закон достаточного основания
- Законы де Моргана
- Законы дедуктивных умозаключений
- Закон Клавия
- Законы деления
- Закон Дунса Скота
6.7 Теория моделей
Основная статья: Теория моделей
6.8 Теория доказательств
Основная статья: Теория доказательств
6.9 Теории логического вывода
- Теории логического вывода (теория логического вывода)
- Теории следования (теория следования)
- Теории импликаций (теория импликаций)
- Материальная импликация
7 Неклассические логики
7.1 Логики с неклассическим пониманием следования