Category:意味論 (論理学)

Truth table

Intension

Tautology (logic)

Circular definition

Mereology

Sense and reference

Declarative knowledge

Game semantics

Domain of discourse

Recursive definition

Brain in a vat