Journal article
The substitutional analysis of logical consequence
- Abstract:
-
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 expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing ad...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Bibliographic Details
- Publisher:
- Wiley Publisher's website
- Journal:
- Noûs Journal website
- Volume:
- 54
- Issue:
- 2
- Pages:
- 431-450
- Publication date:
- 2018-06-08
- Acceptance date:
- 2018-05-19
- DOI:
- EISSN:
-
1468-0068
- ISSN:
-
0029-4624
Item Description
- Language:
- English
- Pubs id:
-
pubs:848198
- UUID:
-
uuid:3eb5fbd1-ef1b-4204-9542-98b0edfaf0b1
- Local pid:
- pubs:848198
- Source identifiers:
-
848198
- Deposit date:
- 2018-05-19
Terms of use
- Copyright holder:
- Wiley Periodicals, Inc
- Copyright date:
- 2018
- Rights statement:
- Copyright © 2018 Wiley Periodicals, Inc.
- Notes:
- This is the accepted manuscript version of the article. The final version is available online from Wiley at https://doi.org/10.1111/nous.12256
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record