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...
| Autore principale: | |
|---|---|
| Natura: | Journal article |
| Lingua: | English |
| Pubblicazione: |
Wiley
2018
|