Studia Logica 78 (3):459-477 (2004)

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1007/s11225-004-6045-y
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: 69,043
Through your library

References found in this work BETA

Mathematical Logic.Joseph Robert Shoenfield - 1967 - Reading, MA, USA: Reading, Mass., Addison-Wesley Pub. Co..
Model-Theoretic Logics.J. Barwise & S. Feferman - 1985 - Cambridge University Press.
Fuzzy Logic and Approximate Reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Ultrafilters Generated by a Closed Set of Functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.
On Some Misconceptions About Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (1/2):1-12.
An Existence Theorem for a Special Ultrafilter When.James J. Moloney - 1993 - Journal of Symbolic Logic 58 (4):1359-1364.
Functional Interpretation of Logics for ‘Generally’.Paulo Veloso & Sheila Veloso - 2004 - Logic Journal of the IGPL 12 (6):627-640.
Saturating Ultrafilters on N.D. H. Fremlin & P. J. Nyikos - 1989 - Journal of Symbolic Logic 54 (3):708-718.
Cascades, Order, and Ultrafilters.Andrzej Starosolski - 2014 - Annals of Pure and Applied Logic 165 (10):1626-1638.
A Note on Standard Systems and Ultrafilters.Fredrik Engström - 2008 - Journal of Symbolic Logic 73 (3):824-830.
An Application of Logic Engineering.Sheila Veloso, Paulo Veloso & Renata de Freitas - 2005 - Logic Journal of the IGPL 13 (1):29-46.


Added to PP index

Total views
34 ( #332,655 of 2,498,558 )

Recent downloads (6 months)
1 ( #426,098 of 2,498,558 )

How can I increase my downloads?


My notes