before discussing important issues regarding crime policy in islam and islamic republic of iran, it is better to introduce the basis and objective of law in general, and islamic law in particular.  in fact, without learning about and researching on important issues in the field, discussing crime policy in islam and islamic republic of iran is no more than just plunging in religious injunctions ...

This study examines changes in bereaved parents' identities following the death of a child. The bereaved parents in this study experienced two dialectical contradictions of identity, which are: (a) a parent without a child to parent and (b) I'm an outsider-I'm an insider. Results describe how parents used communication to negotiate these contradictions of identity. Implications for the study of...

A powerful syntactic theory as well as expressive modal logics have to deal with self-referentiality. Self-referentiality and paradoxes seem to be close neighbours and depending on the logical system, they have devastating consequences, since they introduce contradictions and trivialise the logical system. There is a large amount of diierent attempts to tackle these problems. Some of them are c...

Due to modeling errors in designing ontologies, an ontology may carry incorrect information. Ontology debugging can be helpful in detecting errors in ontologies that are increasing in size and expressiveness day by day. While current ontology debugging methods can detect logical errors (incoherences and inconsistencies), they are incapable of detecting hidden modeling errors in coherent and con...

The current paper details a restricted semantics for active logic, a time-sensitive, contradictiontolerant logical reasoning formalism. Central to active logic are special rules controlling the inheritance of beliefs in general, and beliefs about the current time in particular, very tight controls on what can be derived from direct contradictions (P&¬P ), and mechanisms allowing an agent to rep...

The twin paradox has played an important role in the history of special relativity (SR). A precise calculation would require application general theory (GR) but, neglecting acceleration phases traveling twin, even SR it is possible to find correct solution without logical contradictions. Nowadays well known that thought experiment seems a as consequence naive time dilation and principle relativ...

Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for representing and reasoning with uncertainty in the semantic web. Defining semantics for probability logics presents a dilemma: a logic that assigns a real-valued probability to any first-order sentence cannot be axiomatized a...

The traditional consideration of architectural history as a linear process, where one style successively replaces another, still dominates, but does not explain many phenomena. V.S. Goryunov substantiated fundamentally different, non-linear model the historical process in architecture on basis 19th – early 20th centuries. V. S. and M. P. Tubli proposed stylistic polyphony with introduction conc...