A natureza da forma lógica é uma questão de descoberta. Os ensaios deste livro devem ser entendidos como explorações da definição real da forma lógica, assim como a linguística gerativa é a exploração da definição real da linguagem. O livro é dividido em duas partes. A parte I diz respeito à contribuição da faculdade da linguagem para a forma lógica. A parte II diz respeito às formas lógicas pré-linguísticas, especificamente como as escalas de medida estruturam essas formas. Os três primeiros capítulos referem-se a como a faculdade da linguagem possibilita estruturas de operador-variável e como essas estruturas expandiram o alcance do pensamento possível. A parte I inclui a discussão sobre como diferentes realizações do potencial computacional da faculdade de linguagem poderiam explicar algumas variações culturais, especialmente aquelas encontradas entre o Paleolítico Médio e o Paleolítico Superior. A parte II trata de formas lógicas que não pressupõem a faculdade da linguagem. Encontramos aí uma discussão sobre um tipo de gramática gerativa que é pré-linguística, decididamente diferente da operação de recursão na faculdade de linguagem. É o tipo de gramática gerativa de que precisamos para chegar à lógica apropriada para um dado domínio de experiência. Encontramos, portanto, nesta obra, um pluralismo lógico fundamentado nas capacidades representacionais mentais mais básicas. Um tema que percorre esta parte do livro é a questão de como a mente combina vários tipos de escalas de medida para formar cálculos num sentido neo- ou quase -wittgensteiniano de “cálculo”, cada cálculo sendo sua própria lógica, e cada lógica sendo uma ferramenta para conceituar algum domínio pertinente de experiência e ação.