| 書目名稱 | Nominalistic Systems | | 編輯 | Rolf A. Eberle | | 視頻video | http://file.papertrans.cn/667/666819/666819.mp4 | | 叢書名稱 | Synthese Library | | 圖書封面 |  | | 描述 | 1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system- atic contexts. Such axiomatic theo | | 出版日期 | Book 1970 | | 關(guān)鍵詞 | concept; corporate identity; design; individual; interpret; model; notation; opera; semantic; semantics; subje | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-010-3314-5 | | isbn_softcover | 978-94-010-3316-9 | | isbn_ebook | 978-94-010-3314-5Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | D. Reidel Publishing Company, Dordrecht, Holland 1970 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-17 07:54
發(fā)表于 2025-3-21 17:02:32
