CC BY
38
Избранная библиография научных трудов В.А.Смирнова по методике науки
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. (Соавт.: В.И.Маркин, А.Е.Новодворский и А.В.Смирнов).
