Category:Predicate logic
![]() | Philosophy portal |
Here is a list of articles in the category Predicate logic of the Philosophy portal. In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems such as propositional logic in that its formulas contain variables which can be quantified.
Subcategories
This category has only the following subcategory.
M
Pages in category "Predicate logic"
The following 32 pages are in this category, out of 32 total.
A
- Atomic formula (physics)
- Atomic sentence (philosophy)
B
- Begriffsschrift (computing)
- Bernays–Schönfinkel class (philosophy)
C
- Clause (logic) (philosophy)
D
- Domain of discourse (philosophy)
- Drinker paradox (computing)
E
- Empty domain (philosophy)
- Existential generalization (computing)
- Existential instantiation (computing)
- Extension (predicate logic) (philosophy)
F
- First-order logic (computing)
- First-order predicate (philosophy)
- Formation rule (computing)
- Free variables and bound variables (computing)
G
- Universal generalization (computing)
I
- Independence of premise (philosophy)
- Intensional logic (philosophy)
M
- Mereology (computing)
- Monadic predicate calculus (philosophy)
P
- Predicate (mathematical logic) (computing)
- Predicate functor logic (computing)
- Predicate variable (computing)
- Propositional function (computing)
Q
- Quantifier (logic) (philosophy)
- Quantifier rank (computing)
S
- Scope (logic) (philosophy)
- Second-order predicate (philosophy)
- Sentence (mathematical logic) (philosophy)
- Standard translation (philosophy)
T
- Tarski's World (philosophy)
U
- Universal instantiation (computing)