Cienco: Diferi inter la revizi

{{PA|Logiquelogiko}}

Segun [[Immanuel Kant]] formala logiko esas "cienco qua expozas detale e provas en strikta maniero, unike la formala reguli di omna pensaji". Matematiko e formalizita logiko kompozas ta tipo di rezonado. Ta klaso apogas su cetere sur du principii konstitucanta di formala sistemi: [[axiomo]] e [[deduktema reguli]] tale ke notion di [[silogismo]], expresita per [[Aristoteles] l'unesma<ref>[[Robert Blanché]] e Jacques Dubucs, ''La logiquelogiko et son histoire : d'Aristote à Bertrand Russell'', Paris, Armand Colin, 1996.</ref> e ligita a "deduktala rezonado" (on parolas anke de rezonado "hipotezala-deduktala"), qua il expozas en sua TopikirefTopiki<ref>Aristote, ''Topiques'', Tome 1, Livre I-IV, texte traduit par J. Brunschwig, Les Belles Lettres, Paris, 1967.</ref> ed en sua traktato pri logiko: l'analytiki.

KoncernesasAltra ankekoncerno tipodi quala cienco esas quala modelo esas la maxim adequata aad laula realajo, to qua havas facitafacesis sua pruvi, per tekniko note. La klefovorto di formala pura tipo qua esas la demonstro to ne povos derivar en la studiita sistemo irga propozo. En altra termini, ne koncernas propre dicita rezono pri l'objekto ma bona prefere metodo por traktar la fakti meze ciencala demonstri e koncernanta propozi e postulati.

# la logiquelogiko de la [[déduction naturelle]]naturala dedukto;

# la [[logiquelogiko combinatoire]]kombiniva.

Le type formel fut particulièrement développée au [[20ma yarcento]], avec le [[logicisme]] et la [[philosophie analytique]]. [[Bertrand Russell]] développe en effet une « méthode atomique» (ou [[atomisme logiquelogiko]]) qui s’efforce de diviser le langage en ses parties élémentaires, ses structures minimales, la phrase simple en somme. [[Ludwig Wittgenstein|Wittgenstein]] projetait en effet d’élaborer un langage formel commun à toutes les sciences permettant d'éviter le recours au langage naturel, et dont le [[calcul propositionnel]] représente l'aboutissement. Cependant, en dépit d'une stabilité épistémologiqueépistémologiko propre, ''a contrario'' des autres types, le type formel pur est également largement tributaire de l'historicité des sciences<ref>Jean Ladrière dit ainsi : {{citajo|'Il n'y a pas un critère absolu de validité, posé une fois pour toutes, mais une sorte d'épuration progressive des critères, qui va de pair avec l'extension du champ mathématique et la découverte des domaines nouveaux}}, in ''Encyclopædia Universalis'', Tome 21, Entrée {{Citajo|''Sciences'' - ''Sciences et discours rationnel''}}, {{p.}}775.</ref>

Relate a du altra formala tipi, ciencala statuto di tipo interpret-artala esaskontestesis kontestita perda la championi di cienco matematikala, nominita "harda".