Приветствую Вас Гость | Четверг, 25.04.2024, 12:24 RSS Главная Мой профиль Выход W W W. 123.AT.UA
Вход на сайтПоискМеню сайтаПодбор по параметрамСтатистикаОнлайн всего: 1 Гостей: 1 Пользователей: 0 |
ЛОГИКА ВИКИПЕДИЯ 1 Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная[1] наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.[источник не указан 328 дней] В любой науке логика служит одним из основных инструментов[2]. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики.
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 Логики с неклассическим пониманием следования
|