A FORMALIZATION OF VIEWPOINTS

1 January 1995

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 23 (2,3,4) , 149-173
https://doi.org/10.3233/fi-1995-232341

Abstract

We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomati

Keywords

OWN METALANGUAGE
SEMANTIC ACCOUNT
ABSOLUTE TRUTH
RELATIVISED TRUTH
SELF REFERENTIAL THEORY
REIFIED META-LEVEL SENTENCE
CONTEXTUAL ENTAILMENT
ORDER PREDICATE CALCULUS
PROOF THEORY
PROPER REFLECTION RULE
FIRST ORDER

This publication has 0 references indexed in Scilit: