Abstract
Recall our notion of a semantic system as consisting of sentences, models, abstract values and an evaluation function assigning to each sentence and each model M the value |ϕ| M of ϕ in M. In the present chapter we are going to analyse possible structures of φ sentences and of models and the dependence of |ϕ| M the structure of ϕ and of M. Our aim is to generalize and modify the classical predicate calculus in various ways, in particular by admitting generalized quantifiers. (The following are preliminary examples of sentences containing generalized quantifiers: (i) For sufficiently many x, P(x). (ii) The property Q(x) is associated with R(x).)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hájek, P., Havránek, T. (1978). A Formalization of Observational and Theoretical Languages. In: Mechanizing Hypothesis Formation. Universitext. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66943-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-66943-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08738-0
Online ISBN: 978-3-642-66943-9
eBook Packages: Springer Book Archive