منطق استباقي وبراغماتي