Theory-change, truthlikeness and belief revision — Part 2

0:00 Now, as I said, this human-likeness problem was developed quite independently of the religion tradition. There was no interaction about that after the 27th religion. And when I was asked to write something for the best script of In January of course, in 1999, I made a study of the belief-revision program, how there are today truth-lifes and scientific progress in terms of truth-lifes and at that point I didn't know any other attempt to make this kind of comparison and that paper has been This is published only in an electronic form in the Jäger course on the Internet. Recently there has been work on that topic and I have a list print here. In January we had a workshop to look at these two programs.

2:30 It's interesting to know the development and the step to introduce. I was ignorant of some of the developments in the artificial intelligence.

5:00 There were proposals in the 1990s about using distance functions for relief revision, introducing again a supreme notion of distance functions.

7:30 Spears and then in artificial intelligence there was a distance measure of theory or Einstein's theory of logic. We have quantum mechanics and we have algebraic measures. Instead of simply having a new pedigree, we have laws. Look table, dissertation in Bologna, and here...

10:00 For example, we could have two theories which are both truth-like, but which contradict each approach, even the sides very closely, but are virtually compatible, so it is not the case that if T is truth-like and A is truth-like, then the expansion of E by A is true. Also, it may happen that T is true and A is truth-like, and this input is valid. We have a case where state case theory that the number of planets is 9 or 10. I don't know how many of you know that. So the true number of our planets is 8.

12:30 We know that these are T planes that is 9 or 10. And then we have a true input sequence that is 8 or 10. And then the function of T is 8. The conjunction of T and A, well, the conjunction is that the number of canisters is 20, and that is usually the best proof that T is allowed, is going to have an even expansion of two canisters, and then also it may start from a false theory, similarities with the theory, original theory says that the number is 19.

15:00 The closest alternative is 20, so the revision of EY. So, very interesting things. What can we conclude from? We have quite nice dynamics. There is dynamic logic to emphasize the distinction between elite revision and update. In science we are, and there it's not so that, and there are some formal proposals of the case, but it's hard for the case to have the idea that there are some basic assumptions of the research programs, it's hard for, it's a new relation, and then if there are changes, then they are coming to the protective barrier.

17:30 Yes, I have now heard the modified proposed spheres of similarity, but that leads us to the problematic condition of entrenchment. The entrenchment law is introduced by Jannefors and the principle that logically stronger it entails another like me to complain that Levi-type of it.

20:00 The aim of the practice tradition is interested in consistency with minimal provision, in which systems are resources for practical decision-making, while scientific realism is interested in the question under what conditions traditions, truth theories, and scientific methods understood as enhancing progress towards the truth, but how to...

22:30 Thank you very much for the very informative and entertaining talk. There is some time for questions. Thank you.