Электронный каталог

Базы данных

Лосевский читальный зал- результаты поиска

Вид поиска

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

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

в найденном

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

База библиотеки "Дом А.Ф. Лосева" (2)

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

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

Поисковый запрос: <.>A=Таванец, Петр Васильевич@<.>

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

1-10 11-18

   16 ЛМК
   Ф 56


    Философия и логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. редакторы П. В. Таванец и В. А. Смирнов]. - Москва : Наука, 1974. - 478, [1] с. : ил. ; 21 см. - (Философия в современном мире). - Библиогр. в конце ст. - В содерж.: О взаимоотношении символической логики и философии / В. А. Смирнов, П. В. Таванец. Лейбниц, Кант и их принципы философии математики / А. Л. Субботин. Конструктивная модель интуиционистского анализа / А. Г. Драгалин. К обоснованию дедуктивного метода / П. Лоренцен. Непротиворечивость и элиминируемость в теории доказательств / Е. Д. Смирнова. Формальные методы и проблемы теории познания / Р. Вуйцицкий. Истинность и формальная непротиворечивость эмпирической теории и понятие смысла / П. Матерна. Понятие факта как модального оператора / Б. Вольневич. К вопросу об определимости предикатов, вводимых двусторонними редукционными предложениями / В. А. Смирнов. О допущениях, вводимых редукционными предложениями / В. Н. Карпович. Несколько замечаний о многозначных логиках Яна Лукасевича / Е. Слупецкий. Вероятность и детерминизм / Г. И. Рузавин. К исследованию и построению прагматических логик / С. П. Будбаева, Б. Н. Пятницын. Теория индуктивного рассуждения и ее формализация / В. Н. Костюк. Вопрос о вопросах / И. Хинтикка. Редукции в логике второй ступени / С. Р. Когаловский. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр / В. К. Финн. Роль теории семантических категорий в обосновании современных логических теорий / Б. Дянков. К вопросу о классификации логических форм / Б. Чендов. - 9 500 экз.. -

УДК

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Математическая логика--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Смирнов, Владимир Александрович \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Л 69


    Логика и эмпирическое познание [Текст] : [сборник статей / Акад. наук СССР, Ин-т философии ; отв. ред. П. В. Таванец]. - Москва : Наука, 1972. - 285, [2] с. : ил. ; 22 см. - Библиогр. в конце ст. - Содерж.: К интенсиональной трактовке выводов из данных опыта / А. И. Уемов. О характере и теории индуктивных умозаключений / Б. Н. Пятницын, А. Л. Субботин. Проблема оправдания индукции / В. И. Метлов. Гипотетико-дедуктивный метод / Г. И. Рузавин. Объяснение и предсказание / Е. П. Никитин. Эвристические методы и проблема подтверждения в эмпирических науках / С. П. Будбаева, Б. Н. Пятницын. Проблема определений в теориях математического естествознания / Д. П. Горский. Определение диспозиционных предикатов / А. Л. Никифоров. Аксиоматические теории времени / А. А. Ивин. О способах истинностной оценки естественнонаучных высказываний / С. П. Божич. Непрерывность и геометрическая форма / Г. А. Кузнецов. Случайное, его определение и применения / В. Н. Костюк. - 6 700 экз.. -

УДК

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Естествознание--Философские вопросы--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   Н 47


    Неклассическая логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1970. - 382, [2] с. : ил., табл. ; 21 см. - Библиогр. в конце ст. - Содерж.: Классическая и неклассическая логика / П. В. Таванец. Комплексная логика : (формальное построение) / А. А. Зиновьев. Классические и неклассические отношения высказываний / А. А. Зиновьев. Некоторые варианты систем логического следования / Е. А. Сидоренко. Независимость в системах логического следования / Е. А. Сидоренко. О силлогистике классов / А. М. Федина. О полноте систем логического следования : (исчисление высказываний) / А. М. Федина. Некоторые теоремы теории кванторов / Г. М. Щеголькова. Полнота систем вырожденного следования и квазиследования / Л. А. Боброва. Определение алетических и деонтических модальных функторов в терминах материальной импликации и констант / А. А. Ивин. Логика времени / А. А. Ивин. К проблемам вероятностных и статистических логик / Б. Н. Пятницын. О топологической логике / Х. А. Вессель. Об одной теореме логической семантики / В. И. Локтионов. Об одном классе многозначных модальных систем / Эрамис Буэно. Об интегрированных модальностях в современной логике / Я. А. Слинин. Построение логики высказываний без принципа утверждения / А. И. Уемов. Об одном варианте исчисления отбрасываемых формул логики высказываний / И. Н. Бродский. Не-фрегевская логика и теории, основанные на ней / Р. Сушко. - 7 200 экз.. -

