Here is my first attempt at analysing #Brexit using the Logic of Questions work linked to in the thread above.pic.twitter.com/MQ7PuGyxK0
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
Here is my first attempt at analysing #Brexit using the Logic of Questions work linked to in the thread above.pic.twitter.com/MQ7PuGyxK0
The complete map of inquisitive propositions (= facts + questions) on #Brexit/#Lexit, assuming 3 exclusive possibilities:
ε: stay in EU
τ: Theresa's compromise
κ: no deal crash out
annotated from the book "Inquisitive Semantics" https://books.google.co.uk/books?id=a8d-DwAAQBAJ …pic.twitter.com/UvV9y1o0Zj
I noticed that in this book up until chapter 4 they don't use the ⩖ symbol for inquisitive disjunction, as they do in the thesis "Questions in Logic" referred to higher up in the thread. Instead they use ⋁ for that & have maps to pure declarative ones using the ! operator.
Vert Intriguing: classical and intuitionistic #logic split exactly at the demarcation between facts & questions! And dependence between questions it seems is similar to proofs as programs. #erotetics #InformationTheory #HomotopyTypeTheory #CategoryTheory (see thread above)pic.twitter.com/9dYXmmHhdD
Reading on Inquisitive Logic has made me wonder about it's relation to Logic as Games as developed by Hintikka, Van Benthem, Abramski, and others. #GameTheory #IntuitionisticLogic #HomotopyTypeTheory #Maths #PhDhttps://math.stackexchange.com/questions/3078532/relation-between-inquisitive-logic-and-logic-as-games …
The formula for a thesis given in terms of inquisitive semantics is:
What is Belief Space of your Audience? ∧ What is the Location Of Knowledge To Be Imparted? ⊨ What questions need to be asked? ⊨ What Length of Reasoning is required?
@DameWendyDBE @v_sassone @RubenVerborgh
#h2g2 meets #semweb: the answer is #SoLiD but my reviewers asked what my questions were. So studying what questions are, I found them to be downward closed sets of information states with alternatives - strangely similar to an #rdf quad store. Is it not?https://books.google.co.uk/books?id=a8d-DwAAQBAJ&num=5&source=gbs_slider_cls_metadata_7_mylibrary …
They published a new book this year "Inquisitive Semantics" which seems to contain less formal proofs and is available for free right now. It helps to have slightly different views on the same subject.https://books.google.co.uk/books?id=a8d-DwAAQBAJ&num=5&source=gbs_slider_cls_metadata_7_mylibrary …
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.