Hypersolver: A graphical tool for commonsense set theory

Abstract

This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
21 (#540,244)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

References found in this work

No references found.

Add more references

Citations of this work

A Sharper Image: The Quest of Science and Recursive Production of Objective Realities.Julio Michael Stern - 2020 - Principia: An International Journal of Epistemology 24 (2):255-297.

Add more citations