This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Henkins Model and Metatheorem 45.14 Branden Fitelson 04/10/07 Henkins Model . Let T be a consistent, negationcomplete, and closed first order theory. Henkins model M is a a denumerable interpretation for T such that for each WFF A of T , A is true on M iff T A . The existence of such a model M undergirds metatheorem 45.14. Characterizing M will involve doing five things: (1) specifying M s (denumerable) domain D , (2) saying for each constant symbol c of T which object d in the domain M assigns to c , (3) saying for each nplace function symbol f which nary function f is assigned to f by M , (4) saying for each nplace predicate symbol F which nary property F ( i.e. , which set of ordered ntuples of closed terms of T , since we identify properties with their extensions ) is assigned by M to F , and (5) saying for each propositional symbol p of T , what truthvalue is assigned to p by M . Here is Henkins M , followed by a proof of 45.14 (arguably the most important metatheorem of the entire course). 1. The domain D of M is the set of closed terms of T . This set contains all the constant symbols a ,a 00 ,a 000 ,...,b ,b 00 ,b 000 ,...,c ,c 00 ,c 000 ,... of T (the b s and c s are effectively enumerable sets of new constant symbols that may be added to Q for Q + purposes and/or for the purpose of ensuring T is closed). D also contains all the closed terms with function symbols: f *0 a ,f **0 b a 00 ,... of T . Important Digression on Symbols, Abstract Objects, Types, and Tokens . It is important to note that the symbols of T are abstract objects , and they are types not tokens . You should not confuse a token of a symbol with the symbol itself. For instance, when I write a token inscription a (the physical inscription between the quotation marks preceding this parenthetical remark), I have not written down the symbol itself. It is not tokens of symbols of T that get assigned to objects by M , but rather the symbols themselves. For instance, when I say that the numeral 1 gets interpreted as the number one (which is...
View
Full
Document
This note was uploaded on 08/01/2008 for the course PHIL 140A taught by Professor Fitelson during the Spring '07 term at University of California, Berkeley.
 Spring '07
 FITELSON

Click to edit the document details