Existence and description in formal logic

Journal of Symbolic Logic 38 (1):181--200 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271770

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Dana Scott. Existence and description in formal logic. Bertrand Russell, Philosopher of the century, Essays in his honour, edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen & Unwin Ltd, London, 1967, pp. 181–200. [REVIEW]Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):166-169.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Review: Dana Scott, The Lattice of Flow Diagrams. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
Review: Dana Scott, On Constructing Models for Arithmetic. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (2):336-337.
Dedicated to Dana Scott on his sixtieth birthday.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2).
Review: Dana S. Scott, Background to Formalization. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-316.
Review: Dana Scott, A Proof of the Independence of the Continuum Hypothesis. [REVIEW]J. W. Robbin - 1968 - Journal of Symbolic Logic 33 (2):293-293.
Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.

Analytics

Added to PP
2010-01-18

Downloads
176 (#135,533)

6 months
23 (#131,685)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dana Scott
Carnegie Mellon University

Citations of this work

Psychophysical and theoretical identifications.David K. Lewis - 1972 - Australasian Journal of Philosophy 50 (3):249-258.
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
A semantic theory of sortal incorrectness.R. H. Thomason - 1972 - Journal of Philosophical Logic 1 (2):209 - 258.
Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references