Propositional Logic Symposia - [7] – Proof Structures and Inferences

[Zetetic11235]

Ah, I study predicate logic as my interest lies in formal lnaguage, mathematics and analytic philosophy. I am not sure what the proposotional logic is used for? I always assumed it was a less developed form of the predicate calculus? Or is it a method of parsing natural language as opposed to creating a more precises formal language?

[VideCorSpoon]

Arjen,

HA! Your right! Yeah, propositional logic uses to general syntactical structures, universal and existential general sentences. Universal quantifiers would make a claim about all members of a group where existential quantifiers make a claim about some members of a group. Sorry about that, I was in an existential mood.

As for an introduction to predicate logic, sure! I have a few more posts with the propositional logic series, but I’ll do a predicate introduction if anyone wants it. It does get fun once you get into predicate logic. And the best thing about it is it is really not that difficult to get down if you understand the propositional elements in it. There is also monadic and modal logics as well which follow directly after predicate which I have always found interesting.

Zentetic,

Well I can assume that propositional logic is used for argumentative evaluation. At least that’s why I use it. I found propositional logic especially useful as a proverbial “argument check.” But I’m sure there is a more fantastic and eloquent operandi out there, but that seems to fit with what I use it for anyway. But from how I understand logic, propositional is as integral to predicate as predicate is integral to propositional. It’s not that propositional is less developed, it’s just that there are more advanced systems we can use to do roughly the same thing. This even applies within propositional logic, with basic truth tables and the more thorough proofs. Simply, there are limits to every system.

[Arjen]

*orders some logic for future helpings*