منطق ریاضی و مبانی فلسفی علوم