PP-2012-24: Non-Standard Reasoning, Revisited

PP-2012-24: van Benthem, Johan (2012) Non-Standard Reasoning, Revisited. [Report]

Text (Full Text)

Download (60kB) | Preview
[img] Text (Abstract)

Download (1kB)


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.

Item Type: Report
Report Nr: PP-2012-24
Series Name: Prepublication (PP) Series
Year: 2012
Uncontrolled Keywords: Logical system, consequence, validity, proof, nonmonotonic reasoning, information, language, information dynamics, preference, resource, game, computation, conditionals, cognition
Subjects: Language
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/466

Actions (login required)

View Item View Item