Journal of Symbolic Logic 55 (1):220-243 (1990)
|Abstract||This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them. We show that certain techniques (among the six) subsume others. To illustrate sharpness, we also consider a selection of constructs and show which techniques can and cannot be used to introduce them. The six studied techniques were selected on the basis of actual practice in logic and computing. They do not form an exhaustive list|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
John Roberts (2012). Fine-Tuning and the Infrared Bull's-Eye. Philosophical Studies 160 (2):287-303.
Mustafa Jarrar, Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.
Anita Wasilewska (1976). A Sequence Formalization for SCI. Studia Logica 35 (3):213 - 217.
Lorenz B. Puntel (1997). Dialektik Und Formalisierung. Journal for General Philosophy of Science 28 (2):367-383.
Jose M. Saguillo (1999). Domains of Sciences, Universes of Discourse and Omega Arguments. History and Philosophy of Logic 20 (3-4):267-290.
Richard L. Epstein (1994). The Semantic Foundations of Logic. Oxford University Press.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Constantine Politis (1965). Limitations of Formalization. Philosophy of Science 32 (3/4):356-360.
Added to index2009-01-28
Total downloads4 ( #188,971 of 722,934 )
Recent downloads (6 months)0
How can I increase my downloads?