Всего найдено: 8
  • 1. Функции логики
    В Principia Mathematica (1911—1913) Рассела и Уайтхеда в основания математики была положена логика второго и высших порядков. В конце 20-х и начале 30-х годов логическим основанием математики стала логика первого порядка. Это обстоятельство иногда принимает форму почти исторического нарратива, например, как подведение итогов развития целого пласта науки — «исторический триумф логики первого порядка над логикой второго порядка»164. Простое техническое различение двух видов логики состоит в том,
  • 4. Логика второго порядка
    Таким образом, представляет интерес вопрос о том, может ли логика второго порядка служить в качестве основания математики. Вопрос этот особенно интересен в той связи, что одно из самых важных сегодня направлений в основаниях математики — структурализм — напрямую связано с логикой второго порядка, и основательность претензий структурализма на то, чтобы быть адекватной философией математики, напрямую зависит от того, является ли логика второго порядка адекватным орудием исследования оснований
  • 21. Суд и процесс по данным дхармашастр.
    Правосудие – 1 из главных функций царя. Цель – восстановление истины, справедливости и мирового порядка (отражение божественного закона). Система инстанций – разделение по функциональному, а не иерархическому принципу. Первая и высшая инстанция – царский суд (царь и несколько его советников, обычно брахманов). Царь обязан судить суд ежедневно. Вторая инстанция "Суд Брахмы" (коронный суд), который состоял из ученого брахмана, назначенного царем главным судьей, и 3 его
  • 21. Суд и процесс по данным дхармашастр.
    Правосудие – 1 из главных функций царя. Цель – восстановление истины, справедливости и мирового порядка (отражение божественного закона). Система инстанций – разделение по функциональному, а не иерархическому принципу. Первая и высшая инстанция – царский суд (царь и несколько его советников, обычно брахманов). Царь обязан судить суд ежедневно. Вторая инстанция "Суд Брахмы" (коронный суд), который состоял из ученого брахмана, назначенного царем главным судьей, и 3 его
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -