| http://www.w3.org/ns/prov#value | - The German mathematician, logician and philosopher Gottlob Frege (1848-1925) initiated a research program in the philosophy. of language concerned with such problems as sense and reference, the failure of substitution of co-referential terms in various 'intensional' contexts (for example, it, may be true that S believes that a is F and true that a= b, although S fails to believe that b is F), and
|