This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on…
Read moreThis paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion on generality. Supervaluation uses strong table and aims to give it a semantic justification. However, supervaluation is in turn justified by convention or mental experiments, which Lehmann argues as inadequate. The paper proposes a new justification of supervaluation based on sense and two-dimensional semantics. The resulting model, coined Supervaluational Neutral Free Logic (SNFL), resolves many conflicts between Lehmann and Bencivenga while staying close with Frege’s discussions about non-denotation. It also provides new insights into the relations among truth, logical truth, and supervaluated truth (or supertruth, for short).