Институт Философии
Российской Академии Наук




  Избранная библиография научных трудов В.А.Смирнова по методологии науки
Главная страница » » Философия науки. Вып. 4 . М.: ИФ РАН, 1998. » Избранная библиография научных трудов В.А.Смирнова по методологии науки

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

 
Избранная библиография научных трудов
В.А.Смирнова по методике науки
 
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 of Tense Operators // Intensional Logic: Theory and Applications. Acta Philosophica Fennica. 1982. P. 50–69.
29. Логические методы сравнения научных теорий // Вопр. философии. 1983. № 6. С. 80-90.
Избранная библиография научных трудов В.А.Смирнова 243
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). М., 1983.
32. Определение модальных операторов через временные // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984. С. 14–31.
33. Логические системы с модальными временными операторами // Там же. 1984. С. 49–58.
34. Символическая логика и теория познания // Философия и социология науки и техники. М.,1985. С. 45–60.
35. Утверждение и предикация. Логика высказываний и логика событий // Нестандартные семантики неклассических логик. М., 1986. С. 36–45.
36. Творчество, открытие и логические методы поиска доказательства // Природа научного открытия. М., 1986. С. 101–114.
37. Вклад Г.Х. фон Вригта в логику и философию науки // Вригт Г.Х. фон. Логико-философские исследования. М., 1986. С. 7–26.
38. Значение метода логической реконструкции для истории логики и философии // Философские проблемы истории логики и методологии науки. Ч. 1. М., 1986. C. 109–112.
39. Утверждение и предикация. Комбинированные исчисления высказываний и ситуаций // Логика и системные методы анализа научного знания. М., 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. Логические методы анализа научного знания. М., 1987. 256 с.
43. Предложение, суждение, пропозиция // Тез. конф. по пропозициональным установкам. М., 1987.
44. Логический анализ научных теорий и отношений между ними // Логика научного познания: актуальные проблемы. М., 1987. С. 118–139.
45. Актуальное философское исследование // Философия и социология науки и техники. М., 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. (Со-авт.: В.И.Маркин, А.Е.Новодворский и А.В.Смирнов).