Single Idea 5737

[catalogued under 4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC]

Full Idea

First-order predicate language has four connectives, two quantifiers, variables, predicates, equality, names, and brackets.

Gist of Idea

Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets

Source

Joseph Melia (Modality [2003], Ch.2)

Book Reference

Melia,Joseph: 'Modality' [Acumen 2003], p.22


A Reaction

Look up the reference for the details! The spirit of logic is seen in this basic framework, and the main interest is in the ontological commitment of the items on the list. The list is either known a priori, or it is merely conventional.