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

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

Preview	Text (Full Text) PP-2013-02.text.pdf Download (435kB) | Preview
	Text (Abstract) PP-2013-02.abstract.txt Download (940B)
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 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

• Implicit and Explicit Stances in Logic. (deposited 12 Oct 2016 14:37) [Currently Displayed]
  • Implicit and Explicit Stances in Logic. (deposited 22 Dec 2017 15:24)
    • Implicit and Explicit Stances in Logic. (deposited 17 Jan 2019 20:58)

Actions (login required)

View Item