For a typed variable to be an observable it must be interpreted, a correspondence that has inevitably been left informal. This interpretation cannot be omitted: a LoA composed of typed variables called simply x, y, z and so on and treated r…More interesting is the question of infinite regress. Tarski’s definition formalises certain specific properties of truth; a regress would obtain only were a complete characterisation sought. So it is with the interpretation required to def…Russell, B. (1902). Letter to Frege. In J. van Heijenoort (Ed.), From frege to gödel: A source book in mathematical logic, 1879–1931 (pp. 124–125). Harvard University Press: Cambridge, MA, 1967.
Salthe, S. N. (1985). Evolving hierarchical s…
Alfred Tarski
mathematician · 3 mentions across 1 reading
In this course
Tarski's formal definition of truth provides the readings with a philosophical anchor for understanding how typed variables require interpretation to become observable quantities in cybernetic systems. His work on metamathematics and model theory underpins discussions of the infinite regress problem—the question of whether complete characterization of a system demands an infinite chain of interpretive levels—allowing the course to ground debates about observability and formal specification in established logical foundations.
Background
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy.
Wikipedia →Mentioned in 1 reading
Appears alongside
People mentioned in the same passages — sorted by co-occurrence weight.
Akos Egyed 1Bertrand Russell 1Brown 1Carl Craver 1Gordon Globus 1Gottlob Frege 1Grover Maxwell 1Herbert A. Simon 1Irving Savodnik 1J. A. Scott Kelso 1J. M. Spivey 1Jean van Heijenoort 1Jonathan Schaffer 1Leonard Linsky 1Michael A. Arbib 1Murray Gell-Mann 1Nenad Medvidovic 1Plotinus 1Robert C. Richardson 1Roberto Poli 1Stanley Salthe 1William Bechtel 1William C. Wimsatt 1Zenon Pylyshyn 1Luciano Floridi 1Meno 1