4 ms·
Frege’s Concept Horse Paradox in the Simply-Typed λ-calculus
- kleiba 11y agoThus, e.g., we split up the sentence ‘Caesar conquered Gaul’ into ‘Caesar’ and ‘conquered Gaul’. - A view (on language, not logic) later criticized by linguists such as Tesniere and Fillmore.