Peircers, It being a rainy day I am saved from having to work in the yard, so let me go ahead and copy out the first part of this article on Logical Implication, as I find I am still pleased with all I was able to say in such a short space.
<quote> Logical Implication =================== http://intersci.ss.uci.edu/wiki/index.php/Logical_implication https://en.wikiversity.org/wiki/Logical_implication The concept of logical implication encompasses a specific logical function, a specific logical relation, and the various symbols that are used to denote this function and this relation. In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them. Close approximations to the concept of logical implication are expressed in ordinary language by means of linguistic forms like the following: “p implies q.” “if p then q.” Here p and q are propositional variables that stand for any propositions in a given language. In a statement of the form “if p then q”, the first term, p, is called the antecedent and the second term, q, is called the consequent, while the statement as a whole is called either the conditional or the consequence. Assuming that the conditional statement is true, then the truth of the antecedent is a sufficient condition for the truth of the consequent, while the truth of the consequent is a necessary condition for the truth of the antecedent. Note. Many writers draw a technical distinction between the form “p implies q” and the form “if p then q”. In this usage, writing “p implies q” asserts the existence of a certain relation between the logical value of p and the logical value of q, whereas writing “if p then q” merely forms a compound statement whose logical value is a function of the logical values of p and q. This will be discussed in detail below. </quote> To be continued ... -- inquiry into inquiry: https://inquiryintoinquiry.com/ academia: https://independent.academia.edu/JonAwbrey oeiswiki: https://www.oeis.org/wiki/User:Jon_Awbrey isw: http://intersci.ss.uci.edu/wiki/index.php/JLA facebook page: https://www.facebook.com/JonnyCache
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . To UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
