more on this theme     |     more from this thinker

Single Idea 14620

[filed under theme 5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic ]

Full Idea

It is customary in logic to take a theory to be a set of sentences closed under logical consequence, whereas it is common in discussions of theories of truth to take a theory to be an axiomatized theory.

Gist of Idea

Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms

Source

Kit Fine (Semantic Necessity [2010], n8)

Book Ref

'Modality', ed/tr. Hale,B/Hoffman,A [OUP 2010], p.74

The 6 ideas from 'Semantic Necessity'

14530 The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A]
14618 Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
14619 The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K]
14621 Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
14622 Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K]
14620 Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]