a validade da argumentacao.Quando a filosofia tem a logica como objecto de estudo, entramos na area da filosofia da logica, que estuda os fundamentos das teorias logicas e os problemas nao estritamente tecnicos levantados pelas diferentes logicas. Hoje em dia ha muitas logicas alem da teoria classica da deducao de Russell e Frege (como as logicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc. ver: Logica intuicionista), o que levanta novos problemas a filosofia da logica.A filosofia da logica distingue-se da logica filosofica aristotelica, que nao estuda problemas levantados por logicas particulares, mas problemas filosoficos gerais, que se situam na interseccao da metafisica, da epistemologia e da logica. Sao problemas centrais de grande abrangencia, correspondendo a disciplina medieval conhecida por "Logica & Metafisica", e abrangendo uma parte dos temas presentes na propria Metafisica, de Aristoteles: a identidade de objetos, a natureza da Necessidade, a natureza da verdade, o conhecimento a prioridade, etc. Precisamente por ser uma "subdisciplina transdisciplinar", o dominio da logica filosofica e ainda mais difuso do que o das outras disciplinas. Para agravar as incompreensoes, alguns filosofos chamam "logica filosofica" a filosofia da logica (e vice-versa). Em qualquer caso, o importante e nao pensar que a logica filosofica e um genero de logica, a par da logica classica, mas "mais filosofica"; pelo contrario, e algo paradoxalmente, a logica filosofica, nao e uma logica no sentido em que a logica classica e uma logica, isto e, no sentido de uma articulacao sistematica das regras da argumentacao valida.A logica informal estuda os aspectos da argumentacao valida que nao dependem exclusivamente da forma logica. O tema introdutorio mais comum no que respeita a logica e a teoria classica da deducao (logica proposicional e de predicados, incluindo formalizacoes elementares da linguagem natural); a logica aristotelica e por vezes ensinada, a nivel universitario, como complemento historico e nao como alternativa a logica classica. (Desiderio Murcho)"Logica", depois ela foi substituida pela invencao da Logica Matematica. Relaciona-se com a elucidacao de ideias como referencia, previsao, identidade, verdade, quantificacao, existencia, e outras. A Logica filosofica esta muito mais preocupada com a conexao entre a Linguagem Natural e a Logica.Logica de predicados[editar]Ver artigo principal: Logica de predicadosGottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar varias oracoes para tornar sua forma logica clara, com a intencao de mostrar como as oracoes se relacionam em certos aspectos. Antes de Frege, a logica formal nao obteve sucesso alem do nivel da logica de oracoes: ela podia representar a estrutura de oracoes compostas de outras oracoes, usando palavras como "e", "ou" e "nao", mas nao podia quebrar oracoes em partes menores. Nao era possivel mostrar como "Vacas sao animais" leva a concluir que "Partes de vacas sao partes de animais".A logica de oracoes explica como funcionam palavras como "e", "mas", "ou", "nao", "se-entao", "se e somente se", e "nem-ou". Frege expandiu a logica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variaveis e quantificadores para reorganizar oracoes."Todos os humanos sao mortais" se torna "Para todo x, se x e humano, entao x e mortal.", o que