tag:blogger.com,1999:blog-3891434218564545511.post6884008258680736799..comments2024-03-28T19:56:42.305-05:00Comments on Alexander Pruss's Blog: Writing about propositionsAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-3891434218564545511.post-38348080120202084522010-09-15T09:28:55.346-05:002010-09-15T09:28:55.346-05:00What is an "English proposition"?What is an "English proposition"?Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-60684188374060742082010-09-14T12:32:18.492-05:002010-09-14T12:32:18.492-05:00Alex,
This is a strange worry. In propositional l...Alex,<br /><br />This is a strange worry. In propositional logic, you don't substitute names of propositions in the varibles p, q, r. Indeed, you don't even substitute English propositions. You substitute constants A, B, C, etc., so that the schema p -> q takes as substitution instances things like (A & B) -> C and D -> B and (A v C) -> (G & F). The upper case letters are atomic propositions. They are not names of propositions. Otherwise, truth-functional formulations such as A v B would be completely senseless (e.g., that it is snowing or that it is raining??). So, the analogue in quasi-propositional logic, where English is our language, would be to substitute English propositions, not names of propositions in English, for the propositional varibles.Mike Almeidahttps://www.blogger.com/profile/12001511002085064198noreply@blogger.com