Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. - Atomic semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Document Date: 2010-02-14 05:21:07 Open Document File Size: 262,54 KB Share Result on Facebook Company Sperber / Wilson / / IndustryTerm lower software / non-trivial applications / intelligent computing agent / diverse applications / deductive processing / computing / / Technology virtual machine / virtual reality / / SocialTag Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic

Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence.Add to Reading List