ЛИТЕРАТУРА
[Смирнов 1987] Смирнов В А. Логические методы анализа научного знания. М.: Наука, 1987.
[Твардовский 1997] Твардовский К. Логико-философские и психологические исследования. М: РОССПЭН. 1997.
[Cocchiarella 1974] CocchiarellaN. Formal Ontology and the Foundations of Mathematic // Bertran Russell Philosophy / G Nakhikian (ed.). Duckworth, London 1974. pp. 29-46.
[Degen et al 2001] Degen W., Heller B., Herre H, Smith B. GOL: A General Ontological Language // http://www.ontology.uni-leipzig.de[Gangemi et al 2001]GangemiA., Guarino N.,MasoloC.,OtramariA. Understanding Top-level Ontological Distinctions // Technical Report 04/2001, LADSEB-CNR.
[Genesereth Fikes 1992] Genesereth V.R, FikesR.E. Knowledge Interchange Format, Version 3.0, Reference Manual. Logic Group Report Logic-92-1, Computer Science Department, Stanford University.
[Guarino 98] Guarino N. Formal Ontology and Information Systems // Ajhvfl Ontology in Information Systems. Proceedings of FOIS»98, Trento. Italy / N. Guarino (ed.), Amsterdam, IOS-Press.
[Perzanowski 1994] Perzanowski J. Ontologic // Logic and Logical Philosophy. No 2. 1994. P.4.
[Poli 1992] PoliR. OntologiaFormale. Genova Marieth. 1992.
[Russell Norvig 19951 RussellS., NorvigP. Artificial Intelligence. Prentice Hall. 1995.
[Simons 1982] Simons P.B. The Formalization of Husserbs Theory of Wholes and Parts // Parts and Moments. Studies in Logic and Formal Ontology/В. Smith (ed), Munich: Philosophia, 1982. P. 113-159.
[Smith Mulligan 1983] Smith B. and Mulligan K. Framework for Formal Ontology // Topoi, v.2.1983. P. 73-85.
[Sowa2000] SowaJ. //http://bestweb.net/sowa/ontology/toplevel.htm.
|Staehniak 1981] StachniakZ. Introduction to model theory forLcsnicwski»s Ontology. Wroclaw, 1981. [SU02001] http://suo.iee.org.
С.А. Павлов
С.А. Павле»
Обработка информации компьютерными системами включает в себя преобразования и различные операции с символьными выражениями языка. Целью этой работы является обсуждение языка логики, которая допускает логические операции в области символьных выражений языка. Символьным выражением некоторого языка L называется любая конечная линейная последовательность (упорядоченная и-ка) символов из алфавита этого языка L. Синонимом символьного выражения являются слово, выражение или строка в алфавите [5]. Отметим, что в языках программирования имеется несколько типов переменных: числовые, логические (булевы), строковые и др.
Обычно понятия истинности и ложности применяют к высказываниям и предложениям. А.Тарский пишет об этом так: «Предикат «истинно» ... относят к определенным физическим объектам - языковым выражениям, в частности, к предложениям» [6]. В то же время имеются трудности, связанные с определением того, что есть высказывание и предложение. А.Тарский пишет об этом: «Мы не знаем в точности, какие выражения являются предложениями» [6]. Там же А.Тарский говорит о новых возможностях: «тот факт, что нас прежде всего интересует понятие истины для предложений, не исключает возможности последующего расширения сферы применимости этого понятия на другие виды объектов».
У Г.Фреге в его статье «Функция и понятие» [7] имеется пример такого расширения. «Теперь можно рассмотреть некоторые функции, которые для нас важны именно тогда, когда их аргументом является истинностное значение». В качестве такой функции он вводит функцию, изображаемую в виде горизонтальной черты, —х, устанавливая, что «значением этой функции должна быть истина, когда в качестве аргумента берется истина, во всех же остальных случаях ее значение есть ложь - стало быть и тогда, когда он вообще не является значением истинности. В соответствии с этим, например,
— 1+3 = 4,
есть истина, тогда как —1+3 = 5, есть ложь, так же как —4» (см. [7]).
Выражение «4» не есть предложение, в отличие от предыдущих аргументов функции, но, тем не менее, Г.Фреге не затрудняется определить значение функции—х с таким аргументом.
Подобными свойствами в языке трехзначной логики Бочвара [2] обладает оператор внешнего утверждения «верно», а именно: формула «х верно» принимает значение «истина», если вместо х подставляется высказывание, имеющее значение «истина», формула «х верно» принимает значение «ложь», если вместо х подставляется высказывание, имеющее значение «ложь», и, наконец, формула «х верно» принимает значение «ложь», если вместо х подставляется высказывание, имеющее значение «бессмыслица», то есть ни истинное, ни ложное высказывание.