The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: auteur: "benthem,j.f.a.k.van"

AuteurJ.F.A.K. van Benthem
TitelA Brief History of Natural Logic
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
Trefwoordenlogic, natural language, natural logic, monotonicity, cognition
SerieILLC Prepublications / ILLC ; PP-2008-5
Samenvatting'Natural logic' is the idea that much human inference can be based on natural language surface form, which (hopefully) reflects fast human computational-cognitive mechanisms. This paper was written at the invitation of the computational linguists at Stanford, who are using light inference mechanisms in current avant-garde text processing. We trace the sources of the idea to pre- Fregean traditional logic, and explain the systematic categorial 'monotonicity calculus' allowing inference a 'free ride' on syntax, first proposed in the 1980s in the setting of generalized quantifier theory, as well as subsequent developments - all the way up to current cognitive science. Calculi of natural logic belong to the most frequently rediscovered ideas in logic: from philosophy in Greek and Chinese Antiquity to modern computer science and neuroscience. The paper will appear in the "Proceedings of the Kolkata Logic Conference 2007", held in the memory of K. Matilal, edited by Benedikt Loewe, Sujata Ghosh, et al.
Soort documentPreprint
Download bestand
Document finderUvA-Linker