Predicate Logic

Home
Sentential Logic
LPL Syntax
Predicate Logic
Student Contributions
Fallacies
Glossary
Search
Contents

The predicate logic PL is an extension of the language SL.  In SL, the basic units are indivisible simple statements.  In PL, those basic units of SL have an internal structure.  To get a sense of why the internal structures of sentences are important, consider the following argument:

Duff is taller than Ryckman.
Therefore, at least one thing is taller than Ryckman.

This argument is clearly valid, but it is impossible to show why it is in SL. (Why? Oh, please, tell us why?)

In other ways though, PL is quite similar to SL. PL has it’s own derivation system PD (and PD+), but all the derivation rules for SD still apply when deriving arguments in PL. But when working in PL, one often has to use rules of PD (PD+) as well as rules of SD to complete derivations. (AMcD)

 

Coming soon to a logic class near you!