소요의 철학 아카이브

Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First Order Logic, Berkeley and Los Angeles: University of California Press, 1996, pp. 6-7. 2. Interpretations of Formal Languages. Model Theory ① ②

Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First Order Logic, Berkeley and Los Angeles: University of California Press, 1996, pp. 3-6. (1) truths of logic(2) sentences used to express truths of logicNotably, (1) and (2) are not the same; for two different sentences, e.g. one in French, one in English, might be used to express the same truths of logic.Keeping the ab..