First-Order Logic

[TonyChanYT]

Disclaimer: FOL is not the be-all and end-all. In fact, when it comes to the mystery of the Godhead, FOL is rather useless.

When it comes to formal deductions, FOL is a strong proof of claims. Its components are

1. Propositional calculus, click an example
2. Existential quantifier, for some (1 Corinthians 9:22)
3. Universal quantifier, for all
4. Transitivity: x=y, y=z => x=z
5. Proof by contradiction, click Jesus used it.

People not trained in FOL tend to overgeneralize and jump to conclusions. I was the same.

See also Translating between English and Propositional Logic.

 

[Randy Kluth]

Disclaimer: FOL is not the be-all and end-all. In fact, when it comes to the mystery of the Godhead, FOL is rather useless.

When it comes to formal deductions, FOL is a strong proof of claims. Its components are

1. Propositional calculus, click an example
2. Existential quantifier, for some (1 Corinthians 9:22)
3. Universal quantifier, for all
4. Transitivity: x=y, y=z => x=z
5. Proof by contradiction, click Jesus used it.

People not trained in FOL tend to overgeneralize and jump to conclusions. I was the same.

See also Translating between English and Propositional Logic.

non sequitur arguments abound!

 

[St. SteVen]

What do you think? (topic link below)

Is the Logos meaningful, or meaningless? - Depends on your view of Logos.

The Logos as embodying an idea, the logic, the reason, the meaning.

/