從物模態的還原：一個邏輯哲學探究*

張力鋒

從物模態的還原：一個邏輯哲學探究*

張力鋒

作為還原從物模態的限定條件，語句集Σ無需有非從物性句法要求，而應主要在語義上不可出現基于個體量化的實質模態使用。按照這一還原方案，唯有模型結構具有程度不同的齊次性，在模態語境下消解個體或有意識模糊個體的同一性及相互之間的分別，堅持反基質主義準則，不約定數個可能世界間個體的同一或差異的模態理論，才能達成初衷；但這樣的模態理論背離從物模態的基本語義，沒有多少成效。

從物模態 從言模態 個體 模型結構

量化模態語句會導致經典一階邏輯的同一置換和存在概括原則失效，還會推衍出 “令人不快”的本質主義哲學后果。于是，就有一項議題擺在模態邏輯學家的面前：能否在某一模態系統中消解這些從物模態語句，從而既不會威脅到經典邏輯原則，又可以徹底根絕本質主義幽靈呢？有一條路徑是選擇合適的模態謂詞邏輯系統，使得在一定條件下每一個從物模態語句都等價于一個從言模態句，于是從物模態引起的諸多技術或哲學上的糾葛就會在那些模態邏輯中得以化解。具體來說，先要確定一個較符合人們模態直覺的系統S，再尋找一個表示某些限定條件的語句集Σ，該語句集的S語義后承之一是：任一從物模態語句α都有一個相應的等價從言模態語句α*。即，任取一S模型及w∈W（其中W是非空的可能世界集，R是W上的可達關系 （R?W×W），D是非空的可能個體域，H是由W到D的冪集的映射 （H：W→P（D）），V是一般的模態公式賦值規則），若╞wΣ，則╞wα?α*?！?br>