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.

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.

pin 14
heart 3
This is just my childhood argument against my parents belief in god's existence. Existence is physical, so you can falsify anything which exists simply because you can move it somewhere else, perhaps even to the invisible, or you can dissolve it by eradication. "There is a chair in that room" can be falsified by simply physically removing the chair from the room so that "There is not a chair in that room." Every reality, comes with a possibility of a not, and in predicate logic not is…

This is just my childhood argument against my parents belief in god's existence. Existence is physical, so you can falsify anything which exists simply because you can move it somewhere else, perhaps even to the invisible, or you can dissolve it by eradication. "There is a chair in that room" can be falsified by simply physically removing the chair from the room so that "There is not a chair in that room." Every reality, comes with a possibility of a not, and in predicate logic not is…

Image result for predicate logic symbols

Image result for predicate logic symbols

8. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proof - YouTube

8. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proof - YouTube

pin 1
5. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalization - YouTube

5. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalization - YouTube

pin 1
Lojban - syntactically unambiguous human language based on predicate logic

Lojban - syntactically unambiguous human language based on predicate logic

pin 3
heart 1
3. Logic Lecture: Introduction to Predicate Logic - YouTube

3. Logic Lecture: Introduction to Predicate Logic - YouTube

pin 1
6. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Existential Generalization - YouTube

6. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Existential Generalization - YouTube

pin 1
Pinterest • The world’s catalog of ideas
Search