I enjoy cheese and symbols.
Interests
edit- logic (philosophical, mathematical, philosophy of)
- philosophy and foundations of mathematics
- proof and model theory
- philosophy of language
- ontology (of mathematics and modality)
Created articles
edit- Branching quantifier
- Predicate abstraction
- Empty domain
- Truth-value semantics
- Computation problem
- Free logic
- Proof procedure
- Trakhtenbrot's theorem
- Conditioned disjunction
- Lindenbaum's lemma
- Lindstrom's theorem
- Cyclic negation
- Supervaluationism
- Effectively calculable
- Craig's theorem
- Conditional quantifier
- Beth definability
- Classical modal logic
- Regular modal logic
- Finite model property
- Window operator