1. Genuine worlds, ersatz worlds David Lewis has argued that impossible worlds are nonsense. 1 If there were such worlds, one would have to distinguish between the truths about their contradictory goings-on and contradictory falsehoods about them. One would have to distinguish between, say, the alleged truth (1a) In so-and-so world pigs can fly; and in that world pigs also cannot fly, and the c...

With the example of 229Th nucleus, which is most likely candidate for creation frequency standard a future, dynamics interplay and relationship various resonance conversion mechanisms analyzed. As result, solution proposed so-called thorium puzzle, consisted contradiction between experimental theoretical lifetimes Th+ ions. First, demonstrates dependence lifetime nuclear isomer on ambient condi...

Some aspects of the result of applying unit resolution on a cnf formula can be formalized as functions with domain a set of partial truth assignments. We are interested in two ways for computing such functions, depending on whether the result is the production of the empty clause or the assignment of a variable with a given truth value. We show that these two models can compute the same functio...

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”— making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to ex...

Consideration of the growing phenomenon converts to Islam in Britain is emerging at moment when are entering popular imagination through dominant negative tropes threat and betrayal. In this context, religious aspect conversion feared, diminished, contained or ignored. Given emphasis on either change continuity, these identities conceptualised as hybrid multiple identities, with little understa...

The scenario semantics of extended logic programs builds upon simple primitive notions and has been shown to encompass many important logic program semantics. Here we introduce into the scenario semantics paradigm a general exible notion of optative acceptance of acceptable hypotheses, and proceed to illustrate its application to fault diagnosis, taxonomic reasoning, and declarative logic progr...