Forma lógica - Logical form

Este argumento na lógica de termos que utiliza o modus ponens faz uso de três afirmações na forma lógica expressa em inglês simplificado.

Na lógica , a forma lógica de uma declaração é uma versão semântica precisamente especificada dessa declaração em um sistema formal . Informalmente, a forma lógica tenta formalizar uma declaração possivelmente ambígua em uma declaração com uma interpretação lógica precisa e inequívoca com respeito a um sistema formal. Em uma linguagem formal ideal , o significado de uma forma lógica pode ser determinado sem ambigüidades apenas pela sintaxe . As formas lógicas são semânticas, não construções sintáticas; portanto, pode haver mais de uma string que representa a mesma forma lógica em um determinado idioma.

A forma lógica de um argumento é chamada de forma de argumento do argumento.

História

A importância do conceito de forma para a lógica já era reconhecida na antiguidade. Aristóteles , no Prior Analytics , foi provavelmente o primeiro a empregar letras variáveis ​​para representar inferências válidas. Portanto, Jan Łukasiewicz afirma que a introdução de variáveis ​​foi "uma das maiores invenções de Aristóteles".

De acordo com os seguidores de Aristóteles como Amônio , somente os princípios lógicos declarados em termos esquemáticos pertencem à lógica, e não aqueles dados em termos concretos. Os termos concretos homem , mortal e assim por diante são análogos aos valores de substituição dos marcadores esquemáticos A , B , C , que foram chamados de "matéria" (grego hyle , latim materia ) do argumento.

O próprio termo "forma lógica" foi introduzido por Bertrand Russell em 1914, no contexto de seu programa para formalizar a linguagem natural e o raciocínio, que ele chamou de lógica filosófica . Russell escreveu: "Algum tipo de conhecimento das formas lógicas, embora para a maioria das pessoas não seja explícito, está envolvido em todo o entendimento do discurso. É função da lógica filosófica extrair esse conhecimento de seus tegumentos concretos e torná-lo explícito e puro. "

Exemplo de forma de argumento

Para demonstrar a noção importante da forma de um argumento, substitua as letras por itens semelhantes ao longo das sentenças no argumento original.

Argumento original

Todos os humanos são mortais.

Sócrates é humano.

Portanto, Sócrates é mortal.

Forma de argumento

Todos H são H .

S é H .

Portanto, S é M .

Tudo o que foi feito na forma de argumento é colocar H para humano e humanos , M para mortal e S para Sócrates . O que resulta é a forma do argumento original. Além disso, cada sentença individual da forma do argumento é a forma da sentença de sua respectiva sentença no argumento original.

Importância da forma de argumento

Atenção é dada ao argumento e à forma da frase, porque a forma é o que torna um argumento válido ou convincente. Todos os argumentos de forma lógica são indutivos ou dedutivos. As formas lógicas indutivas incluem generalização indutiva, argumentos estatísticos, argumento causal e argumentos de analogia. As formas de argumento dedutivo comuns são silogismo hipotético , silogismo categórico , argumento por definição, argumento baseado em matemática, argumento por definição. As formas mais confiáveis ​​de lógica são o modus ponens , o modus tollens e os argumentos em cadeia porque, se as premissas do argumento são verdadeiras, a conclusão necessariamente se segue. Duas formas de argumento inválidas estão afirmando o conseqüente e negando o antecedente .

Afirmando o conseqüente

Todos os cães são animais.

Coco é um animal.

Portanto, Coco é um cachorro.

Negando o antecedente

Todos os gatos são animais.

Missy não é uma gata.

Portanto, Missy não é um animal.

Um argumento lógico , visto como um conjunto ordenado de sentenças, tem uma forma lógica que deriva da forma de suas sentenças constituintes; a forma lógica de um argumento é às vezes chamada de forma de argumento. Alguns autores apenas definem a forma lógica com respeito a argumentos inteiros, como os esquemas ou estrutura inferencial do argumento. Na teoria da argumentação ou na lógica informal , uma forma de argumento às vezes é vista como uma noção mais ampla do que a forma lógica.

