Logica Universalis 8 (2):165-191 (2014)

Thomas Ferguson
City University of New York
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
Keywords Non-deterministic logic  Łoś’ theorem  nonclassical model theory
Categories (categorize this paper)
DOI 10.1007/s11787-014-0100-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,901
External links

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

Philosophy of Logics.Susan Haack - 1978 - Cambridge University Press.
Philosophy of Logics.Susan Haack - 1982 - Critica 14 (42):112-119.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.

Add more references

Citations of this work BETA

Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.

Add more citations

Similar books and articles

Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
Holes and Determinism: Another Look.Stephen Leeds - 1995 - Philosophy of Science 62 (3):425-437.
Deterministic Causation.Wolfgang Spohn - 2001 - In Wolfgang Spohn, Marion Ledwig & Michael Esfeld (eds.), Current Issues in Causation. Mentis. pp. 21-46.


Added to PP index

Total views
27 ( #396,894 of 2,439,114 )

Recent downloads (6 months)
1 ( #434,440 of 2,439,114 )

How can I increase my downloads?


My notes