A forma lógica de uma frase é a estrutura, partilhável com outras frases, responsável pelo seu papel nas inferências. Isto é, a sua forma lógica determina a maneira pela qual ela pode ser validamente deduzida a partir de outras frases, e a maneira pela qual outras frases podem ser deduzidas validamente de conjuntos de premissas que a incluam.
É obvio que há algo de comum nos argumentos “Todos os homens são mortais, Sócrates é um homem, Sócrates é mortal” e “Todos os cavalos dão coices, Eclipse é um cavalo, Eclipse dá coices”. Esta forma comum pode ser revelada se nos abstrairmos de diferentes assuntos e virmos que ambos os argumentos têm a forma “Todos os F são G; a é F; Logo, a é G”. Os “símbolos” da lógica representam unicamente essas formas comuns e os métodos de combinar elementos para formar frases.
Simon Blackburn, Dicionário de Filosofia
Sem comentários:
Enviar um comentário