Turismo
*À lógica formal interessa estabelecer as condições de validade de um raciocínio.
Para concluir esta distinção resta dizer que a validade respeita apenas os argumentos e a verdade pode ser uma propriedade das proposições e dos argumentos.
Ontologia – Discurso sobre a realidade.
A Linguagem da Lógica Moderna
A possibilidade de as palavras e expressões linguísticas assumirem múltiplos significados (polissemia) tornava difícil o seu uso numa disciplina que aspirava a ser uma ciência exata. Para uma disciplina que tem por objeto a forma do pensamento era necessário inventar uma linguagem que fosse mais simples e rigorosa, de modo a não suscitar dúvida no espírito dos que dela se serviam. Assim, a linguagem da matemática e do cálculo tornar-se-ia o modelo de linguagem.
A lógica transformou-se numa disciplina com uma linguagem simbólica, muitas vezes equiparada às matemáticas, pelo rigor dos cálculos que permite e pelas aplicações que viria a ter. A linguagem da lógica, na sua versão