Поисковый запрос: <.>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 р.
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ
Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Таванец, П. В.
Найти похожие
|
|
|
Электронный каталог
Стандартный (по одному полю)