Do we need models ?
type: Item
instance of: scholarly article
title: Do we need models ?
zbMATH Open document ID: 0636.03032
author: Philip Hugly
author: Charles Sayward
published in: Notre Dame Journal of Formal Logic
publication date: 1987-01-01T00:00:00Z
review text: Ordinary model-theoretic semantics assigns objects to individual symbols as their denotations (n-tuples of objects to n-ary predicates, etc.). In truth valuational semantics, truth values are assigned to atomic formulas directly, and not via an assignment of denotations to their constituent expressions. It may be thought that such a semantics would have difficulty with \(\omega\)-inconsistent sets. The authors develop a non- denotational semantics (it is not quite truth valuational in the old sense) which has exactly the power of classical model-theoretic semantics, suggesting that models (and other denotative notions) are semantically unnecessary.
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 4035804
zbMATH Keywords: model theory
zbMATH Keywords: truth valuational semantics
zbMATH Keywords: \(\omega \)-inconsistent sets
zbMATH Keywords: non-denotational semantics
reviewed by: Jim Mackenzie
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093637562
OpenAlex ID: W1989524091
DOI: 10.1305/NDJFL/1093637562
description: scientific article; zbMATH DE number 4035804