A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

The word 'philosophy' as well as the conjuring expression 'Indian philosophy' has meant different things to different people-endeavours and activities, old and new, grave and frivolous, edifying and banal, esoteric and exoteric. In this book, the author has chosen deliberately a very dominant trend of the classical (Sanskrit) philosophical literature as his subject of study. The age of the material used here demands both philological scholarship and philosophical amplification. Classical pramanasastras usually deal with the theory of knowledge, the nature of (...) inference and language, and the related questions of ontology and semantics. Several important concepts and theories have been singled out for critical analysis and clarification in modern terms so that the results may be intelligible to modern students of both Sanskrit and philosophy. It is hoped that such an attempt will kindle the enthusiasm of young scholars in the field and inspire them to proceed in this comparatively new area of research and explore further and more interesting possibilities. (shrink)

Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the result provides (...) a natural semantics for distributed logic programs, including those involving confidence factors. The classical two-valued and the Kripke/Kleene three-valued semantics become special cases, since the logics involved are natural sublogics of Belnap’s logic, the logic given by the simplest bilattice. (shrink)