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

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

There is a more recent version of this item available.
[thumbnail of Full Text]
Text (Full Text)

Download (435kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (940B)
[thumbnail of Full Text (Mar 2013 version)]
Text (Full Text (Mar 2013 version))

Download (261kB) | Preview


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 van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/474

Available Versions of this Item

Actions (login required)

View Item View Item