# Predicate logic

### Explore related topics

### What is a formal definition of "predicate logic"? - Mathematics Stack Exchange

### Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalization

### Logic Lecture: Predicate Logic: Formal Proofs of Validity: Existential Generalization

### 7. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Existential Instantiation - YouTube

### Logic Lecture: Introduction to Predicate Logic

### Lojban - syntactically unambiguous human language based on predicate logic

### 2. Logic Lecture: Introduction to Predicate Logic - YouTube

### Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proof

### No one person is entirely responsibly for what we today call formal (or predicate) logic, but perhaps closest comes #Frege. Frege's new logical language was designed, in part, to resolve certain paradoxes in #philosophy by including #quantifiers (which defined the numbers of something). Despite being groundbreaking, it was not until the better-known, and better liked, Bertrand #Russell wrote extensively about (and therefore promoted) Frege, that it ignited the philosophical world.

Modal Predicate Logic [Hardegree], via umass.edu - UXSherlock.