Review of Symbolic Logic:1-22 (forthcoming)

Moritz Cordes
University of Greifswald
This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to calculizing IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking".
Keywords Inferential Erotetic Logic  Evocation  Erotetic Implication  Calculization  Axiomatization
Categories (categorize this paper)
DOI 10.1017/s1755020320000131
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,772
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

IEL-Based Formal Dialogue System for Tutorials.Paweł Łupkowskim - 2017 - Logic and Logical Philosophy 26 (3):287-320.
Erotetic Epistemic Logic.Michal Peliš - 2017 - Logic and Logical Philosophy 26 (3):357-381.
Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
On an Inferential Semantics for Classical Logic.David C. Makinson - 2014 - Logic Journal of the IGPL 22 (1):147-154.
Erotetic Search Scenarios.Andrzej Wiśniewski - 2003 - Synthese 134 (3):389-427.
Erotetic Search Scenarios.Andrzej Wiśniewski - 2003 - Synthese 134 (3):389 - 427.


Added to PP index

Total views
14 ( #690,182 of 2,425,356 )

Recent downloads (6 months)
3 ( #248,061 of 2,425,356 )

How can I increase my downloads?


My notes