Категориальнаяструктура искусственныхязыков



Цитировать

Полный текст

Аннотация

При построении искусственных языков логики стремятся соблюсти специальное
требование, чтобы имелось однозначное соответствие между логической и грамматической формами конструируемых языков. В дополнение к этому на примерах искусственных языков проще всего изучать соотношение между грамматикой и онтологией.
Автор настоящей работы ставит своей целью детально изучить соотношения, с одной
стороны, между структурой искусственных языков и логическими формами (форма-
ми мышления), которые выразимы с их помощью, с другой, - между последними и подлежащей онтологией. В работе подвергнуты анализу три вопроса, касающиеся этих
соотношений: 1) какого рода объекты вынуждает нас видеть язык?; 2) какого рода объекты вынуждает принять язык?; и 3) какие онтологические допущения обязывает делать данный язык? Для решения первого вопроса привлекается разбор категориальной
структуры искусственных языков.

Об авторах

Виталий Александрович Филипповский

Самарский государственный аэрокосмический университет

Email: ssau@ssau.ru
очный аспирант кафедры философии; Самарский государственный аэрокосмический университет

Список литературы

  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].)

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© Филипповский В.А., 2010

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.