Journal of Symbolic Logic 51 (4):865 (1986)

Authors
Wilfrid Hodges
British Academy
Abstract
We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1023/A:1008256009847
Options
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: 71,410
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.
Defining Determinism.Thomas Müller & Tomasz Placek - 2018 - British Journal for the Philosophy of Science 69 (1):215-252.

View all 67 citations / Add more citations

Similar books and articles

[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
Formal Features of Compositionality.Wilfrid Hodges - 2001 - Journal of Logic, Language and Information 10 (1):7-28.
On the Compositional Extension Problem.Dag Westerståhl - 2004 - Journal of Philosophical Logic 33 (6):549-582.
From Compositional to Systematic Semantics.Wlodek Zadrozny - 1994 - Linguistics and Philosophy 17 (4):329 - 342.
A Proofless Proof of the Barwise Compactness Theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.
Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.

Analytics

Added to PP index
2009-01-28

Total views
48 ( #238,022 of 2,519,844 )

Recent downloads (6 months)
1 ( #406,012 of 2,519,844 )

How can I increase my downloads?

Downloads

My notes