Related terms:
alfred tarski
logical consequence
logicians
zermelo
quantifiers
symbolic logic
modal logic
gottlob frege
accessibility relation
journal of symbolic logic
concept of logical consequence
commentary by van heijenoort
normal modal logic
axiom of reducibility
truth predicate
propositional function
saul kripke
fraenkel
kripke semantics
principia mathematica
axiomatic
propositional
falsity
theory of truth
transfinite
boole
computable function
quine
intuitionistic logic
donald davidson
Wikipedia sources:
Alfred Tarski
Truth
Philosophy of language
Mereology
Modal logic
Function (mathematics)
Donald Davidson (philosopher)
Logical consequence
Euclidean geometry
Saul Kripke
Type theory
Rudolf Carnap
Axiom of choice
Mathematical logic
Context for words:
tarski
|
|