От логики формальной до логики символической
Автор: Алябьева В.Г.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: История физико-математических наук
Статья в выпуске: 2 (37), 2017 года.
Бесплатный доступ
Представлен краткий исторический обзор становления символической логики от логики Аристотеля до современной математической логики.
Формальная логика, аристотель, г. лейбниц, дж. буль, г. фреге, символическая логика, исчисление, многозначная логика, я. лукасевич, л. заде, алгоритм
Короткий адрес: https://sciup.org/14730110
IDR: 14730110 | DOI: 10.17072/1993-0550-2017-2-69-76
Список литературы От логики формальной до логики символической
- Аристотель Аналитики: Первая и Вторая. ГИПЛ. 1952.
- Бурбаки Н. Очерки по истории математики/пер. с франц. М.: ИЛ, 1963. 292 с.
- Винер Н. Кибернетика или управление и связь в живом и машине. 2-е изд. М.: Наука, 1983. 344 с.
- Воленьский Я. Львовско-Варшавская философская школа/пер. с польск. М.: РОС-СПЭН, 2004. 472 с.
- Марков А.А. Теория алгорифмов//Тр. МИ-АН, 1951. Т. 38. С. 176-189.
- Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989. 184 с.
- Стяжкин Н.И. Формирование математической логики. М.: Наука, 1967. 598 с.
- Bell E.T. The Search for Truth. Baltimore: Williams & Wilkins Company.1934. 279 p. (Reprint 1935, 1946).
- Boole G. The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge: Barclay, & Macmillan, 1847. Reprinted in Oxford by Basil Blackwell, 1951.
- Boole G. An Investigation of The Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. London: Macmillan, 1854. Reprint by Dover, 1958.
- Church A. An Unsolvable Problem of Elementary Number Theory/American Journal of Mathematics. 1936, 58. P. 345-363.
- Frege G. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Verlag von Louis Nebert, 1879. 88 s.
- Georg A., Heck R. Jr. Gottlob Frege (1848-1925)/in E.Craig (ed), Routledge Encyclopedia of Philosophy, London, 1998. Vol. 3. P. 765-778.
- Leibniz G.W. Fragmente zur Logik. Berlin, 1960. В. Г. Алябьева
- Łukasiewicz J. O logice trójwartosciowey//Ruch Filozoficzny. 1920. Vol. 5. 170-171. (English translation: Łukasiewicz J. Selected works. PWN. Warszawa, 1970. P. 87-88.)
- Łukasiewicz J. Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkul//Comptes rendus des seances de la Societe des Sciences et de Lettres de Varsovie. Classe III. 1930. XXIII-z. 1-3. S. 51-77.
- Post E.L. Finite Combinatory Processes. Formulation I//Journal of Symbolic Logic, 1 1936, 1. P. 103-105/русс. пер. Э.Л. Пост. Финитные комбинаторные процессы/Машина Поста/В.А. Успенский. М.: Наука, 1988. С. 83-96.
- Turing A.M. On computable numbers, with an application to the Entscheidungsproblem//Proceedings of London Mathematical Society. 1936. Vol. 42, № 2. P. 230-265.
- Weiner J. Frege: Past Masters. Oxford, 1999.
- Zadeh L. A. Fuzzy sets//Information and Control. 1965. Vol. 8. P. 338-353.
- Zadeh L. A. Fuzzy logic and its application to approximate reasoning. (In: Information Processing 74: Proceedings of the IFIP Congress. 1974. Stockholm, Sweden, Aug. 5-10, 1974 (3). P. 591-594. North-Holland, 1974.
Статья научная
