Abstract
This paper offers a framework for extending Arnon Avron and Iddo Lev’s non-deterministic semantics to quantified predicate logic with the intent of resolving several problems and limitations of Avron and Anna Zamansky’s approach. By employing a broadly Fregean picture of logic, the framework described in this paper has the benefits of permitting quantifiers more general than Walter Carnielli’s distribution quantifiers and yielding a well-behaved model theory. This approach is purely objectual and yields the semantical equivalence of both α-equivalent formulae and formulae differing only by codenotative terms. Finally, we make a brief excursion into non-deterministic model theory, proving a strong Łoś’ Theorem and compactness for all finitely-valued, non-deterministic logics whose quantifiers have intensions describable in a first order metalanguage.
Similar content being viewed by others
References
Avron A., Lev I.: Non-deterministic multiple-valued structures. J. Log. Comput. 15(3), 241–261 (2005)
Avron, A., Zamansky, A.: Quantification in non-deterministic multi-valued structures. In: 35th International Symposium on Multiple-Valued Logic (ISMVL’05). IEEE Computer Society, Los Alamitos, pp. 296–301 (2005)
Carnielli W.A.: Systematization of finite many-valued logics through the method of tableaux. J. Symb. Log. 52(2), 473–493 (1987)
Frege, G.: Function and concept. In: Geach, P., Black, M. (eds.) Translations from the Philosophical Writings of Gottlob Frege, 2nd edn. Basil Blackwell and Mott, Oxford (1960)
Haack S.: Philosophy of Logics. Cambridge University Press, New York (1978)
Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Fenstad, J.E., Frolov, I.T., Hilpinen, R. (eds.) Logic, Methodology and Philosophy of Science, vol. 8. Elsevier, Amsterdam, pp. 571–589
Marker D.: Model Theory: An Introduction. Springer-Verlag, New York (2002)
Mostowski A.: On a generalization of quantifiers. Fund. Math. 44(1), 12–36 (1957)
Rothmaler P.: Introduction to Model Theory. Taylor and Francis, New York (2000)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ferguson, T.M. On Non-Deterministic Quantification. Log. Univers. 8, 165–191 (2014). https://doi.org/10.1007/s11787-014-0100-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-014-0100-x