A categorystructure of artificiallanguages


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.

About the authors

V A Filippovsky

Email: ssau@ssau.ru

References

  1. Моррис Ч.У. Основаниятеории знаков. // Семиотика: Антология / Сост. Ю.С. Степанов. Изд. 2-е, испр. и доп. - М.: Академический Проект; Екатеринбург: Деловая книга, 2001, С.45-97.
  2. Логика и компьютер. Моделирование рассуждений ипроверка правильности программ. - М.: 1990.
  3. Скрипник К.Д. Философия. Логика. Диалог. - Ростов н/Д.: Изд-воРост. Ун-та, 1996.
  4. 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.
  5. Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.144.
  6. Смирнова Е. Д. Роль формализованных языков впознавательной деятельности (Г. Фреге, А. Тарский)[Электронный ресурс]. - Режим жоступа: http://logic.ru/ru/node/608.
  7. Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.143.
  8. Смирнов В. А. Логические методы анализа научногознания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.:Эдиториал УРСС, 2002. - С.143.
  9. Кюнг Г. Онтология и логический анализ языка. Философия в XX веке: Швейцария. Перевод с нем. и англ. Никифорова А.Л. - М.: Дом интеллектуальной книги, 1999.
  10. Goodman N., Quine W.V. Steps toward a constructivenominalism. // Journal of Symbolic Logic, 12 (1947): P. 105-122.
  11. Гудмен Н., Куайн У.О. На пути к конструктивному номинализму. // Гудмен Н. Способы создания миров. М.: Идея-Пресс, Логос, Праксис, 2001, С. 289-317.
  12. Фреге Г. О смысле и значении. // Фреге Г. Логика и логическая семантика: Сборник трудов / Пер. с нем. Б.В. Бирюкова под ред. З.А. Кузичевой: учебное пособие для студентов вузов. - М.: Аспект Пресс, 2000, С. 230-246.
  13. Смирнов В.А. Логические методы анализа научного знания. / Под ред. В. Н. Садовского и В. А. Бочарова. - М.: Эдиториал УРСС, 2002, С.70-77.
  14. Кроче Б. Эстетика как наука о выражении и как общая лингвистика / Пер. Яковенко В., Ред. и авт. предисл. Махов А.Е. - М.: Интрада, 2000, С. 19, 66.
  15. Смирнов В.А. Логические методы анализа научного знания. / Под ред. В.Н. Садовского иВ.А. Бочарова. - М.: Эдиториал УРСС, 2002, С. 51].)

Copyright (c) 2010 Filippovsky V.A.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies