http://www.diagrams-conference.org/2020 11th International Conference on the Theory and Application of Diagrams, 24-28 August 2020 Mon, 31 Aug 2020 19:06:02 +0000 hourly 1 https://wordpress.org/?v=4.7.23 http://www.diagrams-conference.org/2020/index.php/program/reasoning-with-diagrams/rwd2/#comment-54 Sat, 29 Aug 2020 05:37:50 +0000 http://www.diagrams-conference.org/2020/?page_id=283#comment-54 Thanks for your appreciation Gem! I think the next step would be a systematic evaluation of the difference between unitary and non-unitary types of Euler-based diagrams. It seems to me that this is a crucial difference. Also, I think we should address the question of occurrence-ref in Venn-based diagrams: it was not clear to us when we wrote the paper whether these are occurrence-ref or type-ref. We also planned to investigate another kind of occurrence-referentiality, which we only mention in passing in this paper and which has to do with individuals rather than classes or predicates. So an investigation in this direction would involve a study of systems that are occ-ref with respect to individuals and type-ref with respect to predicates, like Peirce’s graphs. Ideally, this would enable us to construct a typology of systems (we had some ideas but too primitive to be included in this paper).

]]> http://www.diagrams-conference.org/2020/index.php/program/reasoning-with-diagrams/rwd2/#comment-22 Mon, 24 Aug 2020 14:39:58 +0000 http://www.diagrams-conference.org/2020/?page_id=283#comment-22 I found your paper to be very interesting. Are you able to share any ideas for how you see this research progressing? Do you have plans to apply your theory to other systems to further demonstrate the correctness of your ideas? If so, what systems do you think would be suitable candidates?

]]>