Библиография

1. На кафедрах философского факультета МГУ
Вопросы философии. 1957. № 2. С. 159-165. (Соавт.: Е.Д. Клементьев, И. К. Пантин.)

2. Является ли классическая логика универсальной?
Материалы 1-ой конференции кафедр общественных наук. Томск, 1958a. С. 35–38.

3. Серьезные ошибки в трактовке марксистской теории познания
Вопросы философии. 1958b. № 9. С. 169-174.

4. К теории категорического силлогизма
Филос. науки. 1959а. № 3. С. 80-83.

5. О возможности общей теории систем
Доклады 2-й научной конференции кафедр общественных наук. Томск, 1959b. С. 84–87.

6. В. И. Ленин о математизации и логизации естественнонаучных теорий
Материалы конференции философов Сибири и Дальнего Востока. Красноярск, 1959с.

7. Роль символизации и формализации в научном познании
Труды ТГУ. Т. 149. Томск, 1960a. С. 61–65.

8. Совещание по проблемам логики и методологии науки
Вопросы философии. 1960b. № 11. С. 153-158. (Соавт.: В. Н. Садовский.)

9. Так называемые абстрактные объекты и теории языковых каркасов Р.Карнапа
(Тезисы докладов и выступлений.) Межвузовская конференция. Диалектический материализм и современный позитивизм. М., 1961. С. 138-144.

10. Генетический метод построения научной теории
Философские вопросы современной формальной логики. М., 1962a. С. 263–285.

11. Некоторые выводы из сравнения нормальных алгоритмов А. А. Маркова и логических схем алгоритмов А. А. Ляпунова
Проблемы методологии и логики науки. (Труды 1-й конференции по логике и методологии науки.) Труды ТГУ. Томск, 1962b. С. 126-143.

12. Логические взгляды Н. А. Васильева
Очерки по истории логики в России. М., 1962c. С. 242–257.

13. Замечания по поводу системы силлогистики и общей теории дедукции
Проблемы логики. М., 1963а. С. 64-83.

14. Алгоритмы и логические схемы алгоритмов
Проблемы логики. М., 1963b. С. 84-101.

15. О достоинствах и ошибках одной логико-философской концепции (критические заметки по поводу теории языковых каркасов Р. Карнапа)
Философия марксизма и неопозитивизм. М., 1963с. С. 364-378.

16. Доклад на философской дискуссии в Дубне
Вопросы философии 1963d. № 12. С. 158.

17. Статьи в Философском словаре
М., 1963е.

18. Уровни знания и этапы процесса познания
Проблемы логики научного познания. М., 1964а. С. 23-52.

19. Серьезные недостатки в книге по материалистической диалектике
Вопросы философии. 1964b. № 4. С. 165-170 (Соавт.: П.В. Копнин, И.С. Нарский.)

20. Логические системы с формулами – аналогами записей о выводе
Логическая структура нayчoгo познания. М., 1965а. С. 253-291.

21. Модели языка и модели мира
Проблемы логики нayчoro познания. М., 1965b. C.10-15.

22. Искусственные языки как средство изyчения мышления
Материалы к дискуссии «Язык и мышление». М., 1965с.

23. Натуральный вывод и трансформационный анализ
Материалы к 5-му симпозиуму по логике и методологии науки. Киев, 1966а. С. 17-34.

24. Рец. на кн.: Стяжкин Н. И. Становление идей математической логики
Вопросы философии. 1966b. № 1. С. 169-171.

25. Погружение силлогистики в исчисление предикатов
Логическая семантика и модальная логика. М., 1967а. С. 254-258.

26. Моделирование мира в структуре логических языков
Логика и методология науки. М., 1967b. С. 117-124.

27. Правило вывода
Философская энциклопедия. Т. 4. М., 1967с. С. 330.

28. Противоречия закон
Там же. 1967d. С. 409-410.

29. Wissensebenen und Etappen des Erkenntnisprozesses
Studien zur Logik der Wissenschaftlichen Erkenntnis. Berlin, 1967е. S.36-71.

