PP-2013-02: Implicit and Explicit Stances in Logic

PP-2013-02: van Benthem, Johan (2013) Implicit and Explicit Stances in Logic. [Report]

[img]
Preview
Text (Full Text)
PP-2013-02.text.pdf

Download (435kB) | Preview
[img] Text (Abstract)
PP-2013-02.abstract.txt

Download (940B)
[img]
Preview
Text (Full Text (Mar 2013 version))
PP-2013-02.text-Mar-2013.pdf

Download (261kB) | Preview

Abstract

We identify a pervasive contrast in modeling styles in logic between what may be called more 'implicit' and more 'explicit' approaches. The former change the meaning of logical constants and consequence to accommodate new topics entering the field, while explicit approaches extend classical logical systems with vocabulary. We discuss the contrast in intuitionistic vs. epistemic logic, default reasoning, logics of questions, information dynamics and games, and then define the stances more sharply. New technical issues arise concerning dualities and merges between the two styles of logical analysis. Finally, we discuss what the contrast means for an understanding of logic as a repertoire of natural stances.

Item Type: Report
Report Nr: PP-2013-02
Series Name: Prepublication (PP) Series
Year: 2013
Uncontrolled Keywords: implicit, explicit, intuitionistic logic, epistemic; logic, dynamic semantics, non-monotonic logic,; translation, logic of gaes, logic as games
Subjects: Logic
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/474

Actions (login required)

View Item View Item