Propositionalism
Propositionalism is the claim that all logical relations can be captured by propositional logic. It is usually regarded as obviously false, because propositional logic seems too weak to capture the rich logical structure of language. I show that there is a clear sense in which propositional logic ca...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Journal of Philosophy
2021
|
| _version_ | 1826308179178291200 |
|---|---|
| author | Paseau, A |
| author_facet | Paseau, A |
| author_sort | Paseau, A |
| collection | OXFORD |
| description | Propositionalism is the claim that all logical relations can be captured by propositional logic. It is usually regarded as obviously false, because propositional logic seems too weak to capture the rich logical structure of language. I show that there is a clear sense in which propositional logic can match first-order logic, by producing formalizations that (i) are valid iff their first-order counterparts are, and (ii) also respect grammatical form as the propositionalist construes it. I explain the real reason propositionalism fails, which is more subtle and more interesting.
|
| first_indexed | 2024-03-07T07:15:38Z |
| format | Journal article |
| id | oxford-uuid:a1f3dc67-cf07-4f09-81f5-886747a5a084 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T07:15:38Z |
| publishDate | 2021 |
| publisher | Journal of Philosophy |
| record_format | dspace |
| spelling | oxford-uuid:a1f3dc67-cf07-4f09-81f5-886747a5a0842022-08-02T11:51:38ZPropositionalismJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a1f3dc67-cf07-4f09-81f5-886747a5a084EnglishSymplectic ElementsJournal of Philosophy2021Paseau, APropositionalism is the claim that all logical relations can be captured by propositional logic. It is usually regarded as obviously false, because propositional logic seems too weak to capture the rich logical structure of language. I show that there is a clear sense in which propositional logic can match first-order logic, by producing formalizations that (i) are valid iff their first-order counterparts are, and (ii) also respect grammatical form as the propositionalist construes it. I explain the real reason propositionalism fails, which is more subtle and more interesting. |
| spellingShingle | Paseau, A Propositionalism |
| title | Propositionalism |
| title_full | Propositionalism |
| title_fullStr | Propositionalism |
| title_full_unstemmed | Propositionalism |
| title_short | Propositionalism |
| title_sort | propositionalism |
| work_keys_str_mv | AT paseaua propositionalism |