Model Theory and Ramsey-Elimination
In this section we continue to discuss the role of auxiliary concepts in first-order languages, primarily from a semantical (model theoretic) point of view within the frame of theories which are extensions of some observational theories. In Section 2 of this chapter we will be especially interested in the relationships between Craigian and (proof theoretic and model theoretic) Ramseyan eliminability. Our emphasis will in this section be on logical rather than methodological and philosophical questions.
KeywordsTheoretical Concept Deductive Systematization Original Theory Theoretical Term Conservative Extension
Unable to display preview. Download preview PDF.