Thematic
Inductive definitions and proofs
An inductive definition of a predicate R characterizes the Rs as the smallest class which satisfies a basis clause of the form (β(x)→Rx), telling us that ...
Search Results 1 - 2 of 2. Results contain 15 matches
Thematic
Semantic paradoxes and theories of truth
The Cretan philosopher Epimenides said that Cretans always lie. Assuming, for the sake of argument, the mendacity of all other statements by Cretans, we get a paradox: if ...