On the formalization of semantic conventions
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn Roberts (2012). Fine-Tuning and the Infrared Bull's-Eye. Philosophical Studies 160 (2):287-303.
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,586 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
