Logic Flashcards
proposition
an assertion (statement) that either is true or false
argument
a set of propositions in which one is claimed to follow from another or others.
inference
a process by which one proposition is arrived at and affirmed on the basis of some other proposition or propositions.
premise(s)
the propositions upon which inference is based.
conclusion
the proposition to which the other propositions in the argument are claimed to give support.
deductive argument
an argument in which the conclusion is claimed to follow necessarily from the premises such that accepting the premises forces one to accept the conclusion on pain of contradiction.
valid deductive argument
an argument in which the conclusion DOES FOLLOW necessarily from the premise or premises as claimed.
invalid deductive argument
an argument in which the conclusion DOES NOT FOLLOW necessarily from the premise or premises as claimed.
sound deductive argument
an argument that possesses valid logical form AND true premises.
logic
the study of the methods and principles used to distinguish correct from incorrect reasoning.
quantity
an attribute of every categorical proposition, refers to either ALL members or only SOME members of the class designated by the subject term; either universal or particular.
copula
any form of the verb TO BE that connects the subject term and the predicate term in a categorical proposition.
quality
an attribute of every categorical proposition, affirms or denies class inclusion; either affirmative or negative.
distribution
an attribute that describes the relationship between a categorical proposition and each one of its terms, whether (D) or not (U) the proposition makes a statement about every member of the class of a given term.
classical logic
traditional account of syllogistic reasoning, in which certain interpretations of cat props are presupposed.