In this article, the authors examine freedom of a person as subject law, comparing it with an individual, which is regulated by moral imperatives. They analyze various components personality structure – volitional, rational and valuable. The relationship between concepts “freedom” “right” highlighted, connection legal responsibility traced. role individual awareness in ensuring human determined...

Research in government social media practices highlights expectations of co-creation and progression mirrored in maturity models, but research also documents low deployment degree and thereby points to a discrepancy. The paper suggests that the authors instead of co-creation and progression draw on a dialectical approach and understand the development of government social media practices as a w...

Dialetheism is the view according to which some contradictions (i.e., statements of the form, A and not-A) are true. In this paper, I discuss three strategies to block dialetheism: (i) Contradictions cannot be true because some theories of truth preclude them from emerging. (ii) Contradictions cannot be true because we cannot see what it is like to perceive them. Although that does not undercut...

Rigorous luminosity function determination in presence of a background: theory and application to two intermediate redshift clusters ⋆ ABSTRACT In this paper we present a rigorous derivation of the luminosity function (LF) in presence of a background. Our approach is free from the logical contradictions of assigning negative values to positively defined quantities and avoid the use of incorrect...

Bell inequalities play a central rôle in the study of quantum non-locality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality whic...

From its beginnings, OCL is based on a strict semantics for undefinedness, with the exception of the logical connectives of type Boolean that constitute a three-valued propositional logic. Recent versions of the OCL standard added a second exception element, which, similar to the null references in object-oriented programming languages, is given a non-strict semantics. Unfortunately, this exten...

Gender differences in coronary bypass surgery have been the focus of numerous publications in recent years. Unfortunately these publications have contradictions that leave surgeons with conflicting recommendations for care. To help resolve these inconsistencies, The Society of Thoracic Surgeons (STS) Workforce on Evidence-Based Surgery has carried out an objective review of published informatio...

In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was sufficient to make full logical deduction undecidable, he also proposed an alternative reasoning scheme with desirable logical properties. He also claimed (without proof) that this reasoning could be implemented efficiently usi...

This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphism. This operation is sound and complete with respect to logical deduction. Hence, it is possible to do logical reasoning without using the language of logic but only graphical, thus visual, notions. This paper present...

This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphism. This operation is sound and complete with respect to logical deduction. Hence, it is possible to do logical reasoning without using the language of logic but only graphical, thus visual, notions. This paper present...