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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-10 11-18

   16 ЛМК
   Л 69


    Логика [Текст] : [монография / Д. П. Горский, В. Ф. Асмус, П. В. Таванец и др.] ; Акад. наук СССР, Ин-т философии. - Москва : Государственное издательство политической литературы, 1956. - 279, [1] с. : ил. ; 22 см. - Библиогр. в подстроч. примеч. - Авт. указаны на с. 3. - 75 000 экз.. -

УДК

161/164

1(470)

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

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

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

   16 ЛМК
   Т 13

    Таванец, Петр Васильевич (1911 - 1991).
    Вопросы теории суждения [Текст] / П. В. Таванец ; Акад. наук СССР, Ин-т философии. - Москва : Издательство Академии наук СССР, 1955. - 192, [2] c. ; 20 см. - Библиогр. в подстроч. примеч. - 10 000 экз.. -

УДК

161.21

1(470)

Рубрики: Суждение
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Т 13

    Таванец, Петр Васильевич (1911 - 1991).
    Суждение и его виды [Текст] / П. В. Таванец ; Акад. наук СССР, Ин-т философии. - Москва : Издательство Академии наук СССР, 1953. - 175, [1] c. ; 22 см. - Библиогр. в подстроч. примеч. - 10 000 экз.. -

УДК

161.21

1(470)

   16 ЛМК
   П 78


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

УДК

16(082)

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

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

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

   16 ЛМК
   П 78


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

УДК

Рубрики: Логика--Сборники
   Теория познания--Сборники
   Диалектический метод--Сборники
   Марксистский диалектический метод--Сборники
   Методология и логика научного познания--Сборники
   Философия русская, 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 ЛМК
   Ф 79


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

УДК

16(082)

1(470)

   1(082)
   Ф 56 Т. 6

    Философские записки [Текст] : [том 1 - 6] / Акад. наук СССР, Ин-т философии. - Москва ; Ленинград : Издательство Академии наук СССР, 1946 - 1953. - 27 см.
   Т. 6 / [отв. ред. П. В. Таванец]. - 1953. - 254, [1] с. - Библиогр. в подстроч. примеч. - 8 000 экз.. -

УДК

1(082)

Рубрики: Философия--Сборники

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

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

   16 ЛМК
   Ф 56


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

УДК

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

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

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

10.

   16 ЛМК
   П 76


    Применение логики в науке и технике [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [редкол.: П. В. Таванец (отв. ред.) и др.]. - Москва : Издательство Академии наук СССР, [1960]. - 557, [2] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: О некоторых чертах развития математической логики и отношении ее к техническим приложениям / С. А. Яновская. К обоснованию теории множеств / А. С. Есенин-Вольпин. Формальный и семантический анализ синтаксических связей в языке / И. И. Ревзин. О логической форме лингвистических определений / И. И. Ревзин. Операционные определения и их применение в фонологии / С. К. Шаумян. Значение аксиоматического метода в учении о направлениях изменений живых систем / Ю. В. Петров. Дедуктивный метод в исследовании высказываний о связях / А. А. Зиновьев. К вопросу об общности высказываний о связях / А. А. Зиновьев. Об одном варианте теории определений / А. А. Зиновьев. О групповой инвариантности булевых функций / Г. Н. Поваров. О двойной арифметической интерпретации трехзначного исчисления в высказывании, используемой при моделировании этого исчисления посредством релейно-коммутаторных схем / В. И. Шестаков. О некоторых вопросах физической реализации устройств, выполняющих логические функции / М. Л. Цетлин, Л. М. Шехтман. Применение многозначной логики в теории релейных схем / Т. Д. Майстрова. Событийный и сужденческий аспекты логики в связи с логическими задачами техники / Г. Н. Поваров. "Фазовый способ" в формальной логике / Б. М. Кедров. Теория смысла Готлоба Фреге / Б. В. Бирюков. - 10 000 экз.. -

УДК

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

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

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

1-10 11-18

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

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

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

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