30. Натуральный вывод и трансформационный анализ
Материалы к 14 философскому конгрессу. М., 1968.

31. Natural deduction and transformation analysis
Aktеп des XIV Internationalen Kongresses fur Philosophie. Wien. 2-9 September 1968. Wien, 1969a. P. 125-133.

32. Третий конгресс по логике, методологии и философии науки
Наyчно-техническая информация. М., 1969b. Сер. 2. (Соавт: И. А. Акчурин, Ю. А. Ершов, В. Н. Садовский.)

33. Так называемые парадоксы материальной импликации и логические системы с понятием сильного вывода
Исследования логических систем. М., 1970а. С. 122-136.

34. Силлогистика без закона исключенного третьего и ее погружение в исчисление предикатов
Исследование логических систем. М., 1970b. С. 68-77.

35. Levels of knowledge and stages in the process of knowledge
Problems of the Logic of Scientific Кnowledge. Dordrecht, 1970с.

36. Elimination des termes dans lа logique intuitionniste
Revue internationale de philosophie. Bruxelles, 1971а. An. 25. № 98. Fasc. 4. Р. 512-519.

37. Оп decidability of decision рroblem for sequential calculus of predicates without contractions
Abstracts. IV International Congress for Logic, Methodology and Philosophy of Science. Bucharest, 1971b.

38. Силлогистика без исчисления высказываний в секвенциальной форме
Филос. науки. 1972а. № 3. С. 115-116.

39. Формальный вывод и логические исчисления. М., 1972b. 271 с.

40. Рец. на кн.: Серебрянников О. Ф. Эвристические принципы и логические исчисления. М., 1970
Вопросы философии. 1972с. № 3. С. 176-178.

41. К вопросу о взаимоотношении символической логики и философии
Проблемы логики, методологии и философии науки. Ереван, 1972d.

42. IV Международный конгресс по логике, методологии и философии науки
Вопросы философии. 1972е. № 2. С. 148-154. (Соавт.: И. А. Акчурин, А. Г. Драгалин, В. И. Кураев, И. К. Лисеев.)

43. Quelques notes un sujet de l'article de В. Jen, J. С. Demaille et J. L. Duhamean
Revue internationale de philosophie. 1972f. № 98. An. 25. Fasc. 4. Р. 596-601. (Соавт.: Б. М. Кедров, П. В. Копнин, В. Н. Садовский.)

44. Теорема об устранимости сечения для абсолютного исчисления предикатов Генцена без утончений
Логика и методология науки. К XV Всемирному конгрессу философов. М., 1973а. С. 23-25.

45. Проблема эмпирического и теоретического знания в теории познания и методологии
Методологические основы теории научного знания. Свердловск, 1973b.

46. An absolute first order predicate calculus
Bulletin of the Section of Logic. 1973с. Vоl. 3. Р. 38-45.

47. О взаимоотношении символической логики и философии
Философия в современном мире. Философия и логика. М., 1974а. С. 5-35. (Соавт.: П. В. Таванец.)

48. Представление логических систем с сильной и релевантной импликациями в секвенциальной форме
Теория логического вывода. Тезисы докладов Всесоюзного симпозиума. М., 1974b. Ч. II. С. 152-162.

49. К вопросу об определимости предикатов, вводимых двусторонними редукционными предложениями
Философия в современном мире. Философия и логика. М., 1974с. С. 165-167.

50. Предисловие к сб. Проблемы логики и методологии науки. М.: ИНИОН, 1974d.

51. Рец. на кн.: Философия, наука, методология, М., 1972
Филос. науки. 1974е. № 3. С. 154-156.

52. Вступительная статья к кн.: Инголлс Д. Г. Х. Введение в индийскую логику навья-ньяя. М., 1974f. С. 3-6.

53. А new form of the Deduction Theorem for Р, Е and R
Conf. Paper 5 Int. Congr. of Logic, Methodology and Philosophy of Science. London, Canada, 1975а. Part I. Р. 49-50.

Наверх