Generalized Entailments

Andrzej Wiśniewski

DOI: http://dx.doi.org/10.12775/LLP.2017.014

Abstract


A semantic relation between a family of sets of formulas and a set of formulas, dubbed generalized entailment, and its subrelation, called constructive generalized entailment, are defined and examined. Entailment construed in the usual way and multiple-conclusion entailment can be viewed as special cases of generalized entailment. The concept of constructive generalized entailment, in turn, enables an explication of some often used notion of interrogative entailment, and coincides with inquisitive entailment at the propositional level. Some interconnections between constructive generalized entailment and Inferential Erotetic Logic are also analysed.

Keywords


entailment; families of sets; logic of questions

Full Text:

PDF

References


Belnap, N.D., “Åqvist’s corrections-accumulating question sequences”, pages 122–134 in J. Davis and P. Hockney and W. Wilson (eds.) Philosophical Logic, D. Reidel, Dordrecht, 1969.

Belnap, N.D., and Th.P. Steel, The Logic of Questions and Answers, Yale University Press, New Haven, 1976.

Carnap, R., Formalization of Logic, Harvard University Press, Cambridge MA, 1943.

Chlebowski, S., A. Kups, and M. Komosinski, “Automated generation of erotetic search scenarios: Classification, optimisation and knowledge extraction”, ACM Transactions on Computational Logic 18 (2017). DOI: 10.1145/3056537

Ciardelli, I., and F. Roelofsen, “Inquisitive logic”, Journal of Philosophical Logic 40 (2011): 55–94. DOI: 10.1007/s10992-010-9142-6

Ciardelli, I., J. Groenendijk, and F. Roelofsen, “On the semantics and logic of declaratives and interrogatives”, Synthese 192 (2015): 1689–1728. DOI: 10.1007/s11229-013-0352-7

Ciardelli, I., Questions in Logic, Institute for Logic, Language and Computation, Amsterdam, 2015.

Ciardelli, I., “Questions as information types”, Synthese 2016. DOI: 10.1007/s11229-016-1221-y

Gentzen, G., “Investigation into logical deduction”, pages 68–131 in M.E. Szabo (ed.), Collected Papers of Gerhard Genten, North-Holland, 1969.

Groenendijk, J., and M. Stokhof, “Questions”, pages 1059–1132 in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language. Second Edition, Elsevier, Amsterdam/Boston/Heidelberg, 2011. DOI: B978-0-444-53726-3.00025-6

Harrah, D., “The logic of questions”, pages 1–60, Chapter 1, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Second Edition, volume 8, Kluwer, Dordrecht/Boston/London, 2002. DOI: 10.1007/978-94-010-0387-2_1

Leszczyńska-Jasion, D., and P. Łupkowski, “Erotetic search scenarios and three-valued logic”, Journal of Logic, Language and Information 25, 1 (2016): 51–76. DOI: 10.1007/s10849-015-9233-4

Leśniewski, P., “On the generalized reducibility of question”, pages 119–125 in J. Nida-Rumelin (ed.), Rationality, Realism, Revision. Proceedings of the 3rd International Congress of the Society for Analytical Philosophy, Walter de Gruyter, Berlin/New York, 2000.

Leśniewski, P., and A. Wiśniewski, “Reducibility of questions to sets of questions: some feasibility results”, Logique et Analyse 173–175 (2001): 93–111.

Kubiński, T., An Outline of the Logical Theory of Questions, Akademie-Verlag, Berlin, 1980.

Łupkowski, P., “A formal approach to exploring the interrogator’s perspective in the Turing test”, Logic and Logical Philosophy 20, 1–2 (2011): 139–158. DOI: 10.12775/LLP.2011.007

Łupkowski, P., Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling, College Publications, London, 2016.

Łupkowski, P., and D. Leszczyńska-Jasion, “Generating cooperative question-responses by means of erotetic search scenarios”, Logic and Logical Philosophy 24, 1 (2015): 61–78. DOI: 10.12775/LLP.2014.017

Scott, D., “Completeness and axiomatizability in many-valued logic”, pages 411–435 in Proceedings of Symposia in Pure Mathematics, volume 25, American Mathematical Society, Providence, Rhode Island, 1974.

Shoesmith, D.J., and T.J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, Cambridge, 1978.

Skura, T., and A. Wiśniewski, “A system for proper multiple-conclusion entailment”, Logic and Logical Philosophy 24, 2 (2015): 241–253. DOI: 10.12775/LLP.2015.001

Urbański, M., “Synthetic tableaux and erotetic search scenarios. Extension and extraction”, Logique et Analyse 173–174–175 (2001): 69–91. Appeared 2004.

Wilson, R.J., Introduction to Graph Theory. Fourth Edition, Longman, Harlow, 1996.

Wiśniewski, A., “On the reducibility of questions”, Erkenntnis 40 (1994): 265–284. DOI: 10.1007/BF01128596

Wiśniewski, A., “Erotetic implications”, Journal of Philosophical Logic, 23 (1994): 174-195. DOI: 10.1007/BF01050342

Wiśniewski, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer, Dordrecht/Boston/London, 1995. DOI: 10.1007/978-94-015-8406-7

Wiśniewski, A., “Erotetic search scenarios”, Synthese 134 (2003): 389–427. DOI: 10.1023/A:1022983325118

Wiśniewski, A., “Erotetic search scenarios, problem-solving, and deduction”, Logique et Analyse 185–188 (2004): 139–166.

Wiśniewski, A., “Reducibility of safe questions to sets of atomic yes-no questions”, pages 215–236 in J. Paśniczek and J.J. Jadacki (eds.), The Lvov-Warsaw School: The New Generation, Rodopi, Amsterdam/New York, 2006.

Wiśniewski, A., Questions, Inferences, and Scenarios, College Publications, London, 2013.

Wiśniewski, A., “Support and sets of situations”, Journal of Logic, Language and Information 23 (2014): 383–396. DOI: 10.1007/s10849-013-9185-5

Wiśniewski, A., “Semantics of questions”, pages 273–313 in S. Lappin and Ch. Fox (eds.), The Handbook of Contemporary Semantic Theory, 2nd Edition, Wiley-Blackwell, Oxford, 2015. DOI: 10.1002/9781118882139.ch9








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism