On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).
Jan MycielskiPublished in: Ann. Pure Appl. Log. (2004)
Keyphrases
- mathematical model
- mathematical models
- mathematical modeling
- theoretical framework
- control strategy
- computational model
- theoretical foundation
- high level
- ant colony algorithm
- domain knowledge
- management system
- formal model
- probabilistic model
- fault diagnosis
- expert systems
- computational models
- simulation model
- social networks