A Formalization of Set Theory Without Variables

Journal of Symbolic Logic 55 (1):350-352 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274990

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

Review: Alfred Tarski, Steven Givant, A Formalization of Set Theory Without Variables. [REVIEW]Istvan Nemeti - 1990 - Journal of Symbolic Logic 55 (1):350-352.
A Formalization of Set Theory Without Variables.István Németi - 1988 - American Mathematical Soc..
REVIEW OF Alfred Tarski, Collected Papers, vols. 1-4 (1986) edited by Steven Givant and Ralph McKenzie. [REVIEW]John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (h):01101-4.
" To be an object" means" to have properties." Thus, any object has at least one property. A good formalization of this simple conclusion is a thesis of second-order logic:(1) Vx3P (Px) This formalization is based on two assumptions:(a) object variables. [REVIEW]Russell'S. Paradox - 2006 - In J. Jadacki & J. Pasniczek (eds.), The Lvov-Warsaw School: The New Generation. Reidel. pp. 6--129.
The axiom of elementary sets on the edge of Peircean expressibility.Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti - 2005 - Journal of Symbolic Logic 70 (3):953-968.
The Axiom of Elementary Sets on the Edge of Peircean Expressibility.Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti - 2005 - Journal of Symbolic Logic 70 (3):953 - 968.
O caráter definicional sui generis dos predicados tarskianos de verdade.Luciano Vicente - 2016 - Abstracta 9 (1).
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
Contexts, oracles, and relevance.Varol Akman & Mehmet Surav - 1995 - In Proceedings of the AAAI-95 Fall Symposium on Formalizing Context (AAAI Technical Report FS-95-02). Palo Alto, CA: Association for the Advancement of Artificial Intelligence Press. pp. 23-30.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.

Analytics

Added to PP
2017-02-21

Downloads
13 (#978,482)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.
Extensionality and logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references