Logical types from the axiomatic point of view
The main purpose of the thesis is the establishment of an improved system of logical types. The absolutist view, according to which there exists only one hierarchy of types which has to be found out by consideration of empirical facts and by logical analysis, has been abandoned, and the attempt has...
| Main Author: | |
|---|---|
| Published: |
Royal Holloway, University of London
1936
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.703617 |