| |
| | Logical Consequence, Model-Theoretic Conceptions [Internet Encyclopedia of Philosophy] |
 | | A model-theoretic conception of logical consequence in language M clarifies this intuitive characterization of logical consequence by appealing to the semantic properties of the logical constants, represented in the above truth clauses (I)-(VII). |
 | | In contrast, a deductive-theoretic conception clarifies logical consequence in M, conceived of in terms of deducibility, by appealing to the inferential properties of logical constants portrayed as intuitively valid principles of inference, i.e., principles justifying steps in deductions. |
 | | Appealing to the satisfaction clauses (I), (III), and (VI), it is fairly straightforward to see that the structure U''' is a model of (6) and (7) but not of (8). |
| www.iep.utm.edu /l/logcon-m.htm (9582 words) |
|