Email this article A categorystructure of artificiallanguages
- Authors: Filippovsky VA1
-
Affiliations:
- Issue: Vol 10, No 1-2 (2010)
- Pages: 97-101
- Section: Articles
- URL: https://aspvestnik.ru/2410-3764/article/view/24997
- DOI: https://doi.org/10.17816/2072-2354.2010.0.1-2.97-101
- ID: 24997
Cite item
Full Text
Abstract
Сonstructed formalized languages are to have a morphism from a logical form of these
languages and grammatical form of them. Moreover, formalized languages are very utile
for investigating relations between a grammar and ontology. The author of paper pursues
a pur-pose to investigate scrupulously a relations on the one hand between a structure of
formalized languages and logical forms (a thoughts forms) that are expressi-ble by these
languages; on the other, - between the last both and an underlain ontology. In accordance
with these relations three questions are analyzed in the paper: 1) what kinds of objects a
language forces us to see?; 2) what kinds of objects a language forces us to accept?; and 3) what
ontological assumptions a language forces us to make? In order to answer the first question
it is needed to turn to categorical structure of formalized languages.
languages and grammatical form of them. Moreover, formalized languages are very utile
for investigating relations between a grammar and ontology. The author of paper pursues
a pur-pose to investigate scrupulously a relations on the one hand between a structure of
formalized languages and logical forms (a thoughts forms) that are expressi-ble by these
languages; on the other, - between the last both and an underlain ontology. In accordance
with these relations three questions are analyzed in the paper: 1) what kinds of objects a
language forces us to see?; 2) what kinds of objects a language forces us to accept?; and 3) what
ontological assumptions a language forces us to make? In order to answer the first question
it is needed to turn to categorical structure of formalized languages.
References
- Моррис Ч.У. Основаниятеории знаков. // Семиотика: Антология / Сост. Ю.С. Степанов. Изд. 2-е, испр. и доп. - М.: Академический Проект; Екатеринбург: Деловая книга, 2001, С.45-97.
- Логика и компьютер. Моделирование рассуждений ипроверка правильности программ. - М.: 1990.
- Скрипник К.Д. Философия. Логика. Диалог. - Ростов н/Д.: Изд-воРост. Ун-та, 1996.
- Church A. The need for abstract entities in semanticalanalysis. // American Academy of Arts and SciencesProceedings, № 80, pp. 100-112. URL: http: //www.ditext.com/church/nae.html.
- Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.144.
- Смирнова Е. Д. Роль формализованных языков впознавательной деятельности (Г. Фреге, А. Тарский)[Электронный ресурс]. - Режим жоступа: http://logic.ru/ru/node/608.
- Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.143.
- Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.143.
- Кюнг Г. Онтология и логический анализ языка. Философия в XX веке: Швейцария. Перевод с нем. и англ. Никифорова А.Л. - М.: Дом интеллектуальной книги, 1999.
- Goodman N., Quine W.V. Steps toward a constructivenominalism. // Journal of Symbolic Logic, 12 (1947): P. 105-122.
- Гудмен Н., Куайн У.О. На пути к конструктивному номинализму. // Гудмен Н. Способы создания миров. М.: Идея-Пресс, Логос, Праксис, 2001, С. 289-317.
- Фреге Г. О смысле и значении. // Фреге Г. Логика и логическая семантика: Сборник трудов / Пер. с нем. Б.В. Бирюкова под ред. З.А. Кузичевой: учебное пособие для студентов вузов. - М.: Аспект Пресс, 2000, С. 230-246.
- Смирнов В.А. Логические методы анализа научного знания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.: Эдиториал УРСС, 2002, С.70-77.
- Кроче Б. Эстетика как наука о выражении и как общая лингвистика / Пер. Яковенко В., Ред. и авт. предисл. Махов А.Е. - М.: Интрада, 2000, С. 19, 66.
- Смирнов В.А. Логические методы анализа научного знания. / Под ред. В.Н. Садовского иВ.А. Бочарова. - М.: Эдиториал УРСС, 2002, С. 51].)
Supplementary files
