Noo primitiva

Em matemtica, lgica, e sistemas formais, uma noo primitiva um conceito indefinido. Em particular, a noo primitiva no definida em termos de conceitos previamente definidos, mas apenas motivada informalmente, geralmente por um apelo intuio e a experincia cotidiana. Em um sistema axiomtico ou outro sistema formal, o papel de uma noo primitiva anlogo ao de um axioma. Teorias formais no podem prescindir de noes primitivas, sob pena de regresso infinito. O fato de que elas no so definidas, no significa que elas no podem ser caracterizadas atravs de exemplos e frases de apoio ao raciocnio, por exemplo: Um ponto aquilo que no tem partes. Euclides: Os Elementos, Livro I Neste livro, o conceito de "ponto" no primitivo, pois definido atravs do conceito de "parte" que primitivo, pois no recebe definio. Um conceito pode ser primitivo em um contexto mas no o ser em outro. Como exemplo, em psicologia, as cores geralmente so conceitos primitivos, pois o significado das cores provm unicamente do sentido da viso (e portanto a nica maneira de ensinar o que significa precisamente a palavra azul, mostrando algo dessa cor), mas no contexto da fsica, elas tem definies em termos de comprimentos de onda. Tambm no raro contrastar com a noo de proposio como contedo mental a noo de proposies russellianas. De facto, boa parte da discusso em torno da natureza da proposio travada no sculo XX e contemporaneamente, oscila e, por vezes, tenta conciliar ambas noes.

Definio: Definio um termo com tantos significados, podemos ter que:

Uma definio uma sequncia de palavras que expressa o significado de uma outra ou de uma expresso. Pode ser tanto o significado que o termo carrega no uso geral (uma definio descritiva) quanto aquele que o falante pretende determinar para o propsito do seu discurso (uma definio estipulativa). O termo a ser definido o definiendum (latim: aquilo que deve ser definido). A sequncia de palavras que o define conhecida por definiens (latim: aquilo que define). "Uma definio um enunciado que descreve um conceito, permitindo diferenci-lo de outros conceitos associados, podendo ser formulada de duas maneiras bsicas: definio por compreenso (ou por inteno), ou ainda, definio intencional, que compreende a meno ao conceito genrico mais prximo (o conceito superordenado) j definido ou supostamente conhecido e s caractersticas distintivas que delimitam o conceito a ser definido; e definio por extenso ou extensional, que descreve o conceito pela enumerao exaustiva dos conceitos aos quais se aplica (conceitos subordinados), que correspondem a um critrio de diviso." (LARA, 2004)

"Definio remete, em sua essncia, a delimitao. Por meio dela, temos a pretenso de conseguir apresentar algo de forma precisa por meio de palavras. J conceito se relaciona mais com ideias e pensamentos sobre determinado tema. O astuto leitor perceber que o primeiro (definio) busca palavras que restrinjam os possveis significados de algo, excluindo tudo que determinado assunto no , enquanto o segundo (conceito) reconhece as possveis mltiplas perspectivas e abordagens." (BRAMONT, 2010)

H dois tipos de definies: Definio nominal (basicamente o nome do objeto); Definio real (indica a natureza do objeto; A partir da definio, a cincia chega ao conceito.

Conceito:

Conceito (do latim conceptus, do verbo concipere, que significa "conter completamente", "formar dentro de si") aquilo que a mente concebe ou entende: uma ideia ou noo, representao geral e abstracta de uma realidade. Pode ser tambm definido como uma unidade semntica, um smbolo mental ou uma "unidade de conhecimento". Um conceito corresponde geralmente a uma representao numa linguagem ou simbologia. O termo usado em muitas reas , na matemtica, na filosofia, nas cincias cognitivas, na fsica, na informtica. Conceitos so universais ao se aplicarem igualmente a todas as coisas em sua extenso. Conceitos so portadores de significado. Um nico conceito pode ser expresso em qualquer nmero de linguagens: o conceito co pode ser expresso como Hund em alemo, hond em Afrikaans, dog em ingls, perro em castelhano, gos em catalo, hundo em esperanto, txakur na lngua basca, chien em francs, can em galego, cane em italiano, canis em latim, inu em japons etc. O fato de que conceitos so, de uma certa forma, independentes das linguagens torna a traduo possvel; palavras em vrias lnguas "querem dizer" o mesmo porque expressam um e o mesmo conceito. Conceito uma frase (juzo) que diz o que a coisa ou como funciona. O conceito, enquanto o-que- a expresso de um predicado comum a todas as coisas da mesma espcie. Chega-se a esses predicados ou atributos comuns por meio da anlise de diversas coisas da mesma espcie. O homem um ser racional. A racionalidade o predicado comum a todos os homens. Numa linguagem mais iluminista, o Conceito "um juzo sinttico a priori" (Cf. KANT, I. Crtica da Razo Pura. Lisboa: Fundao Calouste Gulbenkian, 2001 ). Sendo assim, conceito no a mesma coisa que definio. Outros autores usam a expresso "definio real" como sinnimo de conceito (cf. MENDONA, Nadir Domingues. O uso dos conceitos: uma questo de interdisciplinaridade. Petrpolis: Vozes, 1985).

Hiptese: Uma hiptese uma formulao provisria, com intenes de ser posteriormente
demonstrada ou verificada, constituindo uma suposio admissvel.

 a evoluo da intuio teorizao e da teoria que levar prtica, a testar as hipteses firmadas pelo raciocnio dedutivo implcito teorizao, com freqncia, e por motivos vrios, que segue por vias aparentemente obscuras. As hipteses primeiras nem sempre so definitivas e estas, quando firmadas, nem sempre so as ideais, ainda que satisfaam condies momentneas. Na matemtica, o conjunto de condies para poder iniciar uma demonstrao. Surge no pensamento cientfico aps a recolha de dados observados (fatos) e da conseguinte necessidade de explicao da interrelao destes e dos fenmenos a estes associados. normalmente seguida de experimentao, que pode levar verificao ou refutao da hiptese. Assim que verificada, a hiptese passa a se chamar postulado, podendo alcanar o status de lei. O uso de "hiptese" (ou "lei") e "teoria" [1] como sinnimos mostra-se entretanto incorreto, sendo a ltima definida por conceito bem mais abrangente, no qual incluem-se as hipteses e/ou as leis como partes integrantes mas estas no o fazem de forma a definir a mesma em sua ntegra. Em outro sentido mais especfico, a hiptese pode ser considerada como um instrumento de pesquisa que medeia a teoria e a metodologia. Formulada a partir de uma determinada ambincia terica e diante de um problema cientfico a ser resolvido, a hiptese implica a necessidade de demonstrao a partir da metodologia e da pesquisa. Deve-se ter em vista, contudo, que, neste sentido metodolgico mais restrito, a hiptese apenas uma formulao provisria, destinada a colocar a pesquisa em andamento. No decorrer do processo de pesquisa ela pode ser confirmada ou no, o que no desqualifica o papel que ter exercido para impulsionar a pesquisa para a frente. Em verdade, frente definio moderna de cincia, todas as ideias cientficas encontram-se em perptuo teste. Neste contexto, certo dizer que as ideias cientficas, independente do ttulo honorfico que recebam em virtude da generalidade ou grau de corroborao - conjectura, postulado (axioma) ou lei - so e sero sempre hipteses. As hipteses e os fatos so parcelas inerentes e indispensveis teoria. As hipteses tambm so utilizadas amplamente nas cincias humanas, e no apenas nas cincias exatas e nas cincias da natureza (BARROS, 2008).

Axioma ou Postulado: Na lgica tradicional, um axioma ou postulado uma

sentena ou proposio que no provada ou demonstrada e considerada como bvia ou como um consenso inicial necessrio para a construo ou aceitao de uma teoria. Por essa razo, aceito como verdade e serve como ponto inicial para deduo e inferncias de outras verdades (dependentes de teoria). Na matemtica, um axioma uma hiptese inicial de qual outros enunciados so logicamente derivados. Pode ser uma sentena, uma proposio, um enunciado ou uma regra que permite a construo de um sistema formal. Diferentemente de teoremas, axiomas no podem ser derivados por princpios de deduo e nem so demonstrveis por derivaes formais, simplesmente porque eles so hipteses iniciais. Isto , no h mais nada a partir do que eles seguem logicamente (em caso contrrio eles seriam chamados teoremas). Em muitos contextos, "axioma", "postulado" e "hiptese" so usados como sinnimos. Como foi visto na definio, um axioma no necessariamente uma verdade auto-evidente, mas apenas uma expresso lgica formal usada em uma deduo, visando obter resultados mais

facilmente. Axiomatizar um sistema mostrar que suas inferncias podem ser derivadas a partir de um pequeno e bem-definido conjunto de sentenas. Isto no significa que elas possam ser conhecidas independentemente, e tipicamente existem mltiplos meios para axiomatizar um dado sistema (como a aritmtica). A matemtica distingue dois tipos de axiomas: axiomas lgicos e axiomas no-lgicos. Nas teorias das cincias naturais, um axioma considerado uma verdade evidente que e aceita como tal mas que ao rigor da palavra no pode ser demonstrado ou provado uma verdade absoluta dentro do domnio de sua aplicao; geralmente derivado de intuio ou de conhecimento emprico, os quais apoiam-se em todos os fatos cientficos at ento conhecidos e relevantes rea em estudo. A viabilidade ou utilidade de tais teorias, e a classificao das mesmas como teorias cientficas vlidas ou j aprimoradas, todas sempre logicamente derivadas de forma correta de suas premissas (dos axiomas), dependem das escolhas acuradas de seus axiomas e da corroborao dos mesmos frente aos fatos cientficos conhecidos na poca em que foram propostos, e frente aos que forem gradualmente descobertos em pocas futuras s suas proposies. Fatos novos, ao serem descobertos, podem levar evoluo das teorias mediante necessidade explicita de modificaes em seus axiomas, que, conforme propostos no paradigma cientfico evoludo e ora vlido, devem manter-se sempre corroborados pela ntegra dos fatos cientficos conhecidos at a data em questo. Na engenharia, axiomas so aceitos sem provas formais e suas escolhas so negociadas a partir do ponto de vista utilitrio e econmico. Podem tambm ser considerados como hipteses na modelagem e mudados depois da validao do modelo. Declaraes explcitas de axiomas uma condio necessria para a computabilidade de uma teoria, modelo ou mtodo. Neste caso, o axioma pode ser visto como um conceito relativo dependente de domnio, por exemplo, em cada programa de software, declaraes iniciais podem ser consideradas como seus axiomas locais.

Etimologia
A palavra "axioma" vem da palavra grega (axioma), um substantivo verbal[1] do verbo (axioein), que significa "considerar valido", mas tambm "requerer", que por sua vez vem da palavra (axios), que significa "estar em equilbrio", e portanto "ter (o mesmo) valor (de)", "valido", "apropriado". Entre os filsofos da Grcia Antiga um axioma era uma afirmao que poderia ser vista como verdade sem nenhuma necessidade de provas. O significado raz da palavra "postular" "exigir"; por exemplo, Euclides exige que ns concordemos que certas coisas podem ser feitas, ex: quaisquer dois pontos podem ser unidos por uma linha reta, etc.[2] Os antigos geomtricos mantiveram alguma distino entre axiomas e postulados. Ao comentar os livros de Euclides, Proclo adverte que "Geminus[3] considerou que este [4] Postulado no deve ser classificado como um postulado e sim como um axioma, j que, diferente dos trs primeiros Postulados, ele no declara a possibilidade de alguma construo mas sim expressa uma propriedade essencial".[4] Bocio traduziu "postulado" como petitio e chamou os axiomas de notiones communes, mas em manuscritos posteriores esse uso nem sempre foi estritamente mantido.

Proposio: um termo usado em lgica para descrever o contedo de asseres. Uma

assero um contedo que pode ser tomado como verdadeiro ou falso. Asseres so abstraes de sentenas no lingsticas que a constituem. A natureza das proposies altamente controversa entre filsofos, muitos dos quais so cticos sobre a existncia de proposies. Muitos lgicos preferem evitar o uso do termo proposio em favor de usar sentena. Diferentes sentenas podem expressar a mesma proposio quando tm o mesmo significado. Por exemplo, "A neve branca" e "Snow is white" so sentenas diferentes, mas ambas dizem a mesma coisa, a saber, que a neve branca. Logo, expressam a mesma proposio. Outro exemplo de sentena que expressa a mesma proposio que as anteriores "A precipitao de pequenos cristais de gua congelada branca", pois "precipitao de pequenos cristais de gua congelada" a definio de "neve". Na lgica aristotlica uma proposio um tipo particular de sentena, a saber, aquela que afirma ou nega um predicado de um sujeito. Proposies so usualmente consideradas como o contedo de crenas e outros pensamentos representativos. Elas tambm podem ser o objeto de outras atitudes, como desejo, preferncia, inteno, como em "Desejo um carro novo" e "Espero que chova", por exemplo.

Teorema:

uma afirmao que pode ser provada como verdadeira atravs de outras afirmaes j demonstradas, como outros teoremas, juntamente com afirmaes anteriormente aceitas, como axiomas. Prova o processo de mostrar que um teorema est correto. O termo teorema foi introduzido por Euclides, em Elementos, para significar "afirmao que pode ser provada". Em grego, originalmente significava "espetculo" ou "festa". Atualmente, mais comum deixar o termo "teorema" apenas para certas afirmaes que podem ser provadas e de grande "importncia matemtica", o que torna a definio um tanto subjetiva. Provar teoremas a principal atividade dos matemticos. Para se produzir um teorema preciso demonstr-lo (i.e., prov-lo), por mais que a demonstrao em si no faa parte do teorema (um teorema consiste em apenas uma implicao que pode ser provada). Obviamente, um teorema pode ter mais de uma nica demonstrao. A idia de que afirmaes verdadeiras precisam ser provadas gera um problema cclico: a prpria prova para determinada afirmao deve ser verdade. Mas, para que seja aceita como verdadeira neste contexto, ser necessria uma prova para ela, uma prova para a prpria prova. Isso se resolve tomando algumas afirmaes como verdades a priori, as chamadas hipteses do teorema (veja que hiptese aqui bem diferente de conjectura, abaixo). Chamamos o conjunto das afirmaes concludas (ou seja, aquilo que efetivamente provado) de tese. O Teorema , assim, a implicao das hipteses na tese. importante aqui ressaltar que as regras de inferncia devem fazer parte das hipteses.

 extremamente comum agrupar vrias hipteses tidas como verdadeiras numa teoria, definido-se como qualquer outra verdade, dentro da teoria, uma implicao destas. Neste caso, tais hipteses so classificadas ou como axiomas (ou postulados, este ltimo nome mais usado em teorias em cincias naturais) ou como definies. As definies so aquelas usadas para reservar palavras, fixando o seu sentido, e os axiomas tratam das relaes entre os termos reservados. Para que uma teoria possa ser construda deve haver palavras reservadas aceitas sem definio (os chamados entes primitivos), cujo significado formalmente vir de acordo com os axiomas (o exemplo mais clssico de ente primitivo "ponto", como usado por Hilbert em Grundlagen der Geometrie (Bases de geometria)). Numa teoria axiomtica, apenas as hipteses novas (que no so axiomas) so apresentadas no enunciado de um teorema. Deve-se notar, tambm, que o modo que a inferncia lgica feita (o porque de cada "salto" dado entre cada passo da demonstrao) faz parte das hipteses (ou pelo menos algum conjunto de hipteses que implique nos "saltos" dados), formalmente falando. Em geral esse conjunto de hipteses que nos fornecem os "saltos" so os axiomas da lgica usada. Dentro do estudo de Lgica Matemtica, o ramo que investiga as demonstraes chamado Teoria da Prova. O resultado mais famoso desta o Teorema da Incompletude de Gdel, o qual afirma que, dentro de certas hipteses muito razoveis, em toda teoria axiomtica consistente (i.e., sem contradies lgicas) existem afirmaes que no so nem verdades nem mentira dentro da teoria, no sentido de que caso alguma delas for considerada um novo axioma, ou caso sua negao for considerada um novo axioma, a teoria continuar consistente.

Inferncia: Inferncia o processo pelo qual se chega a uma proposio, firmada na base
de uma ou outras mais proposies aceitas como ponto de partida do processo. O Argumento chamado de premissa e o valor de concluso. As concluses so deduzidas a partir das premissas. Caso o estado das premissas esteja vazio, ento a concluso dita ser o axioma da lgica. Uma propriedade desejvel de uma regra de inferncia que esta seja efetiva, isto , existe um procedimento efetivo para determinar se uma dada frmula infervel de um dado conjunto de frmulas. Regras de inferncia tm as seguintes caractersticas: 1. Se a Hiptese for verdadeira, ento a Concluso verdadeira 2. Verificao de tipos baseada em inferncia. Se E1 e E2 tem certos tipos, ento E3 tem um certo tipo. 3. Regras de inferncia so uma notao compacta para comandos de implementao. 4. Inicia-se com um sistema simplificado de regras ao qual adiciona-se novas caractersticas gradualmente 5. As premissas so regras sem hipteses Uma regra de inferncia no precisa preservar qualquer propriedade semntica como verdadeira, j que no existe nenhuma regra que garanta que uma caracterizao lgica sinttica tenha uma semntica. Uma regra pode preservar, por exemplo, a propriedade da conjuno de uma sub-frmula da uma frmula mais extensa do conjunto de premissas. Note que existem diferentes sistemas de lgicas formais, cada qual com seus prprios conjuntos de frmulas bem-formadas, regras de inferncias, e algumas vezes, semnticas. Tome como exemplo as

lgicas temporal, modal ou intuicionista. Na lgica de primeira ordem, necessria uma regra de inferncia adicional, conhecida como generalizao. Na lgica formal, as regras de inferncia so normalmente determinadas nas seguinte forma: premissa #1 premissa #2 ... premissa #n ____________ concluso Esta expresso indica, que sempre que as premissas dadas forem obtidas durante alguma derivao lgica, a concluso especificada pode ser provada. A linguagem formal que usada para descrever ambas premissas e concluses depende do atual contexto das derivaes. Por exemplo, pode ser usada como uma frmula lgica, assim como em AB A B ao qual justamente a regra modus ponens da lgica proposicional. Regras de inferncia so freqentemente formuladas como regras esquematizadas pelo uso de variveis universais. Na regra (esquemtica) acima. A e B podem ser substitudas por algum elemento do universo (ou as vezes, por conveno, alguns sub-conjuntos restritos como as proposies) um conjunto infinito de regras de inferncia. Um sistema de prova formado por um conjunto de regras, as quais podem ser interligadas para formar provas, ou derivaes. Uma derivao tem apenas uma concluso, a qual um enunciado provado ou derivado. Se a premissa for verdadeira, ento a concluso tambm o ser.

Corolrio: Um corolrio (do latim tardio corollarum) uma decorrncia imediata de um

teorema. Por exemplo, o comprimento da diagonal de um quadrado cujo lado possui comprimento por . Isso um corolrio do teorema de Pitgoras. dado

Lema: um teorema que usado como um passo intermedirio para atingir um resultado
maior, provado em outro teorema. Normalmente o lema tem pouca serventia alm de servir ao propsito do teorema que o utiliza, mas isto no uma regra, e a classificao entre lemas e teoremas arbitrria.

A palavra "lema" vem do grego , que significa algo recebido, ganho, como um presente.

Tese
Do grego thsis, (acto de pr), pelo latim these, (proposio). Tese literalmente uma proposio que se apresenta para ser defendida como a concluso de um teorema. Ou seja, a concluso que se obtm por deduo lgica a partir de outras concluses j testadas e admitidas como verdadeiras. Existem basicamente trs nveis para se definir a validade de uma afirmao dentro do conhecimento cientfico. O mais bsico a conjectura, geralmente o fruto das primeiras observaes e dos primeiros raciocnios indutivos. Quando essa conjectura passa pelos testes iniciais mostrando-se agora suportada por fatos, ainda sem ser contudo confirmada por pesquisas independentes, esta passa a ser considerada uma tese. A obteno do ttulo de Doutor depende geralmente da defesa de uma tese a uma banca examinadora. Por ltimo surge a teoria, que expressa um consenso seno de todos pelo menos entre a maioria dos membros da comunidade cientfica. Para se estabelecer uma teoria as suas afirmaes devem ser no apenas corroboradas por expressivas evidncias mas sobretudo contraditas por nenhuma, e tambm mostrarem-se harmnicas frente ao raciocnio lgico - raciocnio desenvolvido principalmente por processos de deduo, no excluindose aqui a induo - tudo isto sob escrutnio de vrios pesquisadores independentes. Junto com as evidncias que sustentam as afirmaes, tais afirmaes passam ento a integrar a teoria. evidente que, para a validao de qualquer teoria, necessria a existncia de um ou mais experimentos reprodutveis associados que possam ser realizados por pesquisadores independentes [15] , sendo importante ressaltar que tais experimentos devem estar estruturados sob a tica cientfica. A ausncia desta possibilidade, assim como a ausncia de evidncias verificveis ou confrontos com estas impedem que qualquer tese ou mesmo hiptese, conforme proposta, possa elevar-se ao nvel de teoria.

Teoria nas comunidades acadmicas

As comunidades acadmicas internacionais tem como padro registrar as ideias e referncias explcita as fatos de uma teoria cientfica, bem como debates e discusses no mbito de quais as ideias que so ou no vlidas em uma teoria em artigos completos, devidamente revisados por pares e publicados em peridicos cientficos qualificados. H padres internacionais para "qualificao" destes peridicos [16] [17], e h tambm padres brasileiros estabelecidos com o mesmo propsito [18] [19] . Especialmente, o Qualis est sendo utilizado para avaliao de desempenho pessoal dos pesquisadores brasileiros. Entretanto, a publicao cientfica no garante a veracidade absoluta do contedo publicado, como espera-se ao falar-se de teoria, porm consagra o reconhecimento oficial de sua existncia perante as comunidades cientficas como uma proposta provvel no referido momento. Por outro lado, propostas divulgadas mediante apresentao em congresso ou simpsio, artigo em uma revista de divulgao no cientfica ou revista popular, em artigo de jornal, programa de rdio ou televiso, relatrio tcnico, tese, dissertao ou monografia no publicada, etc., no so tratados como teoria cientfica. Antigamente, no Brasil, havia o costume de todos os documentos decorrentes das formas de divulgao citadas serem tratados como vlidos no que concerne s teorias cientficas. Entretanto, entrando o sculo XXI, o padro internacional tem sido introduzido pouco a pouco.

Teoria segundo Hawking

De acordo com o fsico terico Stephen Hawking, em Uma Breve Histria do Tempo, "uma boa teoria deve satisfazer a dois requisitos: Precisa descrever com preciso um nmero razovel de observaes, com base em um modelo que contenha poucos elementos arbitrrios; e deve prever com boa margem de definio resultados de observaes futuras". Mais especificamente em sua rea de atuao: "qualquer teoria na fsica sempre provisria, no sentido de que apenas uma hiptese, voc nunca pode prova-la em definitivo. No importa quantas vezes os resultados das experincias estejam de acordo com algumas teorias, no se pode ter a certeza de que na prxima vez o resultado no ir contradiz-las. Por outro lado, voc pode refutar uma teoria por encontrar uma nica observao que no concorde com as suas previses".

Teoria:

Teoria, do grego , o conhecimento descritivo puramente racional. O substantivo theora significa ao de contemplar, olhar, examinar, especular[1]. Tambm pode ser entendido como forma de pensar e entender algum fenmeno a partir da observao. Na Grcia antiga, teoria significava "festa solene, procisso ou embaixada que as cidades helnicas enviavam para represent-las nos jogos olmpicos ou para consultar os orculos". O termo aplicado a diversas reas do conhecimento, sendo que em cada rea possui uma definio especfica. Em cincia, a definio de teoria cientfica difere bastante da acepo de teoria em senso comum, o de simples especulao; o conceito moderno de teoria cientfica estabelece-se, entre outros, como uma resposta ao problema da demarcao entre o que efetivamente cientfico e o que no o .

Teoria Cientfica
Uma definio cientfica de teoria a de que ela uma sntese aceita de um vasto campo de conhecimento, consistindo-se de hipteses necessariamente falseveis - mas no por isto erradas, dbias ou to pouco duvidosas - que foram e so permanentemente e devidamente confrontadas entre si e com os fatos cientficos, fatos estes que integram um conjunto de evidncias que, juntamente com as hipteses, aliceram o conceito de teoria cientfica. As hipteses, em casos especficos, devido simplicidade e ampla abrangncia, podem ser elevadas ao status de leis. Ressalta-se aqui portanto que uma "teoria cientfica" o conjunto indissocivel dos dois subconjuntos: o subconjunto de fatos naturais, evidncias necessariamente verificveis mas, ao contrrio do que muitos pensam, no obrigatoriamente reprodutveis, e um subconjunto de hipteses cientficas adequadas descrio destes fatos, de idias necessariamente falseveis, testveis (e testadas) frente s evidncias e que, junto quele, do corpo ao conceito de teoria cientfica. comum associar-se o conceito de teoria apenas a uma ou a um conjunto de ideias que tenta prever com alto grau de exatido os fenmenos da natureza. Em verdade, vrios cientistas acabam muitas vezes por aderir a esta conotao. Contudo em cincia o conjunto de fatos faz-se sempre presente e indispensvel, e este est, mesmo quando no explicitamente considerado, certamente subentendido. Sempre que observamos algum fato novo que venha a contrariar a teoria vigente, deve-se abandonar as ideias conflitantes e jamais ignorar o fato: modifica-se a teoria, de forma a integr-los mesma, fato e novas ideias. Conclui-se que as teorias evoluem em virtude da descoberta de novos fatos, que necessariamente passam a integrar a verso evoluda da mesma.

H tambm de se sublinhar que a cincia, ao buscar uma simplificao da sistematizao do conhecimento produzido, divide-se em reas e mesmo em disciplinas por mera formalidade. A cincia entretanto nica. H um nico conjunto de fatos naturais, sobre o qual as mais variadas teorias cientficas vlidas se assentam. Apesar de um subconjunto de fatos em particulares ser destacado para integrar determinada teoria, nenhum paradigma vlido - nenhuma teoria em vigor pode conter ideias que contrastem com qualquer dos demais fatos cientficos conhecidos, independente da rea cientfica da qual este seja proveniente ou da rea na qual este seja (mais) relevante. Se isto ocorrer, a teoria DEVE ser reformulada; esta encontra-se impelida a evoluir. Em outras palavras, citando um exemplo de validade significativa frente ao contexto cultural, as ideias da teoria da termodinmica e da teoria da evoluo, ao contrrio do que alguns leigos cientficos afirmam, sendo ambas paradigmas vlidos hoje, no podem se contradizer e no se contradizem; to pouco podem contradizer ou contradizem os fatos hoje conhecidos, sejam eles oriundos da fsica, da qumica, ou da biologia, ou de qualquer outra cadeira cientfica. Para Karl Popper, deve-se submeter criticamente as teorias prova dos fatos e selecion-las de acordo com os resultados obtidos, atravs da deduo lgica e da comparao dos resultados. Popper indica quatro diferentes linhas para submeter uma teoria prova:
1. Comparao lgica das concluses umas com as outras, para se testar a coerncia interna do sistema; 2. Investigao da forma lgica da teoria, com objetivo de determinar se ela apresenta carter de uma teoria emprica, cientfica ou tautolgica; 3. Comparao com outras teorias, para ver se h avano de ordem cientfica ; 4. Comparao da teoria por meio de aplicaes empricas das concluses que dela se possam deduzir.[2]

No pensamento cientfico o fato sempre superior idia, sendo que o fato sempre pode destruir corretamente dizendo, tornar falsa - a idia cientfica. Por isso, por ser uma teoria cientfica sempre formada a partir de hipteses testveis e falseveis, h sempre a possibilidade de aparecer um fato que venha a destruir a viso nela encerrada e at ento vlida e atual. Decorre que teorias cientficas jamais so provadas pois impossvel garantir-se que nunca se descobrir um novo fato que venha a contradizer alguma de suas ideias at ento vlidas. Entretanto, algumas teorias esto to bem corroboradas por uma quantidade to grande de fatos que, na prtica, pouco provvel conceber que estas sejam falseadas. Entretanto, esta possibilidade inerente e indissocivel de qualquer teoria que se diz cientfica, no devido aos fatos, mas s idias associadas mesma. Nestes termos no existe teoria cientfica, nem uma sequer, provada. Isto, certamente, difcil de se assimilar em sua abrangncia. A exemplo, mesmo aps as consideraes presentes, se algum lhe perguntasse: "A teoria da gravidade foi provada?", o que voc responderia? Certamente hesitaria em dizer que no! Contudo, deve-se lembrar que a teoria da gravidade no constitui-se apenas pela evidncia emprica - observacional - de que massa atrai massa. Isto, verifica-se! E esta evidncia faz certamente parte da teoria gravitacional, contudo no h teorias sem ideias que descrevam e expliquem os fatos. V-se que a teoria da gravidade no encontra-se provada ao considerar-se a evoluo histrica da mesma: da teoria proposta por Newton at a atual, a Relatividade Geral proposta por Einstein - h certamente uma grande discrepncia na rea ideolgica. O pensamento cientfico est sempre evoluindo e sempre preserva a melhor teoria, geralmente a mais simples e abrangente, atravs da chamada "Navalha de Ockham".

Estabelecido o conceito de teoria cientfica, vrias so, entretanto, as opinies sobre a abrangncia e acuracidade da mesma para descrever o universo como um todo, principalmente na rea da filosofia ou mesmo dentro da filosofia da cincia. Janice Moulton defende que as teorias cientficas incorporam valores, porque advogam uma forma de descrever o mundo em detrimento de outras, e que mesmo as observaes de fato so feitas a partir de algum ponto de vista ou teoria sobre o mundo, j pressuposta.[3] Thomas Kuhn defende que mesmo a argumentao usada na cincia no livre de valoraes, ou certa. A cincia envolve um sistema, ou paradigma, no apenas de generalizaes e conceitos, mas de crenas sobre a metodologia e critrios de avaliao da investigao: sobre o que so boas questes, o que sejam desenvolvimentos adequados de uma teoria, ou mtodos de investigao aceitveis. Uma teoria substitui outra, no porque funcione, com sucesso, como premissa maior num maior nmero de dedues, mas porque responde a algumas questes que a outra teoria no responde. As mudanas de teoria ocorrem porque uma teoria satisfaz mais do que outra, porque as questes a que d resposta so consideradas mais importantes. A investigao feita sob um paradigma no feita para falsificar uma teoria, mas para preencher e desenvolver conhecimento para o qual o paradigma fornece um quadro de trabalho. O procedimento envolvido no desenvolvimento e substituio de um paradigma no simplesmente dedutivo, e no existe, provavelmente, uma caracterizao nica adequada de como tal procedimento funciona. Isto no significa que ele seja irracional, ou no merea ser estudado, mas apenas que no existe uma caracterizao universal simples do que seja uma boa argumentao cientfica.[4] Contudo, implicaes filosficas parte [5] [6], uma teoria cientfica obedece necessariamente a um mtodo em sua elaborao, o mtodo cientfico. Este mtodo de trabalho cclico, exigindo confronto permanente entre as ideias e os fatos que integram a teoria, o que, ao final, resulta na veracidade das afirmaes abaixo: - Opinies pessoais, quem quer que as emita, NO constituem fatos em uma teoria cientfica[7]. As opinies, se testveis e falseveis mediante os fatos, constituem, quando muito, hipteses cientficas, ideias dentro da teoria . Neste contexto o papel da autoridade em cincia, mesmo que ainda certamente relevante ao contexto cientfico, certamente difere em muito daquele exercidos pelas demais autoridades de outras reas sociais, como a filosofia: em um debate cientfico acirrado, os FATOS, e no a autoridade, decidem quais ideias cientficas so vlidas ou quais so invlidas. - Crena no constitui fato em uma teoria [8]. Fato algo necessariamente verificvel, embora no necessariamente reprodutvel. Crena tambm no constitui uma hiptese cientfica pois, pela prpria definio de crena, trata-se de uma proposio que no fundamenta-se em fatos verificveis; no h fatos que as corroborem. - Uma teoria, apesar de necessariamente falsevel em virtude das ideias que a compem, no algo duvidoso, descartvel ou to pouco incorreto[9]. Ela a melhor, mais honesta, e talvez a nica maneira racionalmente aceitvel de se descrever o que se conhece do mundo natural at a data de sua validade[10]. - Uma teoria cientfica no uma crena [11] [12]. No se acredita em uma teoria. Se corrobora uma teoria com fatos, ou, em caso contrrio, se demonstra que a mesma falsa mediante a falsificao de suas ideias, feita necessariamente por contradio com um novo fato at ento desconhecido, e no por contradio com outra idia, (ressalvado-se aqui a natureza cientfica das ideias em questo e a harmonia lgica inerente, certamente).

Equvocos sobre teorias cientficas

Muitas vezes as pessoas se confundem sobre a definio de uma teoria. Nossos dicionrios trazem o significado que corresponde a uma viso popular de uma teoria, o que seria equivalente a uma hiptese, ou definindo de uma forma ainda melhor, uma especulao, algo duvidoso, incerto. No entanto, na Cincia, uma hiptese no o mesmo que teoria, apesar de integr-la quando satisfaz a condio de ser testvel e falsificvel frente aos fatos, e to pouco teoria algo duvidoso, apesar de necessariamente falsificvel. H tambm uma confuso relativa anlise do que poderia se chamar de "grau de confiabilidade" que uma teoria apresenta. Muitas pessoas acreditam que uma lei cientfica possuiria um grau maior de comprovao que uma "teoria" (aqui em acepo em "senso comum"), mas no isso o que ocorre. Teorias e leis, segundo a cincia, so definidas por conceitos bem distintos, de naturezas diferentes. Elas no se distinguem apenas por algum tipo grau de hierarquia. As leis nada mais so que hipteses cientficas com ampla rea de validade e exaustivamente confrontadas frente a um nmero enorme de fatos, mas ainda e nada mais que hipteses, com um "ttulo honorfico", apenas. Uma teoria definida por um conceito muito mais abrangente, que necessita do conceito de hiptese cientfica e em consequncia do conceito de lei para estabelecer-se, mas no se define frente os mesmos apenas. Outra confuso frequente o equvoco entre fato e teoria. Teoria composta por ideias que explicam o fato, mais especificamente o conjunto de fatos, e portanto uma teoria deve ser construda a partir de um conjunto de fatos; Uma teoria a unio do conjunto de ideias e do conjunto de fatos a que estas se relacionam. Qual seria ento o papel do fato face teoria? Ele geralmente mas no necessariamente inicia e posteriormente constitui o alicerce da teoria. O fato reformula e rejeita a idia em uma teoria, na medida em que qualquer teoria passvel de modificao; ele redefine e justifica a teoria, levando a uma melhora constante dos conceitos por ela propostos. No se pode jamais afirmar, como muitos fazem-no, que uma teoria um fato, ou que se transforma, quando provada, em fato. Pode ocorrer que leis cientficas possuam o mesmo "nome" que as teorias associadas. E h fatos que so tambm confundidos pelo mesmo nome da teoria a qual pertence. Deve-se ter entretanto cuidado com estas confuses de conceitos. Uma teoria jamais uma expresso perfeita da realidade, mas um modelo, em definio estrita da palavra, pelo qual a realidade conhecida pode ser descrita, compreendida, e pelo qual a realidade ainda desconhecida pode ser estimulada a ser descoberta.

Teoria nas Cincias Sociais

Segundo Robert K. Merton, nas cincias sociais, a palavra teoria tem sido empregada de forma bastante diversa, incluindo quase tudo, desde as menores hipteses de trabalho, as amplas mas vagas e desordenadas especulaes, at os sistemas axiomticos de pensamento, da o cuidado que se deve ter no uso da palavra, posto que frequentemente, obscurece a compreenso ao invs de suscit-la.[13]

Teoria do Conhecimento
"Chama-se teoria do conhecimento a um conjunto de especulaes que tm por fim determinar o valor e os limites dos nossos conhecimentos" (A. REY - Psychologie et Philosophie). Trata-se de explicar e interpretar os problemas que decorrem de uma anlise fenomenolgica do conhecimento.

Agrupados em cinco problemas particulares: as questes da possibilidade do conhecimento, da origem do conhecimento, da essncia do conhecimento, das espcies do conhecimento e do critrio de verdade.

Premissas:

Na lgica, uma premissa uma frmula considerada hipoteticamente verdadeira, dentro de uma dada inferncia. Esta constitui-se de duas partes: uma coleo de premissas, e uma concluso. Uma dada frmula pode ou no ser concluso de uma dada coleo de premissas. Isto depende da Lgica ou do sistema lgico considerado.

Deduo: Uma deduo uma espcie de argumento no qual a forma lgica vlida garante a
verdade da concluso se as premissas forem verdadeiras. comum definir erradamente que na deduo inferimos uma concluso particular de premissas gerais. Isto falso, como podemos perceber pelo exemplo abaixo: Premissa 1:Se Lula nasceu em Caets, nasceu em Pernambuco. Premissa 2:Lula nasceu em Caets. Concluso:Logo, Lula nasceu em Pernambuco.

Demonstrao: na terminologia da matemtica, uma demonstrao uma sucesso

finita de argumentos restritos s regras da lgica mostrando que determinada afirmao necessriamente verdadeira quando se assumem certos axiomas. Em matemtica, uma prova uma demonstrao de que, dados certos axiomas, algum enunciado de interesse necessariamente verdadeiro.[1] Utiliza como base premissas intrnsecas a um modelo conceitual e um silogismo que, a partir de uma srie de operaes, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviao c. q. d. (como queramos demonstrar). As provas empregam lgica proposicional, tendo dentre seus elementos uma cadeia de afirmaes (proposies) ligadas por implicaes. Alm da lgica, as provas usualmente incluem alguma quantidade de linguagem natural, o que pode levar a ambiguidade ou dificuldade de entendimento, tendo em vista o carter deste tipo de linguagem ser mais dependente da interpretao humana. Assim, a forma como a grande maioria das provas na matemtica ensinada pode ser considerada como aplicaes da lgica informal, mas uma afirmao s deixa de ser considerada uma conjectura aps ter uma demonstrao escrita usando lgica formal nos trechos onde pode haver ambiguidades. No contexto da teoria da prova, em que as provas puramente formais so consideradas, as demonstraes no inteiramente formais so frequentemente chamadas de "provas sociais". A

distino levou anlise da prtica matemtica atual e histrica, do quasi-empiricismo em matemtica e da ento chamada matemtica popular (em ambos os sentidos deste termo). A filosofia da matemtica, por sua vez, preocupa-se com o papel da linguagem e da lgica em provas, e da matemtica como linguagem[2][3]. Independentemente da atitude que se tenha em relao ao formalismo, o resultado provado um teorema[4]; em uma prova completamente formal isto seria o ponto final, e a prova completa mostra como o resultado segue apenas dos axiomas. Uma vez o teorema provado, ele pode ser usado como base para provar outros enunciados. As chamadas fundaes da matemtica so aqueles enunciados que no se pode, ou no necessrio, provar. Estes foram uma vez o estudo primrio dos filsofos da matemtica. Hoje o foco mais na prtica matemtica, isto , tcnicas aceitveis.

Histrico
A histria da prova matemtica comea na Grcia antiga com matemticos como Thales, Eudoxo, Theaetetus e Aristteles. Euclides revolucionou a prova com seu mtodo axiomtico; seu livro Elementos chegou a ser lido por qualquer pessoa que se alfabetizava, at o incio do sculo XX, e considerado um dos mais lidos pela humanidade ficando atrs da Bblia Sagrada[5]. Uma das provas mais notrias o teorema de Pitgoras. A prova matemtica evoluiu tambm na idade mdia, com matemticos islmicos como Al-Karaji. Modernamente, uma das mais notrias obras a tratar do tema da prova matemtica, dentre outros, o Principia Mathematica. Como resultado da evoluo do tratamento deste tema, hoje no se considera mais o axioma como uma verdade dogmaticamente aceita, mas um conjunto de verdades necessrias para um determinado conjunto de modelos.

Tcnicas de prova comuns

A existncia de um nmero infindvel de casos que verifique certas condies no constitui prova. O exemplo ilustra o teorema das quatro cores, onde no basta criar um nmero infinito de casos que verificam o teorema para o provar.

Prova direta: a concluso estabelecida atravs da combinao lgica dos axiomas, definies e teoremas j existentes. Prova por induo: um caso base provado e uma regra de induo usada para provar uma srie de outros casos (normalmente infinita)[6]. Prova por contradio (tambm conhecida como reductio ad absurdum): mostrado que se algum enunciado fosse verdadeiro, ocorreria uma contradio lgica, e portanto o enunciado deve ser falso. Prova por construo: consiste em construir um exemplo concreto com determinada propriedade para mostrar que existe algo com tal propriedade. Prova por exausto: a concluso estabelecida dividindo o problema em um nmero finito de casos e provando cada um separadamente. Prova pela negativa: a concluso uma refutao que prova ser falso o problema especificado. (ou seja, uma negao matemtica). Prova por impossibilidade: a concluso, neste caso, no significa responder se o problema do caso verdadeiro ou falso e sim determinar se o problema pode ser resolvido ou se ele jamais ter uma resposta geral que o solucione. Exemplos de casos assim:

a soluo de Yuri Matiyasevich em 1970 para o 10 problema de David Hilbert (este lanou uma lista de 23 problemas matemticos para serem resolvidos, em 1900). o Problema das Sete pontes de Knigsberg, provado por Leonhard Euler como impossvel de ser solucionado, em 1736. a insolubilidade da quntupla.

Prova probabilstica
Argumentaes de que algo provavelmente verdadeiro, mesmo que acompanhado de estatsticas ou de clculos mostrando a probabilidade de um determinado evento que confirma a conjectura acontecer no so aceitos em matemtica como prova, ao contrrio do que pode ocorrer em outras cincias. Este ltimo tipo de raciocnio pode ser chamado de argumento de plausibilidade; no caso da conjectura de Collatz deve estar claro o quo longe isto de uma prova genuna. Uma prova probabilstica significa uma prova na qual se mostra a existncia de algo atravs de mtodos da teoria da probabilidade - e no um argumento de que o teorema 'provavelmente' verdadeiro. Estas provas se baseiam em conceitos de Teoria da Medida para estabelecer que o conjunto de mundos onde tal a hiptese em estudo no ocorre tem medida zero ou, em termos leigos, negligvel. Neste tipo de raciocnio, no se diz que a hiptese em estudo verdadeira, mas sim que ela ocorre com probabilidade um ou que ela quasi-verdadeira. Provas probabilsticas so uma das muitas maneiras de provar teoremas de existncia, alm de prova por construo.

Tcnicas de prova no-triviais e sua nomenclatura

Uma prova combinatorial estabelece a equivalncia de diferentes expresses mostrando que elas contam o mesmo objeto de maneiras diferentes. Normalmente um correspondncia um-a-um usada para mostrar que as duas interpretaes fornecem o mesmo resultado. Se ns estivermos provar, por exemplo, que "algum X satisfaz f(x)", uma prova no-construtiva provar que existe um x que satisfaz f(x), mas no mostra como este x obtido. Uma prova construtiva, por outro lado, mostra.

Conjecturas, Provabilidade e Incompletude

Um enunciado que se pensa ser verdadeiro mas ainda no foi provado conhecido como uma conjectura. s vezes possvel provar que um determinado enunciado no pode ser provado a partir de um dado conjunto de axiomas; veja por exemplo a hiptese do contnuo. Em muitos sistemas axiomticos h enunciados que no podem ser provados nem refutados; veja o Teorema da incompletude de Gdel.