Single Idea 7786

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic]

Full Idea

Propositional logic can deal with negation, disjunction and conjunction of propositions, but predicate logic goes beyond it to deal with quantifiers, predicates and relations.

Clarification

Disjunction uses 'or'

Gist of Idea

Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations

Source

Rod Girle (Modal Logics and Philosophy [2000], 1.1)

Book Reference

Girle,Rod: 'Modal Logics and Philosophy' [Acumen 2000], p.1


A Reaction

This is on the first page of an introduction to the next stage, which is to include modal notions like 'must' and 'possibly'.