Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логические формы и законы<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.


    Ладов, В. А.
    Проблема следования правилу: поиски прямого решения [Текст] / В. А. Ладов // Философия науки. - 2008. - N 1. - С. 61-79. - Библиогр.: с. 78-79 (29 назв. )
УДК
ББК 87.42
Рубрики: Логика
   Логические формы и законы

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


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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

2.


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

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

3.


    Антовский, Александр Юрьевич (канд. филос. наук, ст. науч. сотрудник Ин-та философии РАН).
    Знание истины: к вопросу об объеме понятия [Текст] / А. Ю. Антовский // Эпистемология и философия науки. - 2008. - Т. 18, N 4. - С. 32-43. . - Библиогр. в сносках
УДК
ББК 87.22 + 87.42
Рубрики: Философия
   Теория познания

   Логика

   Логические формы и законы

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

4.


    Сурикова, Татьяна.
    Все животные равны, но некоторые равнее, чем другие [Текст] / Татьяна Сурикова // Журналист. - 2009. - N 9. - С. 74-75. : фот.
УДК
ББК 76.01 + 87.42
Рубрики: Средства массовой информации
   Журналистика в целом

   Логика

   Логические формы и законы

Кл.слова (ненормированные):
логические законы в журналистике -- тексты -- логические имена -- образные обороты
Аннотация: Логические уровни текста.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

5.


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

   Математика

   Математическая логика

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

6.


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. . - Библиогр.: с. 43-44 (8 назв. )
УДК
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы

   Математика

   Математическая логика

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


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

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

7.


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

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

8.


    Верхотуров, Анатолий Демьянович (доктор технических наук; профессор; главный научный сотрудник).
    К вопросу о новом векторе развития науки в условиях устойчивого развития человечества [Текст] / А. Д. Верхотуров, Б. А. Воронов, Л. А. Коневцов // Вестник Амурского государственного университета. - 2014. - Вып. 67 : Естеств. и экон. науки. - С. 5-16 : рис. - Библиогр.: с. 15-16 (44 назв.) . - ISSN 2073-0268
УДК
ББК 72 + 1 + 87.42
Рубрики: Наука. Науковедение
   Общие вопросы науки

   Общенаучные и междисциплинарные знания

   Общие вопросы общенаучного и междисциплинарного знания

   Логика

   Логические формы и законы

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


Доп.точки доступа:
Воронов, Борис Александрович (доктор биологических наук; профессор; директор; член-корреспондент РАН); Коневцов, Леонид Алексеевич (кандидат технических наук; научный сотрудник)

Имеются экземпляры в отделах: всего 5 : аб. (2), н.з. (1), ч.з. (1), эн.ф. (1)
Свободны: аб. (2), н.з. (1), ч.з. (1), эн.ф. (1)

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

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