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)

There is a more recent version of this item available.
[thumbnail of 2018.Implicit.Explicit.5.pdf]

Download (432kB) | 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.

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: 22 Dec 2017 15:24
Last Modified: 05 Feb 2021 02:42
URI: https://eprints.illc.uva.nl/id/eprint/1583

Available Versions of this Item

Actions (login required)

View Item View Item