Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Найдено в других БД:

Книги фонда НБ СГЮА (4)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=непротиворечивость<.>)

Общее количество найденных документов : 13
Показаны документы с 1 по 13

Целищев, В. В.
Непротиворечивость и полнота как нормы дедуктивного мышления в свете теорем Геделя о неполноте арифметики [Текст] / В. В. Целищев // Философия науки. - 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

УДК

^a16

ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
арифметика -- дедуктивное мышление -- неполнота арифметики -- нормы дедуктивного мышления -- теоремы Геделя
Аннотация: Исследование теорем Геделя о неполноте арифметики.

Доп.точки доступа:
Гедель
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Пискорская, Светлана Юрьевна (канд. филос. наук; доц.).
К вопросу о стандартах научности западно-европейской философии науки [Текст] / С. Ю. Пискорская // Философия образования. - 2007. - N 1 (18). - С. 18-24. - Библиогр.: с. 24 (14 назв. ) . - ISSN 1811-0916

ГРНТИ	12.01
УДК	^a001

ББК 72
Рубрики: Наука. Науковедение
Общие вопросы науки
Кл.слова (ненормированные):
научная теория -- познание -- конструктивизм -- доказательность -- непротиворечивость -- реперзентативность -- западно-европейская философия
Аннотация: Рассмотрение стандартов философии науки.

Найти похожие

Лобовиков, Владимир Олегович.
Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 14-28. - Библиогр.: с. 27-28 (17 назв. ) . - ISSN 0131-2227

УДК

^a165

^a11/12

^a510.6

ББК 87.22 + 87.21 + 22.12
Рубрики: Философия
   Теория познания
   Метафизика. Онтология
   Математика
   Математическая логика
Кл.слова (ненормированные):
философия математики -- этика математики -- формально-логическая непротиворечивость -- формально-этическая противоречивость -- аналитическая философия
Аннотация: Статья посвящена формально-этическому аспекту философии математики. Автор выносит на обсуждение результаты исследования отношений между формально-логической непротиворечивостью и формально-этической противоречивостью.

Доп.точки доступа:
Гедель, К.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Лобовиков, Владимир Олегович.
Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. - Библиогр.: с. 27 (13 назв. ) . - ISSN 0131-2227

УДК

^a11/12

^a165

^a16

ББК 87.21 + 87.22 + 87.4
Рубрики: Философия
   Метафизика. Онтология
   Теория познания
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема
Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Смирнов, А. В. (советник Конституционного Суда Российской Федерации; доктор юридических наук; профессор; заслуженный юрист Российской Федерации).
Взаимосвязь видов решений Конституционного Суда Российской Федерации, их оснований, целей и способов правового толкования [Текст] / А. В. Смирнов // Журнал конституционного правосудия. - 2012. - № 3. - С. 13-21. - Библиогр. в сносках . - ISSN 2072-4144

УДК

^a342.4

