Introduction (рдкрд░рд┐рдЪрдп)
Symbolic Logic рдореЗрдВ Argument рдХрд╛ рдорддрд▓рдм рд╣реЛрддрд╛ рд╣реИ рдХреБрдЫ statements (premises) рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдПрдХ conclusion рдирд┐рдХрд╛рд▓рдирд╛ред
рд╣рдо рд░реЛрдЬрд╝рдорд░реНрд░рд╛ рдХреА рдЬрд┐рдВрджрдЧреА рдореЗрдВ рднреА arguments рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВ, рд▓реЗрдХрд┐рди logic рдореЗрдВ рдпрд╣ check рдХрд░рдирд╛ рдЬрд░реВрд░реА рд╣реЛрддрд╛ рд╣реИ рдХрд┐ рдЬреЛ conclusion рдирд┐рдХрд╛рд▓рд╛ рдЧрдпрд╛ рд╣реИ, рд╡рд╣ рд╕рд╣реА рд╣реИ рдпрд╛ рдирд╣реАрдВред
рдЗрд╕реАрд▓рд┐рдП рд╣рдо Validity of Argument рдХреЛ study рдХрд░рддреЗ рд╣реИрдВред
Definition (рдкрд░рд┐рднрд╛рд╖рд╛)
Argument рдПрдХ logical structure рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдХреБрдЫ statements (premises) рджрд┐рдП рд╣реЛрддреЗ рд╣реИрдВ рдФрд░ рдЙрдирд╕реЗ рдПрдХ conclusion рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред
Structure of Argument
Argument рджреЛ parts рд╕реЗ рдорд┐рд▓рдХрд░ рдмрдирд╛ рд╣реЛрддрд╛ рд╣реИ:
- Premises (рдЖрдзрд╛рд░ рд╡рд╛рдХреНрдп) тЖТ рдЬреЛ statements рджрд┐рдП рд╣реЛрддреЗ рд╣реИрдВ
- Conclusion (рдирд┐рд╖реНрдХрд░реНрд╖) тЖТ рдЬреЛ result рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИ
Example
Premise 1: All humans are mortal
Premise 2: Ram is a human
Conclusion: Ram is mortal
Understanding
рдпрд╣рд╛рдБ рджреЛ statements (premises) рджрд┐рдП рдЧрдП рд╣реИрдВ, рдФрд░ рдЙрдирд╕реЗ рдПрдХ logical conclusion рдирд┐рдХрд╛рд▓рд╛ рдЧрдпрд╛ рд╣реИред
Validity of Argument (рддрд░реНрдХ рдХреА рд╡реИрдзрддрд╛)
Concept (рд╕рдордЭрд┐рдП)
Argument valid рддрдм рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬрдм:
рдЕрдЧрд░ рд╕рднреА premises true рд╣реЛрдВ, рддреЛ conclusion рднреА necessarily true рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред
Definition (рдкрд░рд┐рднрд╛рд╖рд╛)
рдПрдХ argument valid рд╣реЛрддрд╛ рд╣реИ рдпрджрд┐ premises рдХреЗ true рд╣реЛрдиреЗ рдкрд░ conclusion рднреА рд╣рдореЗрд╢рд╛ true рд╣реЛред
Example of Valid Argument
Premise 1: If it rains, the ground becomes wet
Premise 2: It is raining
Conclusion: The ground is wet
Understanding
рдпрд╣ argument valid рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдЕрдЧрд░ premises true рд╣реИрдВ, рддреЛ conclusion рднреА рдирд┐рд╢реНрдЪрд┐рдд рд░реВрдк рд╕реЗ true рд╣реЛрдЧрд╛ред
Example of Invalid Argument
Premise 1: If a person studies, then he passes
Premise 2: He passed
Conclusion: He studied
Understanding
рдпрд╣ argument invalid рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ pass рд╣реЛрдиреЗ рдХреЗ рдФрд░ рднреА рдХрд╛рд░рдг рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВред
рдЗрд╕рд▓рд┐рдП conclusion рдЬрд░реВрд░реА рдирд╣реАрдВ рдХрд┐ рд╕рд╣реА рд╣реЛред
Method to Check Validity
Truth Table Method
Argument рдХреЛ valid рдпрд╛ invalid check рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП truth table рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдЕрдЧрд░ рд╣рд░ рдЙрд╕ case рдореЗрдВ рдЬрд╣рд╛рдБ premises true рд╣реИрдВ, conclusion рднреА true рд╣реИ тЖТ argument valid рд╣реИ
Example (Truth Table Approach)
рдорд╛рди рд▓реЗрдВ:
Premises: p тЖТ q, p
Conclusion: q
рдпрд╣ Modus Ponens рдХрд╛ example рд╣реИ рдФрд░ рдпрд╣ рд╣рдореЗрд╢рд╛ valid рд╣реЛрддрд╛ рд╣реИред
Another Example
Premises: p тЖТ q, ┬мq
Conclusion: ┬мp
рдпрд╣ Modus Tollens рд╣реИ рдФрд░ рдпрд╣ рднреА valid argument рд╣реИред
Common Valid Argument Forms
1. Modus Ponens
p тЖТ q
p
тИ┤ q
2. Modus Tollens
p тЖТ q
┬мq
тИ┤ ┬мp
Understanding
рдпреЗ patterns рд╣рдореЗрд╢рд╛ valid рд╣реЛрддреЗ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП рдЗрдиреНрд╣реЗрдВ рдпрд╛рдж рд░рдЦрдирд╛ рдЬрд░реВрд░реА рд╣реИред
Important Points
Argument рдореЗрдВ conclusion premises рдкрд░ depend рдХрд░рддрд╛ рд╣реИ
Validity рдХрд╛ рдорддрд▓рдм truth рдирд╣реАрдВ, structure рдХреА correctness рд╣реИ
Invalid argument рдореЗрдВ conclusion рдЧрд▓рдд рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
Valid argument рдореЗрдВ conclusion logically рд╕рд╣реА рд╣реЛрддрд╛ рд╣реИ
Another Example
Premise 1: All birds can fly
Premise 2: Penguin is a bird
Conclusion: Penguin can fly
Understanding
рдпрд╣ argument logically valid рд╣реИ, рд▓реЗрдХрд┐рди factually рдЧрд▓рдд рд╣реИред
рдЗрд╕рд╕реЗ рд╕рдордЭ рдЖрддрд╛ рд╣реИ рдХрд┐ validity рдФрд░ truth рдЕрд▓рдЧ concepts рд╣реИрдВред
Final Understanding
Argument рдХрд╛ рдорддрд▓рдм рд╣реИ premises рд╕реЗ conclusion рдирд┐рдХрд╛рд▓рдирд╛
Validity рдХрд╛ рдорддрд▓рдм рд╣реИ рдХрд┐ conclusion logically рд╕рд╣реА рдирд┐рдХрд▓реЗ
Short Answer
Argument рдПрдХ logical structure рд╣реИ рдЬрд┐рд╕рдореЗрдВ premises рд╕реЗ conclusion рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред Argument valid рддрдм рд╣реЛрддрд╛ рд╣реИ рдЬрдм premises true рд╣реЛрдиреЗ рдкрд░ conclusion рднреА рд╣рдореЗрд╢рд╛ true рд╣реЛред