Grafo lógico

Um Grafo Lógico é um tipo especial de estrutura da teoria dos grafos que Charles Sanders Peirce desenvolveu para a lógica. Nos seus documentos sobre lógica quantitativa, grafos entitativos e grafos existenciais, Peirce desenvolveu várias versões de uns formalismos gráficos, ou linguagem formal grafo – teórica, designada para ser interpretada pela lógica. Desde que Peirce iniciou esta linha de desenvolvimento, tem surgido uma série de sistemas formais os quais consistem na mesma base da estrutura da teoria dos grafos.Este artigo examina as bases em comum desse sistema formal a partir de uma “visão de águia”.