What is Logic?
Logic is the study of the methods and principles used to distinguish correct from incorrect reasoning.
What are the different forms of simple proposition?
[span_5](start_span)In traditional logic, simple (categorical) propositions take four forms based on quality and quantity:
[span_5](end_span)What is meant by 'Truth' and 'Validity' in Logic? Distinguish between them with suitable examples.
Truth: Truth is a property of individual propositions (statements). A statement is true if it corresponds to reality.
Validity: Validity is a property of deductive arguments. An argument is valid if its structure is such that if the premises are true, the conclusion must be true.
| Feature | Truth | Validity |
|---|---|---|
| Applied to | Single Statements | Arguments (Structure) |
| Example | "All humans are mortal" (True) | All A are B; All B are C; Therefore All A are C (Valid) |
Distinction: An argument can be valid even if its premises are false (e.g., All dogs are cats; All cats are birds; Therefore all dogs are birds). Conversely, a set of true statements does not automatically form a valid argument if the logic is disconnected.
What is obversion?
Obversion is a type of immediate inference in which the quality of the subject-predicate relationship is changed and the predicate is replaced by its complement.
Discuss the traditional square of opposition. How does it differ from Boolean square?
Traditional Square: Defines the relationships between A, E, I, and O propositions:
Boolean Difference: George Boole argued that universal propositions (A and E) do not have existential import (they don't claim the subject exists). Consequently, in the Boolean square, only contradictory relationships remain valid; subalternation, contraries, and subcontraries are rejected.
What is figure? How many figures are there in categorical syllogism?
The figure of a syllogism is determined by the position of the middle term (M) in the premises. There are four figures in total.
What is categorical syllogism? Explain the structure and state Copi's general rules.
Definition: A deductive argument consisting of three categorical propositions (two premises and one conclusion) containing exactly three terms.
Structure:
Copi's Rules:
What is tautology?
A tautology is a statement form that is true under all possible assignments of truth values to its components (e.g., p ∨ ~p).
Symbolize the following statements using capital letters:
What is formal proof of validity? State nine rules of inference.
A formal proof of validity is a sequence of statements, each of which is either a premise or follows from preceding statements by a rule of inference, ending with the conclusion.
Nine Rules of Inference (Examples):