|Semantic category (meaning category): a) e.g. the difference between the expression for an activity and the expression for the intention of this activity - b) e.g. the difference between propositions and predicates.|
Books on Amazon
|Semantic Categories||Berka 498
Def Semantic Category / meaning category / Husserl / Tarski : two expressions belong to the same m.c. when it first prop. funct. is one that contains any of these phrases - 2 when no function that contains one of these expressions loses the character of a prop funct. if this expression is substituted by the other - ( reflexive, transitive, symmetric) - Example of Category prop funct: - e.g. names of individuals - e.g. variable - I 499 def main principle of semantic categories / Tarski : in everyday language a single case seems to satisfy in which the prop funct. is preserved while replacing the expression - Tarski : m.c.: here not for compound expressions (useless in everyday language ) but only variable - critical: mere form - wit of the main principle : we want that substitution always results in new statements, we can use as variables only expressions of the same semantic category - I 500 - it follows that no character can be a functor of two functions at the same time that can have a different number of arguments - or two such functions (even if they have the same number of arguments) in which two of their relevant arguments belong to different meaning categories - I 520 bound variables have no influence on the semantic type.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983