The substitutional analysis of logical consequence
<p>A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Wiley
2018
|