Former Officers, Council Members, and Executive Committee Members

(terms expired January 1 of the year shown)

Former Officers

Presidents Term Expired Vice-Presidents Term Expired Secretary/Treasurers Term Expired
C.J. Ducasse 1938 H. B. Curry 1938 C. A. Bayliss 1939, 1942
H.B. Curry 1941 W. V. Quine 1941 J. C. C. McKinsey 1943
C.H. Langford 1944 S. C. Kleene 1943 H. C. Meyerson 1945, 1946
A. Tarski 1947 C. A. Baylis 1944, 1947 I. G. Hungerland 1948
E. Nagel 1950 S. C. Kleene 1950 R. E. Luce 1951
J. B. Rosser 1953 N. Goodman 1953 C. D. Firestone 1952
W. V. Quine 1956 L. Henkin 1956 J. Barlaz 1954, 1957, 1960
S. C. Kleene 1959 F. B. Fitch 1959 T. Hailperin 1963
F. B. Fitch 1962 W. Craig 1962 C. W. Henson 1987, 1990, 1993, 1996, 1999, 2002 (retired position 2000)
L. Henkin 1965 C. G. Hempel
W. Craig 1968 H. Rogers, Jr. 1965, 1968 Secretaries
A. Robinson 1971 J. Hintikka 1971 T. Hailperin 1966
D. Scott 1974 J. R. Shoenfield 1974 R. M. Montague 1969, 1972
J. R. Shoenfield 1974, 1977 D. Kaplan 1977 C. D. Parsons 1972, 1975
H. Putnam 1980 H. J. Keisler 1980 J. Barwise 1978
S. Feferman 1983 R. B. Marcus 1983 L. Hay 1981, 1984
R. B. Marcus 1986 Y. Moschovakis 1986 C. W. Henson 1984
M. Morley 1989 C. D. Parsons 1989 Treasurers
C. Parsons 1992 Y. Moschovakis 1992 J. Barlaz 1964, 1967
Y. Moschovakis 1995 G. Boolos 1995 W. Feeney 1970, 1973
G. Boolos 1998 (deceased ’96) M. Magidor 1998 B. Dreben 1976, 1979
M. Magidor 1998 J. Barwise 2001 (deceased 2000) H. Leblanc 1982, 1985
D. A. Martin 2001 Penelope Maddy 2004 C. W. Henson 1985
Richard A. Shore 2004 Sam Buss 2007 Charles Steinhorn 2019
Alexander Kechris 2007 Alex J. Wilkie 2010
Penelope Maddy 2010 Alasdair Urquhart 2013
Alex J. Wilkie 2013 Ulrich Kohlenbach 2016
Alasdair Urquhart 2016 Julia Knight 2019
Ulrich Kohlenbach 2019

Former Elected Members of the Executive Committee

Elected EC Member Term Expired Elected EC Member Term Expired Elected EC Member Term Expired
H.B. Smith 1937 H. Mehlberg 1962 K.L. Manders 1988
P. Weiss 1937 D. Scott 1963 S.G. Simpson 1989
J.B. Rosser 1938 R.B. Marcus 1963 R.E. Grandy 1989
C.I. Lewis 1938 H. Rogers, Jr. 1964 G.L. Cherlin 1990
M.R. Cohen 1939 P. Suppes 1964 A. Urquhart 1990
S.K. Langer 1939 J.R. Shoenfield 1965 K. Kunen 1991
E.V. Huntington 1940 B. Dreben 1965 J. Burgess 1991
E. Nagel 1940 W.W. Boone 1966 A. Blass 1992
S.C. Kleene 1941 A.R. Anderson 1966 S. Weinstein 1992
A.A. Bennett 1941 S. Feferman 1967 C.G. Jockusch, Jr. 1993
H.S. Leonard 1941 H. Putnam 1967 W. Sieg 1993
C.I. Lewis 1942 M. Davis 1968 S. Friedman 1994
J.C.C. McKinsey 1942 R. Montague 1968 A. Gupta 1994
A. Tarski 1942, 1944 C.C. Chang 1969 J. Baumgartner 1995
E.J. Nelson 1943 P. Benacerraf 1969 M. Fitting 1995
A. Dresden 1943, 1946 G. Sacks 1970 P. Maddy 1996
J.B. Rosser 1944 W. Tait 1970 W.H. Woodin 1996
R. Carnap 1944 D. Scott 1971 W. Hodges 1997
P. Markenka 1945 J. van Heijenoort 1971 J. Barwise 1997
S. MacLane 45, 48 H.J. Keisler 1971 Y. Gurevich 1998
F.B. Fitch 1946 N.A. Chomsky 1971 H. Gaifman 1998
K. Menger 1947 Y. Moschovakis 1972 D. van Dalen 1999
C. Hempel 1947 C. Parsons 1972 C.J. Posy 1999
M. Black 1948 R. Lyndon 73, 76 D. Marker 2000
A. Bernstein 1949 P.J. Cohen 1974 S. Wainer 2000
M. Farber 1949 N.D. Belnap 1974 C. Wood 2001
M. Zorn 1950 M. Morley 1975 A. Scedrov 2001
N. Goodman 1950 D. Kaplan 1975 S. Lempp 2002
A.E. Meder, Jr. 1951 R.B. Marcus 1976 J. Steel 2002
J.T. Garcia 1951 J.D. Halpern 1977 B. Hart 2003
E.L. Post 1952 J.S. Ullian 1977 P. C. Ecklof 2004
G.D.W. Berry 1952 J. Robinson 1978 T. A. Slaman 2005
D. Nelson 1953 D.A. Martin 1978 F. Wagner 2006
R.M. Martin 1953 G. Takeuti 1979 S. Shapiro 2006
C.V. Newson 1954 R. Jeffrey 1979 A. Visser 2007
R.M. Chisholm 1954 J. Addison 1980 M. Dezani 2008
J. Robinson 1955 S. Kripke 1980 J. Flum 2008
J.R. Myhill 1955 R. Soare 1981 J. Knight 2009
A. Robinson 1956 J.M. Dunn 1981 H. Ono 2009
J.C. Cooley 1956 H. Friedman 1982 C. T. Chong 2010
J.G. Kemeny 1957 G. Boolos 1982 J. Vaananen 2010
J.B. Mates 1957 W. Hanf 1983 M. Dzamonja 2011
I.N. Gal 1958 R.H. Thomason 1983 P. Scott 2011
H. Wang 1958 C.W. Henson 1984 L. Beklemishev 2012
R. Halmos 1959 T.D. Parsons 1984 R. Kossak 2012
A.W. Burks 1959 J. Baldwin 1985 P. Kolaitis 2013
M. L’Abbe 1960 W. Goldfarb 1985 G. Restall 2013
R. McNaughton 1960 M. Makkai 1986 U. Kohlenbach 2014
C. Spector 1961 K. Fine 1986 R. Kossak 2014
T. Hailperin 1961 S.A. Cook 1987 I. Neeman 2014
H. Leblanc 1961 J. Barwise 1987 M. Grohe 2015
R.L. Vaught 1962 G. Takeuti 1988 M. Rathjen 2015
J. Avigad 2016
A. Pillay 2016
E. Bouscaren 2019
P. Mancosu 2019

