Formal notes on the substitutional analysis of logical consequence
Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instan...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
University of Notre Dame
2020
|