The phrase "assertion of logical" is not correct as it is incomplete and lacks clarity.
It could be used in contexts discussing logical reasoning or arguments, but it needs to be part of a more complete phrase to convey a clear meaning.
Example: "The assertion of logical consistency is crucial in mathematical proofs."
Alternatives: "claim of logic" or "statement of reasoning".
Ontology reasoning finds a relevant application in the so-called ontology-based data access, where a classical extensional database (EDB) is enhanced by an ontology, in the form of logical assertions, that generates new intensional knowledge which contributes to answering queries.
A classic instance of this is the assertion, to become a cornerstone of logical empiricism, that relativity theory had shown the untenability of any "philosophy of the synthetic a priori", despite the fact that early works on relativity theory by both Reichenbach and Carnap were written from within that broad perspective.
It's a type of logical fallacy where a statement refers to its own assertion to prove the assertion.
By Algorithm 4, the complexity of the loop for all (lines 8 18) takes into account the complexity of logical consequence of an assertion axiom in (mathcal {PR_{textit {ALC}}}) and the computation of the dissimilarity matrix DIS.
Now, says Quine, when a translation suggests that a speaker is making use of another notion of logical consequence between the assertions he makes, Occam's razor (in the form of the Charity Principle) tells us that it is more parsimonious to consider that our translation of what the speaker says is incorrect, rather than the speaker making use of another logic.
'Every novel is a logical argument - an assertion of the author's sense of what life is, embodied in characters, plots and images......
This goes as far back as the 1940s, with the recourse to game theory in "Logical Time and the Assertion of Anticipated Certainty".
Similarly, the prisoners' dilemma scenario narrated in 1945's "Logical Time and the Assertion of Anticipated Certainty" illustrates how a formal, game-theoretic apparatus governs the lived experiences of subjects inserted into it.
The problem of logical omniscience.
