• No results found

University of Groningen Evidence-Based Beliefs in Many-Valued Modal Logics David Santos, Yuri

N/A
N/A
Protected

Academic year: 2021

Share "University of Groningen Evidence-Based Beliefs in Many-Valued Modal Logics David Santos, Yuri"

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

University of Groningen

Evidence-Based Beliefs in Many-Valued Modal Logics David Santos, Yuri

DOI:

10.33612/diss.155882457

IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below.

Document Version

Publisher's PDF, also known as Version of record

Publication date: 2021

Link to publication in University of Groningen/UMCG research database

Citation for published version (APA):

David Santos, Y. (2021). Evidence-Based Beliefs in Many-Valued Modal Logics. University of Groningen. https://doi.org/10.33612/diss.155882457

Copyright

Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons).

Take-down policy

If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

Downloaded from the University of Groningen/UMCG research database (Pure): http://www.rug.nl/research/portal. For technical reasons the number of authors shown on this cover page is limited to 10 maximum.

(2)

Propositions accompanying the thesis

Evidence-Based Beliefs in Many-Valued Modal Logics

1. Many-valued modal logics are suitable formalisms to model scenarios where agents possess evidence and form evidence-based beliefs.

2. Even in many-valued modal logics, with possibly conflicting evidence, there are rational and irrational ways of consolidating evidence into belief, as shown by the postulates of Chapter 3.

3. The ability to make good consolidations has become more important since the advent of social media platforms.

4. Cautious consolidation is a rational way of forming beliefs, given a limited representation of evidence such as the one used by Four-Valued Epistemic Logic.

5. The postulates of Chapter 4 impose rational constraints for social

consolidations, given a limited representation of evidence such as the one of that chapter.

6. When the evidence is private and opinions are public, rational consolidations must be iterative. We need to revisit our first consolidated opinions.

7. The combination of private evidence and public opinions can also lead to undesirable informational cascades. Here, an informational cascade is a

phenomenon in which a number of agents make decisions on the same topic in a sequential fashion, and each agent can observe the choices of the previous ones; the problem is that in such setups, even if each agent acts rationally, an irrational collective outcome is possible.

8. This thesis proposes some principles of rationality. There are many other principles of rationality studied by other authors. Ignore all of them and you might end up being president of more than 200 million people.

Referenties

GERELATEERDE DOCUMENTEN

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of

Other professors from the RUG that I need to thank are: Gerard Renardel (who gave an excellent course on modal logic), Jan-Willem Romeijn and Bart Verheij.. I thank my friend Merel

A Multi-Agent Four-Valued Dynamic Epistemic Logic In this opening chapter we introduce the four-valued epistemic logic (FVEL), the main logic studied in this thesis.. With FVEL one

The modal operator has different behaviour in each logic, NEC preserves validity only in FVEL, but the axioms for BPAL are all valid in FVEL. Another main difference between these

In FVEL, the existence of evidence for or against propositions and what the agents know about it is represented, but there is no individuality of pieces of evidence, they are not

Proposition 4.23 Naive consolidation satisfies Consistency, Modesty, Equal Weight, Atom Independence, Monotonicity and Strong Consensus.. It does not satisfy Doxastic Freedom

As mentioned in Chapter 4, there are significant differences between these formalisms, but just as in the case of a comparison of our postulates across the different settings offered

Guo, editors, International Conference on Logic, Rationality and Interaction (LORI), volume 11813 of Lecture Notes in Computer Science, pages 57–70.. A four-valued dynamic