<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462015000400647</article-id>
<article-id pub-id-type="doi">10.13053/CyS-19-4-2327</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Questions, Answers, and Presuppositions]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[Marie]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[&#268;íhalová]]></surname>
<given-names><![CDATA[Martina]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,VSB-Technical University Ostrava Department of Computer Science ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Czech Republic</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Palack&#7923; University Olomouc Department of Philosophy ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Czech Republic</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2015</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2015</year>
</pub-date>
<volume>19</volume>
<numero>4</numero>
<fpage>647</fpage>
<lpage>659</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462015000400647&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462015000400647&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462015000400647&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract. The paper deals with empirical questions that come attached with a presupposition. In case that the presupposition is not true, there is no unambiguous direct answer. In such a case an adequate complete answer is a negated presupposition. Yet these simple ideas are connected with a bunch of problems. First, we must distinguish between a pragmatic and semantic presupposition, and thus also between a presupposition and mere entailment. Second, we show that the common definition of a presupposition of a question as such a proposition that is entailed by every possible answer to the question is not precise. We follow Frege and Strawson in treating survival under negation as the most important test for presupposition. But a negative answer to a question is often ambiguous. The ambiguity consists in not distinguishing between two kinds of negative answers, to wit the answers applying narrow-scope or wide-scope negation. While the former preserves presupposition, the latter seems to be presupposition denying. We show that in order the negative answer to be unambiguous, instead of the wide-scope negation presumably denying presupposition, an adequate and unambiguous answer is just the negated presupposition. Having defined presupposition of a question more precisely, we then examine Yes-No questions, Wh-questions, and exclusive-or questions with respect to several kinds of presupposition triggers. These include inter alia topic-focus articulation, verbs expressing termination of an activity, factive verbs, the "whys and how comes", and past or future tense with reference time interval. Our background theory is Transparent Intensional Logic (TIL) with its procedural semantics. TIL is an expressive logic apt for analysis of questions and presuppositions, because within TIL we work with partial functions, in particular, with propositions with truth-value gaps. These features enabled us to define a general analytic schema of sentences associated with a presupposition. Our results are applicable in linguistics and artificial intelligence, in particular, in the systems the behavior of which is controlled by communication and reasoning of intelligent social agents.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Question]]></kwd>
<kwd lng="en"><![CDATA[answer]]></kwd>
<kwd lng="en"><![CDATA[presupposition]]></kwd>
<kwd lng="en"><![CDATA[entailment]]></kwd>
<kwd lng="en"><![CDATA[wide-scope vs. narrow-scope negation]]></kwd>
<kwd lng="en"><![CDATA[Transparent Intensional Logic]]></kwd>
<kwd lng="en"><![CDATA[TIL]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Beaver]]></surname>
<given-names><![CDATA[D.I.]]></given-names>
</name>
<name>
<surname><![CDATA[Geurts]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Presupposition]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Zalta]]></surname>
<given-names><![CDATA[Edward N.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Stanford Encyclopedia of Philosophy]]></source>
<year>2014</year>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Topic-focus articulation from the semantic point of view]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Computational Linguistics and Intelligent Text Processing]]></source>
<year>2009</year>
<volume>5449</volume>
<page-range>220-32</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Tenses and truth-conditions: a plea for if-then-else]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Peli&#353;]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logical Yearbook 2009]]></source>
<year>2010</year>
<page-range>63-80</page-range><publisher-loc><![CDATA[London ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[How to Unify Russellian and Strawsonian Definite Descriptions]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Ciuni]]></surname>
<given-names><![CDATA[Roberto]]></given-names>
</name>
<name>
<surname><![CDATA[Wansing]]></surname>
<given-names><![CDATA[Heinrich]]></given-names>
</name>
<name>
<surname><![CDATA[Willcommen]]></surname>
<given-names><![CDATA[Caroline]]></given-names>
</name>
</person-group>
<source><![CDATA[Recent Trends in Philosophical Logic, Trends in Logic]]></source>
<year>2014</year>
<volume>41</volume>
<page-range>85-101</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Materna]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Berlin ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fitzpatrick]]></surname>
<given-names><![CDATA[J]]></given-names>
</name>
</person-group>
<source><![CDATA[The Whys and How Comes of Presupposition and NPI Licensing in Questions]]></source>
<year>2005</year>
<conf-name><![CDATA[ 24West Coast Conference on Formal Linguistics]]></conf-name>
<conf-loc>Somerville, MA </conf-loc>
<publisher-name><![CDATA[Cascadilla Proc. Project]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[What we are talking about and what we are saying about it]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Haji&#269;ová]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Computational Linguistics and Intelligent Text Processing]]></source>
<year>2008</year>
<volume>4919</volume>
<page-range>241-62</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Harrah]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logic of questions Handbook of Philosophical Logic]]></source>
<year>2002</year>
<volume>8</volume>
<page-range>1-60</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Higginbotham]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Interrogatives]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Hale]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Keyser]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[The View from Building 20: Essays in Linguistic in Honor of Sylvain Bromberger]]></source>
<year>1993</year>
<page-range>195-227</page-range><publisher-loc><![CDATA[Cambridge, MA ]]></publisher-loc>
<publisher-name><![CDATA[The MIT Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hintikka]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Semantics of Questions and the Questions of Semantics. Case studies in the Interrelations of Logic]]></source>
<year>1976</year>
<publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[North Holland]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Karttunen]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Some Observations on Factivity]]></source>
<year>1970</year>
<conf-name><![CDATA[ 45Annual Meeting of the LSA]]></conf-name>
<conf-loc>Washington, DC </conf-loc>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Katz]]></surname>
<given-names><![CDATA[J.J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Semantic Theory]]></source>
<year>1972</year>
<publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[HarperS Row]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Keenan]]></surname>
<given-names><![CDATA[E.L.]]></given-names>
</name>
<name>
<surname><![CDATA[Hull]]></surname>
<given-names><![CDATA[R.D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Logical Presuppositions of Questions and Answers]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Petöfi]]></surname>
<given-names><![CDATA[J. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Franck]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Präsuppositionen in Philosophie und Linguistik]]></source>
<year>1973</year>
<page-range>441-66</page-range><publisher-loc><![CDATA[Frankfurt ]]></publisher-loc>
<publisher-name><![CDATA[Athenäum]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Levinson]]></surname>
<given-names><![CDATA[S.C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Pragmatics]]></source>
<year>1983</year>
<publisher-loc><![CDATA[Cambridge England ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[&#321;upkowski]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Erotetic Inferences in Natural Language Dialogues]]></source>
<year>2012</year>
<conf-name><![CDATA[ Logic &amp; Cognition conference]]></conf-name>
<conf-date>May 2012</conf-date>
<conf-loc>Poznafi, Poland </conf-loc>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[&#321;upkowski]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Ginzburg]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[A corpus-based taxonomy of question responses]]></source>
<year>2013</year>
<conf-name><![CDATA[ 10International Conference on Computational Semantics]]></conf-name>
<conf-date>March 2013</conf-date>
<conf-loc>Potsdam, Germany </conf-loc>
<page-range>354-61</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pagin]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Zalta]]></surname>
<given-names><![CDATA[Edward N.]]></given-names>
</name>
</person-group>
<source><![CDATA[Assertion. In The Stanford Encyclopedia of Philosophy]]></source>
<year>2014</year>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Peli&#353;]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Consequence Relations in Inferential Erotetic Logic]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Bílková]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Consequence, Inference, Structure]]></source>
<year>2008</year>
<page-range>53-88</page-range><publisher-name><![CDATA[Charles University of Prague]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Peli&#353;]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Majer]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Logic of Questions and Public Announcements]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Bezhanishvili]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Löbner]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Schwabe]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Spada]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[8th International Tbilisi Symposium on Logic, Language and Computation 2009]]></source>
<year>2011</year>
<page-range>145-57</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sintonen]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[On the Logic of why-Questions. PSA]]></source>
<year>1984</year>
<conf-name><![CDATA[ Biennial Meeting of the Philosophy of Science Association]]></conf-name>
<conf-loc> </conf-loc>
<page-range>168-76</page-range><publisher-name><![CDATA[University of Chicago Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Presuppositions]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Stalnaker]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[The Journal of Philosophical Logic]]></source>
<year>1973</year>
<volume>2</volume>
<page-range>447-57</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Stalnaker]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Pragmatic presuppositions]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Munitz]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Unger]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Semantics and Philosophy]]></source>
<year>1974</year>
<page-range>197-214</page-range><publisher-name><![CDATA[New York University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[On referring]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Strawson]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<source><![CDATA[Mind]]></source>
<year>1950</year>
<volume>59</volume>
<page-range>320-44</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Questions, answers and logic]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tich&#7923;]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[American Philosophical Quarterly]]></source>
<year>1978</year>
<volume>15</volume>
<page-range>275-84</page-range></nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[The logic of temporal discourse]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tich&#7923;]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Linguistics and Philsophy]]></source>
<year>1980</year>
<volume>3</volume>
<page-range>343-69</page-range></nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tich&#7923;]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Collected Papers in Logic and Philosophy]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Svoboda]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Cheyne]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Prague: Filosofia]]></source>
<year>2004</year>
<publisher-name><![CDATA[Czech Academy of Science & Dunedin, University of Otago Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wi&#347;niewski]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Posing of Questions: Logical Foundations of Erotetic Inferences]]></source>
<year>1995</year>
<publisher-name><![CDATA[Kluwer]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
