Review of Symbolic Logic:1-22 (forthcoming)

Moritz Cordes
Universität Regensburg
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: 70,039
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

The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.
A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
The Logic of Questions.David Harrah - 2002 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Springer. pp. 1--60.

View all 13 references / Add more references

Citations of this work BETA

An Essay on Inferential Erotetic Logic.Andrzej Wiśniewski - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 105–138.

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.


Added to PP index

Total views
22 ( #512,827 of 2,505,771 )

Recent downloads (6 months)
2 ( #277,206 of 2,505,771 )

How can I increase my downloads?


My notes