| Author | J.F.A.K. van Benthem | | Title | Non-Standard Reasoning, Revisited |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Keywords | Logical system, consequence, validity, proof, nonmonotonic reasoning, information, language, information dynamics, preference, resource, game, computation, conditionals, cognition |
| Series | ILLC Prepublications / ILLC ; PP-2012-24 |
| Abstract | In this article, non-standard reasoning refers to the proliferation of reasoning styles investigated in modern logic beyond its traditional agenda. After a brief statement of standard logical approaches to consequence, we describe motivations for new systems. These include inference patterns with special vocabulary from mathematics, philosophy, and linguistics, but also new styles of reasoning coming from computer science and artificial intelligence. The resulting landscape is diverse, but we discuss unifying themes such as structural rules, preferences, resources, information, and architecture of logical systems. Many of these reflect recent cognitive trends in modern logic putting ‘social dynamics’ at center stage: reasoning about one’s own information and that of others, information update, acts of communication, processes of inquiry, and games. |
| Note | To appear in the revised new edition of the "Handbook of the Behavioral and Social Sciences". |
| Document type | Preprint |
| Download paper | |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/430383
Contact us about this recordNotify a colleague
Add to bookbag
|
previous
