Целищев, В. В. Непротиворечивость и полнота как нормы дедуктивного мышления в свете теорем Геделя о неполноте арифметики [Текст] / В. В. Целищев> // Философия науки. - 2005. - N 2. - С. . 33-52. - Библиогр. в примеч. - s, 2005, , rus. - RUMARS-pnha05_000_002_0033_1. - Зональная научная библиотека Ростовского государственного университета. - N 2(25). - С. 33-52. - pnha05_000_002_0033_1, 2, 33-52
Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): арифметика -- дедуктивное мышление -- неполнота арифметики -- нормы дедуктивного мышления -- теоремы Геделя Аннотация: Исследование теорем Геделя о неполноте арифметики. Доп.точки доступа: Гедель Нет сведений об экземплярах (Источник в БД не найден) |
Пискорская, Светлана Юрьевна (канд. филос. наук; доц.). К вопросу о стандартах научности западно-европейской философии науки [Текст] / С. Ю. Пискорская> // Философия образования. - 2007. - N 1 (18). - С. 18-24. - Библиогр.: с. 24 (14 назв. ) . - ISSN 1811-0916
Рубрики: Наука. Науковедение Общие вопросы науки Кл.слова (ненормированные): научная теория -- познание -- конструктивизм -- доказательность -- непротиворечивость -- реперзентативность -- западно-европейская философия Аннотация: Рассмотрение стандартов философии науки. |
Лобовиков, Владимир Олегович. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем [Текст] / В. О. Лобовиков> // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 14-28. - Библиогр.: с. 27-28 (17 назв. ) . - ISSN 0131-2227
Рубрики: Философия Теория познания Метафизика. Онтология Математика Математическая логика Кл.слова (ненормированные): философия математики -- этика математики -- формально-логическая непротиворечивость -- формально-этическая противоречивость -- аналитическая философия Аннотация: Статья посвящена формально-этическому аспекту философии математики. Автор выносит на обсуждение результаты исследования отношений между формально-логической непротиворечивостью и формально-этической противоречивостью. Доп.точки доступа: Гедель, К. Нет сведений об экземплярах (Источник в БД не найден) |
Лобовиков, Владимир Олегович. Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков> // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. - Библиогр.: с. 27 (13 назв. ) . - ISSN 0131-2227
Рубрики: Философия Метафизика. Онтология Теория познания Логика Общие вопросы логики Кл.слова (ненормированные): логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики. Нет сведений об экземплярах (Источник в БД не найден) |
Смирнов, А. В. (советник Конституционного Суда Российской Федерации; доктор юридических наук; профессор; заслуженный юрист Российской Федерации). Взаимосвязь видов решений Конституционного Суда Российской Федерации, их оснований, целей и способов правового толкования [Текст] / А. В. Смирнов> // Журнал конституционного правосудия. - 2012. - № 3. - С. 13-21. - Библиогр. в сносках . - ISSN 2072-4144
Рубрики: Право Конституции и документы конституционного значения. Органы конституционного контроля Кл.слова (ненормированные): воля законодателя -- логическая непротиворечивость -- отказные решения -- позитивные определения и постановления -- правовая неопределенность -- прецедент -- решения Конституционного Суда -- система правового регулирования -- способы правового толкования Аннотация: Выбор надлежащего вида решения Конституционного Суда связан со способами правового толкования, используемыми при его разработке, основаниями и целями такого решения. «Отрицательное» определение использует в основном подконституционное (отраслевое и межотраслевое) толкование, имеет основанием вывод об отсутствии в норме правовой неопределенности, а также нарушения ею прав личности и нацелено на подтверждение правомерности нормы. Простое «отказное» определение с позитивным содержанием, также ограничиваясь подконституционным толкованием и констатируя в качестве своего основания отсутствие в норме правовой неопределенности, направлено на защиту прав заявителя от неправильного применения нормы. «Позитивное» определение c прекращением производства содержит развернутое конституционно#правовое толкование и преследует цели устранения пассивной правовой неопределенности нормы, разъяснения ее конституционно-правового смысла, исправления правоприменительной практики, защиты прав личности, а также обеспечения процессуальной экономии. «Позитивное» постановление направлено на достижение тех же самых целей и, кроме того, обеспечивает максимальную публичность рассмотрения дела в Конституционном Суде. Постановление о признании нормы неконституционной всегда содержит развернутое конституционно-правовое толкование нормы, которая отличается активной правовой неопределенностью и устанавливает конституционно-правовой прецедент. Нет сведений об экземплярах (Источник в БД не найден) |
Лобовиков, Владимир Олегович (доктор философских наук). От логических квадрата и гексагона метатеоретических высказываний к формально-этическим квадрату и гексагону любви и ненависти [Текст] / В. О. Лобовиков> // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2014. - № 3 (131). - С. 13-21. - Библиогр.: с. 20-21 (16 назв.) . - ISSN 2227-2291
Рубрики: Логика Логический синтаксис и логическая семантика Этика Общие вопросы этики Кл.слова (ненормированные): логический гексагон -- логический квадрат -- любовь -- метатеоретические высказывания -- метатеория -- ненависть -- неполнота -- непротиворечивость -- полнота -- противоречивость -- формальная этика -- формально-логические взаимоотношения -- формально-этические модели -- формально-этический гексагон -- формально-этический квадрат -- ценностные функции Аннотация: Предлагается метатеоретическая интерпретация "логического квадрата" - представление системы метатеоретических знаний в виде логического квадрата (и гексагона), моделирующего систему формально-логических взаимоотношений между метатеоретическими высказываниями. Нет сведений об экземплярах (Источник в БД не найден) |
Оглезнев, Виталий Васильевич (доктор философских наук; доцент; профессор). Конституция как аксиоматическая система [Текст] / В. В. Оглезнев, В. А. Суровцев> // Конституционное и муниципальное право. - 2015. - № 5. - С. 3-8. - Библиогр.: с. 8 (13 назв.) . - ISSN 1812-3767
Рубрики: Право Конституции и документы конституционного значения. Органы конституционного контроля Кл.слова (ненормированные): аксиоматическая система -- конституции -- конституционные нормы -- непротиворечивость понятий -- реальность конституционных норм -- юридический язык Аннотация: Рассмотрение конституции в качестве неформальной аксиоматической системы и трактовка ее как когерентной, непротиворечивой с возможностью неконсервативного расширения. Доп.точки доступа: Суровцев, Валерий Александрович (заведующий кафедрой; доктор философских наук; профессор) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, В. В. Минимализация следствий интенсивности в "наилучшей и самой общей версии" Второй теоремы Гёделя [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2019. - № 1. - С. 58-69. - Библиогр.: с. 69 (9 назв. ) . - ISSN 1560-7488
Рубрики: Механика Теоретическая механика в целом Логика Общие вопросы логики Кл.слова (ненормированные): Вторая теорема Гёделя -- Гёделя Вторая теорема -- непротиворечивость -- принцип рефлексии -- формальная система Аннотация: Рассмотрен способ устранения следствий интенсиональности Второй теоремы Геделя о неполноте. Способ, предложенный самим Геделем, называется "наилучшей и самой общей версией" Второй теоремы. Доп.точки доступа: Хлебалин, А. В. Нет сведений об экземплярах (Источник в БД не найден) |
Бессонов, А. В. Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов> // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488
Рубрики: Математика Теория чисел Кл.слова (ненормированные): Гёделя теорема о неполноте -- Дедекинда - Пеано арифметика -- аксиома полноты -- арифметика -- арифметика Дедекинда - Пеано -- непротиворечивость -- неразрешимость -- предикат доказуемости -- предикат разрешимости -- теорема Гёделя о неполноте -- формальная арифметика Аннотация: Теорема К. Гёделя о неполноте формальной арифметики Дедекинда - Пеано оценивается с точки зрения различных негёделевых средств формализации (не) доказуемости. Вводится предикат разрешимости, с использованием которого строится формула, формально выражающая полноту арифметики, и доказывается ее неразрешимость. Отсюда следует, что присоединение к формальной арифметике аксиомы ее полноты приводит к непротиворечивой системе, что в некотором смысле противоречит первой теореме Геделя о неполноте. Нет сведений об экземплярах (Источник в БД не найден) |
Васечко, Алла Александровна (кандидат юридических наук). К вопросу об истине в праве [Текст] / А. А. Васечко, К. С. Щелоков> // Вестник Московского университета МВД России. - 2020. - № 2. - С. 29-33. - Библиогр. в конце ст. . - ISSN 2073-0454
Рубрики: Право Общая теория права Кл.слова (ненормированные): истина -- непротиворечивость -- познание -- правовой закон -- правовые системы -- противоречия Аннотация: Познание представляет собой постоянный процесс мыслительный деятельности по приобретению информации об окружающей действительности, ее анализу и встраиванию в существующие картины мира. Конечной целью любого познавательного процесса является получение истинного знания, в том числе и в правовой сфере. Показано, что исследование вопросов истины в праве, как минимум, требует выработки методологии, специального понятийного аппарата, критериев истины. Доп.точки доступа: Щелоков, Константин Станиславович (кандидат юридических наук) Нет сведений об экземплярах (Источник в БД не найден) |
Добробаба, М. Б. (доктор юридических наук; доцент; профессор). Служебное законодательство, регулирующее отношения дисциплинарной ответственности в системе государственной службы: проблема эффективности [Текст] / М. Б. Добробаба> // Вестник Воронежского государственного университета. Сер.: Право. - 2021. - № 2 (45). - С. 65-77. - Библиогр.: с. 75-76. - Библиогр. в сносках
Рубрики: Право Государственная и муниципальная служба Административно-правовые формы и методы управления Кл.слова (ненормированные): государственная служба -- государственно-служебные отношения -- государственные служащие -- дисциплинарная ответственность -- дисциплинарное производство -- законодательное регулирование -- законы -- защита прав государственных служащих -- качественная характеристика -- качество законодательства -- количественная характеристика -- материальная ответственность -- параметры качества -- правовые институты -- система государственно-служебных отношений -- система государственной службы -- служебное законодательство -- термин служебное законодательство -- эффективность дисциплинарной ответственности -- эффективность служебного законодательства Аннотация: Проводится анализ служебного законодательства, регулирующего отношения дисциплинарной ответственности в системе государственной службы, на предмет его эффективности. Автор делает вывод, что служебное законодательство, регулирующее исследуемый правовой институт, не отвечает большинству параметров его качества, что требует разработки административно-правовой модели правового регулирования отношений дисциплинарной ответственности государственных служащих, соответствующей их публичной правовой природе; определены направления совершенствования служебного законодательства, регулирующего исследуемый правовой институт. Нет сведений об экземплярах (Источник в БД не найден) |
Мицкевич, Л. А. (кандидат юридических наук; доцент; член ассоциации). Принципы "хорошей администрации" в сфере государственного контроля (надзора) [Текст] / Л. А. Мицкевич, А. Ф. Васильева> // Вестник Воронежского государственного университета. Сер.: Право. - 2022. - № 2 (49). - С. 72-93. - Библиогр.: с. 88-91. - Библиогр. в сносках. - Примеч. в сносках
Рубрики: Право Административное право в целом--Россия Кл.слова (ненормированные): административная ответственность -- властные участники правоотношений -- государственный контроль -- государственный надзор -- добросовестность контролируемых лиц -- злоупотребление правом -- контрольно-надзорная деятельность -- невластные участники правоотношений -- нормативно-правовое регулирование -- обременяющие административные акты -- органы контроля -- правовые принципы -- пределы осуществления государственного контроля -- принцип добросовестности -- принцип законности -- принцип защиты доверия -- принцип недопустимости злоупотребления правом -- принцип правовой определенности -- принцип соразмерности -- принципы административного права -- судебная практика -- участники правоотношений Аннотация: Исследованы принципы государственного контроля (надзора), составляющие "ядро" собирательного принципа "хорошей администрации". Представлен анализ эволюции принципов в процессе трех кодификаций контрольно-надзорного законодательства. Отмечено, что закрепление принципов контрольно-надзорной деятельности на уровне федерального закона создает условия для изменения их юридического значения как исключительно "идей", "ценностей" к восприятию как регулятора общественных отношений и ставит практическую задачу разработки содержания и методики применения данных принципов. Проанализирована отечественная судебная практика, которая является незначительной в силу традиционной сдержанности судов в применении принципов административного права при аргументации принимаемых решений. Доп.точки доступа: Васильева, А. Ф. (кандидат юридических наук; доцент) Нет сведений об экземплярах (Источник в БД не найден) |
Парунова, Ю. Д. Логические методы в правовой аргументации [Текст] / Ю. Д. Парунова> // Известия высших учебных заведений. Северо-Кавказский регион. Общественные науки. - 2022. - № 3. - С. 21-26. - Библиогр.: с. 26 (10 назв. ) . - ISSN 0321-3056
Рубрики: Логика Общие вопросы логики Право Право. Юридические науки в целом Кл.слова (ненормированные): логически достоверный вывод -- логические методы -- непротиворечивость аргументов -- правовая аргументация -- терминологический метод -- уровень аргументации Аннотация: Рассматривается логический уровень аргументации в правовой сфере, который позволяет организовать процесс аргументации в стройную систему, обеспечить непротиворечивость аргументов, связать их таким образом, чтобы получился логически достоверный вывод. Нет сведений об экземплярах (Источник в БД не найден) |