Что изучает логика?

Согласен со всеми ответами, однако хочу добавить, что необходимо различать философскую логику и математическую логику, хотя они являются порождением единого процесса познания. Философская логика это действительно инсирумент исследованния окружающего мира, в котором, чаще всего неявно, используются аксиомы познаваемости этого мира и унитарности рассматриваемых объектов и резолюций относительно них. Математическая логика,  не задаётся вопросом "физических воплощений", а смотрит со стороны аксиом  операцонного алгебраического подхода.

Логика, как и все другие науки, изучает структуры мира. Специфика логики заключается в изучении самых общих, формальных структур, отношений истинных и ложных положений. С точки зрения логики ложь - исходное состояние безразличия, неразличимости. Истина есть различие, первичная структура. Именно различия и изучает наука, в первую очередь логика

Логика ничего не изучает, инструмент не может ничего  изучать, он, типа( очень интересное обобщение), предназначен для оправдания! результата эксперимента! Истина - предсказанный результат!

Вопрос не интересный: об этом можно прочесть в любом издании по популярной логике, а если отвечать подробно - получится целый учебник. Гораздо интереснее было бы обсудить: "Можно ли мыслить вне логики"; "Можно ли правдоподобно лгать"; "В чем различие между ложью, заблуждением, истиной и правдой".