17
edits
User:Magnap/Completeness Proposal: Difference between revisions
User:Magnap/Completeness Proposal (view source)
Revision as of 17:57, 26 September 2024
, 26 SeptemberAdd the "to tell" exhaustivity case study
(Initialize Completeness Proposal) |
(Add the "to tell" exhaustivity case study) |
||
| Line 1: | Line 1: | ||
'''Depends on:''' [[User:Magnap/Inquisitive_Semantics_Proposal|Inquisitive Semantics Proposal]] | '''Depends on:''' [[User:Magnap/Inquisitive_Semantics_Proposal|Inquisitive Semantics Proposal]] | ||
What does it mean to be an answer to a question? | What does it mean to be an answer to a question? This question aims to clear that up. | ||
This | |||
Note that we cannot rely solely on our intuitions to | Note that we cannot rely solely on our intuitions to lead us to unambiguous agreement! | ||
Take the following scenario, in which German-speakers and English-speakers have different intuitions for the exhaustivity of "to correctly predict"/"korrekt vorhersagen" | Take the following scenario, in which German-speakers and English-speakers have different intuitions for the exhaustivity of "to correctly predict"/"korrekt vorhersagen" | ||
(adapted from [https://doi.org/10.3389%2Ffpsyg.2023.1148275 this paper]): | (adapted from [https://doi.org/10.3389%2Ffpsyg.2023.1148275 this paper]): | ||
| Line 20: | Line 12: | ||
* War meine Vorhersage korrekt? Ja. ("Was my prediction correct? Yes.") | * War meine Vorhersage korrekt? Ja. ("Was my prediction correct? Yes.") | ||
* {{t|Ma due shíudua jıbo móq?}} ("Was my prediction correct?") | * {{t|Ma due shíudua jıbo móq?}} ("Was my prediction correct?") | ||
==Case studies== | |||
===Who passed the test?=== | |||
Imagine 3 students A/B/C and 3 teachers X/Y/Z. | |||
A test is held, and while A and B pass, C doesn't. | |||
* X says: "A passed the test, but I don't know if B or C did" | |||
* Y says: "A and B both passed, but I don't know about C" | |||
* Z says: "A and B both passed, and C failed" | |||
{| class="wikitable" | |||
|+ Who told you what? | |||
|- | |||
! Who told you: !! X? !! Y? !! Z? | |||
|- | |||
| Someone who passed || Y || Y || Y | |||
|- | |||
| Everyone who passed || N || Y || Y | |||
|- | |||
| Who passed and who didn't || N || N || Y | |||
|} | |||
How can we unambiguously ask all three questions in Toaq? | |||
===Prime knowledge=== | |||
* {{t|Ma shê, ꝡä bu dua jí, mä reutoaı gú rá sáq rá jó, nä dua jí, ꝡä reutoaı hí mea gú róı sáq róı jó móq?}} (if I don't know whether 2 nor 3 nor 4 are primes, do I know which among 2, 3, and 4 is/are prime?) | |||
* {{t|Ma shê, ꝡä dua jí, ꝡä reutoaı jó, rú bu dua jí, mä reutoaı gú rá sáq ,nä dua jí, ꝡä reutoaı hí mea gú róı sáq róı jó móq?}} (if I know that 4 is a prime and I don't know whether 2 nor 3 are primes, do I know which among 2, 3, and 4 is a prime / are prime?) | |||
* {{t|Ma shê, ꝡä dua jí, ꝡä reutoaı gú rú sáq, rú bu dua jí, mä reutoaı jó, nä dua jí, ꝡä reutoaı hí mea gú róı sáq róı jó móq?}} (if I know that 2 and 3 are primes and I don't know whether 4 is a prime, do I know which among 2, 3, and 4 is a prime / are prime?) | |||
* {{t|Ma shê, ꝡä dua jí, ꝡä reutoaı gú rú sáq, rú dua jí, ꝡä bu reutoaı jó, nä dua jí, ꝡä reutoaı hí mea gú róı sáq róı jó móq?}} (if I know that 2 and 3 are primes and I know that 4 is not a prime, do I know which among 2, 3, and 4 is a prime / are prime?) | |||
* {{t|Ma shê, ꝡä dua jí, ꝡä reutoaı gú, rú dua jí, ꝡä bu reutoaı jó, rú bu dua jí, mä reutoaı sáq, nä dua jí, ꝡä reutoaı hí mea gú róı sáq róı jó móq?}} (if I know that 2 is a prime, and that 4 is not a prime, and I don't know whether 3 is a prime, do I know which among 2, 3, and 4 is a prime / are prime?) | |||
==TODO Background== | ==TODO Background== | ||