segunda-feira, 6 de outubro de 2014

Forma lógica



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:

Publicar um comentário

Related Posts Plugin for WordPress, Blogger...