Décio Krause
Federal University of Santa Catarina
In this paper we discuss some questions proposed by Prof. Newton da Costa on the foundations of quasi-set theory. His main doubts concern the possibility of a reasonable semantical understanding of the theory, mainly due to the fact that identity and difference do not apply to some entities of the theory’s intended domain of discourse. According to him, the quantifiers employed in the theory, when understood in the usual way, rely on the assumption that identity applies to all entities in the domain of discourse. Inspired by his provocation, we suggest that, using some ideas presented by da Costa himself in his seminars at UFSC and by one of us in some papers, these difficulties can be overcome both on a formal level and on an informal level, showing how quantification over items for which identity does not make sense can be understood without presupposing a semantics based on a ‘classical’ set theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.5007/1808-1711.2009v13n3p251
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,388
Through your library

References found in this work BETA

Ontological Relativity.W. V. Quine - 1968 - Journal of Philosophy 65 (7):185-212.
Treatise of Human Nature.L. A. Selby-Bigge (ed.) - 1978 - Oxford University Press.

View all 15 references / Add more references

Citations of this work BETA

Semantic Analysis of Non-Reflexive Logics.J. R. B. Arenhart - 2014 - Logic Journal of the IGPL 22 (4):565-584.
A Discussion on Quantum Non-Individuality.Décio Krause & Jonas R. Becker Arenhart - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):105-124.

View all 9 citations / Add more citations

Similar books and articles

Remarks on the Theory of Quasi-Sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.
An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
On a Quasi-Set Theory.Décio Krause - 1992 - Notre Dame Journal of Formal Logic 33 (3):402--11.
Quasi-Truth in Quasi-Set Theory.Otávio Bueno - 2000 - Synthese 125 (1-2):33-53.
Lindström Quantifiers and Leaf Language Definability.Hans J. Burtschick & Heribert Vollmer - 1998 - International Journal of Foundations of Computer Science 9 (3):277--294.
Symmetric and Contrapositional Quantifiers.R. Zuber - 2006 - Journal of Logic, Language and Information 16 (1):1-13.


Added to PP index

Total views
34 ( #317,016 of 2,445,416 )

Recent downloads (6 months)
1 ( #457,182 of 2,445,416 )

How can I increase my downloads?


My notes