Propositional calculus
Logical syntax
Statements
Mental content
Mathematical logic
Proposition
Function
Learning
Logic
Mathematics
Philosophy of mind