Logic definitions Flashcards
Syntax
The rules of combination of the elements of a language.
Semantics
The study of meanings attached to linguistic signs
Deduction
A type of inference in which the conclusion follows necessarily by virtue of the form of the argument.
Induction
A type of inference which seeks to establish general principles on the basis of less general principles
Fallacy
A form of argument which is invalid, ie which does not guarantee truth at its conclusion.
Syllogism
A deductive argument consisting of two or more premises and one conclusion.
Subject / predicate
A proposition or statement is made up of a subject, about which a claim is made, and a predicate which is the claim made about the subject.
Premise / conclusion
Logical argument = number of premises (propositions which are presented as given) + conclusion (a proposition which follows logically from the premises)
Major / minor premise
Aristotelian syllogism: premise which contains the term which is the predicate of the conclusion - major premise.
Premise containing subject of conclusion - minor premise
Universal / particular
Universal proposition makes claims about all members of a class.
Particular proposition: claims about at least one but not all members of a class.
Proposition
Information content of a statement or any well formed formula
Compound proposition
Any proposition longer than a single statement letter.
Logic of propositions
System of symbolic formal logic whose formulas are made up principally of statement letters and connectives
Local connective
An operator which can be combined with one or two propositions to form a new proposition
Statement letter
A letter than can represent any statement
Well formed formula
(In strictly formal logical systems) a syntactically correct arrangement of symbols
Axiom
(In strictly formal systems) a compound proposition which is taken as given
Rule of inference
- Rule by means of which the conclusion of an argument is derived from the premises
- (Formal systems) a rule for deriving theorems from axioms or other theorems
Theorem
(Formal systems) a compound proposition which can be derived from axioms by the correct use of rule of inference
Tautology
A compound proposition which is necessarily true
Contradiction
A compound proposition which is necessarily false.
Truth table
An arrangement of the truth values that shows in every possible case how the truth values of a compound proposition is determined by the truth values of its simple components
Predicate logic
A kind of formalised logic in which statement letters of propositional logic are replaced by symbols which represent predicates and terms and which makes use of qualifiers.
Terms / predicates
In predicate logic, the simplest propositions are formed of predicates joined with one or more terms. Frege: Px where P is the predicate and x is the term.
Universal quantifier
A logical operator (inverted A)x read ‘for all x’
Existential quantifier
Logical operator written (backward E)x read ‘there exists x such that’.
Logic
- Study of methods and principles used to distinguish correct and incorrect reasoning
- The science of reason. (Aquinas)
- The systematic formulation and cataloging of valid methods of reasoning
- A system or codification of the principles of proof and inference