УДК

510.6(082)

517.1(082)

164(082)

Рубрики: Математическая логика--Сборники
Математический анализ--Сборники
Логика--Сборники

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Л 69


    Логическая семантика и модальная логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1967. - 276, [3] с. : ил. ; 22 см. - Библиогр. в конце ст. - Содерж.: Семантика в логике / Е. Д. Смирнова и П. В. Таванец. Проблема значения (смысла) знаковых выражений как проблема их понимания / Д. П. Горский. Семантическая концепция индуктивной логики / Г. И. Рузавин. К вопросу о семантике вероятностной и индуктивной логики / Б. Н. Пятницын. Теория модальностей в современной логике / Я. А. Слинин. Доказательство основных теорем теории сильного логического следования / Г. А. Смирнов. Некоторые проблемы теории деонтических модальностей / А. А. Ивин. Алгебраическая полуструктура и традиционная формальная логика / А. Л. Субботин. Погружение силлогистики в исчисление предикатов / В. А. Смирнов. К определению семантической когерентности / В. К. Финн. - 8 000 экз.. -

УДК

16(082)

81'37(082)

1(470)

Рубрики: Логика--Сборники
   Модальная логика--Сборники
   Логическая семантика--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Л 69


    Логическая структура научного знания [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1965. - 348, [2] с. : ил. ; 21 см. - Библиогр. в конце ст. - Содерж.: Формализованные языки и логическая форма / Е. Д. Смирнова. О некоторых семантических понятиях для простых языков / В. К. Финн. Роль семиотики в кибернетическом исследовании человека и коллектива / В. В. Иванов. О взглядах Г. Фреге на роль знаков и исчисления в познании / Б. В. Бирюков. О природе эмпирического знания / А. И. Рокитов. Об основных понятиях и принципах логики науки / А. А. Зиновьев. Опыт построения исчисления предикатов, приближенного к естественному языку / Е. К. Войшвилло. Логические системы с формулами - аналогами записей о выводимости / В. А. Смирнов. Вычисления в булевых пространствах / А. Д. Закревский. Формальная система элементарной механики / Г. П. Дишкант. О логике физики микромира / Б. Н. Пятницын. - 6 200 экз.. -

УДК

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Семиотика--Сборники
   Математическая логика--Сборники
   Философия русская, 20 в.--Сборники

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Ф 79


    Формальная логика и методология науки [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1964. - 299, [2] с. : ил. ; 20 см. + 3 отд. л. табл. - Библиогр. в конце ст. - Содерж.: К вопросу об отражении диалектики движения в понятиях / И. С. Нарский. Проблема эквивалентности логических структур / А. И. Уемов. Аристотелевская силлогистика с точки зрения алгебры / А. Л. Субботин. Некоторые источники современной логики вероятности в учении Аристотеля о модальности / И. В. Тройнов. Об одной гипотезе Я. Лукасевича / Ю. А. Петров. Новый разрешимый случай проблемы разрешения исчисления предикатов первой ступени / Г. С. Маканин. Алгебра двухполюсных сетей / Е. К. Войшвилло. Классификация и машинный поиск литературы / Б. Якушин. Об одном способе минимизации нормальных форм булевых функций / О. С. Краковская, Т. Л. Майстрова. - 4 000 экз.. -

УДК

16(082)

1(470)

Рубрики: Логика--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Инcтитут философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 78


    Проблемы логики научного познания [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1964. - 408, [2] с. : табл. ; 22 см. - Библиогр. в конце ст. - Указ. имен в конце кн.: с. 408 - [409]. - Содерж.: Логика научного познания / П. П. Таванец и В. С. Швырев. Уровни знания и этапы процесса познания / В. А. Смирнов. Некоторые вопросы логико-методологического анализа отношения теоретического и эмпирического уровней научного знания / В. С. Швырев. Логическое и физическое следование / А. А. Зиновьев. Дедуктивный метод как проблема логики науки / В. Н. Садовский. Вероятностная логика и ее роль в научном исследовании / Г. И. Рузавин. Основные формы и правила выводов по аналогии / А. И. Уемов. О видах определений и их значений в науке / Д. П. Горский. Идеализация как средство научного познания / А. Л. Субботин. Статистическая интерпретация факта и роль статистических методов в построении эмпирического знания / А. И. Ракитов. - 5 000 экз.. -

УДК

Рубрики: Логика--Сборники
   Теория познания--Сборники
   Диалектический метод--Сборники
   Марксистский диалектический метод--Сборники
   Методология и логика научного познания--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   П 78


    Проблемы логики [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Издательство Академии наук СССР, 1963. - 149, [2] с. : ил. ; 20 см. - Библиогр. в конце ст. - Содерж.: О философских вопросах математической логики / С. А. Яновская. Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана / В. В. Донченко. Об одном методе спецреферирования / Н. И. Стяжкин и Б. Р. Певзнер. Обобщение силлогистики / А. А. Зиновьев. Замечания по поводу системы силлогистики и общей теории дедукции / В. А. Смирнов. Алгоритмы и логические схемы алгоритмов / В. А. Смирнов. О множествах, разрешимых и перечислимых автоматами / В. А. Козмидиади. Преодалены ли в современной науки трудности, известные под названием "апории Зенона"? / С. А. Яновская. О построении анализа на основе аксиоматизированной геометрии прямой II / Ю. А. Гастев. Об одном подходе к анализу причинности / Ю. А. Магинскас. - 10 000 экз.. -

УДК

16(082)

Рубрики: Логика--Сборники
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Д 44


    Диалектика и логика. Законы мышления [Текст] : [монография / Б. Кедров, П. Копнин, П. Таванец и др.] ; Акад. наук СССР, Ин-т философии. - Москва : Издательство Академии наук СССР, 1962. - 335, [1] c. ; 20 см. - Библиогр. в подстроч. примеч. - Авт. указаны на обороте тит. л. - 8 000 экз.. -

УДК

161/162

141.82

1(470)

Рубрики: Марксизм-ленинизм
   Категории логические
   Философия русская, 20 в.
   Диалектическая логика
   Диалектический материализм

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Кедров, Бонифатий Михайлович (1903 - 1985); Копнин, Павел Васильевич (1922 - 1971); Таванец, Петр Васильевич (1911 - 1991); Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

10.

   16 ЛМК
   Ф 79


    Философские вопросы современной формальной логики [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Издательство Академии наук СССР, 1962. - 362, [2] с. ; 23 см. - Библиогр. в конце ст. - Содерж.: Формальная логика и философия / П. В. Таванец. Основные этапы развития формальной логики / Г. И. Рузавин и П. В. Таванец. Формальная логика и язык / Д. П. Горский. Смысл и ценность формализации в логике / А. Л. Субботин. Двузначная и многозначная логика / А. А. Зиновьев. О семантическом определении истины / П. В. Таванец. Понятие "существования", логический позитивизм и формальная логика / И. С. Нарский. О достоверности выводов по аналогии / А. И. Уемов. Аксиоматический метод построения научного знания / В. Н. Садовский. Генетический метод построения научной теории / В. А. Смирнов. Неопозитивистская концепция эмпирического значения и логический анализ научного знания / В. С. Швырев. К проблеме аналитического и синтетического / Е. Д. Смирнова. - 4 300 экз.. -

УДК

1-10 11-18

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

Статистика обращений

Статистика за 04.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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