Authors: Seiki Akama
Addresses: C-Republic Inc., 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi 215-0012, Japan
Abstract: We formalise the notion of negative facts due to Russell in terms of the logic of constructible falsity. We generalise Fraassen|s theory of facts so that we can deal with a positive fact as a true proposition and a negative fact as a false proposition in a constructive manner. We provide some adequacy results for the revised van Fraassen semantics with respect to several versions of Kripke semantics for constructible falsity.
Keywords: theory of facts; negative facts; constructible falsity; Kripke semantics; logic; van Fraassen semantics.
International Journal of Reasoning-based Intelligent Systems, 2009 Vol.1 No.1/2, pp.85 - 91
Published online: 24 Jun 2009 *Full-text access for editors Access for subscribers Purchase this article Comment on this article