Três tipos de forma lógica

Em linguística gerativa, distinguem-se várias propriedades formais dos sistemas representacionais: a infinidade discreta, a finitude discreta e a infinidade do contínuo. Não é frequente filósofos aplicarem essas distinções ao estudo da forma lógica. O fato de essas distinções serem raramente aplicadas resultou em os filósofos pressuporem, geralmente sem discutir, que todas as formas lógicas apresentam una infinidade discreta, como o faz a linguagem natural. (Uma exceção digna de nota é Ludwig Wittgenstein, circa 1930.) Este artigo defende a existência de outros tipos de forma lógica, além daquela que apresenta infinidade discreta. Na representação mental é possível encontrar formar apresentando infinidade contínua e finitude discreta, além da infinidade discreta. Além disso, tais representações mantêm relações lógicas entre si, parcialmente em virtude dessas formas. Isso equivale à alegação de que o estudo da lógica natural precisa ir além da faculdade de linguagem, abrangendo formas lógicas pertinentes a representações mentais que não se assemelham a sentenças. Isso incluiria formas lógicas pictóricas. O ponto final é que, no estudo da lógica natural, é preciso considerar as formas lógicas representadas a sistemas mentais que antecedem a evolução da linguagem.