Abstract

• We consider infinite-depth Peirce’s α -Existential Graphs. • A generic-figure approach is used to represent α -Existential Graphs in a categorical framework. • We apply the notion of grossone in order to establish well-defined valuations in the category of α -Existential Graphs. We present here an approach to the analysis of the truth values of Peirce’s α -graphs without the restriction of finite number of elements (cuts and characters) on the Sheet of Assertion. We show that the ensuing structure in which such graphs are objects constitutes a topos . While the computation of the truth value of a graph in the topos can be an infinite process, we show that using the concept of grossone (①) the subobject classifier of the topos allows to determine a truth value for each graph.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.