Former Members-at-Large of the Council

(gaps due to World War II are indicated by asterisks)

Members-at-Large Term Expired Members-at-Large Term Expired Members-at-Large Term Expired
A.E. Duncan-Jones 1939 K. De Bouvere 1969 M.L. Dalla Chiara 1993
* W. Stegmuller 1970 G.E. Mints 1993
J. Jorgensen 1940 D. Prawitz 1971 H. Kamp 1994
R. Carnap 1940 G. Asser 1971 D. Lascar 1994
T.K. Skolem 1941 J. Crossley 1972 A. Macintyre 1995
* R. Martin 1972 P. Hajek 1995
H. Scholz 1943 Y.L. Ershov 1973 S.N. Artemov 1996
J.H. Woodger 1943 N. Da Costa 1973 Hiroakira Ono 1996
* L. Aqvist 1974 V. McGee 1997
A.M. Turing 1946 A. Gregorczyk 1974 R. Constable 1997
A.N. Kolmogoroff 1948 I. Lakatos 1975 E. Bouscaren 1998
A. Wedberg 1949 G.H. Muller 1975 C. DiPrisco 1998
A. Mostowski 1952 S. Maehara 1976 C.T. Chong 1999
I.M. Bochenski 1954 R. Chuaqui 1976 B. Zil’ber 1999
E.W. Beth 1954 J.E. Fenstad 1977 H. Hodes 2000
R. Feys 1955 P. Hajek 1977 P. Kolaitis 2000
K. Popper 1955 A.H. Lachlan 1978 J. A. Vaananen 2001
P. Fevrier 1956 G. Sabbagh 1978 M. Hallett 2001
P. Bernays 1956 M. Dummett 1979 J. Krajicek 2002
Y. Bar-Hillel 1957 C. Ryll-Nardzewski 1979 H. Andreka 2002
A. Heyting 1957 M.J. Cresswell 1980 S. Artemov 2003
W. Ackermann 1958 A.S. Troelstra 1980 A. Kanamori 2003
G.H. von Wright 1958 W.A. Hodges 1981 G. D. Plotkin 2004
J.C. Shepherdson 1959 B. van Fraassen 1981 D. Westerstahl 2004
A. Fraenkel 1959 T. Smiley 1982 T. Pitassi 2005
M. Ito 1960 W.S. Hatcher 1982 M. Dzamonja 2006
H. Hermes 1960 R. Wojcicki 1983 K. Ambos-Spies 2006
H. Rasiowa 1961 A.I. Arruda 1983 S. S. Goncharov 2007
K. Durr 1961 C. Thiel 1984 G. Jager 2007
O. Dodera Luscher 1961 V. Harnik 1984 Q. Feng 2008
R. Fraisse 1962 S. Kanger 1985 P. Panangaden 2008
J. Dopp 1962 G. Metakides 1985 R. de Queiroz 2009
C. Lejewski 1963 K. Segerberg 1986 J. Larson 2009
G. Kreisel 1963 M. Magidor 1986 J. Avigad 2010
E. Specker 1964 J. van Benthem 1987 B. Khoussainov 2010
J. Hintikka 1964 J.B. Paris 1987 R. Zach 2011
H.A. Schmidt 1965 V. Huber-Dyson 1988 V. Becher 2011
S.T. Jaskowski 1965 H. Barendregt 1988 A. Berkman 2012
M.O. Rabin 1966 P. Weingartner 1989 M. Gitik 2012
E.J. Lemmon 1966 H.-D. Ebbinghaus 1989 A. Onshuus 2013
K. Schutte 1967 A.J. Wilkie 1990 T. Coquand 2014
J.J.C. Smart 1967 P. Martin-Lf 1990 A. Montalban 2014
R.O. Gandy D. Isaacson 1991 D. Haskell 2015
D. Follesdal 1968 N. Cutland 1991 R. Iemhoff 2015
A. Levy 1968 P. Aczel 1992 J. Hamkins 2016
R.L. Goodstein 1969 D. Gabbay 1992 K. Tanaka 2016
T. Arai 2019
J. Moore 2019