Fafnir
Kontenajo efacita Kontenajo adjuntita
Nula rezumo di redakto |
|||
Lineo 268:
Selon Emmanuel Kant la logique formelle est « science qui expose dans le détail et prouve de manière stricte, uniquement les règles formelles de toute pensée». Les mathématiques et la logique formalisées composent ce type de raisonnement. Cette classe se fonde par ailleurs sur deux principes constitutifs des systèmes formels : l'axiome et les règles de déduction ainsi que sur la notion de syllogisme, exprimée par Aristote le premier[3] et liée au « raisonnement déductif» (on parle aussi de raisonnement « hypothético-déductif»), qu'il expose dans ses Topiques[4] et dans son traité sur la logique : Les Analytiques. Il s'agit également du type qui est le plus adéquat à la réalité, celui qui a fait le plus ses preuves, par la technique notamment. Le maître-mot du type formel pur est la démonstration logique et non-contradictoire (entendu comme la démonstration qu'on ne pourra dériver dans le système étudié n'importe quelle proposition)[5]. En d'autres termes, il ne s'agit pas à proprement parler d'un raisonnement sur l'objet mais bien plutôt d'une méthode pour traiter les faits au sein des démonstrations scientifiques et portant sur les propositions et les postulats.
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 e ligita a "deduktala rezonado" (on parolas anke de rezonado "hipotezala-deduktala"), qua il expozas en sua Topiki ed en sua traktato pri logiko: l'analytiki. Koncernesas anke tipo qua esas la maxim adequata a la realajo, to qua havas facita sua pruvi, per tekniko note. La klefovorto di formala pura tipo qua esas la demonstro to ne povos derivar en la studita 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.
Danko pro tua helpo. --[[Uzanto:Katxis|Katxis]] ([[Uzanto Debato:Katxis|talk]]) 09:59, 2 di januaro 2016 (UTC)
| |||