Abstract
This note shows that the system of natural deduction proposed by Copi in this Journal (1956), made by varying one restriction on Universal Generalization (UG) of the system of his Symbolic logic (1954), is incorrect. The original Symbolic logic system, also incorrect, was corrected in the third printing (1958) by modification of another restriction on UG; but combining this modification with that of the Journal article does not give a correct system.1. In Symbolic logic — cited as SL (or as SL54 to indicate the first printing) — Copi precedes his formal statement of the quantification rules by a set of conventions applying to all the rules.The expression ‘Φμ’ will denote any propositional function in which there is at least one free occurrence of the variable denoted by ‘μ’. The expression ‘Φν’ will denote the result of replacing all free occurrences of μ in Φμ by ν, with the added provision that [a] when ν is a variable it must occur free in Φν at all places at which μ occurs free in Φμ.The italicized provision we call Restriction a. In the third printing of Symbolic logic — cited as SL58 — Restriction a appears explicitly as part of each of the four quantification rules.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.