Всего найдено: 9
  • 1. Функции логики
    В Principia Mathematica (1911—1913) Рассела и Уайтхеда в основания математики была положена логика второго и высших порядков. В конце 20-х и начале 30-х годов логическим основанием математики стала логика первого порядка. Это обстоятельство иногда принимает форму почти исторического нарратива, например, как подведение итогов развития целого пласта науки — «исторический триумф логики первого порядка над логикой второго порядка»164. Простое техническое различение двух видов логики состоит в том,
  • 4. Логика второго порядка
    Таким образом, представляет интерес вопрос о том, может ли логика второго порядка служить в качестве основания математики. Вопрос этот особенно интересен в той связи, что одно из самых важных сегодня направлений в основаниях математики — структурализм — напрямую связано с логикой второго порядка, и основательность претензий структурализма на то, чтобы быть адекватной философией математики, напрямую зависит от того, является ли логика второго порядка адекватным орудием исследования оснований
  • 21. Суд и процесс по данным дхармашастр.
    Правосудие – 1 из главных функций царя. Цель – восстановление истины, справедливости и мирового порядка (отражение божественного закона). Система инстанций – разделение по функциональному, а не иерархическому принципу. Первая и высшая инстанция – царский суд (царь и несколько его советников, обычно брахманов). Царь обязан судить суд ежедневно. Вторая инстанция "Суд Брахмы" (коронный суд), который состоял из ученого брахмана, назначенного царем главным судьей, и 3 его
  • 21. Суд и процесс по данным дхармашастр.
    Правосудие – 1 из главных функций царя. Цель – восстановление истины, справедливости и мирового порядка (отражение божественного закона). Система инстанций – разделение по функциональному, а не иерархическому принципу. Первая и высшая инстанция – царский суд (царь и несколько его советников, обычно брахманов). Царь обязан судить суд ежедневно. Вторая инстанция "Суд Брахмы" (коронный суд), который состоял из ученого брахмана, назначенного царем главным судьей, и 3 его
  • Положения об обязательной доле в наследстве и особенности их применения при наследовании авторских прав
    Диссертация на соискание ученой степени кандидата юридических наук. Москва - 2007 Специальность 12.00.03 - гражданское право, предпринимательское право, семейное право, международное частное право. Актуальность исследования. На протяжении последних десятилетий законодательство Российской Федерации подвергалось систематическому преобразованию, направленному на приведение его в наиболее полное соответствие с современными экономическими и общественными реалиями. Одной из важных составляющих этого
  • Политика США в отношении АТЭС в 1989-2001 годах
    Диссертация на соискание ученой степени кандидата исторических наук. Москва - 2008 Специальность 07.00.03 Всеобщая история (Новое и Новейшее время) «Отдельные нормы, да, по сути, чуть ли не вся система права одного государства, прежде всего, конечно, США, перешагнула свои национальные границы и во всех сферах — ив экономике, и в политике, и в гуманитарной сфере навязывается другим государствам». Из речи В.В. Путина на Мюнхенской конференции по вопросам безопасности 10 февраля 2007 года.
  • Религиозно-политические процессы на Северном Кавказе и их влияние на безопасность России (политологический анализ)
    Диссертация на соискание ученой степени кандидата политических наук. Москва - 2005 Специальность 23.00.02 - политические институты, этнополитическая конфликтология, национальные и политические процессы и технологии Для России, как и для каждого государства, проблема безопасности имеет принципиально важное значение. Последние пятнадцать лет в стране идут активные общественно-политические процессы, связанные с социальной трансформацией и изменением геополитических условий. Известно, что часть
  • Методология и организация стоимостного измерения капитала в бухгалтерском учете
    Диссертация на соискание ученой степени доктора экономических наук. Оренбург - 2008 Специальность 08.00.12- Бухгалтерский учет, статистика Актуальность темы исследования. Капитал хозяйствующего субъекта, его изменения в процессе предпринимательской деятельности наиболее наглядно выступают в качестве предмета бухгалтерского учета в условиях рыночной экономики. Отражение оборота капитала в бухгалтерском учете, как физического и интеллектуального, так и финансового (собственного и заемного,
  • Энциклопедия доколумбовой Америки. Часть 1. Южная Америка. Том 2. Источники XVI-XVII веков по Южной Америке: Хроники. Документы
    под ред. А. Скромницкого. — Киев: Blok.NOT,2012. — 1129 с. Детектив величиною с континент. Именно так можно охарактеризовать эпоху завоевания Нового света европейцами, и прочесть этот «детектив» помогут документы включенные в данное издание украинскими историками и переводчиками А. Скромницким и В. Талахом. Во второй том первой части «Энциклопедии доколумбовой Америки» вошло большинство доступных на русском языке источников по истории Южной Америке XVI-XVII веков, в которых отражены все стороны
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -