ABSTRACT

A method of formal logic to deduce a conclusion from two premises. For example, If all humans die and Socrates is human, then Socrates will die. In a correctly formed syllogism, the truth of the conclusion necessarily follows from the truth of the premises. A syllogism is always true on the basis of its structure ( implication), even if all its premises are false. ( also argumentation, enthymeme)

References

formal logic

1 In the semiotics of Peirce (1931), a class of signs in which the relation between the sign and the denoted state of affairs rests exclusively upon convention. The meaning of a symbol is established within a given language or culture. This is the case both for linguistic signs and for gestures (modes of address) or visual representations (e.g. the dove as a symbol of peace). ( also icon, index)

Reference

Peirce, C.S. 1931-58. Collected papers of Charles S. Peirce, ed. C.Hartshorne, P.Weiss, and A.W. Burks. 8 vols. Cambridge, MA.