A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...) models, can be effectively reduced from arbitrary formulas to Krom formulas of these several prefix types. (shrink)
Realism and metaphysics.--Ultimates and a way of looking.--Religion and the paranormal.--Quinton, A., Lewis, H. D., Williams, B. Life after death.--Lewis, H. D., Flew, A. Survival.--Shoemaker, S., Lewis, H. D. Immortality and dualism.--The belief in life after death.--The person of Christ.
Bhattacharyya, K. The Advaita concept of subjectivity.--Deutsch, E. Reflections on some aspects of the theory of rasa.--Nakamura, H. The dawn of modern thought in the East.--Organ, T. Causality, Indian and Greek.--Chatterjee, M. On types of classification.--Lacombe, O. Transcendental imagination.--Bahm, A. J. Standards for comparative philosophy.--Herring, H. Appearance, its significance and meaning in the history of philosophy.--Chang Chung-yuan. Pre-rational harmony in Heidegger's essential thinking and Chʼan thought.--Staal, J. F. Making sense of the Buddhist tetralemma.--Enomiya-Lassalle, H. M. The mysticism of Carl Albrecht (...) and Zen.--Parrinder, G. The nature of mysticism.--Cairns, G. E. Axiological contributions of East and West to the spiritual development of mankind.--Mayeda, S. Śaṇkara's view of ethics.--Mercier, A. On peace.--Barlingay, S. S. A discussion of some aspects of Gaudapāda's philosophy. (shrink)