模型是科學研究中的一個重要方法，本書主要圍繞兩個進路展開對科學中的模型的哲學討論：第一條進路是關(guān)于科學的語義模型研究；第二條進路是關(guān)于科學的表征模型研究。主要討論的問題包括： 科學模型的主要類型是什么？ 科學理論結(jié)構(gòu)的語義模型論進路是否有可能被新的進路（例如語用觀的進路，模型作為理論與實踐的中間環(huán)節(jié)的進路）所代替？ “科學語義模型”和“科學表征模型”之間是什么關(guān)系？二者是不是相容的？模型的“抽象性”與現(xiàn)實世界（模型的目標系統(tǒng)）的“具體性”之間的關(guān)系如何？“同構(gòu)”或“部分同構(gòu)”的觀點是不是仍然有效？對這些問題的哲學討論再回應到自然科學與社會科學中 “基于模型的推理”案例中，形成對計算機模擬方法的哲學思考。最后將整個內(nèi)容延展至對計算思維、計算理念以及自然界的數(shù)學結(jié)構(gòu)與建模的美學標準方面的闡述。