PP-2013-02: van Benthem, Johan (2013) Implicit and Explicit Stances in Logic. [Pre-print] (Submitted)
Preview |
Text
2018.Implicit.Explicit.5.pdf Download (432kB) | Preview |
Abstract
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
-
Implicit and Explicit Stances in Logic. (deposited 12 Oct 2016 14:37)
- Implicit and Explicit Stances in Logic. (deposited 22 Dec 2017 15:24) [Currently Displayed]
Actions (login required)
View Item |