H ? « ‹ ← → › »

Language peer sets for Woodger:
United Kingdom↑
United Kingdom/1937↑
Designed 1937 ↑
1930s languages ↑
First generation↑
Pre-War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1937↑
Logical/1937↑
Expression-oriented/1937↑
Symbolic/United Kingdom↑
Logical/United Kingdom↑
Expression-oriented/United Kingdom↑

Woodger(ID:6951/woo006)

alternate simple view
Country: United Kingdom
Designed 1937
Genus: Symbolic

Formalised language for expression biological truths

Woodger also translated Tarski's formalised languages for Cambridge
Related languages
Tarski → Woodger   Influence
References:
  • Woodger, J.H. (1937) Woodger, J.H. "The Axiomatic Method in Biology", Cambridge University Press, Cambridge.
  • Dunham, Bradford (1957) Dunham, Bradford "The formalization of scientific languages. I. The work of Woodger and Hull" IBM Journal of Research and Development Volume 1, Number 4, October, 1957 pp341-8 Copy at IBM Abstract Extract: Introduction
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder