David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 55 (1):220-243 (1990)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
John Roberts (2012). Fine-Tuning and the Infrared Bull's-Eye. Philosophical Studies 160 (2):287-303.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Richard L. Epstein (1994). The Semantic Foundations of Logic. Oxford University Press.
Jose M. Saguillo (1999). Domains of Sciences, Universes of Discourse and Omega Arguments. History and Philosophy of Logic 20 (3-4):267-290.
Sebastian Lutz (2014). What's Right with a Syntactic Approach to Theories and Models? Erkenntnis:1-18.
Lorenz B. Puntel (1997). Dialektik Und Formalisierung. Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (2):367-383.
Anita Wasilewska (1976). A Sequence Formalization for SCI. Studia Logica 35 (3):213 - 217.
Mustafa Jarrar, Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.
Constantine Politis (1965). Limitations of Formalization. Philosophy of Science 32 (3/4):356-360.
Added to index2009-01-28
Total downloads9 ( #221,098 of 1,696,306 )
Recent downloads (6 months)1 ( #333,740 of 1,696,306 )
How can I increase my downloads?