History and philosophy of astronomy