Background to Formalization

Journal of Symbolic Logic 42 (2):316-316 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272147

Links

PhilArchive



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

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: Dana S. Scott, Background to Formalization. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-316.
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
The intuitive background of normative legal discourse and its formalization.Carlos E. Alchourrón - 1972 - Journal of Philosophical Logic 1 (3/4):447 - 463.
Fine-tuning and the infrared bull’s-eye.John T. Roberts - 2012 - Philosophical Studies 160 (2):287-303.
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.
The ubiquity of background knowledge.Jaap Kamps - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):317-337.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
The Philosophical Achievement of Jacob Klein.Burt Hopkins - 2011 - New Yearbook for Phenomenology and Phenomenological Philosophy 11:282-296.
A Simple Formalization And Proof For The Mutilated Chess Board.L. Paulson - 2001 - Logic Journal of the IGPL 9 (3):475-485.
A sequence formalization for SCI.Anita Wasilewska - 1976 - Studia Logica 35 (3):213 - 217.
Adequate formalization and De Morgan’s argument.Georg Brun - 2012 - Grazer Philosophische Studien 85 (1):325-335.
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.
Notes on the Formalization of Logic Parts 3 and 4.Dana S. Scott & David Bostock - 1981 - Oxford University Press.
E. full formalization of propositional logic.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 399-406.

Analytics

Added to PP
2015-02-05

Downloads
27 (#574,515)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dana Scott
Carnegie Mellon University

Citations of this work

Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.
Logical Relations between Pictures.Jan Westerhoff - 2005 - Journal of Philosophy 102 (12):603-623.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references