Consiste em eliminar todas as características gramaticais espúrias da frase (como gênero e formas passivas) e substituir todas as expressões específicas ao assunto do argumento por variáveis ​​esquemáticas . Assim, por exemplo, a expressão "todos os A's são B's" mostra a forma lógica comum às sentenças "todos os homens são mortais", "todos os gatos são carnívoros", "todos os gregos são filósofos" e assim por diante.

Forma lógica na lógica moderna

A diferença fundamental entre a lógica formal moderna e a lógica tradicional, ou aristotélica, reside em suas análises divergentes da forma lógica das frases que tratam:

• Na visão tradicional, a forma da frase consiste em (1) um sujeito (por exemplo, "homem") mais um sinal de quantidade ("todos" ou "alguns" ou "não"); (2) a cópula , que tem a forma "é" ou "não é"; (3) um predicado (por exemplo, "mortal"). Assim: “todos os homens são mortais”. As constantes lógicas, como "todos", "não", e assim por diante, além de conectivos sentenciais como "e" e "ou", foram chamados sincategoremáticos termos (do grego kategorei - a predicado, e sin - juntamente com). Trata-se de um esquema fixo, onde cada julgamento possui uma quantidade e cópula específicas, determinando a forma lógica da sentença.
• A visão moderna é mais complexa, uma vez que um único julgamento do sistema de Aristóteles envolve dois ou mais conectivos lógicos. Por exemplo, a frase "Todos os homens são mortais" envolve, em termos lógicos, dois termos não lógicos "é um homem" (aqui M ) e "é mortal" (aqui D ): a frase é dada pelo julgamento A ( M, D) . Na lógica dos predicados , a frase envolve os mesmos dois conceitos não lógicos, aqui analisados ​​como e , e a frase é dada por , envolvendo os conectivos lógicos para a quantificação e implicação universal . ${\ displaystyle m (x)}$${\ displaystyle d (x)}$${\ displaystyle \ forall x (m (x) \ rightarrow d (x))}$

A visão moderna mais complexa vem com mais poder. Na visão moderna, a forma fundamental de uma frase simples é dada por um esquema recursivo, como a linguagem natural e envolvendo conectivos lógicos , que são unidos por justaposição a outras frases, que por sua vez podem ter estrutura lógica. Os lógicos medievais reconheceram o problema da generalidade múltipla , onde a lógica aristotélica é incapaz de renderizar satisfatoriamente frases como "alguns caras têm toda a sorte", porque ambas as quantidades "todos" e "alguns" podem ser relevantes em uma inferência, mas o esquema fixo que Aristóteles usou permite que apenas um governe a inferência. Assim como os linguistas reconhecem a estrutura recursiva em linguagens naturais, parece que a lógica precisa de estrutura recursiva.

Formas lógicas no processamento de linguagem natural

Na análise semântica , as declarações em linguagens naturais são convertidas em formas lógicas que representam seus significados.

Veja também

• Mapa de argumentos
• Falácia

• Falácia lógica
• Falácia informal

• Gramática categorial
• Sentido e referência
• Distinção analítico-sintético
• Lista de formas de argumento válidas

Referências

Leitura adicional

• Richard Mark Sainsbury (2001). Formas lógicas: uma introdução à lógica filosófica . Wiley-Blackwell. ISBN   978-0-631-21679-7 .
• Gerhard Preyer, Georg Peter, ed. (2002). Forma lógica e linguagem . Clarendon Press. ISBN   978-0-19-924555-0 .
• Gila Sher (1991). Os limites da lógica: um ponto de vista generalizado . MIT Press. ISBN   978-0-262-19311-5 .

links externos

• Formulário lógico em PhilPapers
• Pietroski, Paul. "Formulário Lógico" . Em Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
• Forma lógica no Indiana Philosophy Ontology Project
• Beaney, Michael, "Analysis", The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (ed.)
• IEP, Validade e Solidez