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

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

в найденном

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

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

Поисковый запрос: (<.>S=Логические формы и законы<.>)

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

1-20 21-24

1.

Ладов, В. А.
Проблема следования правилу: поиски прямого решения [Текст] / В. А. Ладов // Философия науки. - 2008. - N 1. - С. 61-79. - Библиогр.: с. 78-79 (29 назв. ). - Зональная научная библиотека Южного федерального университета. - code, phna. - year, 2008. - no, 1. - ss, 61. - ad. - d, 2008, ####, 0. - RUMARS-phna08_no1_ss61_ad1 . - ISSN 1560-7488

УДК

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

Доп.точки доступа:
Витгенштейн, Людвиг (австрийский философ ; 1889-1951) \л.\; Крипке, Сол Аарон (американский философ и логик) \с. А.\

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

2.

Лисанюк, Е. Н.
Правила победы и ошибки поражения с точки зрения логики диалога [Текст] / Е. Н. Лисанюк // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 108-113. - Библиогр. в сносках . - ISSN 1995-0055

УДК

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

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

3.

Девяткин, Л. Ю.
Отношение логического следования и проблема многозначности [Текст] / Л. Ю. Девяткин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 106-108. - Библиогр. в примеч. - Примеч.: с. 108 . - ISSN 0201-7385. - ISSN 0130-0091

УДК

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

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

4.

Попов, В. В.
Парадоксы идентификации [Текст] / В. В. Попов, В. Г. Семенова // Философия права. - 2008. - N 1. - С. 63-69. - Библиогр. в сносках

УДК

ББК 87.42 + 81.03
Рубрики: Логика
   Логические формы и законы
   Языкознание
   Лексикология--Россия--РФ--Российская Федерация
Кл.слова (ненормированные):
идентификация -- логические формы -- языковые формы -- тождество -- различие -- виды тождества -- закон тождества -- логика -- язык -- мышление -- семантика -- закон Лейбница
Аннотация: Соотношение приемов и методов логики с приемами и методами лингвистики. Взаимосвязь тождества и различия.

Доп.точки доступа:
Семенова, В. Г.

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

5.

Левин, В. И. (д-р техн. наук, проф.; Пенз. гос. технол. акад.).
Формирование культуры мышления [Текст] : логика и творчество / В. И. Левин // Alma mater: Вестник высшей школы. - 2008. - N 10. - С. 17-20. - Библиогр.: с. 20 (9 назв. ). - Библиогр. в сносках . - ISSN 0321-0383

УДК

ББК 74.26 + 87.42 + 74.202 + 87.4
Рубрики: Образование. Педагогика--Россия--США, 21 в. нач.; 20 в.
   Методика преподавания учебных предметов
   Логика
   Логические формы и законы
   Теория и методика обучения
   Общие вопросы логики
Кл.слова (ненормированные):
культура мышления -- мышление -- формирование культуры мышления -- логическое мышление -- математика -- низкая культура мышления -- обучение логике -- математическая логика
Аннотация: Умение отстаивать свою точку зрения, быть услышанным, работая в коллективе, приведет к повышению конкурентоспособности и востребованности наших специалистов.

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

6.

Левин, В. И.
Еще раз об истории открытия логического моделирования технических устройств [Текст] / В. И. Левин, Б. В. Бирюков // Вестник Московского университета. Сер. 7, Философия . - 2009. - N 1. - С. 37-52. - Библиогр. в примеч. - Примеч.: с. 49-52 . - ISSN 0130-0091. - ISSN 0201-7385

УДК

ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
логическое моделирование -- релейные системы -- логика и техника -- история науки -- логическая теория релейных систем -- технические системы
Аннотация: Рассматривается история проблемы "логика и техника", как она была поставлена в работах В. И. Шестакова (СССР), К. Шеннона (США), А. Накашимы (Япония). Формулируются различные подходы к определению вклада этих ученых в создание теории релейно-контактных схем, сделан вывод, что все они в равной мере заслуживают признания как первооткрыватели нового направления в науке.

Доп.точки доступа:
Бирюков, Б. В.; Шестаков, В. И.; Шеннон, К.; Накашима, А.

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

7.

Кузичева, З. А.
Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия . - 2009. - N 1. - С. 53-62. - Библиогр. в примеч. - Примеч.: с. 61-62 . - ISSN 0130-0091. - ISSN 0201-7385

УДК

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

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

8.

Балашов, С. К.
Логико-правовой анализ содержания понятия "причинная связь" [Текст] / С. К. Балашов // Философия права. - 2009. - N 5. - С. 52-56. - Библиогр. в сносках . - ISSN 1995-0055

УДК

ББК 67.408.01 + 87.42
Рубрики: Право
   Учение о преступлении
   Логика
   Логические формы и законы
Кл.слова (ненормированные):
логика -- уголовное право -- преступления -- причинная связь -- причинность -- принцип мысленного исключения -- импликация
Аннотация: С позиций алгебры высказываний формальной логики анализируется содержание понятия причинной связи. Доказывается ошибочность выводов теории необходимого условия и неправильное применение ее сторонниками принципа "мысленного исключения" при установлении обязательного признака общего состава преступления - причинной связи.

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

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

9.

Балашов, С. К.
Логико-правовой анализ ошибок при установлении причинной связи [Текст] / С. К. Балашов // Философия права. - 2010. - N 1. - С. 45-49. - Библиогр. в сносках

УДК

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

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

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

10.

Черепанов, Е. М.
Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488

УДК

ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.

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

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

11.

Белякин, Н. В.
Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488

УДК

ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.

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

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

12.

