Question

what is ideal of logic

Answer 1

This is your answer of the question

Answer 2

We discriminate within ideal beliefs, i.e. those assumptions which satisfy specific ‘idealized’ characteristics which are unlikely to be dominated by real agents, and real characteristics. Formalization is based on a set‐theoretic specification of assumptions and, then, on the delineation of the relevant constructors which deliberately present the sets recognized. We examine our opinion of the ideal with the assumption of logical omniscience from the modal composition which depicts that the first set is much softer and more granular than the second set. Hence ideal of logic should be based on real characteristics of the situation.