A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as sentenças são transformadas em notações simbólicas precisas, compactas e não ambíguas.
As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições:
p: 1 + 2 = 3
Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.
Duas proposições --ou mais proposições-- podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo:
p: 1 + 1 = 2 e "Lógica é o estudo do raciocínio."
Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!
Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição dependendo de variáveis:
p: n é um inteiro ímpar.
Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.
Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para formar uma proposição , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial, respectivamente. Por exemplo:
para todo n em D, P(n).
Isto pode ser escrito como:
Quando existem algumas variáveis livres, a situação padrão na análise matemática desde Weierstrass, as quantificações para todos ... então existe ou então existe ... isto para todos (e analogias mais complexas) podem ser expressadas.
As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições:
p: 1 + 2 = 3
Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.
Duas proposições --ou mais proposições-- podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo:
p: 1 + 1 = 2 e "Lógica é o estudo do raciocínio."
Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!
Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição dependendo de variáveis:
p: n é um inteiro ímpar.
Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.
Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para formar uma proposição , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial, respectivamente. Por exemplo:
para todo n em D, P(n).
Isto pode ser escrito como:
Quando existem algumas variáveis livres, a situação padrão na análise matemática desde Weierstrass, as quantificações para todos ... então existe ou então existe ... isto para todos (e analogias mais complexas) podem ser expressadas.
A Lógica material trata da aplicação das operações do pensamento, segundo a matéria ou natureza do objeto a conhecer. Neste caso, a lógica é a própria metodologia de cada ciência. É, portanto, somente no campo da lógica material que se pode falar da verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.
A Lógica Matemática é o uso da lógica formal para estudar o raciocínio matemático-- ou, como propõe Alonzo Church (*Introduction to Mathematical Logic* (Princeton, New Jersey:Princeton University Press,1956; décima edição, 1996),'lógica tratada pelo método matemático'. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica.(Gottlob Frege, p.ex., tentou reduzir a aritmética à lógica; Bertrand Russell e A. N. Whitehead, tentaram reduzir toda a matemática então conhecida à lógica -- a chamada 'lógica de segunda ordem'.) Uma das suas doutrinas lógico-semânticas era que a descoberta da forma lógica de uma frase, na verdade, revela a forma adequada de dizê-la, ou revela alguma essência previamente escondida. Há um certo consenso que a redução falhou -- ou que precisaria de ajustes --, assim como há um certo consenso que a lógica -- ou alguma lógica -- é uma maneira precisa de representar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.
A lógica filosófica estuda e sistematiza a argumentação válida. A lógica tornou-se uma disciplina praticamente autónoma em relação à filosofia, graças ao seu elevado grau de precisão e tecnicismo. Hoje em dia, é uma disciplina que recorre a métodos matemáticos, e os lógicos contemporâneos têm em geral formação matemática. Todavia, a lógica elementar que se costuma estudar nos cursos de filosofia é tão básica como a aritmética elementar e não tem elementos matemáticos. A lógica elementar é usada como instrumento pela filosofia, para garantir a validade da argumentação.
Quando a filosofia tem a lógica como objecto de estudo, entramos na área da filosofia da lógica, que estuda os fundamentos das teorias lógicas e os problemas não estritamente técnicos levantados pelas diferentes lógicas. Hoje em dia há muitas lógicas além da teoria clássica da dedução de Russell e Frege (como as lógicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc.), o que levanta novos problemas à filosofia da lógica.
A filosofia da lógica distingue-se da lógica filosófica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais, que se situam na intersecção da metafísica, da epistemologia e da lógica. São problemas centrais de grande abrangência, correspondendo à disciplina medieval conhecida por «Lógica & Metafísica», e abrangendo uma parte dos temas presentes na própria Metafísica, de Aristóteles: a identidade de objectos, a natureza da necessidade, a natureza da verdade, o conhecimento a priori, etc. Precisamente por ser uma «subdisciplina transdisciplinar», o domínio da lógica filosófica é ainda mais difuso do que o das outras disciplinas. Para agravar as incompreensões, alguns filósofos chamam «lógica filosófica» à filosofia da lógica (e vice-versa). Em qualquer caso, o importante é não pensar que a lógica filosófica é um género de lógica, a par da lógica clássica, mas «mais filosófica»; pelo contrário, e algo paradoxalmente, a lógica filosófica, não é uma lógica no sentido em que a lógica clássica é uma lógica, isto é, no sentido de uma articulação sistemática das regras da argumentação válida.
A lógica informal estuda os aspectos da argumentação válida que não dependem exclusivamente da forma lógica. O tema introdutório mais comum no que respeita à lógica é a teoria clássica da dedução (lógica proposicional e de predicados, incluindo formalizações elementares da linguagem natural); a lógica aristotélica é por vezes ensinada, a nível universitário, como complemento histórico e não como alternativa à lógica clássica.» [Desidério Murcho]
"Lógica", depois ela foi substituída pela invenção da Lógica Matemática. Relaciona-se com a elucidação de idéias como referência, previsão, identidade, verdade, quantificação, existência, e outras. A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica.
(Retirado do Portal da Filosofia - Lógica)
Sem comentários:
Enviar um comentário