Недавно я писал в ответах на вопросы о логике и математике, как о метанауке. Грубо говоря, метанауки, не являясь науками в истинном значении этого слова (но и не псевдонауками), предоставляют инструментарий, без которого наука невозможна. Это особенно очевидно на примере математики, но логика в значительной степени так же играет эту роль (кстати, интересно, что в русской википедии математика называется наукой, а в американской - the study of quantity, structure, space, and change, и есть обсуждение, почему математику можно (не) считать наукой, хотя, повторюсь, это ни в коем случае не принижает ее значимость).
Упрощенно, логика на примере силлогизмом, подмножеств и так далее, учит, какие выводы можно делать, а какие нет. Почему, к примеру, утверждение "большинство учительниц - женщины" нельзя автоматически конвертировать "большинство женщин - учительницы".
Это все банально и очевидно, но логика помогает ученым делать правильный выбор. Если теория предсказывает одно, а эксперимент регулярно показывает иной результат, значит теорию необходимо подправлять, ибо она более не отражает всей совокупности феномена.
