Поисковый запрос: (<.>A=Таванец, П. В.$<.>) |
Общее количество найденных документов : 14
Показаны документы с 1 по 14 |
>1.
|
Смирнов, В. А. Формальный вывод и логические исчисления [Текст] : монография / В. А. Смирнов ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Наука, 1972. - 271 с. ; 19 см . - Библиогр.: с. 267-268 ( 59 назв.). - 0.67 р.
Рубрики: Философия--Логика
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- ГИЛЬБЕРТОВСКИЕ СИСТЕМЫ -- НАТУРАЛЬНЫЕ СЧИСЛЕНИЯ -- СЕМАНТИКА ЛОГИКИ -- ЯЗЫКИ ЛОГИКИ -- АКСИОМАТИЗАЦИЯ СВОЙСТВ Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>2.
|
Швырев, В. С. Неопозитивизм и проблемы эмпирического обоснования науки [Текст] : научное издание / В. С. Швырев ; отв. ред. П. В. Таванец. - М. : Наука, 1966. - 215 с. ; 20 см. - Библиогр.: с. 209-213 (111 назв.). - 0.70 р.
Рубрики: Философия--Общефилософские проблемы
Кл.слова (ненормированные): НЕОПОЗИТИВИЗМ -- ЭМПИРИЧЕСКОЕ ОБОСНОВАНИЕ -- ЛОГИЧЕСКИЙ ЭМПИРИЗМ -- ДИХОТОМИЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>3.
|
Логическая структура научного знания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1965. - 350 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.29 р.
Кл.слова (ненормированные): ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ -- ЛОГИЧЕСКИЕ ФОРМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- ЭМПИРИЧЕСКИЕ ЗНАНИЯ -- ФИЗИКА МИКРОМИРА -- БУЛЕВЫЕ ПРОСТРАНСТВА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>4.
|
Проблемы логики научного познания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1964. - 410 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.78 р.
Кл.слова (ненормированные): ЛОГИКА НАУЧНОГО ПОЗНАНИЯ -- ДЕДУКТИВНЫЙ МЕТОД -- ВЕРОЯТНОСТНАЯ ЛОГИКА -- ЛОГИКА НАУКИ -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ФИЗИЧЕСКОЕ СЛЕДОВАНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>5.
|
Таванец, П. В. Вопросы теории суждения [Текст] : научное издание / П. В. Таванец ; отв. ред. В. Ф. Асмус ; Ин-т философии (Москва). - М. : Изд-во Акад. наук СССР, 1955. - 193 с. : ил. ; 21 см. - 6.00 р.
Кл.слова (ненормированные): СУЖДЕНИЯ -- УСЛОВНЫЕ СУЖДЕНИЯ -- БЕЗУСЛОВНЫЕ СУЖДЕНИЯ -- ОБЩИЕ СУЖДЕНИЯ -- СУЖДЕНИЯ СУЩЕСТВОВАНИЯ -- ЕДИНИЧНЫЕ СУЖДЕНИЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Асмус, В. Ф.
Найти похожие
|
>6.
|
Методы логического анализа [Текст] : сборник / Ин-т философии (Москва) ; ред. П. В. Таванец. - М. : Изд-во "Наука", 1977. - 263 с. ; 22 см. - Библиогр. в конце ст. - 1.20 р.
Рубрики: Философия--Логика
Кл.слова (ненормированные): ЛОГИЧЕСКАЯ СТРУКТУРА -- НАУЧНЫЕ ТЕОРИИ -- ТЕОРЕТИЧЕСКИЕ ТЕРМИНЫ -- ЭМПИРИЧЕСКИЕ ТЕРМИНЫ -- ВРЕМЕННАЯ ЛОГИКА -- ЭПИСТЕМИЧЕСКАЯ ЛОГИКА -- ВЕРОЯТНОСТНЫЕ ИДЕИ Аннотация: В книге раскрывается значение логики для разработки и совершенствования методологии научных дисциплин, излагаются приемы логического анализа различных способов введения в науку новых терминов.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>7.
|
Проблемы логики [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во Акад. наук СССР, 1963. - 151 с. : ил. ; 21 см. - Библиогр. в конце ст. - 0.44 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИМПЛИКАЦИЯ АККЕРМАНА -- МЕТОД СПЕЦРЕФЕРИРОВАНИЯ -- СИЛЛОГИСТИКА -- ОБЩАЯ ТЕОРИЯ ДЕДУКЦИИ -- ЛОГИЧЕСКИЕ СХЕМЫ АЛГОРИТМОВ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>8.
|
Формальная логика и методология науки [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1964. - 300 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.00 р.
Кл.слова (ненормированные): ЛОГИКА -- БУЛЕВЫЕ ФУНКЦИИ -- ДВУХПОЛЮСНЫЕ СЕТИ -- МЕТОДОЛОГИЯ НАУКИ -- ПРЕДИКАТЫ -- ЛОГИЧЕСКИЕ СТРУКТУРЫ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>9.
|
Логическая семантика и модульная логика [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1967. - 278 с. : ил. ; 22 см. - Библиогр. в конце ст. - 1.24 р.
Кл.слова (ненормированные): СЕМАНТИКА -- ЛОГИКА -- ЗНАКОВЫЕ ВЫРАЖЕНИЯ -- ИНДУКТИВНАЯ ЛОГИКА -- ВЕРОЯТНОСТНАЯ ЛОГИКА -- ТЕОРИЯ МОДАЛЬНОСТЕЙ -- ТЕОРИЯ ДЕОНТИЧЕСКИХ МОДАЛЬНОСТЕЙ -- ФОРМАЛЬНАЯ ЛОГИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>10.
|
Субботин, А. Л. Теория силлогистики в современной формальной логике [Текст] : научное издание / А. Л. Субботин ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Изд-во "Наука", 1965. - 126 с. ; 20 см. - Библиогр.: с. 122-123 (35 назв.). - 0.31 р.
Кл.слова (ненормированные): СИЛЛОГИСТИКА -- АРИСТОТЕЛЕВСКАЯ СИЛЛОГИСТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ СИЛЛОГИСТИКА -- АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ СИЛЛОГИСТИКА -- ПОЛУСТРУКТУРА Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>11.
|
Неоклассическая логика [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1970. - 383 с. ; 22 см. - 1.18 р.
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные): КЛАССИЧЕСКАЯ ЛОГИКА -- КОМПЛЕКСНАЯ ЛОГИКА -- СИСТЕМЫ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ -- СИЛЛОГИСТИКА КЛАССОВ -- ТЕОРЕМЫ ТЕОРИИ КВАНТОВ -- СИСТЕМЫ ВЫРАЖЕННОГО СЛЕДОВАНИЯ -- МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ -- ЛОГИКА ВРЕМЕНИ Аннотация: В книге дается общая характеристика неоклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возможности приложения ее в науке и технике.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>12.
|
Логика и эмпирическое познание [Текст] : сборник / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1972. - 286 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.31 р.
Рубрики: Философия--Логика
Кл.слова (ненормированные): ПОЗНАНИЕ -- ЭМПИРИЧЕСКОЕ ПОЗНАНИЕ -- НАУЧНОЕ ПОЗНАНИЕ -- ПРЕДСКАЗАНИЕ -- ОБЪЯСНЕНИЕ -- УМОЗАКЛЮЧЕНИЯ -- ИНДУКЦИЯ -- ДЕДУКЦИЯ Аннотация: В книге рассматривается проблематика опытных типов систем знания. которые в современном естествознании представляют важные типы научного познания.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>13.
|
Сидоренко, Е. А. Логическое следование и условные высказывания [Текст] : научное издание / Е. А. Сидоренко ; отв. ред. П. В. Таванец ; Ин-т философии. - М. : Изд-во "Наука", 1983. - 173 с. ; 21 см. - Библиогр.: с. 169-171 (60 назв.). - 0.95 р.
Рубрики: Философия--Логика
Кл.слова (ненормированные): ТЕОРИЯ ИМПЛИКАЦИИ -- ЛОГИКА -- РЕЛЕВАНТНАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА Аннотация: Рассматривается проблема непарадоксальной формализации логического следования, строится логика интенсионально понимаемых условных высказываний, анализируются логические критерии истинности контрфактических условных предложений. Эта книга по релевантной логике.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
>14.
|
Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
|