Em 1922 Schlick tornou-se professor de filosofia de ciências indutivas na Universidade de Viena, após duas nomeações sem sucesso em Rostock e Kiel. No mesmo ano ocorreram dois eventos que alteraram o rumo da sua vida. Primeiro, um grupo de filósofos e cientistas (incluindo Rudolf Carnap, Herbert Feigl, Kurt Gödel, Hans Hahn, Otto Neurath e Friedrich Waismann) sugeriram a Schlick que iniciassem encontros regulares para discutir ciência e filosofia. Chamaram-se inicialmente a Associação Ernst Mach, mas ficaram conhecidos como o Círculo de Viena.

(28 de abril de 1906 — 14 de janeiro de 1978)

Em 1930, esteve na Universidade de Harvard, ao abrigo de uma bolsa internacional Rockfeller. Aí encontrou-se com nomes notáveis como o físico Percy Williams Bridgman,o filósofo Willard Van Orman Quine, e o psicólogo Stanley Smith Stevens. Em 1931 publicou um artigo, em parceria com Albert Blumberg – Positivismo Lógico: Um Novo Movimento Europeu, defendendo que o positivismo lógico devia voltar a chamar-se empirismo lógico, dadas as grandes diferenças que se verificavam entre a Filosofia da Ciência e o Movimento Positivista mais antigo.

Em 1931 emigrou definitivamente para os Estados Unidos, tendo ocupado um lugar de professor de filosofia na Universidade do Iowa. Em 1940 transferiu-se para a Universidade do Minnesota, onde ensinou durante 31 anos, até ao fim da sua vida. A sua relação pessoal e profissional com Wilfrid Sellars proporcionou alguns projectos conjuntos, nomeadamente o livro: Readings in Philosophical Analysis, e o jornal Philosophical Studies, que ele e Sellars fundaram em 1949.

Foi o criador do movimento ISOTYPE, em Viena e mais tarde na Inglaterra, Otto Neurath e sua equipe criaram um sistema de pictogramas projetados para comunicar informação de forma simples, valorizando a linguagem não-verbal. Uma contribuição considerável ao campo do design e da comunicação visual em geral. Atualmente, Neurath é considerado um dos pioneiros do design gráfico moderno.

Gödel publicou seus dois teoremas da incompletude em 1931, aos 25 anos, um ano depois de terminar seu doutorado na Universidade de Viena. O primeiro teorema da incompletude afirma que, para qualquer sistema axiomático recursivo autoconsistente capaz de descrever a aritmética dos números naturais (como, por exemplo, o axioma de Peano), há proposições naturais verdadeiras que não podem ser provadas a partir dos axiomas. Para provar esse teorema, Gödel desenvolveu uma técnica agora conhecida como numeração de Gödel, que codifica expressões formais como números naturais.

Gödel também mostrou que tanto o axioma da escolha quanto a hipótese do continuum não podem ser refutados a partir de axiomas aceitos na teoria dos conjuntos, assumindo que esses axiomas são consistentes. O primeiro resultado possibilitou que os matemáticos assumissem o axioma na escolha de suas provas. Ele também fez contribuições importantes para a teoria da prova, esclarecendo as conexões entre a lógica clássica, a lógica intuicionista e a lógica modal.

Em 1938, as condições de Judeus acadêmicos tornaram-se demasiado rígidas e ele consequentemente partiu para os EUA. Lá, ele deu aulas até a sua morte como professor de direito, na New York School for Social Research. Kaufmann também ajudou seus colegas, imigrantes Austríaco, que necessitavam de assistência durante os anos pré-guerra, quando a situação tornou-se terrível para os Judeus acadêmicos na Alemanha e Áustria. Ao interceder em nome de Karl Popper, Popper foi oferecido uma hospitalidade acadêmica na Universidade de Cambridge com um salário de £150 por um ano, esta oferta era transferível, e Friedrich Waismann a tomou quando Popper foi para a Nova Zelândia.

Em 1936, ele produziu um livro sobre a metodologia das ciências sociais (Kaufmann 1936). Depois de se mudar para os Estados Unidos, ele foi convidado para escrever um livro semelhante em inglês, mas o que ele produziu (Kaufmann 1944) foi significativamente diferente, sob a influência de Dewey's Logic: The Theory of Inquiry. O livro original foi traduzido mais de 70 anos depois (Cohen e Helling de 2014).

Os seus últimos trabalhos são conhecidos pela defesa do convencionalismo na lógica e na matemática. o convencionalismo é uma teoria que concede o primado às decisões ou à livre escolha entre alternativas igualmente possíveis, visando mostrar que o que parece ser objectivo ou determinado pela natureza é na verdade um artefacto resultante de convenções humanas semelhantes às convenções da etiqueta, da gramática ou do direito.

(21 de Março de 1896 – 4 de Novembro de 1959)