Sciweavers

SYNTHESE
2008
71views more  SYNTHESE 2008»
13 years 11 months ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson