Избранная библиография научных трудов В. А. Смирнова по методике науки Текст научной статьи по специальности «Философия, этика, религиоведение»

Избранная библиография научных трудов В.А.Смирнова по методике науки

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

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

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

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

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

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

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

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

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

10. Модели языка и модели мира // Проблемы логики научного познания. М., 1965. С. 10-15.

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

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

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

14. Levels of Knowledge and Stages in the Process of Knowledge // Problems of the Logic of Scientific Knowledge. Dordrecht, 1970.

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

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

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

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

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

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

21. Логические системы с модальными временными операторами // Модальные и временные логики. Материалы II советско-финского коллоквиума. М., 1979. С. 89-98.

22. Новое определение модальных операторов через временные // Там же. 1979. С. 99-104.

23. Logical systems with modal temporal operators // Proceedings of the VI International Congress. Hannover, 1979.

24. О логических отношениях между теориями // Идеалы и нормы научного исследования. Минск, 1981. С. 341-360.

25. Современные семантические исследования модальных и интенсиональных логик // Семантика модальных и интенсиональных логик. М., 1981. С. 5-27.

26. Значение аксиоматизации научных теорий для разработки методологии науки // Диалектика в науках о природе и человеке. Т 1. М., 1981. С. 333-336.

27. Временные логики с нестандартными условиями сопряженности будущего и прошлого // Модальные и интенсиональные логики. Материалы к VIII Всесоюзной конференции Логика и методология науки. (Вильнюс, 1982). М., 1982. С. 100-104.

28. The Definition of Modal Operators by Means ofTense Operators // Intensional Logic: Theory and Applications. Acta Philosophica Fennica. 1982. P. 50-69.

29. Логические методы сравнения научных теорий // Вопр. философии. 1983. № 6. С. 80-90.

30. Tense logics with nonstandard interconnections between past and future // VII Intern. Congr. of Logic, Methodology and Philosophy of Science. Abstracts of sections 5 and 12. Vol.11. Salzburg, 1983. P. 164-168.

31. Значение аксиоматизации научных теорий для разработки методологии науки // Диалектика в науках о природе и человеке (Труды 3-го Всесоюз. совещ. по филос. вопр. естествознания. Т.1). M., 1983.

32. Определение модальных операторов через временные // Mодaльные и интенсиональные логики и их применение к проблемам методологии науки. M., 1984. С. 14-31.

33. Логические системы с модальными временными операторами // Там же. 1984. С. 49-58.

34. Символическая логика и теория познания // Философия и социология науки и техники. M.,1985. С. 45-60.

35. Утверждение и предикация. Логика высказываний и логика событий // Нестандартные семантики неклассических логик. M., 1986. С. 36-45.

36. Творчество, открытие и логические методы поиска доказательства // Природа научного открытия. M., 1986. С. 101-114.

37. Вклад Г.Х. фон Вригта в логику и философию науки // ВригтГ.Х. фон. Логико-философские исследования. M., 1986. С. 7-26.

38. Значение метода логической реконструкции для истории логики и философии // Философские проблемы истории логики и методологии науки. Ч. 1. M., 1986. C. 109-112.

39. Утверждение и предикация. Комбинированные исчисления высказываний и ситуаций // Логика и системные методы анализа научного знания. M., 1986. С. 160-162.

40. Logical Relation between Theories // Synthese. Dordrecht. 1986. Vol. 66, № 1. P. 71-87.

41. Modality de re and Vasiliev's imaginary logics // Logique et Analyse. 1986. № 114.

42. Логические методы анализа научного знания. M., 1987. 256 с.

43. Предложение, суждение, пропозиция // Тез. конф. по пропозициональным установкам. M., 1987.

44. Логический анализ научных теорий и отношений между ними // Логика научного познания: актуальные проблемы. M., 1987. С. 118-139.

45. Актуальное философское исследование // Философия и социология науки и техники. M., 1987. С. 285-290.

46. За профессионализм философии // Вопр. философии. 1987. № 12. С. 47-49.

47. Epistemology and Symbolic Logic. Science as a subject of Study //Social Sciences Today. М., 1987. P. 41-56.

48. Logical Ideas of N.A.Vasiliev and Modern Logic // Ibid. Vol. 5. M., 1987. P. 86-89.

49. Задачи исследования языка и аналитическая философия // Вопр. философии. 1988. № 8. С. 57-59.

50. Диалектика точного и неточного в современном научном познании // Там же. 1988. № 12. С. 24-27.

51. Statement and Predication. A combined Calculus of Sentences and Events // Intensional Logic, History of Philosophy and Methodology. Budapest, 1988. P. 101-108.

52. Internal and external logic // Bulletin of the Section of Logic. Vol. 17, № 3/4. 1988. P. 170-181.

53. Значение метода логической реконструкции для истории логики и философии // Методологические и мировоззренческие проблемы истории философии. М., 1988. С. 272-279.

54. Комбинирование исчислений предложений и событий и логика истины фон Вригта // Исследования по неклассическим логикам. М., 1989. С. 16-29.

55. Утверждение и предикация. Комбинирование исчисления высказываний и событий // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. С. 27-35.

56. Предисловие // ВасильевН.А. Воображаемая логика. М., 1989. С. 5-11.

57. Логические идеи Н.А.Васильева и современная логика // Там же. 1989. С. 229-259.

58. Творчество, открытие и логические методы доказательств // Философская и социологическая мысль. Киев, 1989. № 3.

59. И.Кант и современная логика // Кантовский сборник. Вып. 14. Калининград, 1989. С. 51-58.

60. The logical ideas of N.Vasiliev and modern logic // Logic, Methodology and Science. VIII. Amsterdam, N. Y, 1989. P. 625-640.

61. Право, свобода, демократия // Вопр. философии. 1990. № 6. С. 19-21.

62. О перспективах анализа учения И.Канта о праве и морали средствами современной логики // Кантовский сборник. Вып. 15. Калининград, 1990. С. 68-73.

63. Логика и компьютер. М., 1990. (Соавт.: А.М.Анисов, П.И.Быстров и др.)

64. Проблема истинности в логической семантике // Теория познания. Т 2. М., 1991. С. 402-423. (Соавт.: Е.Д.Смирнова.)

65. Рец. на кн.: Мамардашвили М.К. Философия сознания // Коммунист. 1991. № 8. С. 66-76.

66. Памяти О.Ф.Серебрянникова // Вопр. философии. 1992. № 10.

67. Рец. на кн.: Ракитов А.И. Философия компьютерной революции // Вопр. философии. 1993. № 1. С. 183-185.

68. К.Поппер прав: диалектическая логика невозможна // Вопр. философии. 1995. № 1. С. 148-151.

69. Об Асмусе вспоминают: (К 100-летию со дня рождения) // Там же. 1995. № 1. С. 31-35.

70. Доказательство и его поиск // Логика и компьютер. Вып. 3. М., 1996. (Соавт.: В.И.Маркин, А.Е.Новодворский и А.В.Смирнов).