Булаевский, Б. А.
Логические основания построения презумпций [Текст] / Б. А. Булаевский // Вестник Пермского университета. Сер.: Юридические науки. - 2011. - Вып. 1. - С. 19-22. - Библиогр.: с. 21-22 . - ISSN 1995-4190

УДК

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

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

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

13.

Борисов, Евгений Васильевич (кандидат философских наук).
Проблема Крипке и ее прямое решение [Текст] / Е. В. Борисов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 5-14. - Библиогр.: с. 14 (5 назв. ) . - ISSN 1998-863X

УДК

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

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

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

14.

Суровцев, Валерий Александрович (доктор философских наук).
Б. Рассел о бесконечности [Текст] / В. А. Суровцев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 135-145. - Библиогр.: с. 145 (9 назв. ) . - ISSN 1998-863X

УДК

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

Доп.точки доступа:
Рассел, Б. А. У. (математик; философ); Пеано, Д. (математик); Фреге, Ф. Л. Г. (логик; математик); Кантор, Г. Ф. Л. Ф. (математик)
Нет сведений об экземплярах (Источник в БД не найден)

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

15.

Леоненко, Леонид Леонидович.
Аналогии-пропорции в логике и в computer science [Текст] / Л. Л. Леоненко // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 29-39. - Библиогр.: с. 37-39 (51 назв. ) . - ISSN 0131-2227

УДК

ББК 87.25 + 87.42 + 32.973-018.2
Рубрики: Философия
   Философия науки
   Логика
   Логические формы и законы
   Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
Кл.слова (ненормированные):
общая теория систем -- изоморфизм -- аналогии -- язык тернарного описания -- ЯТО -- информационные системы
Аннотация: Автор рассматривает проблемы классификации, формализации и условий повышения правомерности выводов по аналогии типа "пропорции", предлагает использовать для моделирования аналогий-пропорций аппарат параметрической общей теории систем.

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

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

16.

Смирнова, Елена Дмитриевна (доктор философских наук; профессор).
Природа логического знания и вопросы обоснования логических систем [Текст] / Е. Д. Смирнова // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 2. - С. 59-72. - Библиогр.: с. 72 . - ISSN 0201-7385

УДК

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

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

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

17.

Кислов, Алексей Геннадьевич.
Возвращаясь к Францу Брентано из лабиринтов деонтической логики [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2012. - № 1 (100). - С. 71-80. - Библиогр.: с. 79-80 (30 назв.) . - ISSN 2227-2291

УДК

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

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

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

18.

Андрюшенко, М. Т. (доктор философских наук; профессор).
О субъективной стороне познания [Текст] / М. Т. Андрюшенко // Вестник Российского философского общества. - 2016. - № 4 (80). - С. 72-74. - Библиогр.: с. 74 (4 назв.) . - ISSN 1606-6251

ГРНТИ	02.21.41
УДК	^a16

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

Доп.точки доступа:
Секст, Эмпирик (древнегреческий философ; врач ; ок. 160 - ок. 210); Гоббс, Т. (английский философ-материалист ; 1588-1679); Локк, Д. (английский педагог; философ ; 1632-1704); Кант, И. (основоположник немецкой классической философии ; 1724-1804)
Нет сведений об экземплярах (Источник в БД не найден)

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

19.

Попов, Владимир Михайлович (кандидат философских наук; доцент).
Об одной трехзначной паранормальной логике [Текст] / В. М. Попов // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 46-51. - Библиогр.: с. 51 . - ISSN 0201-7385

УДК

ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
логика PNL -- логическая матрица M -- логическая матрица PNL -- паранепротиворечивая логика -- паранормальная логика -- параполная логика
Аннотация: Цель работы - введение в логико-философский дискурс простой табличной логики, которая достаточно богата дедуктивно, является подлогикой классической пропозициональной логики, паранепротиворечива и параполна. С этой целью здесь конструируется логика PNL, удовлетворяющая следующим условиям (1) - (4). (1) Логика PNL имеет трехзначную характеристическую матрицу с одним выделенным значением. (2) Логика PNL включает позитивный фрагмент интуиционистской пропозициональной логики. (3) Логика PNL включается в классическую пропозициональную логику. (4) Логика PNL паранормальна. Утверждение (1) служит основанием для того, чтобы оценить логику PNL как простую логику, утверждение (2) свидетельствует о том, что логика PNL достаточно богата дедуктивно, утверждение (3) равносильно утверждению о том, что PNL является подлогикой классической пропозициональной логики, а утверждение (4) фиксирует факт паранепротиворечивости и параполноты логики PNL.

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

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

20.

Петрухин, Ярослав Игоревич (магистр).
Корреспондентский анализ для паранепротиворечивой слабой логики Клини [Текст] / Я. И. Петрухин, В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 52-62. - Библиогр.: с. 60-62 . - ISSN 0201-7385

УДК

ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
Клини логика -- корреспондентский анализ -- логика LP -- логика PWK -- логика Клини -- неклассическая логика -- паранепротиворечивая логика -- паранепротиворечивая слабая логика -- слабая логика -- трехзначная логика
Аннотация: Предлагается корреспондентский анализ для трехзначной паранепротиворечивой слабой логики Клини PWK. Используя корреспондентский анализ Коя и Тамминги, основанный на логике парадокса Приста LP, показывается, что для такого анализа достаточна функционально более слабая, чем LP, логика PWK.

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

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

1-20 21-24

Стандартный

Расширенный

Профессиональный

Распределенный

По словарю

ГРНТИ-навигатор

УДК-навигатор

ББК-навигатор

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

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