Main Part;
Modal Logic;
Formal Semantic;
Semantic Program;
Modal Notion;
D O I:
10.1023/A:1014815703989
中图分类号:
N09 [自然科学史];
B [哲学、宗教];
学科分类号:
01 ;
0101 ;
010108 ;
060207 ;
060305 ;
0712 ;
摘要:
In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show that the measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this framework, and (iii) I defend the suggested account against various objections.