L'intuition et le raisonnement formel en mathématique ?

|| ÉLÉMENTS DE RÉFLEXION • Que peut-on penser sous le terme « intuition » ? — Au sens étymologique, intuitionner signifie regarder : l'objet intuitionné est connu, est vu sans l'intervention d'aucun intermédiaire. C'est pourquoi l'on définit l'intuition comme étant une connaissance immédiate; on l'oppose ainsi au raisonnement, qui est une opération de médiation. — Si...

Formel

|| 1 (Au sens scolastique) Qui existe avec une forme (1), qui a une existence actuelle, effective : ex. un ordre formel. 2 Relatif à la forme (2, 3) : cf. Logique formelle; un raisonnement formel est celui qui est exact dans la forme. Le mot tend à prendre un sens péj. : qui ne ...

La logique formelle, groupe de transformations.

Soit d'abord, dans la seconde figure, le syllogisme que nous venons de construire : « Tout sage est content », ou « Nul sage n'est triste : or Pierre n'est pas content », ou « Pierre est triste : donc Pierre n'est pas sage ». On se propose d'en renverser la mineure. Il faut...

Logique formelle et réflexion : les structures fondamentales du raisonnement spontané.

Les mathématiciens, qui peut-être sont ceux qui font le plus de raisonnements en forme et le moins de fautes de raisonnement, commencent, en première figure, nullement par la majeure mais bien par la mineure, non seulement parce qu'elle y est au centre et qu'on l'a toujours sous les yeux, mais aussi parce qu'en fin...

Quels rôles jouent l'intuition et le raisonnement formel en mathématique ?

La morale du devoir est-elle formelle et abstraite ?

Et si le devoir était abstrait, inutile, voire inutilisable ? Et si ne se dessinait, dans l’impératif catégorique kantien, nul appel à l’action[1] ? Comme le dira Péguy, en une formule célèbre mais quelque peu caricaturale, « le kantisme a les mains pures, mais il n’a pas de mains ». Le kantisme ne serait-il qu’un formalisme[2] ? Hegel,...

Vous vous demanderez dans quelle mesure les inventions formelles sont nécessaires en poésie ?

||  Par invention formelle en poésies, nous entendons l’apport d’une nouveauté exceptionnelle dans la manière d’écrire les poésies. Cette nouveauté peut être d’au moins deux types : l’invention d’une forme poétique a part entière ; l’invention d’une modification du traitement traditionnel d’une forme préexistante. Nous pouvons dire que Aloysius Bertrand a fait une invention formelle...

Le critère de la vérité est-il logique et formel ?

Repères: FORMEL / MATERIEL

Les mathématiques sont-elles une science purement formelle ?

Purement formelles, les mathématiques ont-elles encore un rapport avec le réel ?

Les droits de l'homme ne sont-ils que des droits formels ?

GRAMMAIRE FORMELLE

|| Source: http://www.peiresc.org/DINER/Lexique.pdf   Système de règles décrivant un ensemble de suites finies de symboles. Ces suites finies s'appellent des propositions et l'ensemble lui même est une langue décrite par la grammaire. La grammaire formelle est une forme de calcul et définit une syntaxe.On distingue deux types de grammaires formelles, les grammaires génératives, système de règles permettant de construire...

Dictionnaire: « formel »

La logique formelle détermine quelles sont les règles qui conditionnent a priori l'accord de la pensée avec elle-même. Faisant abstraction du contenu de nos jugements, elle n'en retient que la forme. Il faut en ce sens distinguer la validité d'un raisonnement, sa vérité formelle, de sa vérité matérielle. La vérité formelle, c'est la rigueur de la pensée, l'accord de l'esprit avec ses...

JEAN-BAPTISTE ROUSSEAU et le lyrisme formel

JEAN-BAPTISTE ROUSSEAU, fils d'un cordonnier, reçoit une éducation soignée, se fait de puissants protecteurs et acquiert, très jeune, une situation littéraire de premier plan. Mais son arrogance, sa vanité, sa sécheresse de coeur lui attirent des inimitiés. A la suite d'une affaire de pamphlets anonymes, qui n'a jamais été bien éclaircie et dans laquelle il eut contre lui...