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

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

Preview	Text (Full Text) PP-2012-24.text.pdf Download (60kB) | Preview
	Text (Abstract) PP-2012-24.abstract.txt Download (1kB)

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.

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 van 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