SEMANTICS
Answers to assignment 14

Problem 7-1 (DWP page 187).
1.	IV		t/e	<<s,e>,t>    set of individual concepts or characteristic function of 				a set of individual concepts
2.	T		t/IV	<<s,<<s,e>,t>>,t>    set of properties of individual concepts or 				characteristic function of a set of individual concepts
3.	TV		IV/T	<<s,<<s,<<s,e>,t>>,t>>,<<s,e>,t>>    function from properties of 				properties of individual concepts to sets of individual concepts
4.	IAV	IV/IV	<<s,<<s,e>,t>>,<<s,e>,t>>    function from properties of 					individual concepts to sets of individual concepts
5.	CN		t//e	<<s,e>,t>    set of individual concepts or characteristic function of 				a set of individual concepts
6.	t/t		t/t	<<s,t>,t>    set of propositions or characteristic function of a set of 			propositions
7.	IAV/T	IAV/T	<<s,<<s,<<s,e>,t>>,t>>,<<s,<<s,e>,t>>,<<s,e>,t>>>    function 				from properties of properties of individual concepts to functions 				from properties of individual concepts to sets of individual 					concepts
8.	IV/t	IV/t	<<s,t>,<<s,e>,t>>    function from propositions to sets of 					individual concepts
9.	IV//IV	IV//IV	<<s,<<s,e>,t>>,<<s,e>,t>>    function from properties of 					individual concepts to sets of individual concepts
10.	DET	T/CN	<<s,<<s,e>,t>>,<<s,<<s,e>,t>>,t >>    function from properties of 				individual concepts to sets of properties of individual concepts