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

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

This is the latest version of this item.

[thumbnail of Abstract] Text (Abstract)

Download (940B)
[thumbnail of 2018.Implicit.Explicit.pdf]

Download (495kB) | Preview


We identify a pervasive contrast in logic between what we call implicit and explicit stances in design. Implicit systems change the meaning of logical constants and sometimes also the definition of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast in the traditional setting of intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, logics of games and other areas, to show the wide scope of these complementary styles of logical analysis and system design. Throughout we show how awareness of the implicit–explicit contrast leads to new logical questions, from straight- forward technical issues to when implicit and explicit systems can be translated into each other, raising new foundational issues about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one stance and ignoring the alternative one. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. The definitive version of this paper has appeared in "The Journal of Philosophical Logic" on-line, autumn 2018.

Item Type: Pre-print
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: 17 Jan 2019 20:58
Last Modified: 17 Jan 2019 20:58
URI: https://eprints.illc.uva.nl/id/eprint/1657

Available Versions of this Item

Actions (login required)

View Item View Item