ББК 67.400.1
Рубрики: Право
Конституции и документы конституционного значения. Органы конституционного контроля
Кл.слова (ненормированные):
воля законодателя -- логическая непротиворечивость -- отказные решения -- позитивные определения и постановления -- правовая неопределенность -- прецедент -- решения Конституционного Суда -- система правового регулирования -- способы правового толкования
Аннотация: Выбор надлежащего вида решения Конституционного Суда связан со способами правового толкования, используемыми при его разработке, основаниями и целями такого решения. «Отрицательное» определение использует в основном подконституционное (отраслевое и межотраслевое) толкование, имеет основанием вывод об отсутствии в норме правовой неопределенности, а также нарушения ею прав личности и нацелено на подтверждение правомерности нормы. Простое «отказное» определение с позитивным содержанием, также ограничиваясь подконституционным толкованием и констатируя в качестве своего основания отсутствие в норме правовой неопределенности, направлено на защиту прав заявителя от неправильного применения нормы. «Позитивное» определение c прекращением производства содержит развернутое конституционно#правовое толкование и преследует цели устранения пассивной правовой неопределенности нормы, разъяснения ее конституционно-правового смысла, исправления правоприменительной практики, защиты прав личности, а также обеспечения процессуальной экономии. «Позитивное» постановление направлено на достижение тех же самых целей и, кроме того, обеспечивает максимальную публичность рассмотрения дела в Конституционном Суде. Постановление о признании нормы неконституционной всегда содержит развернутое конституционно-правовое толкование нормы, которая отличается активной правовой неопределенностью и устанавливает конституционно-правовой прецедент.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Лобовиков, Владимир Олегович (доктор философских наук).
От логических квадрата и гексагона метатеоретических высказываний к формально-этическим квадрату и гексагону любви и ненависти [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2014. - № 3 (131). - С. 13-21. - Библиогр.: с. 20-21 (16 назв.) . - ISSN 2227-2291

УДК

^a16

^a17

ББК 87.41 + 87.7/72
Рубрики: Логика
   Логический синтаксис и логическая семантика
   Этика
   Общие вопросы этики
Кл.слова (ненормированные):
логический гексагон -- логический квадрат -- любовь -- метатеоретические высказывания -- метатеория -- ненависть -- неполнота -- непротиворечивость -- полнота -- противоречивость -- формальная этика -- формально-логические взаимоотношения -- формально-этические модели -- формально-этический гексагон -- формально-этический квадрат -- ценностные функции
Аннотация: Предлагается метатеоретическая интерпретация "логического квадрата" - представление системы метатеоретических знаний в виде логического квадрата (и гексагона), моделирующего систему формально-логических взаимоотношений между метатеоретическими высказываниями.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Оглезнев, Виталий Васильевич (доктор философских наук; доцент; профессор).
Конституция как аксиоматическая система [Текст] / В. В. Оглезнев, В. А. Суровцев // Конституционное и муниципальное право. - 2015. - № 5. - С. 3-8. - Библиогр.: с. 8 (13 назв.) . - ISSN 1812-3767

УДК

^a342.4

ББК 67.400.1
Рубрики: Право
Конституции и документы конституционного значения. Органы конституционного контроля
Кл.слова (ненормированные):
аксиоматическая система -- конституции -- конституционные нормы -- непротиворечивость понятий -- реальность конституционных норм -- юридический язык
Аннотация: Рассмотрение конституции в качестве неформальной аксиоматической системы и трактовка ее как когерентной, непротиворечивой с возможностью неконсервативного расширения.

Доп.точки доступа:
Суровцев, Валерий Александрович (заведующий кафедрой; доктор философских наук; профессор)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Целищев, В. В.
Минимализация следствий интенсивности в "наилучшей и самой общей версии" Второй теоремы Гёделя [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2019. - № 1. - С. 58-69. - Библиогр.: с. 69 (9 назв. ) . - ISSN 1560-7488

УДК

^a531

^a16

ББК 22.21 + 87.4
Рубрики: Механика
   Теоретическая механика в целом
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
Вторая теорема Гёделя -- Гёделя Вторая теорема -- непротиворечивость -- принцип рефлексии -- формальная система
Аннотация: Рассмотрен способ устранения следствий интенсиональности Второй теоремы Геделя о неполноте. Способ, предложенный самим Геделем, называется "наилучшей и самой общей версией" Второй теоремы.

Доп.точки доступа:
Хлебалин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Бессонов, А. В.
Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488

УДК

^a511

ББК 22.13
Рубрики: Математика
Теория чисел
Кл.слова (ненормированные):
Гёделя теорема о неполноте -- Дедекинда - Пеано арифметика -- аксиома полноты -- арифметика -- арифметика Дедекинда - Пеано -- непротиворечивость -- неразрешимость -- предикат доказуемости -- предикат разрешимости -- теорема Гёделя о неполноте -- формальная арифметика
Аннотация: Теорема К. Гёделя о неполноте формальной арифметики Дедекинда - Пеано оценивается с точки зрения различных негёделевых средств формализации (не) доказуемости. Вводится предикат разрешимости, с использованием которого строится формула, формально выражающая полноту арифметики, и доказывается ее неразрешимость. Отсюда следует, что присоединение к формальной арифметике аксиомы ее полноты приводит к непротиворечивой системе, что в некотором смысле противоречит первой теореме Геделя о неполноте.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

10.

Васечко, Алла Александровна (кандидат юридических наук).
К вопросу об истине в праве [Текст] / А. А. Васечко, К. С. Щелоков // Вестник Московского университета МВД России. - 2020. - № 2. - С. 29-33. - Библиогр. в конце ст. . - ISSN 2073-0454

УДК

^a340.1

ББК 67.0
Рубрики: Право
Общая теория права
Кл.слова (ненормированные):
истина -- непротиворечивость -- познание -- правовой закон -- правовые системы -- противоречия
Аннотация: Познание представляет собой постоянный процесс мыслительный деятельности по приобретению информации об окружающей действительности, ее анализу и встраиванию в существующие картины мира. Конечной целью любого познавательного процесса является получение истинного знания, в том числе и в правовой сфере. Показано, что исследование вопросов истины в праве, как минимум, требует выработки методологии, специального понятийного аппарата, критериев истины.

Доп.точки доступа:
Щелоков, Константин Станиславович (кандидат юридических наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

11.

Добробаба, М. Б. (доктор юридических наук; доцент; профессор).
Служебное законодательство, регулирующее отношения дисциплинарной ответственности в системе государственной службы: проблема эффективности [Текст] / М. Б. Добробаба // Вестник Воронежского государственного университета. Сер.: Право. - 2021. - № 2 (45). - С. 65-77. - Библиогр.: с. 75-76. - Библиогр. в сносках

УДК

^a342:35

^a342.9

ББК 67.401.02 + 67.401.03
Рубрики: Право
Государственная и муниципальная служба
Административно-правовые формы и методы управления
Кл.слова (ненормированные):
государственная служба -- государственно-служебные отношения -- государственные служащие -- дисциплинарная ответственность -- дисциплинарное производство -- законодательное регулирование -- законы -- защита прав государственных служащих -- качественная характеристика -- качество законодательства -- количественная характеристика -- материальная ответственность -- параметры качества -- правовые институты -- система государственно-служебных отношений -- система государственной службы -- служебное законодательство -- термин служебное законодательство -- эффективность дисциплинарной ответственности -- эффективность служебного законодательства
Аннотация: Проводится анализ служебного законодательства, регулирующего отношения дисциплинарной ответственности в системе государственной службы, на предмет его эффективности. Автор делает вывод, что служебное законодательство, регулирующее исследуемый правовой институт, не отвечает большинству параметров его качества, что требует разработки административно-правовой модели правового регулирования отношений дисциплинарной ответственности государственных служащих, соответствующей их публичной правовой природе; определены направления совершенствования служебного законодательства, регулирующего исследуемый правовой институт.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

12.

Мицкевич, Л. А. (кандидат юридических наук; доцент; член ассоциации).
Принципы "хорошей администрации" в сфере государственного контроля (надзора) [Текст] / Л. А. Мицкевич, А. Ф. Васильева // Вестник Воронежского государственного университета. Сер.: Право. - 2022. - № 2 (49). - С. 72-93. - Библиогр.: с. 88-91. - Библиогр. в сносках. - Примеч. в сносках

УДК

^a342.9

ББК 67.401
Рубрики: Право
Административное право в целом--Россия
Кл.слова (ненормированные):
административная ответственность -- властные участники правоотношений -- государственный контроль -- государственный надзор -- добросовестность контролируемых лиц -- злоупотребление правом -- контрольно-надзорная деятельность -- невластные участники правоотношений -- нормативно-правовое регулирование -- обременяющие административные акты -- органы контроля -- правовые принципы -- пределы осуществления государственного контроля -- принцип добросовестности -- принцип законности -- принцип защиты доверия -- принцип недопустимости злоупотребления правом -- принцип правовой определенности -- принцип соразмерности -- принципы административного права -- судебная практика -- участники правоотношений
Аннотация: Исследованы принципы государственного контроля (надзора), составляющие "ядро" собирательного принципа "хорошей администрации". Представлен анализ эволюции принципов в процессе трех кодификаций контрольно-надзорного законодательства. Отмечено, что закрепление принципов контрольно-надзорной деятельности на уровне федерального закона создает условия для изменения их юридического значения как исключительно "идей", "ценностей" к восприятию как регулятора общественных отношений и ставит практическую задачу разработки содержания и методики применения данных принципов. Проанализирована отечественная судебная практика, которая является незначительной в силу традиционной сдержанности судов в применении принципов административного права при аргументации принимаемых решений.

Доп.точки доступа:
Васильева, А. Ф. (кандидат юридических наук; доцент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

13.

Парунова, Ю. Д.
Логические методы в правовой аргументации [Текст] / Ю. Д. Парунова // Известия высших учебных заведений. Северо-Кавказский регион. Общественные науки. - 2022. - № 3. - С. 21-26. - Библиогр.: с. 26 (10 назв. ) . - ISSN 0321-3056

УДК

^a16

^a34

ББК 87.4 + 67
Рубрики: Логика
   Общие вопросы логики
   Право
   Право. Юридические науки в целом
Кл.слова (ненормированные):
логически достоверный вывод -- логические методы -- непротиворечивость аргументов -- правовая аргументация -- терминологический метод -- уровень аргументации
Аннотация: Рассматривается логический уровень аргументации в правовой сфере, который позволяет организовать процесс аргументации в стройную систему, обеспечить непротиворечивость аргументов, связать их таким образом, чтобы получился логически достоверный вывод.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)