## Alfred Tarski: Life and LogicAlfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His mathematical work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in philosophy, linguistics and computer science. Tarski was a charismatic teacher and zealous promoter of his view of logic as the foundation of all rational thought, a bon-vivant and a womanizer, who played the 'great man' to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed his name and converted to Catholicism, but was never able to obtain a professorship in his home country. A fortuitous trip to the United States at the outbreak of war saved his life and turned his career around, even while it separated him from his family for years. By the war's end he was established as a professor of mathematics at the University of California, Berkeley. There Tarski built an empire in logic and methodology that attracted students and distinguished researchers from all over the world. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full length biography places Tarski in the social, intellectual and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man, interlaced with an account of his major scientific achievements. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Two Tarskis page | 1 |

Independence and University | 20 |

Interlude | 43 |

Interlude | 69 |

Truth and Definability | 109 |

The Publication Campaigns | 189 |

Logic and Methodology Center Stage | 246 |

Model Theory and the 1963 Symposium | 277 |

Los Angeles and Berkeley | 310 |

Algebras of Logic | 334 |

The Last Times | 372 |

Tarskis Ph D Students | 385 |

409 | |

### Other editions - View all

### Common terms and phrases

ABF and SF Alfred Tarski Alfred's Andrzej Andrzej Mostowski Anne asked Axiom of Choice axiomatic became Benson Mates Berkeley California cardinal number Carnap Chuaqui colleagues conference Corcoran course cylindric algebras Dana Scott defined Ehrenfeucht Ershov Feferman first-order first-order logic friends geometry German Godel Ibid Ina Tarski intellectual interest interview with ABF invited Jewish Jews Judith knew Kreisel Kurt Godel language later lectures Leon Henkin Lesniewski letter to ABF logic logicians Lukasiewicz Lvov mathematicians mathematics McKinsey meeting metamathematical methodology model theory Montague Mostowski never notion paper Ph.D philosophy photo courtesy Poland Polish position Princeton problems professor Quine real numbers relation Robert Vaught Russian semantics seminar sentence sentential function set theory Solomon Feferman Soviet Steven Givant talk Teitelbaum theorem thesis thought tion took truth Unity of Science University variables Vaught Verena Huber-Dyson Vienna Circle Wanda Szmielew wanted Warsaw wife Witkacy wrote