Do we need quantification?
type: Item
instance of: scholarly article
title: Do we need quantification?
zbMATH Open document ID: 0566.03001
author: Philip Hugly
author: Charles Sayward
published in: Notre Dame Journal of Formal Logic
publication date: 1984-01-01T00:00:00Z
review text: The authors argue that quantifiers in first-order languages are dispensable provided that only syntactic and semantic factors are considered. But, that they are indispensable for reasons of communicability. Among the special cases that are considered for the argument are ''quantificationally incomplete'' models (not enough names), and models on infinite domains, requiring infinite sentences as values of a ''dispensability function''.
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 3902612
zbMATH Keywords: quantifiers in first-order languages
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093870682
OpenAlex ID: W2012312266
DOI: 10.1305/NDJFL/1093870682
description: scientific article; zbMATH DE number 3902612