Логика - очевидно, наука, наука о правильном мышлении.
Она зиждется на простых правилах, которые на самом деле вытекают из одного - правила тождества.
Оно гласит, что утверждение является правильным если сожержит свой истинный смысл. То есть, например, солнце светит ярко = звезда солнечной системы светит ярко, потому что только солнце является звездой в солнечной системе и иначе нельзя и сказать.
А вот уже закон противоречия гласит, что солнце светит ярко не равно тому, что звезда сс светит тускло, потому что это противоречит тому, что солнце и есть звезда сс.
Эти законы просты, но их соблюдение позволяет строить свои рассуждения исключительно на истинных суждениях, чтобы сделать свою позицию наиболее твердой и аргументированной.