Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=161/164<.>
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   16 ЛМК
   Г 59


    Гокиели, Леван Петрович (1901 - 1975).
    К проблеме аксиоматизации логики [Текст] / Л. П. Гокиели ; Ин-т философии Акад. наук Груз. ССР. - Тбилиси : Издательство Академии наук Грузинской ССР, 1947. - [4], 86 с. ; 26 cм. - Библиогр. в подстроч. примеч. - 1 000 экз.. -
УДК
Рубрики: Логика формальная
   Логика--Аксиоматизация

   Философия грузинская, 20 в.


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

2.
   16 ЛМК
   К 47


    Клаус, Георг (1912 - 1974).
    Введение в формальную логику [Текст] / Георг Клаус ; пер. с нем. и предисл. А. А. Ветрова. - Москва : Издательство иностранной литературы, 1960. - 506, [1] с. ; 21 cм. - Библиогр.: с. 483 - 484. - Указ. имен: с. 498. - Предм. указ.: с. 499 - 504. - Пер. изд. : Einführung in die formale Logic / Georg Klaus. - Berlin, 1959. -
УДК
Рубрики: Логика формальная
   Философия немецкая, 20 в.


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

Доп.точки доступа:
Ветров, Анатолий Алексеевич (1922 - 1975) \авт.\; Klaus, Georg (1912 - 1974)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

3.
   16 ЛМК
   Л 69


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


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

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

4.
   1(438)Лукасевич ЛМК
   Л 84


    Лукасевич, Ян (1878 - 1956).
    Аристотелевская силлогистика с точки зрения современной формальной логики : монография / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ. ред. и вступ. ст. П. С. Попова. - Москва : Издательство иностранной литературы, 1959. - 310, [1] c. ; 21 см. - Библиогр. в подстроч. примеч. - Указ.: с. 290 - 308. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957. -
УДК
Рубрики: Силлогизм
   Позитивизм

   Логика формальная

   Философия греческая, 4 в. до н. э.

   Философия польская, 20 в.

Аннотация: Предлагаемая книга принадлежит перу крупнейшего польского логика Яна Лукасевича (1878 – 1956 гг.). Являясь создателем собственной системы математической логики, Лукасевич выдвинулся также как первоклассный знаток и интерпретатор греческих текстов по логике. Он с необыкновенной тщательностью изучил не только греческие подлинники логических работ Аристотеля, он хорошо знает произведения последователей Аристотеля. Аксиоматизация Лукасевичем дедуктивной системы Аристотеля на редкость удалась: все виды умозаключений можно выводить в строгом порядке при наличии всего четырех аксиом, формулируемых с большой прозрачностью. Для всех, изучающих философию, историю философии и формальную логику.

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

Доп.точки доступа:
Стяжкин, Николай Иванович (1932 - 1986) \пер.\; Субботин, Александр Леонидович (1927 - ) \пер.\; Попов, Павел Сергеевич (1892 - 1964) \авт.\; Аристотель (384 - 322 до н. э.) \о нем\; Aristoteles (384 - 322 до н. э.) \о нем\; Łukasiewicz, Jan (1878 - 1956)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

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