Biblical Logic